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를 선물하세요.
-
평가원 뽑아서 풀어볼라는데 아시는분
-
Hmm,,,
-
내가 바껴야 충분한거지 이대로면 좆망이겟다
-
게임만드는건 질렸고 공부? 할리가 없고 운동도 안했어 알바도 안했어 생산적인 일을...
-
1. 컨텐츠 이감국어만 팜 2. 과목별 질답조교 없음(수학조교만 있음) 죄다...
-
제가 지금 고3인데 수능이 코앞인 시점에서 생감을 막 끝냈습니다 기테마 1.0...
-
이번에 강기본 처음 시작했는데 민철쌤이 말씀하시는 읽기 방법이 뭔지 잘 이해도 안...
-
원점수:79점 등급:2등급 (2컷 77)
-
특히 수2 극한같은거 그냥 어느정도 이해할 만큼 하고 내신 돌리고 n제 돌리다보면...
-
ㄹㅈㄷㅇㅂㄱ 5
-
에휴이
-
6평 성적운 진위 확인 어케 함?
-
오늘은 17학년도 9평을 풀었습니다 21번 30번 클리어 둘 다 맞았다.
-
생명1 공부법 3
유전보다 흥분전도가 더 안 풀려요.. 도대체 얘는 어떻게 공부해야하는거죠? 스킬...
-
의대 입시는 윤석열도 어캐 될지 모르는 상태 즉 제2의 플랜이 있어야 함 투과목...
-
ㅇ
-
재수생이고 수학이 4에서 오를 생각을 안해서 김과외 보다가 3개월만에 성적상승시킨...
-
그래도 대상혁 전용 아리는 이뻤는데 ㅅㅂㅅㅂㅅㅂ 올해도 월즈 우승하자
-
키193에 몸무게120 골격근60복싱생체대회5회우승, 라이센스...
-
"우리는 그동안 말할 수 없었던 것들을 감히 말해보겠다."_일월 언어 연구소...
-
고속버스 안에서 영어단어나 외우려고 합니다
-
뭐라고 해야함?
-
1문제 정도 빼곤 주장만 제대로 파악하면 다 풀리게 내는구나 이걸 이제 알았네
-
60분에 한회 4개정도 틀리는데 드랍하는게 맞음? 너무어려눠
-
오른쪽에 있는 요 그래프가 일대일 대응인 이유를 설명해주실수있나요? 역함수가...
-
긴장 너무 많이 하는 타입이라 술마시고 6모봤는데 커하 찍었음 수능 때도 그렇게...
-
책 내용 자세하던데
-
국어 실모 0
저는 학원을 안다녀서 실모를 얻을 수가 없어요 ㅜㅜ 실모 국어 어떻게 얻는건가요...
-
현역 영어 고정 1인데요, 6모때 92까지 떨어져봐서 불안한 마음에 사설 문제를 좀...
-
물론 제작년 경제 서바긴 합니다...
-
교재 없이 수특만 보고 강의 들너도 괜찮나요?
-
학교에 있으면 0
혼자 있고 싶을때가 가끔 매우 많은데 기숙학교라 하루종일 다른 사람들이랑...
-
절대값 영인자 19
|x|는 0인자가 한개인가요 두개인가요? 그래프로 보면 두개인것 같기도 해서요..
-
아 늦잠.. 0
ㅈ댓다
-
ㅋㅋㄱㄱㄱ
-
ADHD이면 성적 잘 못받을 확률 높은게 당연한가요 8
대략 3~4주 전부터 치료시작했던 ADHD환자인데 진단 받기 전에 공부하던 시절...
-
2번 문제 4번선지가 왜 틀린내용인지 해설을 봐도 이해가가지않는데 혹시 푸신분...
-
[단독] 쯔양, 가세연 검찰에 고소 "허위사실로 2차 가해" 1
먹방 유튜버 쯔양 측이 가로세로연구소 김세의 대표를 검찰에 고소했습니다. MBN...
-
수1에서 버벅거리는 게 문제인데...
-
에후..
-
지금 4단원 빼고 기출 다 풀었는데 M스킬이랑 4단원 기출 다 끝내면 1.기출문제집...
-
비문학 -5점(5,7) 문학 -7점(18,24,26) 언매-0점 1등급(컷 83점)
-
서울대 수의대 정시 어느정도인지 아시는분 계신강요 11
언미물1지1에... 내신6점대인데 거의 불가능하다고 봐야겠죠..?ㅠㅠ
-
21수능 가형 생지 12334를 받았었는데 26수능에 미적 사탐으로 재도전 해볼까...
-
6,9평에 나왔으면 수능때 안 나온다고 보고 더 안봐도 되나요? 근데 이 심리를...
-
[단독] 빅5, 4차병원으로 승격 검토... 중환자만 집중 치료 9
의개특위, 의료체계 수술 예고… 현행 3차 병원서 한 단계 신설 대통령 직속...
-
국어 3 영어 3 사탐 4 (공부안했음) 제발된다해주세요 그냥요즘자신감개떨어짐 ㅋ떨어질만함...
-
메인글 보니까 3
미미미누 영상이 생각나네 간호학과는 고등학교 4학년이다.
-
코로나로 중 3년 동안 온라인 수업… 고1이 사라진다 8
'7월 13일, 수능 D-124, 9시간27분, 오공완(오늘 공부 완료)'....
-
배가 넘 아프다
첫번째 댓글의 주인공이 되어보세요.