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를 선물하세요.
-
변곡점 기준으로 식 세우기
-
내일 친구들이랑 4
대구 갈 건데 음식 투표 좀
-
일단 기하는 내년에 도전해본다고 치고 미적100은 어떻게든 올해 해결해야댐 명예 가형 만점 가보자
-
에잉잉ㅇ 2
어어어엉다
-
물1 어렵다 8
역시 나같은건 물2나 해야지
-
중앙대 전기전자 공학과 vs 서강대(혹은 성균관대,한양대) 물리학과 어디 가실거 같아요??
-
뉴런 할/말 7
미친개념 듣고 있는 중인데 이거 다 듣고 뉴런도 수강하는게 좋을까요?
-
12시간씩 하는데 8월만 수학 8시간ㄱ?
-
봉지는 괜찮은데 컵은 뭔가 둘다 뒷맛이 별로던데
-
왠지 내가 기하를 잘할거같음 사탐침 상위권 아님 계산실수 많이해서 확통 잘...
-
3합 7목표 하고 있슴다 내신 위주만 파다보니 내신은 좋은데 모고는 대체적으로...
-
아 아무튼 픽션이라고 ㅋㅋ 좋아요는 사랑입니다 ㅎㅎ
-
비재원생 구매 가능한 곳 아시는 분.... 정 안되면 전화 돌려보려고 하는데...
-
요즘 재밌는 게 아무것도 없는데 님들은 이럴 때 머함?
-
알중처럼 수능 중독임.. 계속해도 만족이안되는거갘아.
-
****** 알바 아님 진짜 개좋아짐 올해 서바는 적중예감 급이라고 생각함 개념은...
-
화작런 ㄱㄴ? 3
자꾸 언매에서 틀림 비문학 자신있음 빨리 글 읽음
-
작년에 봤던거 같은데 올해부터는 출간 안하는건가요 아님 아직 안나온건가요??
-
!
-
사놓고 안푸는책 1
나중에 풀수도있지 생각하거나 쓸일이 있겠지 걍 쌓아두시나요 아님 버리거나 파시나요
-
국어 실모 계획 8
상상 연간 + 파이널 / 이감 파이널1,2 / 바탕 파이널 + keep 바탕...
-
락스가 없네.. 5
내일 사러가야지
-
공포영화추천좀 6
ㅇㅇ 컨저링애나벨은 다 봄
-
시대인자 라이브 2
다시보기 그거 출석 안되면 안보내줌?
-
다푼책 2
다 푼책 쌓아두시나요 아니면 어느정도 쌓이면 버리세요?
-
올해 수능 난이도 공통만 예측하면 어느정도일까요? 개인적인 예상 난이도 가볍게 적고 가주세여
-
물스퍼거들 집합!!!! 10
221013 인데 이거 쉽게 푸는법 없나요… A일때 빗면힘이 90/7N처럼 숫자가...
-
53일차
-
걍 핸드폰 다 끊고 공부에만 올인하면
-
더 현명할 것 같다는 생각이
-
국어 재능충 특 -> 국어 인강 문제집 그런 거 모름 6
ㄹㅇ 그냥 슥슥 읽어서 맞는 건 맞다고 하고 틀린 건 틀렸다고 하면 1등급 머리...
-
얼마나 났지
-
단순하게 살자 1
맛있는거 먹으러 다니고 공부하다가 게임하고 자자 이게 제일 좋아
-
빤쓰 다 젖음
-
어디가나요? 영어2 사탐 만점이라는가정
-
2023학년도 수능에 무슨 일이 있었던건가요... 16
나무위키로 과탐 표점 보다가.. 어떻게 2과목이 화1보다 표점이 낮죠..??
-
이매진 간쓸개 0
둘 다 풀어보신 분 계실까요!! Ebs 연계 대비용으로 구매하려는데 어떤게 더 좋다고 느끼셨나요?
-
기습 자랑 2
보드겜 사이트에서 세계 1등한적 있음 ㅋㅋ
-
군수생이고 말출때 3주정도 학원다니다 왔는데 전역 1주일 남고 환경도 바뀌었다보니...
-
저녁반으로 갈려고 하는데 대기 빨리 빠지는 편임?
-
인서울 + 인제 연원이던데 얘네 빼고는 미국행 힘들다고 봐야 함?
-
왜 경북대 훌리인척하노
-
긍정성격검사 0
https://www.banggooso.com/gl/221/?locale=ko-KR
-
평소 3~4뜨고 재수생인데 뭘 해야할까요...? 올오카 다 끝내고 주변에서 그...
-
시즌 0 솔리드는 자작문제가 대다수길래 사려고 했는데 원랜 아닌가보군요 가격도...
-
ㄹㅇ존경한다
-
지거국인 경북대가 쉬워 보이나?.. 일반학과가 의대랑 겹치는 대학은 전국 유일하게...
-
삼수할 정신력이면 군대에서도 공부 가능하고 전역하고도 가능하니까 일단 군대부터 오세요 제발
-
요즘 오르비는 4
첫번째 댓글의 주인공이 되어보세요.