Convergence of the limit set
게시글 주소: https://iu.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학기 중간도 망치고 기말도 망쳤습니다 아마 국어 3 수학 4 영어 4 통과4...
-
기숙학원인데 열품타 채팅 기능있다고 막아놓음… 작년부터 하루도 안 빼먹고 열품타로...
-
생호고 윤리면 저작구ㅜㄴ윤리나 사서로서 지켜야 할 윤리 이런거 쓰면 될 것 같은데...
-
물이 많아지면 구멍이 열림 대단한게 왔다갔다함(O2, CO2) 끝나면 물이 적어지고...
-
물리 강의 2
노베라서 강민웅 들으려고 하는데 개념 완자 말고 물아일체 들어야 하나요??
-
고3이고 늦었지만 지금부터라도 시발점을 들으려고 해요 수2랑 미적 다 들어야...
-
본격 수능공부 3일차 현여기 지금 수능 ㅈㄴ 두려운데 수시를 깔아놨다는게 진짜 엄청...
-
사회문화 3
윤성훈 명불허전vs마더텅 골라주세요 불후의명강 수강 중이고 기출 처음 돌림
-
이 성적으로 고대 가능해요? 화작 확통 생윤 사문 안된다면 어디라인까지는 가능한지도...
-
시루스 두둥장! 4
한시간동안 체스랑 오르비를 벅벅
-
이렇게되면 더이상 공부할 이유가 없음 ㅋㅋ 외국살다왔거나 암기 재능있어야 1등급...
-
투표 오네가이
-
뒤늦게 재수 해볼까 해서 요즘 공부중인데, 수학 과학은 어느정도 괜찮은데 국어...
-
갈만한가요.... ㅈㄴ 고민되는디 이번달 다음달 안으로 추모 넣어서 가면 칼복학 ㅆㄱㄴ인데
-
미래 30년 뒤에 미국과 중국 중 어느 나라가 초강대국으로 남을지를 예측하기...
-
중국-대만 전쟁이 한국과 일본에 끼치는 영향.gpt 0
양안전쟁이 발생할 경우, 한국과 일본에 미칠 수 있는 안보적 위협을 좀 더...
-
그냥 사탐 개념노트?같은거에 적으셨나용? 아니면 사탐 과목별 선지노트?를 따로...
-
으아... 뭔노무 공부할게 이리 많아!!! 전보발령 준비로 좋아했는데 공부할게...
-
수학 n제 질문 7
n티켓 시즌1, 2다 풀었는데 N티켓 2회독 할까요 다른 N제 풀까요? 다른 N제...
-
엔제 추천좀 0
ㅈㄱㄴ
-
수학 강의 추천 1
현우진 선생님 잘 안맞아서 뉴런 듣다가 그만 뒀는데요 현우진T 말고 수학 들을만한...
-
금지어 좀 찾아주세요
-
자연수가 짝수랑 기수(원소개수) 같다는데 자연수는 짝수랑 홀수로 나뉘니까 짝수까리...
-
25년부터 교대 정원 12퍼 감소 + 초등교사 임용 증가 ㄷㄷ.
-
확통 3점에 불을 질러놓으면 확통 표본수준을 감안했을때 표점이 미적이상으로 올라가지...
-
[단독] 정부, 미복귀 전공의 1만명 불이익 안 준다 2
면허정지 등 행정처분 안 하기로… 다른 병원 갈 수 있게 지침도 개정 정부가 8일...
-
걍 메가대성만 컨텐츠만 풀려는데 서바 강k가 낫나요
-
아침부터 개빡치네ㅠㅠ 백색소음 존나 크게 틀어놔서 혹시 조금만 낮춰주실 수 있냐고...
-
나 피곤했나보네 2
지금 일어나버렸넻
-
문이과 통합전이면 비교할 가치가 없지만 지금은 통합 백분위라 문과 확통 1등급...
-
이대부고 자사고→일반고 전환 신청…서울서만 11번째, 왜? 1
이화여대 사범대학 부속 이화금란고등학교(이대부고)가 일반고로 전환하기 위해...
-
????? 6
이게 무슨 프랑스는 왜 좌파연합이 1위냐
-
얼버등 1
(゜∇^d)!!
-
시대 서바 단과 2
현역이고 수학 모고 풀면 3뜨는데 시대 서바이벌 단과 다녀도 괜찮겠죠? 가서...
-
coincide 동시에 일어나다, 일치하다 seduce 현혹시키다, 유혹하다,...
-
ㄹㅇㅋㅋㅋㅋ
-
목포대 약대 정시로 갈려면 최소(추추추합)할 수 있는 성적으로 국수영탐 몇등급 이내...
-
인생은 정시다 0
수시처럼 보험 6개를 만들어두진 못할지라도 3개씩은 만들어둬라 하하하 어디 한 번...
-
보복부게이야 꺼토미랑 야애니 좀 그만보고 +) 조기입학 그딴거 할바엔 모든 남중...
-
수특 수완 0
언미물지하는 사람입니다! 수특은 영어 빼고 다 사서 풀고 있는데 수완도 영어 빼고...
-
한국의 민주당 지지층 혹은 당직자로 있는 586 운동권 세력과 2030으로 대표되는...
-
농업사회 익명성 1
정보 사회가 익명성이 더 높은 거 어닌가요? 이해가 안돼요
-
대 황 타 타 2
그저씹곹ㅋㅋ
-
제곧내 내신 A만 맞으면 됨.. 쌤피셜 교과서 열심히 풀면 A 맞고도 남는닥고
-
레전드 아침헬스 0
후 출근
-
오르비만 하는 애들도 있겠지?
-
귀국! 1
으아 너무 피곤해요
첫번째 댓글의 주인공이 되어보세요.