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
ㅅㅅㅅㅅㅅㅅㅅ
-
으히히 신기하당
-
쎈이 시간낭비라는 사람들도 있고 뭔가 쎈 하기 싫어서 (;;;) 3점짜리 기출 할까요 쎈할까요
-
내신과 모의고사 2
안녕하세요! 그동안 수학은 모의고사 준비를 따로 하지않고 내신대비만 하고있는...
-
내일은 8월
-
수학황들아 3
x²(x-a)²이런 식 인수분해 쉽게 하는 방법있지 않아? 걍...
-
이번생에 되려나
-
6모 69점 --> 7모 88점 (찍맞×) 받음 수1 드릴 하는 중 7모 성적이...
-
수능에서 압박감 해소에 도움됨? 사실 그것+ 국어 실력 향상 때문에 준비하고잇긴 한데 음
-
정시 평가볼 때 영향 끼치나요? 재수까지 고려하면 내년에도 정시에 내신반영 많아질...
-
브레턴우즈 질문 1
다들 엄청 꼼꼼하게 분석하는거 같은데 저는 풀때 평가절상 되면 뭐가 유리해지고...
-
사문하시는 분들 수능 전까지 실모 몇 개 푸실건가여? 16
저는 10/1부터 1일 1실모 생각하고 있음.. 9월에는 평가원 11개년 30세트...
-
3학년 내신 때 확통을 선택하면 (수능 때 확통을 안하고 1학기 내신까지만 반영하는...
-
그게 아무렇지 않게 비춰지진 못하겠죠..? 생활필수품 주문하듯이..
-
56일차
-
무물보 시작 2
ㄱ
-
5모 22번은 2
수능이었으면 정답률 몇퍼였을까요? 작수 22번급은 아니지 않았나요
-
기출 안푼학생 (대게 3~4등급)들한테 마더텅, 자이 많이추천하던데 그거 붙잡고...
-
[Epsilon] 2025학년도 Epsilon 1회 모의고사 배포 (+ 후기 이벤트) 4
안녕하세요. 성균관대학교 수학교육과 문제연구학회 '엡실론(Epsilon)'입니다!...
-
어색하자나
-
어느 라인 이상 가야 옮길만할까요…? 참고로 남자입니다,, 군대이슈도잇고ㅜ
-
[분석] 영어 등급 올리고 싶은 사람만 클릭하세요. 수능 영단어 원리 분석 끝장판 1
결론부터 말함 수능 영단어는 다다익선이 절대 아님 수능/모의고사 빈출된 영단어를...
-
주변에서도 무리하지 말라는데 아침에 일어나기 힘든 거 빼곤 다 괜찮고 재밌음...
-
안녕하세요 6모 3등급 통통이입니다. 다름이 아니고 현재 고난도 기출 빼고는 한...
-
4-5등급이 풀 것 기출 문제인 3점정도 수준 이지만 양이 많진 않고 빨리 끝낼 수...
-
안녕하세요, 의대 논술 전문 유튜버 수학GPT입니다. 고2 학생들을 위해...
-
ㅠ 그때 그 영화관으로...
-
왜 수특 밖에 없눈 거 같지
-
사회적소수자 문제풀다보며누여자가 사회적소수자라는 생각이 없다면 못푸는 문제가 있는...
-
106일 남은 오늘 서울대 의류학과 가기로 했다. 옷도 좋아하고 서울대고 나중은...
-
왜냐면알바하느라좃뺑이치고있음
-
2호부터 ebs연계라고 하던데 지금사면 몇호부터 풀면 될까요...?
-
수학 성적이랑 어떤식으로 공부해서 어디 붙었는지 후기좀 일단 저는 작수 기하 93...
-
감사합니다
-
항정살 굽는데 1
마블링이 캬
-
순전술식 아오 2
반전술식 아카
-
루시드가 진짜 담원의 보석이다
-
오랜 생각이다
-
대학원 4.0 이상 대기업 수도권명문 3.0 이상, 지거국 3.5~4.0, 전문대...
-
너 참 ㅈ같이 생겼다를 가장 완곡하게 돌려말하는 법 13
힘을 숨긴 히어로 같이 생겼다 << 어떤가요
-
ㅈㄱㄴ
-
나도 카의가고싶다 15
하.
-
이감은 12개 묶어서 팔고 하나씩은 안파는것 같던데 따로 살 수 있는 실모 있나요?
-
이야기하다가 10분씩 잠수타는건 뭐임?
-
얼버기 8
방금 해 뜬거 맞지?
-
지금으로치면 어느정돈가요? 건동홍? 경북대?
-
똥싸는중 6
으어 시원하노
-
언미영물지 22년 9평에서 22년 수능에서 국수백분위 100 100 찍고 카의...
-
오르비 친구들 지금 올림픽중인건 알죠??
-
고수가될래
첫번째 댓글의 주인공이 되어보세요.