Convergence of the limit set
게시글 주소: https://orbi.kr/00068668056
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를 선물하세요.
-
육남문 201 2
추합 가능할까요??
-
내년에논술이 많이늘길래....궁금해서..보통 혼자 수학의정석펴거나 학원다니나요
-
시원한 도서관으로 도망쳐!!
-
안녕하세요. 전공과외 찾습니다. 제가 수업받을 학생입니다. 1.과외목적: 서울대...
-
보통 미적분 언제쯤 선행 들어가나요? 고2 여름방학부터 하면 무난한가요 아니면...
-
제발~~ 오랜만에 와봤어요. 다들 더울텐데 힘내요.
-
유학을 가고 싶은데 의대가 목표라 의대중에 예과나 본과때 교환학생, 연수 가는 학교...
-
위 사람은 건강하게 돈 버는 만보계를 계발하여 수 많은 뚱뚱한 사람들을 비만의...
-
저는 단국대(본캠)를 다니다가 여자친구 재수한다고 따라서 자퇴하고 재수 전선에...
-
부모님께 돈 빌려주고 이자까지 쳐서 받은 1천만원 중 2백만원으로 주식한다
-
뭔가 따로따로 듣는거는 귀찮기도 하고 잘 모르기도 해서요 현재 고2이고 고2모고...
-
학교 취업할 때 중고등 생기부 떼어가야 한다고 들어본 거 같은데 맞을까요?...
-
급.어.추.썰 15수 썰 이야기 후기 2 kbs출현+노베를 위해 2
여러분 뜨거운 무더위 잘 지내셨나요? 저도 바삐 지내고 있습니다. 우선 저도 공부를...
-
심찬우 생글생감 1
선생님께서 예습을 인강 보기 직전에 하면 안된다고 하시는데 왜 그런지 납득이 잘...
-
생기부 진로전문상담쌤도 인정하실정도로 빵빵한데 내신이 4.8임.. 한양대 에리카...
-
답이 2번이라던데 저는 못풀겠어요ㅠ 나름 작수 물리 만점인데,,
-
'입시 실패의 goat'입니다. 학습 관련 질문 주세요(?) 19
(제목을 농담처럼 쓰긴 했지만 진짜로 질문 받는 것 맞습니다!) 현역 때, 그리고...
-
확통 인강 추천 1
고2인데 정시하려고 확통, 화작 준비하려는데 누구 듣는게 좋을까요? (메가패스 O)
-
노베 인강 들을려고 하는데 이거 두개 차이점이 뭐에요?
-
현재 고1이고 여름방학이에요 1학기 성적은 국수영과사한기 1122232입니다...
-
말 들어보니까 랩실에서 노예처럼 있던데 진짜야?
-
아니 잠깐만 오전까지만 해도 해 겁나 쨍쨍했다가 나중에 내가 딱 도서관 드가자마자...
-
as? ass? -영어를 45년 배웠지만, 뭐 눈엔 뭐만 보인다고 느낄 때... 0
‘에온’(aeon)’이라는 디지틀 잡지를 즐겨 봅니다. 2012년에 영국 런던에서...
-
도저히 새롭고 재밌는걸 못찾겠어서 옯창분들의 힘이필요 연애물 특히 씹게이물 x...
-
현재 서울 일반고 재학중인 고2입니다. 정시파이터고 현재 제목과 같이 자퇴를...
-
2016년 겨울, 새벽부터 손 시리게 독서실로 갔다. 복습할 게 너무 많았기...
-
씨바 도서관이 언덕 중턱에 있어서 고꾸라지면 다치기 쉽겠던데 하긴 공부하는...
-
내신 성적도 4등급 중반정도입니다.... 국영수를 다니고 있고...
-
에헤헤헿 0
헥가닥 홀랑 벌렁 말랑 살랑살랑 훌렁훌렁 나풀나풀 보들보들 꿀렁꿀렁 꼼지락꼼지락
-
제가 공부법을 찾아 해매는 아주 어리석은 효율충이라는 걸 어제 깨닫고 정직하게 풀고...
-
일타 강의, 획기적인 공부법도 이게 부족하면 무의미 0
아무리 일타 강의, 획기적인 공부법이라도 이것이 부족하면 무의미한 것 같습니다....
-
그렇게 치자면 지금으로선 학점 올리기에도 신경쓰기 벅차지만 제발 내년부터 건강이...
-
지표면 , 기저역암 그리고 또 뭐있죠
-
진로가 궁금해요 6
뭔가 되게 창의적인 아이디어를 떠올려 만드는 걸 잘하고 희열을 느끼는데 이런 성격에...
-
2024학년도 6월 모의고사가 끝난 후에 선생이 피드백을 합니다. (장문) 0
물론 세상에는 다양한 성향의 사람들이 있어 착한 사람, 남을 배려하는 사람, 눈치...
-
레벨 1: 패밀리 레스토랑, 노래방, 규동집 레벨 1+: 영화, 가정식 라멘,...
-
채널A 공부 관련 새 예능 프로그램 출연자를 모집합니다 0
우리 아이의 최고점을 30일 안에 찾아드립니다! 안녕하세요. 채널A에서 10월에 첫...
-
재수 생활 도중에 헤어지는 경우가 굉장히 최악인 것 같아요. 근거요? 제 경험......
-
생명과학 선택? 3
만약 현역이라면 2등급이 목표면 하는 게 꿀이고 1등급이 목표면 안하는 게 맞겠죠?
-
채널A 공부 관련 새 예능 프로그램 출연자를 모집합니다 1
우리 아이의 최고점을 30일 안에 찾아드립니다! 안녕하세요. 채널A에서 10월에 첫...
-
솔까 어릴 때 구몬이랑 대교랑 빨간펜 선생님이 문제 맞출때 칭찬해주시면 공부할 맛...
-
무엇이라 생각하시나요?
-
내신 물화생인데 뭐 특히 더 잘하는 과탐 과목은 없음 그런데 현역 수준에서 생명은...
-
인강 몰아서 하루에 막 8개씩 보면 안좋을까요??
-
물화 vs 물지 0
자동차공학과 희망 중 물리는 등급X 성취도 O 화학 지구 둘 다 등급O 화학...
-
자동차공학과 희망하고 있는데 물지 신청했거든요? 근데 물리는 폐강되서...
-
인증... 이랄건 없고 그냥 얼마전에 스캔해둔 면허나 올려봄
-
이 프로그램에서 분자를 용액에 넣거나 다른 분자랑 반응시킬 수도 있나요?
-
내년에 19패스랑 메가패스 이렇게 두개 끊을려고 합니다 내년에도 19패스가 존재하겠죠?
-
샤크니아가 출몰했습니다 BY 포켓몬GO
첫번째 댓글의 주인공이 되어보세요.