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를 선물하세요.
-
ㄹㅈㄷ공하싫 6
크아아아악
-
커피 같은 거 누가 삼...? 걍 더페하는 거임? 나 카페에서 하는 거 첨이라 아예 모루겠음...
-
[KBS 대구][앵커] 대구의 한 육군 부대에서 사병이 함께 일하는 민간 조리원에게...
-
코로나 걸림 1
수능때 안걸려서 다행이라고 해야되나?
-
유명 래퍼가 공원서 '행인 폭행'…경찰, 입건 전 조사 착수 13
(서울=연합뉴스) 안정훈 기자 = 서울 마포경찰서는 유명 래퍼 A(39)씨가 행인을...
-
“폭우 때문에 예비군 늦었는데…‘무단 불참’ 처리됐습니다” 20
폭우 때문에 예비군 소집에 늦었는데 ‘무단 불참’ 처리돼 억울하다는 사연이...
-
라벨 - 볼레로 한번쯤은 들어 본 클래식 태일아! 진화시켜줘
-
"전공의 공백 메우는 PA간호사, 또 다른 값싼 인력 만드나" 5
['의대 증원' 그 후 上] 더불어민주당 김윤 의원 인터뷰 정부의 의대 증원 정책에...
-
확통 노베 강의 추천 13
이번에 미적에서 확통으로 돌리는건데 지금부터 해도 가능할까요? 이투스 메가 대성 다...
-
210일 남은게 아닐까?
-
오르비에 달달이가 좋다는 글이나 쓰고 앉았는데 헤어지니 마니 하는 글 보니까 너무...
-
9시 오픈인데 2
9시 5분에 도착하니까 대기만 22명이네 동네에 병원이 하나뿐이라ㅠ
-
[단독]서울대병원 5명… 대형병원 5곳 지원 전공의 1% 2
수련병원들이 31일 하반기 전공의(인턴, 레지던트) 모집을 마감했으나 5대...
-
N제와 사랑에 빠져......
-
[단독] 싱가포르 주최 의료인 채용설명회에 의사 200여명 북적… 절반이 전공의 2
국내서 열려… 30명 현장서 면접 ‘취업난’ 간호사도 100여명 몰려 지난달 27일...
-
"우리 대대 3대 엉덩이…" 여성상관 성적 모욕한 병사 선고유예 4
피해자 20∼30대 여 장교·부사관 4명…1·2심 모두 징역 4개월형 유예...
-
하지만 눈뜨고 일어나기까지 55분 일어나는 게 세상에서 젤 힘들어
-
김동욱T 커리 질문 11
내년에 김동욱선생님 커리 따라갈건데 일취월장+연필통 수강하면서 간쓸개 연간 패키지...
-
음료나 꿀팁이나 뭐든 다 받아요 요즘 엄청나게 불규칙적인 생활을 해서 기억 파일에...
-
웬만한 대학 한 학기 등록금이 600 되는 곳이 없을텐데 대학 가려고 월 600을...
-
홉스는 자연상태에서 선이란 개념 자체가 없다고하는데, 그러면 생명권과 같은...
-
코로나각인데 ㅅㅂ 공부는 어카지
-
얼버기 4
일어나써요
-
상크스중... 전까지만 해도 다인자 ㅈㄴ노잼이고 어려워서 하기싫었는데 가계도 부분...
-
알려주는 내용 많이 다른가요 시발점도 개좋던디
-
증원은 바라지도 않으니깐 걍 원래 인원만큼 뽑기라도 했음 좋겠다ㅅㅂ
-
군수생입니다 마지막 수능이 24수능이고 다시 공부해보려는데 인강은 듣기 힘들어...
-
교재 맛보기를 못해서 그러는데 이원준 계간지에 ebs 수특 수완 지문이랑 작품 관련...
-
광릉에서 1차 예상 컷 뜸 관심있으면 영상도 한번 ㄱㄱ
-
인제의도 표점대학인데 투과목 반드시 해야겠지??
-
2등급 의대 3
내신 2점 극초반인데요 9모에서 의대나 그정도는 아니라도 그에 준하는 성적을 받으면...
-
얼리버드 기상 2
-
아니 내가 머리 푼거만보면 산발이래 심청이머리같다는소리도들음;; 한번 반묶음했는데...
-
Ladies and Gentlemen, My name is Ryan from...
-
여캐일러 투척. 4
수능 만점 기원 18일차 금요일의 아침인사에서 민초한입으로 복귀
-
버즈 프로3. 2
진짜 깨끗하게 쓰다가 1월에 아이폰으로 바꾸면서 당근에 팔려고 하는데 지금 금액...
-
내가 마치 부지런한 사람이 된거같아서 기분좋음
-
진심 의약계열 현역 전멸은 심하지 않냐 돈 쳐 받아먹었으면 1명은 인간적으로 보내야...
-
잠이 안 와서 쓰는 2025 LEET 언어이해 현장풀이 1
- 가채점 기준 5문제 틀렸고, 수능과 달리 시험지를 수거하지 않아 마킹실수 또는...
-
공부해라 5
아냐 그건 너무 교과서야
-
5시간 자서 머리가 안돌아 가는데 더 자면 밤낮 바뀔 것 같아서 버텼더니 죽을 것...
-
기차지나간당 3
부지런행
-
사실 4년전 고1때부터 시작돼서 고3 중반때까지 공부 놓고 집구석에만 있다가 겨우...
-
진짜 환자한테 존나 친절하고 약처방도 잘해주시고 진짜 ㅅㅌㅊ의사선생님이신데 그...
-
반수 시작 1
오늘부터 하면 가능성 있다고 봄? 작년 9평 11113 수능 22112 맞았고...
-
강의 찍기전에 6평에서 나와서인가요???
-
크컄ㅋㅋ엌ㅋ 1
-
연고서성
-
어찌 이런 일이
-
조교할땐 맨날 정장 입고 오다가 다시 재수학원 등록하니까 여자들이 맨날 입는 회색...
첫번째 댓글의 주인공이 되어보세요.