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를 선물하세요.
-
내일이 신나는 일요일이라서 감사합니다. 맛있는 만두를 먹게해주셔서 감사합니다....
-
약간 반려 뒷머리ㅣ 기르면서 앞머리 사알짝이나 아니면 가르마 타듯이 해서 확 까주는게 젤 예쁜듯
-
사탐과목에서 05년생 조교는 솔직히 쓰면 안되지 않나 2
조사 하나로 정오가 갈리는 과목이 윤리 과목인데 뭐 사문같은것도 고난도 개념 파트는...
-
6-1은 원의 방정식 6-2는 한쪽은 원의 일부 다른쪽은 직선 맞나요?
-
일단 수학 3등급대 정도 분들 수1을 경시하시는 분들이 많던데 제 개인적인...
-
!
-
와 글씨 0
예쁘게 썼었네 ㄷㄷ.. 완전작아
-
다른건 다 1뜨는 확통인데 지금 시점에서 뭘 하면 3등급 갈 수 있을까요?? 현재 낮4나와요
-
ㄹㅇ 개부럽노 응용까지 되는 머리 존나 부럽긴하네요 남들이랑 출발선이 다른듯
-
기억이 가물가물 먼가 국어는 사설에 손이 잘 안감..
-
머리스타일 추천받는다 10
옯붕이들이 무슨 드립을 칠까 기대되네
-
다른지역에 넘 좋아하는 래퍼가 축제 때 오길래 갈까 생각중인데 막 혼자 와서...
-
강철중 모고가 0
그렇게 좋음? 엔제랑 모고 둘 다 ㄱㅊ음? 요새 실모만 벅벅하는데 풀어볼까..
-
응원은 대전 서포터들처럼. 인과응보. -지나가는 대전팬-
-
수능직전인데 오히려 8,9월보다 축 늘어지고 공부안하는 사람들이 은근 많은듯.....
-
정신건강에 참 좋은 것 같아요. 인지능력도 올라가고. 공부를 왜 해야하나? 의문...
-
24번 4번 선지보고 뭔소리여 하고 그냥 소거법으로 빠르게 제꼈는데 시 세부 내용을...
-
문제 오류는 그럴 수 있는데 2시 시험하기도 전에 시험 1시간전에 먼저 답안지...
-
활용도 굿
-
항상 시간이 부족한데 실모 양치기로 되나 이거.. 준킬러 유전까지 다 풀줄은 아는데...
-
6천원의 행복 6
14알 ㅎㅎ
-
수능보고가면늦나
-
익숙한 문제들 캬 이거 풀고 기분 좋았는데 수1에선 이런 거 못 느끼겠네요
-
아이스크림 2
스트레스 ㅈㄴ받는데… 지금 사와서 먹으면 살 많이 찌겠죠?
-
그 병호쌤 인스타 기준이 작수 81마냥 젤 극단적 케이스일거라
-
제발...
-
거기서 거기 아닌가.... 분모분자를 미계정의로 변형해서 쓰는 게 로피탈 아닌가
-
3합4~3합6까지 있고 모든 학교가 탐필이 아니라서 일단 국,수,영 으로 맞추는...
-
일어나서 국어모고쌈뽕하게풀어준다 좃감 93점 1등급 ㅅㅅ 천안으로 가서 모의면접을...
-
고2 사탐런 쳤는데 이틀 뒤에 10모잖아요 이틀 동안 빡세게 사탐 모고 범위까지...
-
그냥 왜 이렇게 문법을 정리한 거냐, 왜 형태소 분석을 이렇게 해야 되는 거냐, 왜...
-
연논후기 0
아 고대간다고 ㄹㅇ ㅋㅋ
-
하... 큰일이다 집중이 안되네 미적분도 개부족한데 유기하고있고 하
-
쉽지 않네요 수2는 그래도 난이도 꽤 있는 것도 해결됐는데 수1은 처음부터 4점...
-
일상생활에서 7
-
뭐해야할까ㅔ
-
수2 공부하면서 한 번도 못 들어 봤는데
-
어디임?
-
댓글에 문제 올려주세요 큐브마냥 선착순 두문제 풀어드림 쉬운거든 어려운거든 환영 저...
-
ㅇㅇ?현장러들 팩트체크좀 연세대 논술 올해 왜이럼
-
김기현 컬렉션 시즌2 1회 76점 찍맞x 14 15 21 22 28 30틀
-
4L이후곡부턴응디흔들면서때창쌉가능인데 근데리얼락스타가칭총국한테관심갖을리가
-
미적분 개념 강의 추천해주세여 메가패스만 있고 시발점같은 볼륨 큰 강의 말고 다른 강의 추천해주ㅔ요
-
재수 삼수애들 대학가면 10
이런 새끼들 꼭 무조건 있음 내 여친도 재수해서 갔는데 동기가 여친보고 우리가 나이...
-
와 시발 저걸 하나하나 전개해서 푼다고? 난 쟤가 있는 학교 갔어야 했다. 역시 ㅈ반고는 사기야
-
다들 미적분 못하던데 뭘로 공부함? 공학은 싹다 미적 행렬 기초로 하던데
-
생투 렛츠고
-
부정형활용까지 시발점 수강하고 워크북으로 달려갔는데,, 잘 안풀려요,,개념에 문제가...
-
모평/수능 기출중에 가능한데 100%는 아니지만 가능한 경우를 100%로 단정해서...
-
수능 잘본사람도 부럽지만 외모적으로 넘사인 사람들이 너무 부러워ㅠㅠ
첫번째 댓글의 주인공이 되어보세요.