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를 선물하세요.
-
진짜 탐난다 포르쉐 파나메라 느낌 난다
-
1회 개좆밥이라 개대충풀어서 창난듯...6모난이도같음
-
빨리 개념끝나고 1
기출하고 n제 하고 모고 풀어 보고 싶다
-
풀어보신분?
-
진짜 기탄 풀까 1
매일 아침 기탄으로 단련 좀 해야되나 마무리에서 다 날려먹네
-
문제를 잘 풀었다 생각하는데 답이 안나올 때 루틴을 정해보세요 5
[1] 세웠던 식에서 계산 다시해보기 / 계산 실수 찾아보기 [2-1] 내 논리에...
-
이번 7모의 경우, 5모 국어와 원점수 평균은 살짝씩 낮게 잡히긴 했는데 그래도 꽤...
-
7모 사문 손풀이 18
저는 생각보다 쉽게 풀었는데 잘 안나오던 개념들도 물어보고 문제 유형이 낯설어서...
-
울었다 이제 답을 찾아낸듯한 느낌.. 계속 필기 하고 복습하면서 왜 들었는데 이해가...
-
난이도 있는 n제 풀면 어느정도 풀리는데 실모만보면 0
평균 3등급 망하면 4등급까지도 나오는데 왜이러는걸까요… 실모 연습을 많이...
-
7모 언미물지 난이도좀 14
어차피 국어는 풀 생각 없긴 한데..
-
[지구과학1] Cementation 1주차 배포! 22
안녕하세요! 새로운 교육의 시작, The-N. EarthCoach입니다. 이번에...
-
싯팔
-
접선인줄알고 낚임.. 어쩐지 삼차방정식이 안풀리더라
-
현역 7모 ㅇㅈ 5
국어: 비문학 단어 문제 틀림 슈발 수학: 100점 처음 맞아봤다 공통>쉬움,...
-
책상 정리 잘 안함
-
carrot 0
-
내신기간에 좀 놓긴 했는데.... 왤까요ㅠㅠㅠㅠ
-
수선을 내린다든지 닮음을 이용한다든지 등 부분이 모자란것 같습니다. 아마 중딩때...
-
6모, 7모를 보며 다시금 느끼는거지만 기본적인 피지컬이 부족해서 못 푸는거지...
-
국어 80 미적 93 물리 89 지구 80 교차지원도 생각있어여
-
7모 90점 됐다 (언매) 아무리 자살방지용이지만 뿌듯함 ㅎㅎ 제발 수능...
-
풀면서 할만하다고 느끼긴 했는데 만점은 상상도 못했네
-
그리고강대로가겠지 가서썩겠지 결국몸은땅속에서썩겠지
-
4수의향기..
-
화작 85몇임 1
3임?? 2절대ㄴ?ㅠㅠ
-
12모 3모 5모 7모 순으로 원점수 93 91 95 95 6모는 백분위가 91ㅋㅋ
-
남자 무조건 조심해서 만나라
-
6모때 84점이었다가 7모때 100점 나왔는데 등급컷인 높은것 같네요
-
엄청어렵지는 않았다. 하지만 생각해볼점이 있다 -> 그동안이 ㅈㄴ어려운거지 이게...
-
김동욱 선생님 감사합니다 근데 평가원은 반응이 잘 안옵니다...
-
각각 86 42인데 1등급, 2등급 ㄱㄴ?
-
수학 N제와 모의고사 어느 게 더 문제 질이 좋나요? 2
같은 회사의 동일 시리즈 같은 인강 강사의 N제와 모의고사 기준으로 보통 N제와...
-
현역 7모 후기 2
98 100 87 // 화작 미적 입니다 특성화고라서 탐구는 안봤어요 국어 - 꽤나...
-
국어(언어와 매체) 1 90-91 2 85-86 3 79-80 4 70-71...
-
7모 등급예측 4
언매 미적 영어 국사 물1 화1 올1 되나요? 100 81 94 50 47 44
-
전 수학 54점 맞았네요. 제 전 글 보고 수학 조언좀 주세요
-
화작 확통 경제 사문 백분위 97 96 2 100 93일듯
-
ㅈㅂ
-
현역인데 3월부터 쭉 12 13 라인 계산이 불안불안 하다가 오늘 7모에서 엄청엄청...
-
바보도알수있게 0
ㅂㅂ비비비빕ㅂ빕ㅂㅂㅂ빕빕ㅂㅂ빕빕
-
6평에 비해서 난이도 어땠어요? 만점자는 전국 몇명정도 일거같나요
-
히히 똥 발싸 1
히히 발싸!!!
-
올라가도힘든데걍ㅋㅋ 열심히한거같은데 학원이나 실모성적같은건 ㅆㅅㅌㅊ로 많이 올렷는데...
-
2는 안뜰거같은데 3일까요
-
언미생지 88 80 38 48 1 1 2 1 가능할까요? 생명이 ㅠㅠㅠㅠ
-
7모 미적 84 2
과외 학생인데 1등급 가능할까요
-
생각보다 0
더프보다 7모에 사람들이 관심이 더 많네 사실상 현역 표본이 1년중에 제일...
-
항상 계산을 못해서 or 이상하게 해서 답이 틀리는 경우가 많은 것 같은데 어떤...
-
고3인데 자주듣는데
첫번째 댓글의 주인공이 되어보세요.