Convergence of the limit set
게시글 주소: https://m.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를 선물하세요.
-
강민철질문 1
내년 수능 준비 중이고 강민철 선생님 강기본부터 시작하려고 합니다! 인강 진도...
-
점수 환산할때 해당 선택과목 응시자의 타과목 점수도 고려해주면 안되나 3
그러면 문제 삼할은 줄일 수 있을거 같은데
-
앉아 있다 일어났는데 왼쪽 다리가 없어진 느낌이 들고 발이 닿았는데도 감각이 없고...
-
강대k+ 생명 등급을 모르겠는데 1차 풀었을때 40점 정도이고 9모기준...
-
나라사랑카드 종류 하나인 줄 알고 뇌 빼고 신검받으러 갔는데 기업 국민 두 개라서...
-
마지막말 잘못적으신거겠지요..? 내가 너무 바보같은 질문을 했나
-
사문러들 3
실모 뭐 푸심?? 임정환쌤 모고만 샀는데 빨더텅 벅벅이 나음?
-
설맞이 n제 0
6모 2등급 9모 4등급인 미적분 학생입니다. 여태까지 수학 기출만 풀어봤고 배성민...
-
좀만 돌아서 가야지...오늘따라 좀 걷고싶구나
-
분명 성적표 받은날 공부하던 책에 끼워뒀는데 어느 책인지 모르겠음 ㅠㅠ
-
진짜 망하는건가요
-
위축되기 쉬운 주제인 듯
-
먹었습니다 포인트로 사먹었지요
-
홍익대 삼색볼펜 1
사용 가능한가요?? 당연히 되는 줄 알았는데 안된다는 말도 있어서요ㅠ
-
좋음??
-
사탐 과탐 응시자 국영수 평균 점수 공개하면 안되나 3
난리나게
-
지금은 900만원 정도만 해서 맛만 보는 중인데 수능 끝나면 공부 좀 하고 시드 더 넣어서 해야겠다
-
저 고2때 제2외국어 23점 맞아봄 ㅋㅋ
-
화작러들이 유리해질수도 있는거임? 등급컷이 내려간다거나..
-
요즘 질문해도 답이 잘 안와요
-
22 : 외적의 침입을 막기에 유리가 되. 23 : 탈추-ㅁ 24 : 초성자 용자례...
-
∀x(x∈A∪A^c)의 부정형이 모순이므로 ∀x(x∈A∪A^c)가 참...
-
종종들어와서 불안감 해소팁 풀어볼께요 1)부모님이랑 대화를 하셔요 2)기적을 외치며...
-
희망회로만 돌려서 그런가 원래이럼? 원래 별 생각없이 살기는함..
-
현우진 전공이 기하학이래서 다들 우진 쌤 들으시는 줄 알았는데 기하 유기하셨다던데...??
-
또우울글썼네 2
감정쓰레기통이제그만
-
적중예감 파이널 1회 15번 통계문제는 ABC계층을 하나도 찾지 않고도 문제가...
-
1. 불안감보다 자극적이고 치명적인 감정 느끼기 ex) 새벽에 혼자 나가서 몇 시간...
-
난 너하고 대화할 수 없는 몸이 되어버렸어 이제
-
친구말 들어보니까 논술 시험지를 회수해가는 것 같던데, 가채점표 작성은 허용해주나요?
-
내 방까지 데굴데굴 굴러가야지 히히
-
사문 실모 오답 3
다들 사문 실모 푸시고 오답 확인 후 바로 치워버리시나요? 아니면 나중에 다시 한번 더 보시나요
-
이제 막 수1 들어간 노베인데 (내년 수능 준비) 현우진 쌤 설명 잘하시는 것...
-
그 누군가가 방송을 하지 않는다는 것이 다음 새로운 시작을 위해 노력하기 때문이라면 응원합니다
-
실감이 안남 4
한달정도 뒤에 수능을 본다는게 근데 머리로는 실감이 안나는데 몸으로는 엄청 스트레스...
-
ㅇㅇ?
-
두 번째 수능을 성공적으로 마무리할 수 있었던 이유 1. 스트레스 수능이 한 달 반...
-
투자쪽에 관심이 ㅈㄴ 많은데 뭐부터 시작해야할지 막연하더라구요 수능 끝나고나면...
-
이거없이대학을갈수있을까 아.국영탐이왜그럴까
-
국어 한줄로 밀게
-
이미지 적어드려요 132
치킨시켜서 오기전까지 할게 없어서,,
-
4년 전 문제다.
-
실문풀이랑 파이널 둘중하나 하면 머하는게 나을까여 유자분까지하고 ebs풀엇어요 9평은 3등급받앗어요
-
어차피 화공가도 물리함 +) 화학실험 극혐이니까 대학 과도 화학 관련된 곳은 피하도록...
-
집중은 3분도 못 하고 내 정신이 아닌 것 같고 아무것도 못하겠음요 그냥 가만히...
-
몇등급인가요 50프로 70프로 컷만 보이는데..
-
강아지카페를 가야해 10
꼬순내력이 부족해..
-
유도하기 힘들었다
첫번째 댓글의 주인공이 되어보세요.