Geometric convergence
Here, we state the equivalent formulations of the Geometric convergence
Group theoretic formulation (Hausdorff/Chabauty topology)
1. The geometric topology on Kleinian groups we mean giving the discrete subgroup of $\mathrm{PSL}_2\Bbb C$ the Hausdorff topology as closed subsets.
- The sequence of closed subsets $\{Y_i\}$ tends to a closed subset $Z$ in Hausdorff topology of the collection of closed subsets means (1) For every $z\in Z$, there are $y_i\in Y_i$ such that $\lim_{i\to\infty} y_i = z$. (2) For every subsequence $Y_{i_j}$, and elements $y_{i_j}\in Y_{i_j}$, if $y_{i_j}\to z$ then $z\in Z$.
In other words, $\{\Gamma_i\}\to\Gamma$ geometrically if every element $\gamma\in\Gamma$ is the limit of a sequence $\{\gamma_i\in\Gamma_i\}$ and if every accumulation point of every sequence $\{\gamma_i\in\Gamma_i\}$ lies in $\Gamma$.
Rmk. It's known that the set of closed subsets is compact with Hausdorff topology. In particular, passing to a subsequence, one may always assume that a sequence of nonelementary Kleinian groups converges geometrically.
2. Equipping a hyperbolic 3-manifold $M$ with a unit orthonormal frame $\omega$ at a base point $p$ (called a base-frame), $M$ uniquely determines a corresponding Kleinian group without up to conjugacy condition by requiring that the covering projection
$$\pi:(\Bbb H^3,\tilde{\omega})\to(\Bbb H^3,\tilde{\omega})/\Gamma = (M,\omega)$$
sends the standard frame $\tilde{\omega}$ at the origin in $\Bbb H^3$ to $\omega$.
The framed hyperbolic 3-manifolds $(M_n,\omega_n) = (\Bbb H^3,\tilde{\omega})/\Gamma_n$ converge geometrically to a geometric limit $(N,\omega) = (\Bbb H^3,\tilde{\omega})/\Gamma_G$ if $\Gamma_n$ converges to $\Gamma_G$ in the geometric topology stated in 1, i.e,
-For each $\gamma\in\Gamma_G$ there are $\gamma_n\in\Gamma_n$ with $\gamma_n\to\gamma$.
-If elements $\gamma_{n_k}$ in a subsequence $\Gamma_{n_k}$ converges to $\gamma$, then $\gamma$ lies in $\Gamma_G$.
(intrinsic) Manifold formulation
3. $(M_n,\gamma_n)$ converges to $(N,\gamma)$ geometrically if for each smoothly embedded compact submanifold $K\subset N$ containing $\omega$, there are diffeomrophism (or quasi-isometries or biLipschitz) $\phi_n:K\to (M_n,\omega_n)$ so that $\phi_n(\omega) = \omega_n$ and so that $\phi_n$ converges to an isometry on $K$ in the $C^\infty$-topology.
Rmk. Note that one can formulate the above by saying that for $\epsilon>0$, there is a sequence of isometric embeddings $\beta_i: B_{\epsilon}(\phi_i(x))\to\Bbb H^3$ from $\epsilon$-ball around $\phi_i(x)\in M_i$ so that $\beta_i\circ\phi_i$ converges to an isometric embedding of some neighborhood of $x\in N$ into $\Bbb H^3$.
4. A sequence of Kleinain groups $\Gamma_i$ converges geometrically to the Kleinain groups $\Gamma_G$ if there exists a sequence $\{r_i,k_i\}$ and a sequence of maps $\tilde{h}_i:B_{r_i}(0)\subset\Bbb H^3\to\Bbb H^3$ such that the following holds:
(1) $r_i\to\infty$ and $k_i\to 1$ as $i\to\infty$;
(2) the map $\tilde{h}_i$ is a $k_i$-bi-Lipschitz diffeomorphism onto its image, $\tilde{h}_i(0) = 0$, and for every compact set $A\subset\Bbb H^3$, $\tilde{h}_i|_A$ is defined for large $i$ and converges to the identity in the $C^\infty$-topology; and
(3) $\tilde{h}_i$ descends to a map $h_i:Z_i = B_{r_i}(p_G)\to M_i = \Bbb H^3/\Gamma_i$ is a topological submanifold of $M_G$; moreover, $h_i$ is also a $k_i$-bi-Lipschitz diffeomorphism onto its image. Here, $p_G = \pi_G(0)$ where $\pi_G:\Bbb H^3\to M_G$.
Gromov-Hausdroff formulation
5. The sequence of discrete groups $\{G_n\}$ converges polyhedrally to the group $H$ if $H$ is a discrete and for some point $p\in\Bbb H^3$, the sequence of Dirichlet fundamental polyhedra $\{P(G_n)\}$ centered at $p$ converge to $P(H)$ for $H$, also centered at $p$, uniformly on compact subsets of $\Bbb H^3$. More precisely, given $r>0$, set
$$B_r = \{x\in\Bbb H^3:d(p,x)<r\}.$$
Define the truncated polyhedra $P_{n,r} = P(G_n)\cap B_r$ and $P_r = P(H)\cap B_r$. A truncated polyhedron $P_r$ has the property that its faces (i.e. the intersection with $B_r$ of the faces of $P$) are arranged in pairs according to the identification being made to form a relatively compact submanifold, bounded by the projection of $P\cap\partial B_r$. We say that this polyhedral converges if: Given $r$ sufficiently large, there exists $N = N(r)>0$ such that (i) to each face pairing transformation $h$ of $P_r$, there is a corresponds a face pairing transformation $g_n$ of $P_{n,r}$ for all $n\geq N$ such that $\lim_{n\to\infty}g_n = h$, and (ii) if $g_n$ is a face pairing transformation of $P_{n,r}$ then the limit $h$ of any convergent subsequence of $\{g_n\}$ is a face, edge or vertex pairing transformation of $P_r$.
In other words, each pair of faces of $P_r$ is the limit of a pair of faces of $\{P_{n,r}\}$ and each convergence subsequence of a sequence of face pairs of $\{P_{n,r}\}$ converges to a pair of faces, edges, or vertices of $P_r$.
A seuqnece $\{G_n\}$ of Kleinian groups converges geometrically to a nonelementary Kleinian group if and only if it converges polyhedrally to a nonelementary Kleinian group.
Rmk. It's necessary that one needs to assume the limit group nonelementary. It's possible that the geometric limit of nonelementary Kleinian group is an elementary Kleinian group.
6. A sequence $X_k$ of metric spaces converges to a metric space $X$ in a sense of Gromov-Hausdorff if it converges w.r.t. the Gromov-Hausdorff distance. Here, Gromov-Hausdorff means the following:
Let $X$ and $Y$ be metric spaces. A triple $(X',Y',Z)$ consisting of a metric space $Z$ and its two subsets $X'$ and $Y'$, which are isometric respectively to $X$ and $Y$, will be called a realization of the pair $(X,Y)$. We define the Gromov-Hausdorff distance:
$$d_{GH}(X,Y) = \inf\{r\in\Bbb R:\text{ there exists a realization }(X',Y',Z)\text{ of }(X,Y)\text{ such that }d_H(X'.Y')\leq r\}$$
where $d_H$ is a Hausdorff distance.
addendum. A sequence of representations $\varphi_n\in AH(\Gamma)$ converges algebraically to $\varphi\in AH(\Gamma)$ if $\lim_{n\to\infty}\varphi_n(\gamma) = \varphi(\gamma)$ for each $\gamma\in\Gamma$. This is a natural topology once we view $AH(\Gamma) = \mathrm{Hom}(\Gamma,\mathrm{PSL}_2\Bbb C)/\mathrm{PSL}_2\Bbb C\subset \mathrm{Hom}(\Gamma,\mathrm{PSL}_2\Bbb C)//\mathrm{PSL}_2\Bbb C$ as an algebraic variety.
Here, $\mathrm{Hom}$ we implicitly assume it's weakly type preserving but not necessary (strongly) type preserving.
In the manifold term, one can describe the algebraic convergence as follows: Element in $AH(\Gamma)$ can be thought as a homotopy equivalence (called the marking) $h:N\to M$ where $N$ is some fixed hyperbolic 3-manifold with $\pi_1(N) = \Gamma$ such that two elements $(M,h)$ and $(M',h')$ are equivalent if there is an isometry $\psi:M\to M'$ such that $\psi\circ h\simeq h'$. Note that this is equivalent to the discrete faithful representation of $\Gamma$ to $\mathrm{PSL}_2\Bbb C$ by the $K(G,1)$-space property.
Under this view point, a sequence of marked manifolds $(M_i,h_i)$ converges algebraically to $(M,h)$ if there is a smooth homotopy equivalences $H_i: M\to M_i$ compatible with the marking that converges $C^\infty$ to local isometries on compact subsets of $M$.
It's noted that the algebraic convergence of $(M_i,h_i)$ to $(M,h)$ is guaranteed if there is a compact core $K$ of $M$ and a smooth homotopy equivalences $H_i:K\to M_i$ compatible with the markings and which are $L_i$-bilipschitz diffeomorphisms on $K$ with $L_i\to 1$.
Remark/Properties. 1. If $\rho_i:\Gamma\to\mathrm{PSL}_2\Bbb C$ is a sequence of discrete faithful representation that converges algebraically to $\rho$ and geometrically to $\Gamma_G$, then $\rho(\Gamma) = \Gamma_A\subset\Gamma_G$ because by definition, $\Gamma_A$ consists of all convergence sequences $\rho_i(g)$ for fixed $g\in\Gamma$ whereas $\Gamma_G$ contains all convergence sequences of the form $\rho_i(g_i)$ for $g_i\in\Gamma$.
2. Although after passing to a subsequence, algebraically convergence sequence implies geometric convergence, geometric convergence itself does not imply algebraic convergence.
3. Suppose a sequence of discrete faithful representations $\rho_i:\Gamma\to\mathrm{PSL}_2\Bbb C$ converge algebraically to $\rho$ and geometrically to $\Gamma_G$. Then there is not $\gamma\in\Gamma_G - \rho(\Gamma)$ with $\gamma^k\in\rho(\Gamma)$ for some $k\geq 2$. In particular, if the image $\rho(\Gamma)$ of the algebraic limit has finite index in the geometric limit $\Gamma_G$, then $\rho(\Gamma) = \Gamma_G$.
$(\because)$ Suppose there is $g\in\Gamma_G - \rho(\Gamma)$ with $g^k = \rho(\eta)$ for some $\eta\in\Gamma$ for $k\geq 2$. Since $g\in\Gamma_G$, there is a sequence $\gamma_i\in\Gamma_i$ that $\rho_i(\gamma_i)\to g$. Taking power $k$ gives
$$\lim_{i\to\infty}\rho_i(\gamma_i^k) = g^k = \rho(\eta) = \lim_{i\to\infty}\rho_i(\eta).$$
It can be shown (via nontrivial argument) that $\rho_i(\gamma_i^k) = \rho_i(\gamma)$ using the fact that $\rho_i$ converges algebraically to $\rho$. Since the representation is faithful, this implies $\gamma_i^k = \gamma$ for large $i$. It can be shown also that the set of roots $\gamma = \gamma_i^k$ is finite in general. Hence, after passing to a subsequence, $\gamma_i = \gamma_j$ for all $i,j$ so that $g\in\rho(\Gamma)$ which is a contradiction. $\square$
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
지듣노) 0
Watch me -아마노 아리사
-
고추!
-
영어교육과 썼는데 1번 배점이 60점, 2번 배점이 30점 맞나요? 법학과, 경영...
-
현 고2 정시 준비중인데.. 제가 기본이 살짝 부족해서 수1 쎈발점은 c단계 빼고...
-
국어 > [더프리미엄 9월] 공통, 화작 수학 > [더프리미엄 9월] 공통, 확통...
-
aoa exid 스킨썼는데
-
[분석pdf]올수능 핵중요 leet연계지문(과학기술!)- 읽는것만으로도 도움될수있습니다 0
올해 수능은 역대급으로 예상됩니다. 남은기간 모래주머니 차고 열심히 뛰어야해요 그중...
-
핸드폰 먹통돼서 복구센터 가라고해가지고 가서 40만원씩 주고 복구했더니 알고보니...
-
이감 첫경험 4
너네 글 잘쓴다잉~
-
작년 제외 99로 도배?
-
결속밴드토게토게포피파로젤앱글모니카뮤즈아쿠아니고비배스 모르면 나가라
-
수학실모풀거봐줘 1
이해원모고 양승진모고 장영진꿀모 킬캠 이감모고 강k 강x 시즌4 너무과함? 뺄거나추가할거 좀 ㄱㄱ
-
일반고 9등급 3개 있는 내신 4.6 무조건 cc임? bb 가능성 아예 제로일려나?
-
홍대 인문논술 6
신분증이나 수험표 가지고 가야할 거 없나요? 진학사원서접수에 수험표가 안 나와있는데...
-
완전... 빠 내 빠 내 버렸어요~...^^;;
-
나머지를 거의100에수렴해야되나? 하시붕
-
예전 몇년동안은 뉴런도 다 못끝내고 드릴은 시작조차도 해보지도 않고 탐구 개념은...
-
9모 국어 특) 9
??? : 아진짜 너무 쉽다 다 맞거나 한개 틀린듯 ??? : 다맞음 ㅇ{ 시발??...
-
1티어 1906 가형: 27+3 기조 탈피, 준킬러 강화 시험함, 그때는 21번이...
-
올해 6,9평 2
출제한 사람들 똑같나요 아니면 변화 있었나요??
-
일본 지하철 8
역 입구부터 해서 몇십초 간격마다 띵 ~~~ 동 ~~~소리 반복해서 나오던데 역마다...
-
쎈B 120문제 풀고 고치는데 10시간 걸림 .........지수 70문제 7시간,...
-
주인공이랑 사실혼관계인 전남편인데 이름 나올 때마다 몰입 깨짐 댓글에서 사람들이...
-
대성마이맥 대학생 수학강사 공개선발 [매쓰코리아 유니버시티] 예선 1차 개인적 후기 0
안녕하세요, 22수능 미적분 100점으로 연세대 경제학부 합격 후 태재대와 동시...
-
12와 서로소, 12보다 큰 자연수 작은 순서대로 an 1.ak>=100 제일 제일...
-
연논붙고싶다 0
-
11 12 13 14 15 21 22 28 30 찍음 11은 안보여서 넘겼고 15는...
-
성적표 못받을뻔
-
수능 등급 0
국(언매) 낮2 수(확통) 낮2 영 1or2 한국사1 사탐 각각 만점 혹은 1컷...
-
아니 문학 쉬웠다는데 2점짜리만 3개씩 틀리냐고 걍 문학을 개못하는듯
-
이거사면되나요?
-
ㅎㅇ용 7
-
루트를 왤케 좋아해 미친새끼 내가 바보같이 계산체육한줄 알았는데 해설지 보니까 진짜...
-
flex 인증 9
여행가고 싶어서 10800원 주고 전자책 한 권 샀읍니다
-
=연애는 질병이다 질병: 힘들다, 내맘대로 되는거 아님, 삶의 질에 지대한 영향...
-
그럴 실력도 상황도 아니잖아
-
상상 모의고사 0
상상 모고 온라인용 시즌3 3차 풀어보신분 있음...? ㅈㄴ 어려운데??? 1컷...
-
화작 1
7분이나 8분컷은 대체 어케하는거임?
-
하
-
날씨가 좋구나 14
날씨도 좋고 주말인데, 책이나 봐야지... 피곤하고 귀찮아 ㅠ
-
매일 러닝 40분씩 하는데 그때도 노래들으면 안되겠죠...?ㅠㅠ
-
광배랑 대퇴이두 힘 딱 주고 했어 ㅠㅠ 위로해줘 ㅠㅠ
-
성적은 8
우하향그래프 그리고 불연속
-
이게 리트중에서도 ㅈㄴ 어려운편임? 비실독 듣는데 ㅅㅂ 뭔얘긴지 1도 모르겠어서...
-
그래... 내가 키라다!
-
진작에 기강 잡아뒀을텐데 진짜 너무 아쉽다 하
-
갈릴레오 2
갈릴레오 피가로~
-
3번 선지가 대체 왜 맞는건가요 드이터 구조 그 자체의 속성이라고 여기는...
-
[단독] "막내 사비로 국장 밥산다"…공무원 57% 겪은 '모시는 날' 1
" 막내 직원들 사비를 걷어 부서에서 가장 많은 월급을 받는 국‧과장 식사를...
첫번째 댓글의 주인공이 되어보세요.