Geometric convergence
게시글 주소: https://i.orbi.kr/00068642663
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를 선물하세요.
-
전쟁 나냐...?
-
다른 사람들은 게시물 갯수가 저정돈데?
-
난 극호ㅎㅎ
-
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점 ㅁㅌㅊ..?
-
나도 선넘질 받을래!! 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
화작 컷 몇점 예상? 얼마전에 반수 시작해갖고 쫄아서 언매 말고 화작 봣어염...
-
ㅇㅡ히히 11
이거 맛 이상ㅇ함대 먹어더 돠ㅐ오ㅕ?
-
아ㅏㅏㅏㅏㅏ 1
심심해
-
ㄹㅇ 다맞은줄아라는데
-
국어황분들 1
비문학은 혼자 공부해서 괜찮은 문제집을 좀 풀어보고 싶은데 비문학 문제집 추천...
-
절댓값 두개 곱하거나 나누는건 같이 써도 되는거임? 4
그니깐 곱할때 나눌때 합쳐서 크게 절댓값 씌우는게 되나요? 역도 성립함?
-
7더프 국어 3
시간관리 완전 말림ㅋㅋ 수필 있는 복합지문 날렸네요 지문 통으로 날린거 고3 와서...
-
155788848
-
7덮 ㄹㅇ평가원스럽게 잘낸거 같은데 시간이 너무 아슬아슬하게 딱 맞아서 시간 줄이는...
-
그림체라네요~
-
ㅋㅋ…
-
내가 쓴 글 수 13
약 6.9천.. 말이 안 되는데..
-
소신발언 5
ㄱㅅ 작은건 꽉찬 aa까진 상관없는데 통나무 몸매면 여자로 안느껴짐 물론 난...
-
작수 백분위 99, 올6 백분위 99 이감 시즌3 2회 63점 이감 시즌3 4회...
-
글 쓴거 ㅇㅈ 12
총 2718개 생각보다 얼마 안썼구나
-
29 30번 답 20 14가 확실한겨,.? 빨리 21 13이라고 해봐...
-
비가 왜 안오지 0
일기예보가 계속 실시간으로 바뀌네
-
남자만 들어와봐 23
투표 ㄱ
-
내가 쓴 댓글수 10
약 3만2천개
첫번째 댓글의 주인공이 되어보세요.