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도 없이 단순히 사람대 사람으로써 궁금증임
-
라면에 8
술한잔하고 진짜자야지
-
국어실모를 많이 풀어서 문학수특안에 작품들 한번씩은 본 것 같은데.. 문학수특...
-
..
-
완벽하지 못한 내가, 완벽하지 않아서 좋다. 사사로운 감정들에 쉽게 흔들리는 내가,...
-
지나간 그 여름 바닷가에서 꿈처럼 눈부신 그녈 만났지 믿을 수가 없어 아름다운 그녀...
-
뭔 전쟁이노 1
아까까지 카투사 애들이랑 테슬라가 어쩌고 하다가 왔는데
-
단골 칵테일바 당일 입고 양주 할인까지… 사장님 싸랑해요
-
만족했다 0
4시간뒤에 보자
-
대유쾌마운틴 0
슬슬 우울함을 넘어서 유쾌하다 ㅋㅋㅋㅋㅋ
-
서바 브릿지 제외
-
현우진 해설 듣는데 감탄만 나오네요.. 이렇게 생각할수 있구나 아직 실력이 부족한...
-
독서실 가자..
-
귀에 튀어나온 이주?라는 부위 누르면 좋아진데서 눌렀더니 ㄹㅇ 안간지러움요 이게...
-
최근에 여친이랑 헤어졌는데 그거보다 감동적이라서 눈물 흘림
-
ㅆㅂㅅㅂㅅㅂㅅㅂㅅㅂㅅㅂㅅㅂㅅㅂㅅㅂㅂㅅㅂㅅㅂㅅㅂㅅㅂㅅㅂ 그래프 해석 쥰내 어려워
-
이야
-
가계도까지만 공부했습니다, 1문제는 버리고.. 근데 나머지 19문제가 이제 웬만해선...
-
드릴5 드랍 1
미적분 1컷~2중반 왔다갔다 거리는데 수2 미적분/미적분 미분,적분 부분 거의...
-
잠이 안 와 2
어휴
-
아으 12
이번엔 또 잠이 안오네
-
딱 70점만 나오냐 십..그래도 아직 8일 남았으니 늘겠지...? 개념 꼼꼼히 더 보기 싫은데
-
여자한테 안겨서 자는 느낌이라고 해서 해봤는데 찐이노 시발잠이나자야지
-
잠이 안 와용 6
-
자퇴 예정인 07입니다. 문학개념어나 고전같은 거도 잘 모르는 상황입니다. 기출...
-
수학 ebs 1
아직 수학 ebs를 하나도 안했는데,,, 지금 수특 수완을 다 풀 시간이 없을 것...
-
6평 생 4 사 2 9평 생 4 사 4 입니다 남은 기간 사설 풀면 거진 44~37...
-
ㄹㅇ
-
머나먼 곳을 볼 수 밖에 없구나
-
올해 궁금한게 0
한양대 상경논술이 작년과 문제수준이 동일하다고 가정할때 합격점수가 떨어질까
-
밥친구 0
무한도전 1박2일 푸른거탑 고독한미식가
-
늘 있는 wwe 1
-
설거지 안 해도 되는 게 ㄹㅇ 고트
-
소주 맥주 막걸리 맛대가리없음
-
아니면 탐구가 수능때만 망할수가 없음
-
공부 열심히 해서 왔더니 온 국민과 정부가 나를 천하의 나쁜 놈으로 매도함 진로의...
-
프메기본 머리줘뜯으면서 하는 중인데 끝내고 바로 프메랑 원솔멀텍으로 넘어가는 건 무리일까요?
-
아이롱 리프펌 했는데 뒷머리 한쪽이 휘어서 갈라지고 앞머리 왼쪽은 오히려 더 펴지고...
-
공부도 나름 어렵지만 재미있고 나중에 생각하는 진로도 나랑 맞아 실력대로 못보고...
-
어제부터 너기출 시작함. 2점/3점 계산 문제 + 지수/로그 실생활 문제같은 문제들...
-
안자고 뭐하는짓이지 솔직히 가망없는거 아는데 복권긁는심정으로 가는거라.
-
수1 뉴런 들어갈려고 하는데 제가 중간기말모고 수1 전부 2떴는데 예전에 감을 다시...
-
발톱 뽑기 8
뽑아보신 분 계신가요? 애매하게 있어서 뽑고 싶어요
-
이번 6 9 다 안풀어봐서 과외전에 대충 봐야합니다… 인강 강사들 중에 이번 국어...
-
https://orbi.kr/00025889377 ..
-
인생을 잘못 살았어 24
내가 이런 사람이라는 게 나를 슬프게 해 미안해 또 잘못했어 바뀌고 싶어 노력할게
-
꿈이 너무 싫다 0
현실에서 애써 외면하는 내면을 더이상 스스로에게 숨길 수가 없어서 너무 힘들다
-
하..
-
푸른거탑 보고 존나 맛있을 거 같았는데 막상 군대라고 생각하니 팍 식음
첫번째 댓글의 주인공이 되어보세요.