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.
Remark. 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.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
국어 78분 - 언매 90점 공통 11 29 34 틀 언어 35 틀 갠적으론...
-
자제하자
-
7회까진 한 두개 정도만 막히는데,,,
-
작수 수탐54에서 독재+단과로 많이 올려서 올해 6평편입 강대 s2 붙었습니다...
-
7덮 화작 3
90점 ㅁㅌㅊ..?
-
나도 선넘질 받을래!! 43
여러분들이 생각하는 것 이상으로 이상한것들 많이 해봤기 때문에, 절대 아닌거...
-
이름을 과학탐구 영역 말고 퍼즐영역으로 바꿔야됨
-
국어 -30(아마도) 수학 -8 영어 모름 물리 -6 화학 -5
-
대구 거주하고 있는데 아웃풋, 생활비, 자취비 등 다 고려하여서 선택한다면 어디 갈 거 같으신가요?
-
화작 독서 1 10 16 17 문학 18 19 20 21 31 33 화작 1개 기하...
-
ㅈㄱㄴ
-
어케 테어날지는 모름 컨셉잡을수도 있음
-
근데 7덮 생명 5
그 면역반응 문제 이거 고민하다가 결국 틀림 x에서 물질 ㄱ,ㄴ를 분리하고 B에...
-
알려주세요
-
7천개 밑으로는 다 고만고만 하다고 생각해요
-
항상 비슷한 게임 영상을 비슷한 시기에 올리냐 뭐 그리 뜬 게임도 아닌데도 여튼 비슷비슷함.
-
난 31 33 틀렸는데
-
7덮 국어 2
화작 컷 몇점 예상? 얼마전에 반수 시작해갖고 쫄아서 언매 말고 화작 봣어염...
-
사카모토 데이즈 4
애니화 하는구나 수능 끝나고 볼 애니들이 많네...
-
ㅇㅡ히히 11
이거 맛 이상ㅇ함대 먹어더 돠ㅐ오ㅕ?
-
아ㅏㅏㅏㅏㅏ 1
심심해
-
ㄹㅇ 다맞은줄아라는데
-
국어황분들 1
비문학은 혼자 공부해서 괜찮은 문제집을 좀 풀어보고 싶은데 비문학 문제집 추천...
-
절댓값 두개 곱하거나 나누는건 같이 써도 되는거임? 4
그니깐 곱할때 나눌때 합쳐서 크게 절댓값 씌우는게 되나요? 역도 성립함?
-
7더프 국어 3
시간관리 완전 말림ㅋㅋ 수필 있는 복합지문 날렸네요 지문 통으로 날린거 고3 와서...
-
155788848
-
7덮 ㄹㅇ평가원스럽게 잘낸거 같은데 시간이 너무 아슬아슬하게 딱 맞아서 시간 줄이는...
-
그림체라네요~
-
ㅋㅋ…
-
내가 쓴 글 수 13
약 6.9천.. 말이 안 되는데..
-
소신발언 5
ㄱㅅ 작은건 꽉찬 aa까진 상관없는데 통나무 몸매면 여자로 안느껴짐 물론 난...
-
내가 진짜 좋아하는 숫자 있어서 이걸로 주관식 찍고 싶은데 14
4자리임... 왜 999까지 인거임?
-
작수 백분위 99, 올6 백분위 99 이감 시즌3 2회 63점 이감 시즌3 4회...
-
글 쓴거 ㅇㅈ 12
총 2718개 생각보다 얼마 안썼구나
-
29 30번 답 20 14가 확실한겨,.? 빨리 21 13이라고 해봐...
-
비가 왜 안오지 0
일기예보가 계속 실시간으로 바뀌네
-
남자만 들어와봐 23
투표 ㄱ
-
내가 쓴 댓글수 10
약 3만2천개
-
!!! 견뎌라
-
청렴했던 그시절 나를 보고 반성하고감... 그때닉은 물투화원화작기하독일어였지...
-
오늘도 한주동안 쌓인 응어리 해결 겸 정신과&심리소 다녀온 1인 ㅎㅎㅎ 아...
-
인스타 스토리에 우울 전시하는거 좀 좋아함 내가 비정상인건가 이래서 중딩따 꿈이...
-
한국사는 잘하네 1
유일자랑거리...
-
후타순애섹시근육질미소녀성애자 ㄱㅊ?
-
꼬순내챺챺이라는 단어가 굉장히 성능좋은 서포터 느낌이랄까 그 뒤에...
-
공부글 쓰면 반응이 별로 업씀 뻘글이 반응이 많음
-
저 이미지 어떰?
-
저번 11월쯤인가 복귀 직후 세봤을땐 20808개였을 텐데 복귀 이후에도 엄청 많이...
-
사실상 게이들이 이성애자였으면 다 우리 경쟁자임 게이 한 커플마다 경쟁자가 둘이...
첫번째 댓글의 주인공이 되어보세요.