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를 선물하세요.
-
단문과 복문의 개념이라든지 준동사와 형식 정리라든지 기본적인 것도 요청하면 답해드림.
-
비문학은 솔직히 사람만큼은 읽으니까 그냥 남들 틀리는 문제 나도 틀린다 치고 -14...
-
조선의보다는 원광의가 좀..?더 낫다고 알고 있는데 어디가나요 조선의가 막 엄청...
-
[2025 수능대비][무료] 평가원에서 빈출되는 어간별 단어 정리 pdf 0
예전에 개인 제작 교재 만들면서 정리해 두었던 자료네요 ~ 공부하다 중간중간 참고할...
-
아니 원래 어제 왔어야 했는데 오도착해서 오늘 왔거든요 근데 책이 완전 다...
-
지금 약간 뭘 해야할 지 모르겠어서,,, 올 3등급 목표로 같이 커리 짜주실 분...
-
친구들이랑 같이 살아서 매일 파티하는 것 같다는데 진짠가요 술집 자주 놀러가나여...
-
골라줘용
-
수능에서 쭉 3만 받아온 반수생입니다. 이번 6모는 풀어보니까 68점 받았습니다.....
-
그릿 교재만 사고싶은데.... 무조건 강의도 사야되나요?
-
사실 구라임 저메추 좀
-
메뉴 다양하지 않아도 끼니 거르는 사람 없을듯 하루 한끼 치킨마요 필수챌린지 ㄱㄴ
-
손 못대겠는게 많은데 기생짐 2,3점 풀고 다시 도전하는식으로 해도 괜찮을까요?
-
가 뭔가요? 어려운게 아니라 그냥 미국 가려는 사람이 적은건가요?
-
과거의 조선생님, 과거 가족 단톡방엔 "폭탄 맞게 생겼다" >>>...
-
상상만으로 7
잘해질 수 있는 과탐 과목 있음? 예를 들면, 물리에서 ” 음 이런 공식은 이렇게...
-
등급은 1,2 오락가락하고 지금까지 푼 실모는 양모시즌0이랑 히카 시즌2,3밖에 없어용
-
있나요???? 현역이고 현재 사탐공부하고있는데 내년에 갑자기 대학에서 이건...
-
점심 뭐먹을까요 7
추천 부탁드릴게요
-
하반기 전공의 7천645명 모집에 104명 지원…8월중 추가모집 2
'빅5' 병원에 45명 지원해 절반 가까이 몰려 (서울=연합뉴스) 성서호 기자 =...
-
https://m.cafe.naver.com/ca-fe/web/cafes/233803...
-
※군위탁제도 취지: 육해공군사관학교에서 의사만들어서 장기군위관양성 전공과목 제약도...
-
[고1~고2 내신대비 자료 공유] 고1 국어, 고2 문학, 언매 분석 문제 배포 0
안녕하세요 나무아카데미입니다. 2025학년도 고1~고2 내신대비를 위해 고1 국어,...
-
조교 ㄹㅈㄷ 썰 3
24수능재수생 ------>>>. 현재 우리 재종 조교----->>>> 반수로...
-
문장 구조나 단어 선택이 외국에서만 살다 한국온지 몇년안된 교포가 말하는거 같음
-
리트급 지문 양치기가 도움이 될까요..?
-
like 오타니 브라질 누나들 반응이 격함
-
윤사 질문 5
임정환 풀커리+검더텅+수특수완 할건데 1등급 공부량이 어느정도 되나요??
-
피코가 올려달래여 35
ㅇㅇ
-
늘 찜찜하네요 ㅋㅋ 매일이 감 떨어진 느낌 머리도 낮보다 덜 돌아가서 그런지
-
제가 처음, 기출 분석하면서 느낀 중요 문장(주로 접속사 위주),끝문장(가끔)을...
-
그냥 5개만 풀어도 100나오는 고능아 40개 풀어야 100나오는 저능아 이런게...
-
국어 높2 수학 중3이라고 가정시
-
보디빌딩 왤케 스테로이드 써놓고 안 썼다 하는 사람이 5
많죠 ㅋㅋㅋ 누가 봐도 로이던데 왜 구라치지 ㅋㅋ
-
현제 고1이고 6모학평도 4등급입니다ㅠㅠ
-
선행없이 현행으로 내신공부하면서개념서만 깊게 판 뒤 (쉬운 문제집이나 쎈 같은...
-
수능 영어 듣기 하는동안 몇 번까지 풀어야 정상임? 8
나만 20번까지 밖에 못푸는거임? 1,2등급 받는 애들아 몇 번까지 푸는지 알려줘...
-
서해가 수온이 더 낮음?? 동해가 한류 때문에 더 낮을 줄 알았는데 지구 지1 지구과학
-
몇번임..?
-
사투리 심한사람들 알아듣기 어려워서 짜증남
-
현재 노베이스...인 상태로 국어 수학, 전과목이 노베여서 수학은 중학수학 개념원리...
-
현 고2 노베이구요 고 1 때 수학 상 까지만 공부하고 때려치고 놀다가 두 달 전에...
-
하개빡쳐 학과에서짜주는거라바꿀수도없음미친새끼같음
-
아침은 라면 20
-
노베 고1 국어 2
고1 노벤데 이번 9모부터는 좀 제대로 공부좀 해보고싶다. 학교다니다 보면 인강들을...
-
이번달도 파이팅
-
당연하죠. 추합 많은 학과가 합격이 쉽습니다. 다른 조건이 동일하다면 말이죠 :)...
-
저정도면 보통 서성한이나 중경이상 가능한가요?
-
조정식T 월간지 6
조정식T 월간지 1호-7호 전부 새책이고 8호까지 배송오면 풀세트 새책인데 혹시...
-
전공의 떠나고 주식 팔아 연명…대학병원 '8월 재정난' 위기설 퍼졌다 2
대학병원의 '기둥'(전문의)을 받쳐온 '주춧돌'(전공의)이 대거 빠지면서 대학병원이...
첫번째 댓글의 주인공이 되어보세요.