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를 선물하세요.
-
국어 브레텐우즈 어쩌고 지문이랑 오버슈팅 지문 같이 풀면서 궁금증입니다. 우리나라랑...
-
푸는 시간이 너무 부족해서 1일 1실모로 시간 연습 하려는데 괜찮을까요? 9모...
-
이감 6-1 2
쉬운편인가요? 수능 전날 잠 못잔컨셉으로 밤샌다음에 쳤는데 13 14 15 16...
-
이감? 상상? 바탕? 뭘 풀어야하죠
-
바이퍼 제카는 신이다 14
마지막 한타부터 미쳣다그냥...
-
근데 진짜 실력이 높아진다고 성적이 잘나오는게 아님 11
엔제에서 주구장창 봤던 문제들도 시험장만 가면 포기하게 되고 발상들도 하나도 안보임...
-
이게 뭐에요???????????????
-
아니 저걸 밀어????
-
1.명지대(명지인재면접) - 전자공학 2. 3.한양대 에리카 - 전자공학(종합)...
-
ㄹㅇ저 어려운문제 들고가면 쌤 콴다 찍어서 설명함;;; 그래서 걍 유기하고 반에...
-
원함수랑 도함수 같이나오는거는 다항함수 계수비교하는거밖에 못봣는데
-
님들이 몸이 좋거나 얼굴이 잘생겼다면 시비 걸릴 확률은 극히 드무니 뒤로가기...
-
10번 오류 아니라는 sheep bird talent 들은 진짜 대가리에 총 맞았나 ? 7
네 대가리 총 맞은 건 저고요 , (어그로 죄송합니다. 꾸벅) 봐도 봐도 어디서...
-
분모에 f가 0이 나오면 점근선이니까 f는 0이 아닌데, f가 0이 나오는 지점이...
-
미적 자작 5
풀고 난이도 평가해주세요
-
드릴 들어갈려고 하는데 수분감 스텝2부터 다 하고 들어가는게 맞을까요? 난이도 어떤가용ㅇ
-
저 욕해주세여 0
고2인데요 원래 모고 한개빼고 다1등급 맞았는데 이번 9모때 완전 망했어요 험한...
-
인터넷에는 박사 학위의 의미를 잘 모르는 애들이 많은 듯 애초에 미박이 문제가...
-
내신은 2.중반이고 일반고인데 동내신대 선배들 합격 케이스 꽤 있어서 상향 원서를...
-
와 젠지랑 한화 그냥 둘다 템포가 뭐이리 빠르냐 ㅈㄴ 잘하네 진짜 ㅋㅋㅋㅋ
-
그냥 더프랑 다른거에요?
-
수학 N제 0
미적 9평낮3떳고 수분감 스텝1만 3회독은한것같은데 엔제 들가도 될까여? 엔제할거면...
-
그나마 우리 학원은 나았던 게 학원 쌤이 소위 어둠의 스킬은 모르셨지만 우직하게...
-
10만원 초반 정도로 괜찮은거 있을까요..??
-
이과가 사탐을 고민해야하는게 시스템이 한참 잘못됏음 8
어쩌다가 세상이 이렇게된거냐?
-
시대인재3등급이다녀도돼요?제발대답해주세요시대인재3등급이다녀도돼요? 4
9모 81점인데 시대인재 정규반 들어가도 돼요? 들어가면 엄소연 들어가도 돼요?...
-
2021년 나형 1컷 맞고 얘들아 쌤도 수능을 치고왔는데 1등급맞았어~ 그니까...
-
수시vs정시 0
내신4.1이고 9모는 이정도인데 남은기간 동안 수학 높4~낮3까지 올리면 정시로...
-
메디컬 입시빼곤 아주 불리한데 전적대가 스카이거나 69평 둘다 국수영111 나온게...
-
공대어차피대기업인데 문과들은 뭐 로스쿨도가고 5급도가고 뭐회계사도가고 어쩌구저쩌구...
-
스서운이야기) 0
스피드러너 2회를 다풀고 피드백하면서 약 40분간 문제를 더 풀어봤지만 제대로 푼...
-
9모 성적 수시 3
9모 44312 (둘 다 낮4) 이정도 성적인데 수시로 가천대 교과 쓸 수 있으면...
-
투도 같은 관 씀?
-
어느정도 인가요? 어렵니요?
-
서울대 표본 안에서 서울대를 가야 그게 미박이다,, 미국이 뭐가아쉬워서 좆지잡대나온...
-
젠지를 이기고 나는 바이퍼 원딜의 신을 완창해주세요
-
안녕하세요 도표문제로 출체되는게 계층이동, 성별 임금 격차, 사회보장제도,인구통계...
-
제발살려주세요수학황님들 18
맨날 모고4등급 나오는데 기출문제집 마더텅 푸는게 나을까요 이미지 커리 따라가는게...
-
간쓸개 조은데 0
갠적으로 양치기에 이거만한게 없다 생각..기출 올해만 마닳 3바퀴하니까..질려..
-
젠지파이팅
-
수능 지구2 5
이번 9평 37인데 빡세게 하면 2되겠죠? 개념 기출 정도만 했는데 앞으로 남은 기간 뭘하면 될까요
-
뜨끈한 파인애플 먹고싶다
-
십일워 병행 0
차영진 선택해서 십일워 들으려 하는데 워크북이랑 풀고 바로 기출 넘어가면 될까요??
-
하루에 10문제씩 풀려는데
-
그냥 많이 푸는 방법밖에 없나요…?
-
ㅇㅇ.. 궁금해요 돈지랄? 아님 뭐 낫배드?
-
...
-
미박 취업은 왜 ㅈ으로 봄?
-
6평 때 공부 안 하고 2컷 나왔고 이번 9평 때 100 나오긴 했는데 이게 가늠이...
첫번째 댓글의 주인공이 되어보세요.