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를 선물하세요.
-
Test
-
밤늦게 하니까 안보게됨 17시 19시 이러면 참기 힘든데 ㄹㅇ
-
발상이 쉽지 않네요
-
아님 그래도 설대 지망생에 cc면 해줘야 하나 원원 원투 투투 중에서
-
21년 한국 살면서 한국어 화자로서 구분하는데 이거 안되는거 같음 a가 왜 다의어야..
-
메인글에 있던데 풀어본 사람들 후기좀? 작년엔 계산가지고 무리수 너무 많이 던져서...
-
빨리 배송해줘 0
빨더텅 경제 이로운 n제 시즌2 풀고싶단말이다
-
국어 시험지 트렌드가 확 바뀐거 같은데 이거 맞음? 문학이 걍 다른 시험지 같음 ㅅㅂ.
-
전 이걸 풀어야겠음뇨 의대에 못 가도 근데 의대 못 가면 공부할 수 있나
-
언매 질문 2
직접구성요소 “값없이”를 쪼개라는데 이게 값 - 없이가 아니라 값없-이 라는데...
-
갈꺼면 말하고 가.... 팔취랑 구분이 안되잖아...
-
수학황분들아 마지막 실모 줄이고 기출로 세탁하는게 맞음? 4
올해 미적 6평 88점 9평 96점임 올해 기출 하나도 안보고 사설만 해서 파이널에...
-
하시발 환승하려고 내리는데 문열리자마자 외국인무리들 힘으로 밀어대서 계속 열차...
-
존 시나 많다고 엌ㅋㅋㅋㅋ
-
상체만 통통하면 반포동
-
나만 그럼? "누구에게나 흔한 행복" 이거 할 때 꿈 생각나던데
-
수능날 20문제 안정적으로 다풀 수 있게 빡세게 해야지
-
ㅈ됐다 4
홍대논술 3-1 a^2이랑 c다 구했는데 좌표도 써야함????
-
연구직이 하고 싶다 10
연구하려면 으-대에 들어가야 하는구나
-
뭔가 욕은 많이먹지만 생애보면 얼마나 열심히 살았을까 싶음
-
실모랑 병행하려 하는데 보통 어느정도 하시는 지 궁금하네용
-
현역이들 더프 볼 때 어떻게 했음? 내 주변 애들만 봐도 다 보러가던데 학원에서...
-
GOAt임
-
어떨까
-
쇼쿠지 3
조명이 맘에안들어서 한번찍고 포기
-
물리가 웬수다 4
점수 편차 ㅈㄴ심하네 ㅗㅗㅗ
-
23수능 2 / 24수능 3(백분위 85) 였고 반수하면서 9월부터...
-
이감 간쓸개 0
국어 9모때 3등급이 나왔는데요 수능때 1받고싶은데 지금 아수라하고있고 강e분...
-
실모 400개 8
-
나 고1로 보내줘 ㅆㅂ 15
고1로 돌아가면 나름 똑똑하고 미래가 창창한 학생일텐데 지금은 그냥 뭘하든 늦깎이...
-
국어 ㄱㅁ 기준 3
3등급이하 받은 횟수가 과반수 이하면 무조건 기만임
-
이감 더프만 있나…?
-
풀이들을 다 뒤져봤는데 다들 부등식으로만 접근하시더라구요.. 이렇게 기하적으로...
-
국어는 뭔가 그런 느낌이 없잖아 있음
-
정법 벼락치기 0
반수생인데 공부를 늦게 시작햇어요... 개념도 아직 반절 이상 남았는데 인강을...
-
검정고시생 2
손! 오르비엔 검정고시생이 얼마나 있을까요? 전 검정고시로 고졸함
-
끝까지 같이 달려보실 분 ( 나이 상관 X ) 댓글 써주시면 카톡방 따로 파서 공부...
-
학원에서 걸어서 5분거린데 가기시름 ㅎ.ㅎ
-
예상 시간 : 140분ㅋㅋㅋ
-
3번 선지 상징적 소재를 활용하여 주제를 암시적으로 드러낸다 -> 보기 보면...
-
막 달리면서 사람이 호르몬이 들끓어서 막 서로의 땀흘리는 모습이 갑자기 멋있고...
-
채택시 천몇덕 드립니다요
-
내가 좋다고 생각한 부분이 전부 악평이더라..
-
근데 ㄹㅇ 독서 전날본소재(이상치결측치)나와서 기세로 날먹하긴했음..
-
올해 진짜 의대증원이랑 기존이과 반수생들 유입 이것저것 다겹쳐서 ㅈㄴ 대혼란인데...
-
입시 끝나고 많이 힘들었는데 지금 와서 생각 해 보니 생각보다 많이 달려 왔네요,,...
-
국어6 59 영어5 57 4등급까지 가능할까..? 국어는 수특/수완/독서론 화작...
-
상상 5-5 0
아니 이게 맞냐? 문학은 24번 빼고 괜찮았는데 독서 가 나 지문 이거 12번 빼고...
-
왜 3회분밖에없는거지 ..
-
어케 시험장에서 다맞았던지문을 다시풀때 계속 반타작하지
첫번째 댓글의 주인공이 되어보세요.