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를 선물하세요.
-
어떤분이 올라오는데 찾기 힘들다는데 어디서 볼수 있나요 ㅠㅠㅠ
-
상담가능한가요?
-
무물보 시작 3
ㅇ예아
-
교육청도 풀만한가
-
암묵적인 금지 행위인가요? 실제로 만나지도 않고 섣불리 판단하면 안되니까
-
말 그대로 지문 읽고 문제 틀리든 말든 재미있게 읽히고 만일 틀렸더라도 내가 얻어갈...
-
당근에서 4규 샀는데 서비스로 22수능대비 n키트나 이런거 굉장히 많이 주셨는데...
-
마지막에 건들여보다가 시간 다 잡아먹힘
-
근데 기하는 2
개념 떼면 n제 안 봐도 되는 과목 1순위인 거 같음 이차곡선 : 도형 관찰...
-
그냥 문제 표절때문에 나락간줄 알았더니 이유가 그것만은 아닌거 같던데
-
한완수vs뉴런 8
둘의 차이점은 크게 무엇이며 1등급에겐 어떤걸 더 추천합니까??
-
수완은커녕 수특도 시작 안했는데 인강을 듣는게 좋을까요? 아님 수특수완 문제 안풀고...
-
인강 엔제보다 시대북스 엔제가 더 문제 좋은거 같은데 4
정상인가요 인강 엔제도 풀어야하나..
-
읽기만 해도 가슴이 벅차오르는 그런 글 없을까요 (っ.❛ ᴗ ❛.)っ
-
박석준쌤 아까 올라온 캐스트 댓글에 이상한 친구 한 명 있는데 덕담 한 마디씩 해주자:)
-
6모 80 백분위 95따린데 수2 설맞이 푸는데 앞쪽 MX 술술 넘기다가 도함수활용...
-
누가 문제 이따구로 처만드냐 진짜 이렇게 만들고 매주 5천원씩 삥땅치냐 발문도...
-
70점대가 나오다니
-
고2때 부터 정시파이터 시작하면서 쭉 기하만 했음 이번년도 3년째 현역 기하93...
-
윤사 vs 사문 1
지금 윤사 동양윤리하고있는데 너무 스트레스 받아서요ㅠ 나머지 한과목은 생윤으로...
-
...
-
아직 1차 라인업 발표니 나중에는 더 거물이...!?
-
수능수학 좋아하면 수학과 말고 공대쪽이 괜찮나요? 공대쪽이면 공대 과 추천좀
-
Phisiks kod란, 자신에 목표를 achiebe 하기 위헤 수단과 방법을...
-
효녀 되고 싶다 3
서울대 가거나 고대 가서 50%할인 받거나... (오빠가 고대임) 날 뽑아라...
-
과목 별 어떤 강사를 고를거임?
-
욕한 것도 아니고 도표에 오류 내는건 좀 아쉽다고 남겼더니 바로 비공개됨…
-
제발 설문조사 참여해주세요! (경품: 스타벅스 아메리카노) 2
[설문의 목적] 을 연구하기 위한 기초 자료를 얻고자 설문조사를 진행하려 합니다....
-
사실 허수라 기출이랑 사설 깔짝할 생각인데 궁금해서..... 정가주고 살만함? 기출이나 봐야지 ㅅㅂ
-
. 2
날이 덥네요.. 몸 잘 챙기세요 ㅎㅎ
-
수학 첫장에서 빨리 푸는 애가 넘기면서 촤라락 소리 8
내가 더 빨리 풀어서 촤라락 넘기고 싶은데 맨날 짐ㅋㅋ
-
ㅈㄱㄴ
-
논술 공부하는데 벡터쪽이 어려워서 벡터좀 쉬운 문제집 추천좀 해주세요
-
독서실인데 부끄러워 죽을거같음
-
아직 풀 엔제가 남았우..
-
수시/정시 가릴 거 없이 핵빵나는 의대 하나 써서 합격 후 [오르비 의뱃]만 받고...
-
일클 들으려고 하는데 집에 있는 작년 마더텅 독서 갖고 병행하는게 낫나요 아니면...
-
'빈집털이범, 집단린치해야'…하반기 지원 전공의 신상털기 계속 12
정부 "인지 건은 수사 의뢰중"이지만…8월 전공의 추가모집에 유사 피해 이어질 듯...
-
경찰대 시험 2
화이팅..!
-
기모찌
-
왜 보내는거죠..?
-
본인임ㅋㅋㅋㅋㅋㄱㅋㅋㅋㅋㅋㄱㅋㅋㅋㅋㅋㄱㅋㅋㅋㅋㅋ 6? 5? 4?
-
학원알바 그만둔다 하니까 수능끝나고 나오실수있냐고 하던데 나가야 되나
-
이런 형태의 극한식은 f(x)를 x처럼 놓고 두번 미분해야 하는건가요? 마지막 답은...
-
생윤러들 질문요 2
분배적 정의 제일 어려운 파트 중 하나인데 다들 어떻게 공부하시나요? 삼각비판 유형...
-
이 문제에서 p점의 위치가 무슨 의미가 있나요? 지금 자갈이 쌓이고 있는데...
-
메가 모의지원
-
국어표점 + 수학표점x1.2 + 탐구표점x0.8 - 영어,국사,제2외 감점...
-
취집공 0
취집공 존나 어려운데. 기본개념 한바퀴 돌리고 어느정도 개념이 정립되면 트라이하까? 존나 어렵넴
-
영어 국어처럼 읽히는게 잼있어요 정답근거 뽑기와 문항과 비교하는 공부도 많이 해봐야겠어요
첫번째 댓글의 주인공이 되어보세요.