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를 선물하세요.
-
기왕이면 좋은걸로 ㅎㅎ
-
헉
-
과거엔 월300정도수준이었다는데, 요즘은 많이 나아졌다는 얘기를 들어서 어느정도인지 궁금합니다.
-
고파스에 또 불나는거 아닌가 아니면 5억 보상 했으니 ㄱㅊ 으로 넘어가려나
-
한완수로 시작하려고 했는데 수2만 있는게 없네 고1 고등수학(하)도 강의해야하는데...
-
뻘글 이미지vs진지공부글 이미지
-
체력 박살낫다 7
밥 잘챙겨먹고 하루에 한시간 산책해보겟음
-
나 1919년생인데 14
나보다 늙은 애 있냐.. 쩝 3-1운동 못 봐서 아쉽다.
-
수학슉슉슉 하면서 다풀더라 뭔 펴놓은거 봣는데 레전드풀이 고트임 걍;;
-
고작 이것밖에 안 달았다고? 하... 더 열심히 활동해서 분발하겠습니다.
-
수령하는거 말곤 확인할 방법 없나요?
-
우울증 있는 애들 얘기 들어주는거 좋아함 상담이나 위로해주는걸 좋아한다기보단 세상엔...
-
사실 이 문제는 수학2 범위에서 출제된 (당시 A형) 문제라 이 풀이는 교육과정...
-
안녕하세요 심리학과 지망하는 남고생입니다. 이번에 개인세부특기사항에 독서활동이...
-
그 지금까지 산을 10개 넘었다면 이제 한 50개 넘어야 100얼굴이라도...
-
언매 시간이 너무걸리네 10
화작런칠까 하
-
미적러분들 와주시겟서요 17
이 문항 수능에 나올만 하다 vs 아니다
-
그래프에서 반감기 4억년짜리인 2가 D의 곡선이라는데 어떻게 알 수 있나요? 더...
-
고대엔 수학자들 대부분이 중동,이집트,그리스같은 서구 문명의 원류인 지역에...
-
매번 와 어떻게 이렇게 나오지
-
문해전 할까 이해원 할까
-
수능이 사람 조지는건 맞구나
-
샤워 후 선풍기 2
진짜 행복하다... 선풍기 발명한 사람은 오르비 가입하면 바로 무지게테 달아드려야함
-
지오메트리대쉬 바운스볼 앵그리버드
-
아니 해설지에 답이없닪아
-
ㄹㅇㅋㅋ
-
서바 1
이크 라이더
-
어떰?
-
인생에서 무슨 일을 겪어도 큰 감정의 변화가 없음 모마하고싶다 예전에 개잘했는데...
-
가능하다고 본다
-
살짝 애매하긴 한데 ㅠ
-
전 R&B랑 랩 하는 재수생입니다 궁금한 거 아무거나 물어보세용
-
데이모스ㄷㄷ
-
ㅈㄱㄴ
-
:) 8
:D
-
미치겠다 이게 왜 갑자기 꽂혔지
-
합산 94점도 3등급 뜨고 그런 과목임? 아니 계속 실수싸움으로 만드니까 너무...
-
탐구하기시러 5
-
이건 ㄹㅇ사설
-
다들 이상해 3
변태들 공부하러가야지
-
반수생입니다. 1,2등급 진동하는거 같은데 이 등급대도 피램 생각의 전개 할만 하나요?
-
내가 왜 91퍼나 돼?
-
해피해피해피 1
-
전남 전북 경상 중에ㅇㅇ 거리 위치 상관없이
-
오답까지..
-
이륙시키는 법은 모름
-
이명학 커리 2
조정식 괜찮아(완강),믿어봐(50%)듣다가 이명학으로 넘어와서 신텍스랑 알고리즘을...
첫번째 댓글의 주인공이 되어보세요.