Convergence of the limit set
게시글 주소: https://i.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를 선물하세요.
-
특히 인공지능학과요. 국어가 4 같은데. 반영비 20 35 20 25 아니면 영역별...
-
입학취소되거나 의사못할수도잇는건가요?
-
내신은 6점대고요... 미적 1개 물1 0개 지1 2개 틀린다고 했을때 언매는...
-
카운터 열이 있으세요 코로나 검사하시겠어요? > 의무에요? 의무는 아니에요 > 그럼...
-
18번까지 푸니까 5분밖에 안남던데…
-
어렵나여?
-
2등급에서 1등급 되려고 강기원 온라인 신청했는데 이거 괜찮은 선택인가요....?
-
씹덕아님 \(^^\) \(^^)/ (/^^)/
-
평가원,교육청 점수 기준요!!
-
취업 잘된다는 말 하나 믿고 수학가형에 과탐2개 응시해서 입학했는데 지금...
-
좌표공간상에서 구를 평면으로 자르고 임의의 축을 설정해서 축을 기준으로 1회전한...
-
[단독]의대 총장협 회장 "의평원 '증원 의대 재평가' 거부할 것" 36
[세종=뉴시스]김정현 기자 = 의과대학을 운영하는 대학 총장들의 대표격인 홍원화...
-
3점짜리만 다 맞추는게 목표면 어떤걸 하면 좋을까요? 어삼쉬사 구매했는데 이거...
-
더 실모 많이 푸는듯 그러니까 격차가 더 벌어지는건가 수학황들 ㅈㄴ 잘하는데 더더더 풀려고하네
-
사탐런 2
물리에서 하나 사탐으로 바꿀거예여 고딩때 과탐 3개 선택이라 사탐 한번도 안해봤는데...
-
메카트로닉스=메카+일렉트로닉스 기전공학을 뜻하는 70년대 신조어로 출발은 일본에서....
-
28틀 96 밥 먹으면서 머리로 대충 오답했는데 나갔다 와서 맞는지 계산해봐야겠다...
-
올해히카랑 난이도비교하면 뭐가 더 어려움?
-
ㅈㄱㄴ
-
이해원 모고 난이도 언급이 별로 없는 것 같아서 궁금해서 질문해요! 저는 뭘 풀든...
-
의지가 안잡히네 3
너무 헤이해진듯
-
2023 실모 (상상, 바탕, 한수 등등) 독서 어려운 건 알고잇는데 문학 난도...
-
계산 없이 알 수 있나요?
-
아님 전부 다 온라인으로 수강할 수 있나요?
-
아 ㅈㄴ 화나네 오늘 경기까지 지면 커뮤 진짜 곱창나겠네
-
평균적으로 몇세트씩 푸심? 반수생인데 드릴1,2,3,4,5 이해원 4규시즌1 이렇게...
-
국일만 문학하고 있는데 궁금한점 생겼을 때 따로 질의응답할 수 있는 방법이 있나요??
-
여기서 ㄷ, ㅁ, ㅂ, 철수의 dna 상대량이 감수2분열이 일어난..dna...
-
매일 문제수 정해놓고 돌려가면서 푸는건가요? 본인은 수1 문제집 시작했으면 수1...
-
원래 비문학 말도 안 되게 쉽고 문학만 좀 어려운가요
-
ㅈㄱㄴ
-
커리 질문 0
현재 강기분 듣고 잇는데 체화되는 느낌이 잘 안들어요.. 독서는 그래도 약간 되는...
-
밑줄 친 부분이 잘 이해가 안갑니다 미분 가능하려면 x=1에서 극값을 가져야 하니까...
-
시즌 1은 수특이고 시즌 3은 수완일 거 같은데 혹시 시즌2에도 수완 내용이 있나요??
-
양지메가 윈터 3
어떤가용
-
비문학-3점(10) 문학-9점(19 27 29 30) 언매 -2점(35) 1등급(컷...
-
감기 때문에 목아프고 코아픈데 머리가 너무 아픔.. 아침에 국어하는데 하나도...
-
지금까지 풀커리 타왔는데 많이는 아니고 아주 약간 후회중.. 작년 아수라만 듣고...
-
현역 9모 때까지는 공부 안 한 것도 있고 망친 것도 있고...해서 지방사립...
-
수학과외고 가격은 같음 화상- 주2화 총4시간 대면- 주1회 총3시간
-
EX) 수능 이런거 말고 월 400으로 시작하는, 급여 높아지면 꽤 괜찮은 자격사를...
-
어제 과외하러 6
지하철 탔는데 개찰구 지나가다 존잘 있으니까 여자들이 힐끗 보고 지나가더라 부러워서 광광 우러써
-
뭐가 있을까요 서울 놀거리도 추천해주세요!
-
이게 의대생들 입장에서 보면 되게 큰건데 제 동생이 수험생인데 모르더라고요? 여기도...
-
아니면 재능인가요?집중력 안좋았는데 좋아진분 계시나용
-
여러가지 수열..
-
이걸 누가 하겠어 싶은 규정들은 실제 사례가 있었던 것이라고...
-
폰이 보고 싶어서 그런거말고 걍 집중력자체가 떨어진거같음
첫번째 댓글의 주인공이 되어보세요.