Convergence of the limit set
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
흐아아아아앙존ㄴ맛
-
국어풀때 조용한데에서 한세트씩 풀면 잘풀리는데 풀세트 풀면 adhd걸림 심지어...
-
처음봤을때 많이 웃었는데 ㅋㅋㅋ
-
안녕하세요. 기출조각입니다. 오랜만에 칼럼으로 돌아오게 되었습니다. 지금쯤이면...
-
“나뭇잎이 아니라 北 지뢰입니다”…호우로 인한 유실 지뢰 주의 3
국방부 “DMZ일대 北 방벽 2.5km로 늘어나” 17일 국방부에 따르면 지난...
-
수능 과외는 해봤는데 글쓰기 과외는 어떻게 구인을 할 수 있는지 모르겠네요. 참고로...
-
올해수능 수학 2
이미지 쌤 풀커리 가야겠다.. 수능수학 살릴 방법이 이것밖에..
-
하..
-
집모 1
집에서만 모의고사봤는데 자꾸 표점 떨어지는데 이대로 가면 수능때는 높은2 나올까요?
-
★[전격 입성 이벤트] 오르비 학원에 누가 강림했게~?★ 3
안뇽 얘두라 오늘 비가 마니 오는데 우산은 잘 챙겼지?! 나는 엄청난 소식을...
-
언매-10~15분 독서-25~30분 쓰고 나머지 40분 가량을 문학에 다 때려박는데 나만 그런건가
-
백호는 그걸 뭐라하는거지? 백호 다 좋은데 백호용어가 다 특이해서...
-
손가락걸기하다가 16
시간이 너무 없으니까 손가락 걸게되는데 손가락 개수가 마이너스 됐어요 지문이해도를...
-
나왓 누구야ㅑㅑ 로봇인가,.?
-
맨날 심술난 표정으로 로봇처럼 수업하던 키큰 사람보다가 이미지T 강의 들으니까...
-
수학 100점 20
은 표점 100
-
대성에서 0
내신 끝나고 대성 패스로 김승리쌤 올오카 듣고있는데 국어에서 고전을 좀 어떻게...
-
결국 질럿다 5
내 소중한 세뱃돈이..
-
수악 이게될까 해내야지
-
제헌절 1
빨간날이었으면 좋겠다
-
15 30 틀인데 15는 시간 있으면 풀겠는대 30은 풀 수 있는 거 맞음? 맞으신...
-
수열 각잡고 풀어서 그런 영향도 있다 수악은 악이다
-
저는 현실적으로 접선풀이를 했을 떄 기울기와 y절편의 곱의 최댓값을 머릿속으로...
-
아니진짜 개어려운데
-
걍 머리아파서 영어는 안풀었고 국어 수학 평가원 6모 백분위 99 90이고 수학같은...
-
모든 과목이 백분위 95~97 이러면요
-
4규 수2 질문 2
절댓값 풀려면 어캐해야하나요? 인강 조금 봤는데 왜 t가 x랑 0사이에서 움직이는지...
-
덕은 어디서 구해오는거에요? 돈 주고 사는건가..? 어디에 쓸수있죠! 저번에 편의점...
-
국어 박광일 김동욱 수학 강윤구 영어는 독학 물원 이규철 지투 오지훈
-
1회 65 2회 70 수학실력 좀 오른거같았는데 하 이정도면 3아님?ㅋㅋㅋㅋ
-
보기를 먼저 읽고 푸느냐에 따라서 문제 풀이 정확도가 달라지는데 계속 보기먼저...
-
ㅈㄴ 머리아프네 0
대체뭐가어떻게된거지
-
미적을 못하는 편인가요 아니면 보통그런가요 킬캠 공통 3개에 미적 5개틀리고...
-
템포 유지만 해도 먹고가는 시기같음 그리고 9모 직후도 ㅈㄴ안됨
-
헐,,한양대 다이아몬드 받고 장학금 받으려 했더니,,,갑자기 없어지고,,,ㅜㅠ이래서...
-
하 인생
-
생명17,19 2틀 44의늪에빠짐 이번주 시컨 다44인데 1
17 19중 하나만 맞춰도 1뜰텐데 두개다틀리네
-
외모, 신체적 피지컬, 정신적 피지컬(=멘탈), 4개국어, 성격, 춤이나 노래실력?...
-
공부 언제부터 어떻게하셨는지 궁금... 전 지금 2-1까지 마친 상황이에요
-
강k 서바 이감 월례
-
레전드 공하싫뭐냐 10
흠
-
이럴수가
-
인사 오지게 박습니다ㅏ 13
매번 비로그인으로 글만 봤는데 어떤 한분 보고 오,, 나도 로그인해서 친해지고...
-
메이저의대 vs 서성한(수학과) "누가 더 수학잘할까요" 13
쓸데없는 비교질하려는게 아니니 오해 ㄴㄴ 큐브 마스터 중에 메이저의대길래 계속 수학...
-
Qna 올려도 같은말만 반복하는데 이거 F(x) 아래끝을 0으로 설정할 수 있는 이유가 뭐임?
-
옯비 접으니까 자꾸 겜해서 안되겠어요
-
어떤 의미를 갖는지 잘 모르겟음 솔직히 “유대인이 어쩌고...“ 하면 뭔가...
-
안녕하세요, 여러분의 꿈의 열쇠를 찾고 조여주는 사람들 [몽키스패너]입니다! ?...
-
있으면 알려주실 분 ㅠㅠㅠ 국영수 (언매통통)
첫번째 댓글의 주인공이 되어보세요.