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를 선물하세요.
-
가을아침 2
얼리부기밤밤
-
ㅇㅂㄱ 2
ㅎㅇ
-
기차지나간당 4
부지런행
-
39+289=???
-
흠..
-
아 알바가기싫다 0
첫차를 타고 가야하다니 어찌 이런..
-
얼버기 3
-
얼버잠 0
이 아니라 애니봐야지
-
그냥 체급차란게 있으면 먼 수를 해도 안됨 롤에서 챌린저스 2군 팀이 젠지를 이길...
-
쌍화점(고려)-순수의 시대(조선 초기)-간신(조선 중기)-인간중독(대한민국)
-
지문이든 문제든 거의 표시를 안 하는 성격인데 답이 2번이라고 짐작 => 일단 체크...
-
역사서적 GOAT... 한 초2때쯤 본건데 아직도 내용이 다기억남
-
미방 코스한건 지웟지롱 킥킥. ㅋㅋㅋㅋㅋ다시봐도 웃기네 축가 콘서트는 특이하게...
-
이번에 원하는 대학 가야 성인되자마자 칸예수님 영접도 하고 그럴 수 있다 쒸팔 진짜...
-
강대X 5회 0
85분 100 계산량 많지만 과하지않아서 좋았음!
-
사실 전 성시경 콘서트에 아냐 코스프레를 하고 갔었음 7
사실임 드레스 코드 맞추려고 간건데 베스트 드레서 안뽑혀서 조금 속상했음 … 썰이나...
-
정책을 조정할 시기가 왔습니다. 진행 방향은 분명하며, 금리 인하의 시기와 속도는...
-
문제는 풀줄아는데 수학 해설지 내용이 이해가 안가서 다시 질문 올립니다 ㅠㅠ 식을...
-
6평 망친 노베 재수생인데 요즘 공부가 너무 안됩니다. 순공 6시간도 힘들어하는 제...
-
고2 정시 6
좀 빡센 여고이고 내신은 5 후반인데 그냥 돌리는 게 맞겟죠... 생기부는 나쁘지는...
-
배 계속 아프네 낼 학원가야하는데… 왜 그랬을까 난
-
연논 1
인문계 수리논술만 특화해서 별도의 공부를 해야할 것 같은데 논술학원을 다녀야하나요...
-
써니같은여친기원 3
-
그래그래 한단계 올라간다
-
수능 끝나면 취미로 수학의 정석 공부하는 것 생각중 2
수1 수2 미적 기하 행렬 벡터 복소평면 렛츠 고!
-
‘팩트는 아이가 건강하게 자랐으면 좋겠다는 거임’ ‘성장화 해야겠지??‘ ’이 또한...
-
뉴런vs한완수 0
9모전까지 한바퀴돌리고 그다음부터 n제랑 실모만하고싶은데 한완수 실전개념을 할까요 뉴런을 할까요
-
4등급이 풀기에 어떰? 적당함? 좀 얻어갈게 있으려나 쉬운 n제로 n티켓, 4규...
-
고민이 되는군
-
내가 잘보고 운좋게 잘푼 문제가 많은 실모 = goat실모 내가 못보고 못푼 문제가...
-
수학황 커몬커몬 10
대체 어떤 마인드(태도)로 킬러 푸시나요? 모고에서 킬러(고1,2기준 30번)...
-
정시 서강대 11
얼마나 어려움? ...아빠가 서강대인데 진심 수능으로 가려면 거의 다...
-
이게 지우다 보면 갑자기 깨진다고 해야하나 부서지던데 다른 좀 좋은 지우개 없을까요
-
어그로 ㅈㅅ 내년 수능 준비중이고 이제 수2 끝내고 미적분 시발점 들어가고 수2...
-
??
-
기출 다시 분석 1
국어랑 과학은 이미 기출 다시 풀고 있는데 수학이랑 영어도 다시 볼 필요 있을까요?
-
설맞이 수2, 미적, 부스터 시즌2, 하사십 시즌2, 3개년 교사경 돌린 뒤 실모...
-
ㄹㅇ;;
-
화작 92 미적 80 지구 42 물리 34 입니당..
-
후기가 몇 개 없어서 난이도가 어떤 지를 모르겠네;;; 이거랑 히카 둘 중에...
-
군데군데 새하얌이 아름다운 온통 회색빛의 하늘이다앞으로 뻗은 오른손 검지에 물 한...
-
화작미적사문지구 79/92/46/35 참고로 화작 2번째 지문에서 5문제 중 4문제를 틀림;;
-
삼수생 윤진이 -> 삼수생 하영이 입니다 많관부~
-
본인 지금 아빠 카드 이용내역 뽑힌거 옆에 있길래 봣는데 재종 급식비 32만원...
-
시골집 마루 천장엔 으레 낡은 전등 하나가 작은 바람에도 날려갈 듯 허공을 휘적이며...
-
아이는 떠나고 버려진 그네는 아쉬운 듯 허공을 맴돌았다
-
진짜 부럽네.. 벌쳐2 개똥반이라 갈 생각도 없었고 12월생이라 가지도 못하는데...
-
윤사모 0
윤리와 사상 모의고사 라는 뜻
첫번째 댓글의 주인공이 되어보세요.