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를 선물하세요.
-
모의고사 칠때 20문제중에서 세계지도 한번은 나오나요? 제가 세계지도가 머릿속에서...
-
밤이 되었습니다 0
마피아는 고개를 들어 이 밤의 희생자를 지명하세요. 저 말고요..님.
-
이게 체화가 정말 가능한걸까 고민하면서 1년동안 꾸역꾸역 현강 다녔는데 올해 반수...
-
100일기적 드가자
-
신기하긴 해 1
나도 수능을 이렇게까지 자주 볼꺼라곤 현역때 생각도 못했지 현역 6모 끝나고...
-
ㅇㅇ ㄱㅇ ㅅㅈ ㄱㅊㅇ ㅂㅈ ㅈㅊ ㅂㅍㅇ ㅂㅈ ㅅㅇㅇ ㅇㄹㅇ ㅇㅎ ㅇㄹ ㅂㅎㄹ...
-
알거든. 그때 유튜버들이랑 사람들 ㅈㄴ 난리친 거 때문에. 지켜보는 눈들이 예상...
-
교류가 많나 학바학 과바과인가
-
계란빵 3
헉
-
현역 정시러 당신이라면 희망대학 어디 쓰시겠습니까 11
고2 담임쌤이 이번 여름방학에 희망대학 두 곳 적어서 내라고 하셔요 2학기...
-
병훈쌤 핀셋 4점모 파이널 문제검토좀 잘 해주세요.. 0
지금까지 3회 배부되었는데 모든 회차에 한번씩 문제오류있는게 맞나요..ㅠㅠ
-
대충 6모 9모 영어어려움 쉬움 강한 위협 약한 위협 어쩌구
-
여러분들의 후원은 앞으로 재밌는 컨텐츠를 만드는데 사용됩니다..!
-
자만했건만 적정시간이 20분이구나 .....
-
이게 야스지 4
ㄹㅇ
-
* 해당 블로그에 내용이 더 잘 정리되어 있습니다!! 참고해주세요!!...
-
역함수 요즘도나옴? 10
확통이고 12번까지만 풀어서 본적없음 몇번대에나옴?
-
생윤 개념 질문 2
림잇 끝내고 수특 보니까 어지러워서 질문드려요 원래 문풀할 땐 공자 맹자 이런...
-
ㄱㄴ?
-
안녕하세요, 여러분의 꿈의 열쇠를 찾고 조여주는 사람들 [몽키스패너]입니다! *본...
-
어케생각하심 어차피 교대붙어도 임용땜에 별론가
-
부모님께서 교대를 생각해보라 하셔서 입결을 찾아봤는데 경인이나 서울같은 수도권...
-
ㄴㄱㄴ ㅅㅈㅇ ㅇㅈㅇㄹ ㅂㅌㅇㄹㅈ. ㄱㄹㄴ ㄱ ㅇㅈㅇ ㄷㅂㅂ ㄱㅂ ㅅㅇㅂㄹㄷㄴㄷ.
-
첫경험썰 7
혹시 옯붕이들은 이런 주제를 좋가할까요?
-
마닳 1-3권만 풀려고 하는데 가능할까요
-
이번에 14133이라 3합5 과탐절사 필수 맞추긴했는데 9랑 수능에도 맞춰야되는데...
-
고2 생명 3
수능 물생으로 볼거같은데 생명을 1학기 내신으로 했지만 개념을 대부분 까먹어서...
-
3월 이후로 이틀에 공부 3시간씩 하는데 이건 말이 안 된다 이제 정신...
-
오전에 졸려서..
-
본가는 경기도인데 요즘 서울에서 지내면서 서울 내에서만 지하철 타고 다녀서요...
-
내일 뭐할까요 5
추천받음..
-
군수 장단점 3
알려주세요
-
야수의심장 6
은 8월에 시작한다
-
초성퀴즈 (1000덕) 18
ㄱㄱ ㄱ ㅅㅎㅅㅎㄷ ㅇㅈㄱㄴ ㄲㅇ ㅂㅇㄱㅈㅇ. ㄱㄴㅇ ㅇㅎㅅ ㅎㅊㄱ ㄷㄹㅂㅅㄷ!
-
나중에 누가와서 님 오르비빡갤포만한수만휘 하냐고 물어보면 ㄹㅇ어케함요
-
물론 연계만 그래선지 정작 수과탐황이 되어버린
-
대성패스는 내년에 살 예정이여서 지금 고석용 cnr특강 듣고 있는데 내년부터 김준...
-
22,23만큼 충격은 없을 가능성이 큼 24 화1 생1 1컷 47 진짜 개에바였음...
-
오운완 8
오늘 달리기 20분 푸쉬업 20개 걷기 20뷴 갯수 늘려야 겠다
-
일주일에 10시간정도 하는대 이거 끝날 기미가 안보임;; 매개완 강의 볼륨 ㅁㅊ나
-
감잡을라고 빠르게 풀려는데 마더텅이나 자이같이 크지 않을걸로 살려고 찾아보다가...
-
최강삼성 0
ㅅㄹㅎㄹㄹ
-
이거 꽤맛있군요
-
사교육으로 꿀빨던 카르텔선족들 개같이 박살내고 수능을 정상화 시키고 있다는 거임
-
나 보기가 역겨워서
-
목표는 27까지 다 맞추는거라 어삼쉬사 이제 미분끝났고 적분 들어갔는데 갑자기 뭔가...
-
ㅅㄴㅇ ㅇㅁ ㄴㅈ ㅇㅇㅅ ㄴㅁ ㅂㅇㅎㄴㅇ. ㄱㄹㄷ ㄴㅁ ㄱㄱ ㄷㅇ ㅍㅇㅌㅎㅅㄷ!
-
지금 수학 모고 치면 보통 3중반 정도 뜨고 목표는 만점은 아니고 찍맞 없이 높2...
-
호흡계에서 H2O를 방출한다. TRH->TSH 순서이다. 2차면역은 기억세포의...
첫번째 댓글의 주인공이 되어보세요.