Convergence of the limit set
게시글 주소: https://w.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를 선물하세요.
-
시간이 남아서 0
오르비라는 사이트가 수능시험을 준비하는 수험생들이 많이 있는 사이트이지만 공부와는...
-
ㅇㅈㅇㅈ
-
사문 존나불안함 0
평가원이 낚아줄게ㅇㅇ 하면 내가 ㅇㅇ 낚아져줄게~ 할것같음 ㅈㄴ불안함
-
남앗다는사실때문에 자살마려움
-
공지 방송 중에 “저작권 있는 자료는 센터 외부에서 뽑아오라“ 엌ㅋㅋㅋㅋㅋ
-
갤주 경기중 2
-
수학 2
강사들 모고 때 계산 잘 못했으면 고1수학 열심히 하라는데 그럼 문제 잘못 읽었으면...
-
책 추천 해드립니다. 10
4년 전 오르비를 이용했었는데, 오랜만에 들어오네요. 그때 오르비 분들이 공부를...
-
화장실에서 볼 일 보다가 4번째 자리수를 수식화하는 방법은 없을까 의문이 들었어...
-
오늘 계획 1
M스킬 계층이동편 교재&강의 끝내기
-
인문수리논술 0
화상과외vs인강독학
-
야뎊쓰는분들아 1
실모풀때 a4로 뽑아서 품?
-
돌아와 슈바오 0
엉엉엉
-
8학군 특징 8
5년 가까이 굴러본결과 영어 : 패시브, 모의고사 설렁설렁 봐도 1등급 받는 애들...
-
일어서자마자 주머니에서 에어팟 빠져서 변기속으로 빨려들어감 개씨발 쪽팔려서 주변에...
-
검더텅이랑 사만다랑 둘 중에 뭐 살지 고민 중인데 추천 부탁드립니다
-
수학 수능완성 0
원래 모의고사보다 수완이 더 어렵나요? 수완 작년도포함 9개정도 풀었는데 수완이 더 어려운거같은데
-
수시 논술 2
지금 상경논술 준비하긴 넘 늦었나요…… 과외비만 낭비할 것 같아서 부담됨
-
이름하여 ‘돌파 공부법’ 중3 - 수학 하루에 12시간씩 1년 해서 마스터 고1 -...
-
실모 언제부터 1
국어 수학 언제부터 얼마나 풀먼 좋음요? 가능하면 국수 좋은 실모 추천좀요 국어 3...
-
난 거지야 0
흙흙
-
재수 수능사진 3
작년에 썼던 학교에서 교복입고 찍었던 거 또 써도 되나요? 아님 다시 찍어야되나.. 돈아까운데
-
10월 논술이면 뭐 4번 공부하는거니 4개년 기출 다 보고 주중에 조금 복습해주면...
-
어느정돈가요? 시즌1 풀고있는데 평가원이랑 비슷함 수준 같아서.. 시즌2되면 많이 어려워지나영
-
수학 고2기출 풀어야함? 아니면 바로 고삼 기출 풀어야함?? 그리고 보통 일반적으로...
-
수학 과외받으면 어떤 거 배우는거지 이번 6평 4등급이라했나 과외쌤이랑 기출 하나...
-
. 1
굿나잇
-
https://youtu.be/Hxcj3ZoPvws?si=u4IBUoK-17vPyKd...
-
ㄹㅇ 순수하게 재미 그 자체가 없어짐... 뭔가 지문들의 구조가 딱 맞아떨어지면서...
-
그냥 갤탭을 사는게 낫지않나? 애플펜슬 비싸서 짭플펜슬 쓸거면 필기감좋고 라미,...
-
볼 사람이 많지 않음(한학기 다님) 이럼 잘못 산건가..?
-
9모 힘내보자 1
오랜만에 수학 기출 문제 보고 왔어!! 너희 잘 할 수 있을거야 힘내!! -- 건공이R 올림 --
-
독학서로 직접 말로 풀어진 글 읽는 게 더 나은듯..
-
현 고3이고 진지하게 수시가 끝난 시점에서 더이상 학교를 다닐 이유가 있나 싶습니다...
-
인생은 마라톤 0
수능 1년도 마라톤 페이스 조절은 필수
-
일반고 2.5에 생명과학 생기부입니다. 생기부는 진짜 엄청 좋다고 평가 받는...
-
교재 사놓고 중화반응 안 들었는데;;
-
미탐 일요일 8시 40분 이정수샘 국어 수업 장소 어딘가요? 1
미탐 이정수샘 일욜 8시40분 수업 장소 어딘가요?문자를 못받아서 수업가야해서요. 급해요ㅜ
-
21수능 나형 92점 맞고 재수한형 지는 뭐 수학은 완성됐다고 공통봐도 1나온다고...
-
배기범 모의고사 , 특난도 모의고사>>>>>브릿지 이거 맞냐 물리 모고 요새 왤케 상향평준화됨…
-
한 15,21번 즈음에다가 박아주면 재미질거같은데 왜 안하지 진짜 재밌는꼴...
-
올해 수학 모고 1
머가 젤 어려운거 같음뇨 대체적으로 난이도 팍 올렸던데 다들 전 킬캠4회차
-
암기 능지싸움 밸런스 완벽하게 맞는 두과목인데
-
오야스미 5
네루!
-
그럴수가없네.. 사탐이 또 ㄹㅇ 내 성적 하드캐리해주는데
-
고3 가정학습 0
보통 언제부터 가정학습 쓰는건가요?
-
덕코뿌리면 4
천만덕에서 멀어지는데 왜그러는걸까.. 사실 후회는 없어요
첫번째 댓글의 주인공이 되어보세요.