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 n제 뭐 풀지 고민중입니다 9평100이고 실모 풀면 백분위98정도에서 왔다갔다...
-
ㅈㄱㄴ
-
한자어 같은거 있잖아요 글 읽을 때 이러이러한거 합쳐진 의미다 이런식으로...
-
국군의 날 예행연습 : 전쟁나는줄, 시끄럽다, 계엄령 준비하냐, 세금아깝다 +왜...
-
확실하지는 않지만 3-(b)번만 시간안에 다 못 쓰고 초반 부분만 썼고 나머지는 다...
-
이게 근데 못 풀어서 80인거랑 실수 존나 해서 80인거랑 느낌이 다르네용 못 풀면...
-
수완 독서 5지문 (~끝) / 파이널집 현소 공부 / 6평 과학지문강k 20회 풀고...
-
文대통령 "음주운전, 실수로 인식하는 문화 끝내야…처벌 강화" 13
(서울=뉴스1) 조소영 기자 = 문재인 대통령이 10일 음주운전에 따른 교통사고와...
-
추천좀
-
공하싫 8
-
진짜 강k는 하....
-
강k 뭐지 진짜 7
12 13 14를 다 못 푼거는 올해 실모 120개 통틀어서 처음이노 아씨발왜이러지진짜
-
2f’(2) 맞져?
-
바로 위에서 쳐들려서 심장 쿵쾅대고 집중 다 깨지네 하…
-
여친… 5
대학가면 여친 생기나요?
-
ㅇㅇ.. 그냥 짜증남
-
아 뭔가뭔가 4
+1해야할 거 같은 느낌
-
옯사추마렵네..
-
국어 유대종(고3시절픽) 수학 강기원(과외쌤픽) 영어 김기병(시데1타픽) 물리...
-
우 0
아
-
선택하라면 난 신발을 신을거야
-
짜요 짜요 짜요 4
짜요짜요 먹고싶다
-
너무 힘주고 막 붙이고 정서 이런 거 너무 되뇌이면서 읽으니까 시간 부족하던데...
-
D-40 1
PM 13 : 30 ~ 18 : 30 : 수능특강 모의 Q 수1 1 2 3 4 5 6 7
-
이 문장 좀 맘에 든다
-
스트레스가 심했나 ㅎㅎ
-
막전위 질문 2
선지에 ~ms일때 k+통로를 통해 k+가 확산된다 이런선지는 항상 맞는거 아닌가요?...
-
ㅈㄱㄴ
-
중고나라,번개장터 말고는 낱개로 파는 모의고사는 없나요? 다양한 문제들 접해보고...
-
증발량이랑 강수량이 둘 다 감소하는 경우가 있나요?? 뭔가 그런 경우가 있었던 것...
-
작년보다 쉽다 느꼈는데 눈팅하니까 작년보다 어려웠대서 당황 왜냐면 작년엔 논술 준비...
-
체교과 좋은점 3
1. 입시준비 수능 끝나고 시작하면 됨(일부 대학 제외) 2. 상위권 대학 정시...
-
현장감 감안해서 수능미적기준 딱 1컷 81나올 시험지들을 풀고싶다
-
K-군대 무섭다 0
친구 훈련소 들어간지 며칠만에 다쳤다네 아...... 진짜 한남이 죄다 나 저...
-
국어 연계문제집 0
국어 연계문제집 풀거좀 추천해주세요 하루에2~3독서 문학 각각 풀생각입니다 어려우면 좋습니다
-
동대문 5
동양 대통령 문준휘
-
[단독] '문재인 딸' 다혜, 음주운전 사고 입건…0.14% '면허 취소' 수준 35
문재인 전 대통령의 딸 문다혜(41)씨가 면허 취소 수준으로 술을 마신 상태에서...
-
아님 더 낮았나요
-
반수 공부 첫 달 이후론 패드로만 주구장창 공부했는데 이제 조금씩 머리 아프고 눈...
-
나같은 사람잇나 15
딱히 사람을 무서워하는건 아님 사람 자체는 아무렇지 않게 대함 근데 사람이 아주...
-
고대에 옛날엔 치기공 물리치료 보건행정학과 같은곳이 보건대로 묶여서 정릉캠에 있었고...
-
1개만 해도 진빠진다
-
그냥물2나해야지 0
에휴이로그하기싫어
-
선악 구분 타고나… 9개월 아기에게도 도덕 본능이[책의 향기] 0
“성선설이냐, 성악설이냐의 이분법을 넘어 좀 더 깊이 있는 논쟁을 할 수 있도록...
-
옷입는것처럼.. 밖을 못 나가겠음ㅜ 눈치보여서 막 토할것같고.. 그나마 마스크라도...
-
라이브 자료 늦게 와서 느적느적 풀어봤는데ㅜ 원래 현강이랑 동일하게 2회 연달아서...
-
고깃집 혼밥은 단골이던 갈비살집만 가봤는데 ㅋㅋ 도저언!
첫번째 댓글의 주인공이 되어보세요.