Convergence of the limit set
Proposition. Let $\Gamma_i$ be a sequence of isomorphic quasi-Fuchisan groups which converge geometrically to a group $\Gamma_G$. (In modern terms, $\Gamma_i$ is an element of $AH(\pi_1(S))$ for some surface $S$) Suppose that there is a $\delta>0$ such that the limit set $\Lambda(\Gamma_i)$ is not contained in a disk of radius $\delta$ on $S^2$. Then $\Lambda(\Gamma_i)\to\Lambda(\Gamma_G)$ in a Hausdorff topology of $\hat{\Bbb C}$.
여기서 $\Gamma_i$들이 서로서로 isomorphic하다는 것을 빼면 반례가 존재하는데, Kleinian group의 residual finiteness에 의해서, 임의의 Kleinian group $\Gamma_0$가 있으면, $\Gamma_0>\Gamma_1>\Gamma_2\cdots$ 가 되는 sequence of finite indexed subgroup 이 존재하고, 이 sequence의 geometric limit은 trivial group이 된다.
만약 quasi-Fuchsian group들 $\Gamma_i$가 algebraically convergent 하면, limit group도 non-elementary하기 때문에, 가정인 $\Lambda(\Gamma_i)$가 어떤 $\delta$-disk in $S^2$에 들어가지 않는다는 가정을 만족한다. 따라서, algebrically convergent하는 quasi-Fuchsian group $\Gamma_i$들에 대해서, $\Gamma_i\to G$가 geometrically convergent 하다면, $\Lambda(\Gamma_i)\to\Lambda(\Gamma)$ in Hausdorff topology가 된다.
Proof of proposition. 증명에 아주 crucial하게 적용되는 내용이 있는데 그걸 먼저 서술하겠다.
$$K_{\Gamma} = \{x\in\Bbb H^3\mid d(x,\gamma x)<K,\text{ for some nontrivial }\gamma\in\Gamma\}$$
여기서 $d$는 hyperbolic metric이라고 한다면, 어떤 constant $K$가 존재해서, 모든 quasi-Fuchsian groups isomorphic to $\Gamma$에 대해서, convex hull of the limit set $H_{\Gamma}$ (Nielsen convex region 이라고도 한다) 는 항상 $K_{\Gamma}$에 들어가 있다. 다시 말해서, convex core $H_{\Gamma}/\Gamma$는 embedded hyperbolic ball of radius $>K$를 갖지 않는다는 것. (In particular, 만약 주어진 sequence가 있을 때 (quasi-Fuchsian이 아니어도 됨), 그 sequence의 convex core의 injectivity radius에 uniform upper bound가 존재한다면, 우리는 이 증명을 그 sequence에 그대로 적용할 수 있다.)
$\epsilon>0$이 주어졌다고 하자. 주어진 quasi-Fuchsian group과 isomorphic한 $\Gamma$를 적당히 conjugate을 해서, $H_{\Gamma}$가 $\Bbb H^3$의 origin을 포함하도록 설정한다. 그러면, 임의의 $x\in\Lambda(\Gamma)$에 대해서, 어떤 $y\in H_{\Gamma}$가 있어서, $d_E(x,y)<\epsilon$이 되도록 고를 수 있다. 여기서 $d_E$는 $\Bbb H^3\cup S^2$ 에서의 Euclidean metric을 의미한다. 그러면, $H_{\Gamma}\subset K_{\Gamma}$에 의해서, $\epsilon$을 필요하다면 더 작게 잡아서, 어떤 nontrivial element $\gamma\in\Gamma$가 존재해서, $d(y,\gamma y)<K$가 되고, 따라서 $d_E(x,\gamma y)<\epsilon$을 만족하도록 잡을 수 있다. 그 이유는 Euclidean metric과 hyperbolic metric의 차이에 의해서 나타난다. 만약 $y$가 충분히 $S^2$에 가까이 가면, hyperbolic metric의 움직임은 Euclidean metric의 관점에서는 움직임이 거의 없기 때문. 더 중요한 것은, 우리는 저러한 $\gamma$의 norm을 그냥 Lie group norm $\mathrm{PSL}_2\Bbb C\subset\Bbb C^4$에서 주어진 $\epsilon$에 대해서 bound를 할 수 있다. 그 이유는, $y$에서 원점 $O$와의 hyperbolic distance는 bounded 되어 있고 origin이 $\gamma$에 의해서 움직이는 것은, $y$가 $\gamma$에 의해서 움직이는 것과 $y$와 $O$사이의 거리에 대한 연속 함수로 표현할 수 있기 때문이다. 원점 $O$가 움직이는 거리를 bound시키는 것은 $\gamma$의 norm을 bound 시키는데, 그 이유는 $O$의 isotropy subgroup은 compact이기 때문.
저러한 estimate은 처음 $K_\Gamma$의 성질만 썼기 때문에, 모든 $\Gamma$와 isomorphic한 quasi-Fuchsian group $\Gamma_i$ s.t. $O\in H_{\Gamma_i}$에 대해서 성립한다. $\Lambda_{\Gamma_i}$ 들이 $\delta$-disk 안에 포함되어있지 않는다는 가정에 의해서, 우리는 $O\in H_{\Gamma_i}$의 estimate의 가정을 만족시키기 위해 conjugate하는 element들의 norm이 uniformly bounded 되어 있다는 것을 알 수 있다. 따라서, 주어진 $\Gamma_i$ sequence에 대해서, $O\in H_{\Gamma_i}$를 모든 $i$에 대해서 만족 시키면서, 위의 estimate이 $\Gamma_i$ 들에게 uniform하게 적용된다고 가정할 수 있다.
Fix된 $\epsilon>0$에 대해서, 만약 $x_j\in\Lambda(\Gamma_{i_j})$가 $x_j\to x$가 된다고 한다면, $x\in\Lambda(\Gamma)$를 보여야 한다. 이 경우에는 위의 uniform estimate에 의해서, $\{y_j\}\in H_{\Gamma_{i_j}}$, $\{\gamma_j\}\in\Gamma_{i_j}$가 존재해서 $d_E(x_j,y_j)<\epsilon, d_E(x_j,\gamma_jy_j)<\epsilon$ such that $\gamma_j$의 norm이 bounded 되는 것을 가정할 수 있다. $\gamma_j$들의 norm이 bounded 되어 있기 때문에, $\gamma_j$는 어떤 nontrivial element $\gamma$로 convergent 하는 subsequence를 잡을 수 있다. Geometric convergence의 정의에 의해서, $\gamma\in\Gamma$다. 만약 $y$가 $y_j$의 accumulation point라고 하면, $d_E(x,y)\leq\epsilon, d_E(x,\gamma y)\leq\epsilon$이 되고, $\epsilon$은 arbitrary했기 때문에 $\Gamma$는 $x$에서 discontinuous action을 주지 않는다. 따라서 $x\in\Lambda(\Gamma)$.
만약 $x\in\Lambda(\Gamma)$라면 우리는 $x$로 converge하는 sequence $\{x_i\}\in\Lambda(\Gamma_i)$를 찾아야 한다. Kleinian group의 element들의 fixed point들의 limit set에서의 density에 의해서, $\gamma_j\in\Gamma$가 존재해서, $\gamma_j$의 fixed point $x_j$가 $x$로 convergent 하게 할 수 있다. 근데 $\Gamma$는 $\Gamma_i$의 geometric limit이기 때문에 각각의 fixed $j$에 대해서, $\gamma_j$로 converge 하는 $\{\gamma_{j_i}\in\Gamma_i$가 존재한다. 각각의 fixed된 $j$에 대해서, $\gamma_{j_i}$의 fixed point $x_{j_i}$가 $x_j$와 떨어진 거리가 $\leq 1/j$ for all large $j>I_j$를 잡을 수 있다. $I_j>I_{j-1}$이 되도록 설정을 하면, $\{x_i\} = \{x_{j_i}\}$, $I_{j+1}\leq i\leq I_j$ 가 원하는 sequence가 된다. $\square$
Rmk. 가정에서의 $\delta$-disk 가정도 중요하지만 그 보다 주어진 sequence의 injectivity radius의 uniform upper bound가 더 중요하다. 그리고 증명에 나온 element들의 norm의 boundedness를 이용해서 uniform estimate을 이용하는 논증은 중요한 정리들을 증명하는데 꽤나 많이 나오는 논증법이다. (e.g. Mumford compactedness theorem)
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
"그냥 홍명보가 싫은 거잖아" 침착맨 발언..비판 쏟아지자 [소셜픽] 1
유튜버 '침착맨'이 축구 국가대표팀 홍명보 감독의 선임을 놓고 한 발언이 논란이...
-
듣게 생겼어요 감으로 풀어도 고정 1이었는데 내신때 한 번 미끄러진 뒤로 그 감을...
-
수능 120일 남기고 들어서 좋을 영어와 생명인강 뭐가있을까요? 생명은 유전만...
-
n수라 하지말고 걍 삼수라고 해
-
안녕하세요. 학교 인문 학술제 관련 설문 조사 한 번씩만 참여 부탁드립니다! R&D...
-
다시 공부..하러 가야지
-
오늘 나의 카페인
-
딱대라 해외여행
-
내가 수완을 안해서 그런가 춘향가빼곤 연계 못느낌 춘향전 온갖 화소를 다...
-
그논리면 겐진은 고학력자 맞잖아
-
왈왈 크르르릉
-
국어 2시간 수학 4시간 영어 30분 과탐 한시간씩??
-
기출 2회독 했고 국어는 별어려움이 없어서 독학 했는데 주위에서 계속 그렇게 혼자...
-
https://n.news.naver.com/article/002/0002341312...
-
19살 동성과 모텔가려고 함
-
부서지는건 내머리고....
-
모 커뮤니티에서 퍼 왔습니다
-
6모 4컷(듣기 2틀)인데 키스타트 + 듣보잡 + 프리퀀시 조합 제대로 끝내면...
-
평가원이나 서바 자꾸 빈칸 틀려서 92 94 97 이런데 강의가 60강인데.....
-
버러지 기상 10
-
오노추 0
nobody like you -dee holt 아는 사람 거의 없을 듯 리듬감...
-
반수하려다가 안합니다 환급형입니다 쪽지나 댓글주세여
-
쪽지나 댓글 주세요 환급형입니다
-
지역인재가 나을까 일반전형이 나을까? 둘다 최저는 3합5임 ㅇㅇ 난 지역인재가...
-
다들 쉴 때 뭐해요? 47
헤어졌는데 평소 일상이 공부-연애 아님 오르비라 할 게 없음
-
국어말구 수학은 백분위 88이 막 60으로 꼴아박는 일 13
없겠죠 쓰벌 세종대가고싶다
-
의대 증원 반대하는 글을 우회적으로 말하는 글을 쓴 적이 있었음 그 때만 해도...
-
나는 외부생으로 친 학원에 전화해봤더니 내일 받으러 오라 이러는데 뭐지…
-
아무리 독도가 최동단에 위치해있어도, 하지 때에는 고위도 지방의 일출이 빨라진다.....
-
얘네들 작수 미적도 이론상 81점도 1컷 가능하니까 1컷을 81점으로 사이트에...
-
그래서인지 밤이 되면 질문이 수북히 쌓여 답변을 받지 못하는 학생이 많아서 관리자...
-
누구보다도 빠른듯 진짜 QnA 할 때 개호감임 조교쌤들도
-
컴공 학벌고민 8
안녕하세요 한성대 컴공 다니고 있는 1학년입니다 (21살 미필) 현역때는 공부를...
-
너무 슬퍼서 7
주체가 안되네 에휴.. 나보고 딸 키우는 거 같다면서 토요일까지만 해도 사랑한다면서...
-
당신의 선택은?
-
7덮 성적 5
9모 목표) 국어 백분위 98 수학 백분위 99 영어 1등급 화2 50점 지2 50점
-
코로나 걸렸는데 온라인 채팅할때 마스크 안 써도 되나요? 6
어그로 ㅈㅅ 점메추 좀
-
ㄹㅇㅋㅋ
-
ㅈㄱㄴ
-
재수생이 미치면 2
춤을 추는구나 독재 옆에 댄스학원인데 방송댄스 배우길래 나도 같이 둠칫거리면서...
-
실모가 필요없는 상탠데 실모도파민이 너무 개오져서 끊을수가없음
-
학생들의 1학기 성적이 나오면서 곧 과외를 많이 구하는 시기입니다. 방학동안...
-
진짜 글씨예쁜사람이 만년필쓰면 개오질듯
-
진짜 너무너무너무 안풀리던데… 수학이용
-
의대보다 비싼 자사고·외고…23곳 학비 1000만원 넘어 2
(서울=뉴스1) 권형진 기자 = 전국 단위로 신입생을 모집하는 자율형...
-
원래 진짜 못 쓰다가 나름대로 열심히 고친 건데 보기에 어떰
-
실모실모실모실모실모실모실모실모실모풀고싶어실모실모
-
사탐 1등급 어려움? 10
쌍윤 1등급 공부량이 어느정도 되는지 궁금.. 고등학교 때 내신으로 엄청 열심히...
-
스터디플래너 사진 기부해주시면 만덬 드립니다 (선착 11명) 9
안녕하세요 ~~~ 오랜만이에요 ㅎㅎ 이제 저를 아시는 분은 없겠지만......
첫번째 댓글의 주인공이 되어보세요.