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.
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.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
다시 남자만 들어와봐 10
ㄱㄱ
-
하 올해 절대 야뎁 안 쓰기로 다짐하고 물2 자료까지 다 중고에서 사고 있는데 ㅈㄱㄴ
-
의사들 mbti 2
어디가 젤 많을까??
-
글 약 6천개 댓글 약 2.4만개
-
게시글 622개 3
일반인인듯!
-
46/50...
-
뭐가 더 어려워요
-
이거 내용 왜이리 슬프냐 ㅜㅜ 공부하다 질질짤뻔... 양생 불쌍해...
-
킬캠 4회 0
진지하게 72 떳는데 이거 왤케 어려움?
-
매일 샤워해서그럼 작수 물1 50인데 수능 전날에 샤워 안했거든
-
넹
-
17, 20, 23, 27, 29, 30
-
ㅡ
-
정작 빈칸은 다 맞음 뭐지
-
예를 들어 인상주의학파 사실주의학파 심미주의학파 도덕주의학파 이런식으로..
-
7덮 영어 3
7덮영어 난이도 다들 어떠셨나요? 작수나 올6에 비해
-
칼럼 26지원 4
https://orbi.kr/00068645425 한번씩 눌러주고 가시죠
-
알려주삼
-
전쟁 나냐...?
-
다른 사람들은 게시물 갯수가 저정돈데?
-
난 극호ㅎㅎ
-
460? 옯창 아니네 ㅋ
-
잉글랜드 스위스 봐야겠지?
-
오늘 봤는데 비문학은 그냥 무난하고 문학이 좀 헷갈리는 선지가 있었던거 같음
-
https://orbi.kr/0001339717/%EC%A3%84%EC%86%A1%E...
-
의견 ㄱㄱ
-
침대 근처만 가면 중력이 세져서 못일어남
-
옹알이하던 때 ㅋㅋㅋㅋ
-
안녕하세요. 이번 2506 모의고사로 알아보는 문제 선지의 객관적 해석에 대한 글을...
-
ㅅㅂ ㅋㅋㅋㅋ 페이커 팬이라 선수 비하 팀 비하 안좋아하는데 이건 ㅈㄴ 웃기네...
-
레벨 경험치 10% 더 채웠네 ㄷㄷ 내일 30렙 찍겠다 ㅋㅋ
-
ㅇㅇ? 50떴는데 문제가 딱히 좋은 문제 같아보이진 않아서 긴가민가함
-
국어 78분 - 언매 90점 공통 11 29 34 틀 언어 35 틀 갠적으론...
-
자제하자
-
7회까진 한 두개 정도만 막히는데,,,
-
작수 수탐54에서 독재+단과로 많이 올려서 올해 6평편입 강대 s2 붙었습니다...
-
7덮 화작 3
90점 ㅁㅌㅊ..?
-
수학 n제는 꼭 풀어야하나요? 기출만 풀면 안되나요? 3
2등급이 목표인데 기출만 해서 2등급은 힘들까요…
-
나도 선넘질 받을래!! 43
여러분들이 생각하는 것 이상으로 이상한것들 많이 해봤기 때문에, 절대 아닌거...
-
이름을 과학탐구 영역 말고 퍼즐영역으로 바꿔야됨
-
국어 -30(아마도) 수학 -8 영어 모름 물리 -6 화학 -5
-
대구 거주하고 있는데 아웃풋, 생활비, 자취비 등 다 고려하여서 선택한다면 어디 갈 거 같으신가요?
-
화작 독서 1 10 16 17 문학 18 19 20 21 31 33 화작 1개 기하...
-
ㅈㄱㄴ
-
난 몇갤까 16
-
어케 테어날지는 모름 컨셉잡을수도 있음
-
근데 7덮 생명 0
그 면역반응 문제 이거 고민하다가 결국 틀림 x에서 물질 ㄱ,ㄴ를 분리하고 B에...
-
알려주세요
-
7천개 밑으로는 다 고만고만 하다고 생각해요
첫번째 댓글의 주인공이 되어보세요.