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.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
덕코는 현금 못지 않은 의미를 지니며 목숨처럼 사수해야 한다.
-
얻어맞을거 같아서 그런가 나만 좋아하는게 좀 슬프네.......
-
현재 프로세스 다니고 있는데 첨삭 위주로 1대1로 코칭해주는 곳 가고싶어요 제가...
-
이미지 써주세요 18
안 써주면 삐짐
-
생윤 기출 5
현돌 기시감 vs 검더텅 머풀까여…
-
진짜 개 맛있다 ㅋㅋ 배울 점이 너무 많은 거 같아요. 0회,1회 풀고 점수 개...
-
이미지 오네가이 4
ㅈㅂ
-
무슨 글 쓸까요 12
심심하네요
-
4절지 산 김에 6
디따 크게 그릴 애니프사 찾아용!!
-
써주세요
-
공부 하다가 쉴 때 오르비를 하는 것이 아니라 오르비를 하다가 쉴 때 공부를 하는 것이다.
-
이건 언제생겼대
-
늦었지만
-
범부 애니프사단을 버리고 제 3세력의 등장
-
머리 풍성하고 다른 신체부위에 털 없는 게 이상적인데 머리는 탈모인데 다른...
-
공부하기싫을때 5
요즘 공부가 너무 하기싫다 다들 이럴땐 어케 하니?..
-
통분 ㅈㄴ 못해 하... 이걸로 몇분을 까먹은거야 뭔 계산할 때마다 답이 다르네
-
어랍쇼
-
Blank 기출 문제집 별 3개로 난이도 구성이 되어있던데 각각 몇개씩 있나요? 별...
-
잠온다vs졸리다 12
전 반반 섞어 쓰는 듯
-
이미지 13
써줘 오늘 걍 하고싶은거 다 하고 갈거임
-
유빈이 5
아니 왜 유비니 요즘 피뎊 안 올라옴?
-
역함수 정적분 2
어케하심 다들? 저는 =t로 놓고 치환해서 f(x)꼴 정적분으로 바꾸는데 해강보니까...
-
질문해봐라 10
ㅇㅇ
-
몇일간 그림그릴거 추천받는다니까 다들 뭔가 웅장한걸 추천하지 않아서 못 고르게...
-
걍 잘까 3
잠오네
-
재수 썰 0
6모치고 옯창화 됨
-
하...나 뭐하고 있냐 진짜..... 오르비 활동 열심히 안하고 왜 이리...
-
내 생각한엔 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
인싸 오르비러의 의견을 듣고싶다
첫번째 댓글의 주인공이 되어보세요.