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를 선물하세요.
-
하...나 뭐하고 있냐 진짜..... 오르비 활동 열심히 안하고 왜 이리...
-
내 생각한엔 ai가 난이도 조절 제대로 할 것 같은데
-
기출다하고 들어왔는데도 수2, 미적 ㅈㄴ 틀리는데 악깡버하면 실력느나요?
-
이번주부터 뉴분감 시작하고 기출 돌리려 하는데 수능때까지 백분위 90 넘길수 있을까요?
-
7덮 때 냅다 22점으로 떨어짐 ;; 아놔... 풀면서 너무 어려웟음 ㅠ 4등급은...
-
전) 광운대생으로서 궁금하네요
-
그러고보니 드릴 4 도 드릴 5도 안풀었네 난... 3
매해 드릴은 다 풀라했는데 .. 놀다보니 쩝..
-
ㅅㅃ이 고민되네 살까말까
-
나만 행복하게 살면 돼
-
이게 최상위권 수험생 커뮤니티 오르비 맞음?
-
휠렛버거 시킴 4
빨리 와라
-
댓글수 1만개 초과 글수 1천개 초과 덕코 10만개 초과 가입일수 1년 초과...
-
회먹으러 왔다 6
마시께따
-
미친 ^ㅣ바 D가 2억년인줄 알았네 이런 미친 그냥 ㅋㅋ
-
어케되는겨..? 이 할아버지 좀 누가 알려줘라..
-
이히히
-
좋을때다 1
https://youtu.be/4PH1ZMS10D4?si=FpVWdxNZP-eLR9l-
-
이게 올스타의 재미지ㅋㅋㅋㅋ
-
찐따들 특 알려주셈 21
인싸 오르비러의 의견을 듣고싶다
-
1. 수시 교과 기준으로 22, 23학년도는 평균 1.2가 나왔는데 24학년도...
-
기습얼공 13
을할까요말까요
-
서울교대... 입결이 어느 정도 나올지 모르겠지만. 작년보다 높아질 거 같음 정시...
-
나도 서울대 쟁취 가능?!
-
오늘 문학에서 블랙이글스 에어쇼있음
-
뭣 전쟁이 났다고? 10
그럼 이제 수능 준비 더 안해도 되겠네~!!! 이거 완전 씹럭키비키쟎앙~??
-
마니 물어봐줬음 조케씀 오르비 오늘 까지만 하고 현생에 더 집중할라구
-
진실게임하실래요 4
?
-
댓글 달아주세요 12
좀 쉬게요
-
문학 다맞았고 비문학보다 화작을 더못함 이게ㅔ 말이되나 ㅠㅠ 필요한 부분만 발췌해서...
-
저번에 잘못잿던건가
-
전쟁나면 4
오히려 좋을지도
-
픽시브 보면서 오르비 하지말고 공부나 쳐해라 개새끼야
-
인천임
-
주말 야자 착석 1
-
다시 남자만 들어와봐 10
ㄱㄱ
-
하 올해 절대 야뎁 안 쓰기로 다짐하고 물2 자료까지 다 중고에서 사고 있는데 ㅈㄱㄴ
-
의사들 mbti 2
어디가 젤 많을까??
-
글 약 6천개 댓글 약 2.4만개
-
게시글 622개 3
일반인인듯!
-
46/50...
-
뭐가 더 어려워요
-
이거 내용 왜이리 슬프냐 ㅜㅜ 공부하다 질질짤뻔... 양생 불쌍해...
-
킬캠 4회 0
진지하게 72 떳는데 이거 왤케 어려움?
-
매일 샤워해서그럼 작수 물1 50인데 수능 전날에 샤워 안했거든
-
넹
-
17, 20, 23, 27, 29, 30
-
ㅡ
-
정작 빈칸은 다 맞음 뭐지
-
예를 들어 인상주의학파 사실주의학파 심미주의학파 도덕주의학파 이런식으로..
첫번째 댓글의 주인공이 되어보세요.