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를 선물하세요.
-
그저 평범한 고등학생이 쓰는 아무 보잘것 없는 글이지만 조금만 횡설수설해보겠습니다...
-
??
-
담배많이핀 날은 정신은 맑은데 몸이 무거운 느낌 그래서 몸은 피곤한데 잠이 안듦
-
6문제 빼고 한바퀴 + 나머지 6문제 풀기 vs 처음부터 끝까지 한바퀴 + 나머지...
-
막곡은 역시 1
맨! 정신이 난 힘들어 아!무것도 할 수가 없어 맨! 정신이 난 제일 싫어 너!...
-
궁금
-
. 7
-
적중예감 파이널 5
등급컷 따로 있나요.? 글고 파이널이 더 어려움? 아직1회차라 넘쉬운데
-
오지2>식센모 블랙>오지3>식센모 화이트>오지 1>데브 맞나요??
-
많은 학생들이 시험장에서 실수를 합니다. 어떤 학생들은 고질적인 실수로 항상 자신의...
-
패파 트레이닝 step2까지만 풀어도 어지간한 n제 3~4권 분량이네 ㄷㄷ 패파...
-
어디서부터 풀어야 할지 모르겠어서 그냥 22 6평부터 평가원 기출 쭉 풀어볼게요 툴...
-
노래방 가고싶다 4
호에에
-
오리스티커 넣을 공간은 있고 Omr넣을 공간은 없나 봄.
-
. 2
-
뭐가 더 모래주머니 같은가요?
-
왁자지껄 우당탕탕 여름청춘고교라이프가 생각나는 밝고 통통튀는 브금
-
우린 야경처럼 반짝거리네에ㅔㅔㅔㅔ에에에ㅔ 나는 널 채우는 샴페인 너는 날 깨우는...
-
수특. 수완 말고 또 뭐가 있나요?? 뭐 봉투모의고사 그런것도 연계인가요..?
-
여기서 보통 9분정도 쓰는데 너무 많이 쓰는거 같음 어떻게 줄이지…
-
내가 네말을 듣겠냐고 그렇게 할일 없냐고? 도저히 너처럼 못살아
-
정시 파이터 한다고 내신 1.7에 덜컥 자퇴했는데 막상 공부 해보니까 외롭고 멘탈...
-
. 11
.
-
n수는 12시간 동안 갇혀서 공부만 하며 거친 야생성을 버리고 점차 섬세하고...
-
올해 전역하는 군인입니다. 말그대로 노베인데 김동욱 선생님의 일취클 듣고 마더텅같은...
-
한 달짜리? d-100? 하프이어? 400일 맞이 d-100짜리 사려햇는데 4권...
-
너의 모습 그대로 셔터를 눌러 다시 필름을 감아 사진 속 그어떤 멋을 내봐도 너의...
-
더프 보정컷 2
9월 더프 보정 너무 후하게 들어간거 같은데 수능이랑 가장 비슷할 거 같은...
-
거리에는 환한 미소 넘치네에에
-
(진짜모름)
-
지금 너무 보고 싶어 언젠가 만날꺼야 마음속에 피어오르는 나는 너만의 꽃 나는...
-
9덮 결과 4
화작 72 미적 92 영어 85 물리 45 생명 50 무보 51231 보 31211...
-
실화냐
-
난 디게어렵던데
-
뭔지 내게 말해줘 사랑일까 이런게 사랑일까아ㅏ 워우워예에
-
꽤 열심히 살았으니 업키는 가져가겠어
-
진심으로 영어 3이 젤 걱정이었음..... 작수 국수영까지 보고 영어땜에 떨궜다...
-
(수정은 비밀)
-
명상<-최고 2
1교시 국어 종 치기 2분전쯤 눈감고 숨을 2초 크게 들이쉬고 4초 뱉기 2번씩만...
-
0~12분: 개념 16문제(다 손가락 걸기) 12~14분: 개념 1문제(제대로...
-
으으ㅡ으ㅡ 진짜 2~3만 나와도 되는ㄷ......
-
어느 영화와 같은 일들이 이뤄져가기르으을 힘겨워한 날에에 너를 지킬 수 없었던...
-
사고 실험 여태까지 Accident experiment 인줄 처음에 사고실험을...
-
칼럼 다 적었는데.. 15
지금 올리면 메인 못 가려나요 내일 올려야하나
-
안녕하세요 4
디도
-
갈 수 있다면 어디 가심?
-
슈뢰딩거가 양자역학 실험에서 유명해서 양자역학 주장한 사람인줄 알앗는데 오늘 국어...
-
맞팔9 8
금테 ㄱㅈㅇ
-
저희는 '응, 알아.'에서 끝내지 않겠습니다. 반갑습니다. 국어 연구소 Team....
-
1. 시중에 있는 실모 거의 다 풀어봤다고 자부함. (대성이투스메가 꼴타까지 포함)...
첫번째 댓글의 주인공이 되어보세요.