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교시 시험장에서 만난다고 생각하면 ㅈㄴ 떨리네ㅠㅠ 긴장한 상태로 치기 너무 힘든 과목인듯
-
독서나 문학이나 평가원이랑 점점 괴리가 보임....근데 다른사설도 다 똑같을거같아서 걍 푸는중
-
전쟁의 기억이 선명한데 일상으로 돌아오니까 적응 못하는 내용이었던 것 같은데...
-
조이고즐기다 0
-
안녕오르비 9
ㅎㅇ
-
이해원 다음 0
이해원 시즌 1 풀고있는데요 데이 마다 차이는 있는데 많이 틀리면 3개 대부분...
-
어제 푼 실모는 독서 제재 나랑 안맞아서 70점대였는데 오늘 푼 실모는 제재 완전...
-
지구 퀴즈 1
상층 권운 덮개가 잘 발달할수록 태풍의 나선형 구름대가 잘 관측된다. (O / X)
-
공대 가서 대기업 들어가면 최소한 약수 만큼은 벌 텐데
-
파트0은 안풀거고 1,2,3,4 다 풀어야되나요?...?
-
"성매매는 착취"…여가부, 인신매매 인식 개선 추진 7
[서울=뉴시스]권신혁 기자 = "성매매는 착취다". 여성가족부가 세계 인신매매...
-
국어 1등급인데도 문학 풀다보면 꼭 선지 두개만 남고 도저히 둘다 맞는거같아서 그냥...
-
이감 5-2 0
빠답 좀 보내주세요,,,.
-
저는 솔직히 의대는 못가도 상관없고 치한까지만 가도 괜찮긴 한데 의대 이슈때문에...
-
https://orbi.kr/00068051287/%EC%A7%81%EC%A0%91%...
-
판서 실력이 점점 늘고 있어 뿌듯합니다
-
[속보] 일본은행, 4개월만에 기준금리 인상…0∼0.1%→0.25% 3
일본 중앙은행인 일본은행이 31일 기준금리를 연 0.25%로 인상했다. 교도통신과...
-
탐구는 하루에 거의 1개씩 보려고 노력하는 중이고 (이미 어느정도 완성되었기에)...
-
오리온 day당 40분정도 걸리는데 드랍이 맞을까요? 3
오답까지 하는데 40분정도 걸리는 듯. 해설보고 이해하는 데 오래걸림. 드랍하는 게...
-
'금메달 포상금' 1위 홍콩은 10억 쏜다…9위 한국은 얼마 주나 5
올림픽 포상금을 가장 많이 지급하는 국가는 어디이고, 얼마를 지급할까....
-
만점 받으면 연치가 가능할 수도 있음
-
뭐가 더 어려움?
-
지금 높3~낮2 인데 n티켓 시즌2 거의 다 끝나가서 다음 n제로 바로 이해원 s1...
-
죽어야지
-
같은 기출이라 문제들이 겹치지 않을까해서... 실전연습이 필요한데 빨더텅으로 괜찮을까요?
-
요즘 군대 좋아졌다더니... 녹물 샤워, 제한 급수 방치하는 해병대 15
'군대 많이 좋아졌다' '요즘 군대가 군대냐'는 말이 많이 나돌지만, 여전히...
-
韓 연구진, '암흑 전자' 존재 세계 최초 규명…"물리학 난제 풀 단서" 1
[서울=뉴시스]윤현성 기자 = 우리나라 연구진이 국제 공동 연구를 통해 세계 최초로...
-
사탐 기출들 10
은 굳이 인강으로 안듣고 검더텅 혼자 풀어가면서 오답하고 외우고 해도되겠죠? 어차피...
-
이해원 시즌2 3
하루에 수1 수2 다 끝내는 사람 있나요?
-
요즘 현대차 폼 미쳤음 15
갓차갓무직이 ㄹㅇ 허상이 아닙니다...ㄷㄷㄷ 이 정도면 진짜 전문직급 아닌가 생각이...
-
이원준 비문학 독해의 규칙과 패턴 OT 7분 15초 “수능 국어는 제가 10년쯤...
-
이미 사탐런한 사람들의 대화를 구경하는거 재밌네요..
-
캬 이거지
-
하나만 골라주세요 문제 깔끔하고 기출 변형 많은게 좋아유
-
내 목표는 한 개 틀리는거? 그리고 생명 n제 풀때 뭘얻어가야하는지도 알려주셈
-
숨꿀과목에 탑승할 마지막 기회입니다
-
개원가에 쏟아지는 전공의 8천명…"페이닥터 월급 이미 반토막" 5
하반기 전공의 모집 마감이지만, 지원자 극소수…개원가로 몰려들어 '전문의' 자격...
-
고2인데요 겨울방학 때 수1수2 다해놓고 1학기에 수1하다가 수2를 조금...
-
국어 실모만 조져야지
-
어떤 자료(뭔 내용인진 스포라서 아직 말 못 함)를 만들어야 하는데 이것 때문에...
-
명지대에 의대 만들어줘 10
명의 이름 간지
-
며칠 날 더우니 대량공급되네 개년들
-
ㄹㅇ 물로켓들 천지네 ㅋㅋㅋㅋ 올해는 다 어려워서 현타오는데 작년 시홈지들은 동글뱅이밖에 없음
-
어디감??
-
의대 노리던애들 설공, 치한약수로 내려옴 그와중에 사탐가산 주는 연대문과,...
-
언매 단권화는 필수다라는 글을 봐서 단권화 할까 싶은데 모든 개념을 다 노트정리...
-
한 3문제 남고 2문제 풀 시간 남았을때 1문제가 살짝 아름답게 찍힐각이 보이는...
-
사랑합니다 임정환 선생님
첫번째 댓글의 주인공이 되어보세요.