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를 선물하세요.
-
서울대 핵물리학과를 가려면 대학수학릉력시험에서 몇점을 맞아야 하우? 그리고 내래...
-
왤케 웃기지 ㅋㅋㅋ 이것도 디시발 드립인가요
-
작수(언확생윤사문) 44144 4월 공부시작 올해6평(언미생윤사문) 42322...
-
3합5, 3합6이여서 한과목 버리려고 하는데 어떤가요?? 다들 어떤 과목이든 버리면...
-
https://orbi.kr/00068759931
-
땅우쌤은 고2면 미적 14
충분히 시간 많다고 미적해도 괜찮을거라 하시는데… 진짜 어떻게 해야하지 미치겠네요..
-
제 목표는 중경외시 이상의 대학이라서요ㅠㅠ 화작 미적 생지요
-
종이가아까운건가 좀 크게크게 해주지 그리고 종이질 개에바야
-
되세요.. 전 졸려서..zzz
-
52345인데 ㅅㅂ… 하 작수 64487 ㅈㄴ 안오르네요 ㅅㅂ 국탐 하는법좀…...
-
다들 이미 정상화된 비트코인으로 넘어오시죠
-
독서 경제파트 도움 11
깨달음을 주세요
-
정답에 확신을 가지고 찍는데 우수수 틀림... 작년엔 너무 신중하게 찍어서...
-
나는 반수인가? 10
현역 때 A대학 등록 -> 반수 -> 성대 합격 -> 등록포기 -> A대학 휴학연장
-
최근 3년간 평가원 기하 전부 28까지는 틀리지않고 29 30은 가끔가다 하나...
-
나도 빌런짓 안하려고 adhd약 먹잖아 뒷자리 돼지 친구야 좀 ~~
-
만년 23등급에서 한달 좀 넘게 했다고 실모 계속 1 나옴
-
4분기에 국장좀 처분해야것다
-
수험생이었는데 그 애가 이제 뛰어다니는 지금도 난 ㅋㅋ
-
재수생이고 재종다니고 있는데 하프모고나 실모 퀄리티 좋은거 추천부탁드립니다 서바가...
-
트럼프씨발새끼야 4
엔비디아...하...
-
19시간 전 2
"그거" 2025학년도 수능완성 선별자료 업로드 일정 :...
-
역학<<<좆같노 2
내일국어독서2문학1 수학12미적15 영어션티1강 솔텍n제10개만풀고하루종일물1달려야겠다
-
수능 끝나고 꼭 보셈 근데 보면서 머리 써야 됨 ㅋㅋ
-
글젠.. 흠 4
공부인증한다
-
야식 ㅁㅌㅊ 16
-
이건 우연이 아니다. 어떻게 환산했는데 3.14에 최대한 근접해서 나오냐 ("제...
-
반수 막 시작했을때 봐서 진짜 개말아먹은줄 알았는데 등급이 ㅈㄴ 높게나옴 보정을...
-
웹툰 봐야지 0
가자.
-
240717 교직일기) 교권침해 그리고 서이초 1주기 6
지난달 말부터 이번달 초까지 약 2~3주간 나는 심한 교권침해를 겪었다. 전교급...
-
어째서 120일이 깨진 것 입니까?
-
군면제 4수 어떰? 31
오르비는 워낙 인식이 상향 평준화 되어서 N수에 관대하지만 현실은 주변에선 장수생...
-
생윤 레건 질문 3
레건은 삶의주체인 동물을 수단으로 대하는걸 괜찮다고 하나요?? 수단으로만 대하는걸...
-
수학 인강 추천 2
내신대비로 수2 인강을 들을려고 하는데 이미지 세젤쉬가 좋을까요?? 아니면 정승제...
-
문제 빨리 풀 수 있는 방법 최대한 찾고 양치기 ㅈㄴ해야하나...
-
뭘 풍자하는 건지는 잘 모르겠네요 ^^
-
지구1 내신대비용으로 방학동안 개념돌리려는데 어떻게해야하나요? 0
오지훈 인강을 들으려니 이미 돈을 좀 썼는데 부담되고 이미 화학 인강을 듣고있는데...
-
내신 2.4~5쯤 되고 학생부교과로 지균 받으려는데 공대 사탐런 해도 되는 대학 알려주세요...
-
피램 살려는데 0
피램 고전시가 좋은가요?? 고전시가는 하나도 모르는데….
-
우리가 모두 떠난 뒤 내 영혼이 당신 옆을 스치면 설마라도 봄 나뭇가지 흔드는...
-
검수탈락함 아..또기다려야해
-
내신 대비용으로 개념 떼고 문제 풀 용도로 문제집을 하나 사려는데 수특, 기출픽,...
-
듄탁해 수능완성 1
듄탁해 수능완성 수능특강 이렇게 다 다른교재인가요?
-
여기만 인증하면 특정안될거아님 탐구는 물2화2생2지2 중에서 암거나 골라침 생2는 살짝 딸리긴한데
-
요즘 진짜 조용하네 다들 워낙 많이 가서 그런가 뻘글보다 공부관련글이 늘은건 좋은거같기도
-
오늘 하체 다 하고 마무리 런지 하다가 기절했는데 이거 존나 어지럽네요 1시간...
첫번째 댓글의 주인공이 되어보세요.