Geometric convergence
게시글 주소: https://m.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.
Rmk. Note that one can formulate the above by saying that for $\epsilon>0$, there is a sequence of isometric embeddings $\beta_i: B_{\epsilon}(\phi_i(x))\to\Bbb H^3$ from $\epsilon$-ball around $\phi_i(x)\in M_i$ so that $\beta_i\circ\phi_i$ converges to an isometric embedding of some neighborhood of $x\in N$ into $\Bbb H^3$.
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.
addendum. 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.
In the manifold term, one can describe the algebraic convergence as follows: Element in $AH(\Gamma)$ can be thought as a homotopy equivalence (called the marking) $h:N\to M$ where $N$ is some fixed hyperbolic 3-manifold with $\pi_1(N) = \Gamma$ such that two elements $(M,h)$ and $(M',h')$ are equivalent if there is an isometry $\psi:M\to M'$ such that $\psi\circ h\simeq h'$. Note that this is equivalent to the discrete faithful representation of $\Gamma$ to $\mathrm{PSL}_2\Bbb C$ by the $K(G,1)$-space property.
Under this view point, a sequence of marked manifolds $(M_i,h_i)$ converges algebraically to $(M,h)$ if there is a smooth homotopy equivalences $H_i: M\to M_i$ compatible with the marking that converges $C^\infty$ to local isometries on compact subsets of $M$.
It's noted that the algebraic convergence of $(M_i,h_i)$ to $(M,h)$ is guaranteed if there is a compact core $K$ of $M$ and a smooth homotopy equivalences $H_i:K\to M_i$ compatible with the markings and which are $L_i$-bilipschitz diffeomorphisms on $K$ with $L_i\to 1$.
Remark/Properties. 1. If $\rho_i:\Gamma\to\mathrm{PSL}_2\Bbb C$ is a sequence of discrete faithful representation that converges algebraically to $\rho$ and geometrically to $\Gamma_G$, then $\rho(\Gamma) = \Gamma_A\subset\Gamma_G$ because by definition, $\Gamma_A$ consists of all convergence sequences $\rho_i(g)$ for fixed $g\in\Gamma$ whereas $\Gamma_G$ contains all convergence sequences of the form $\rho_i(g_i)$ for $g_i\in\Gamma$.
2. Although after passing to a subsequence, algebraically convergence sequence implies geometric convergence, geometric convergence itself does not imply algebraic convergence.
3. Suppose a sequence of discrete faithful representations $\rho_i:\Gamma\to\mathrm{PSL}_2\Bbb C$ converge algebraically to $\rho$ and geometrically to $\Gamma_G$. Then there is not $\gamma\in\Gamma_G - \rho(\Gamma)$ with $\gamma^k\in\rho(\Gamma)$ for some $k\geq 2$. In particular, if the image $\rho(\Gamma)$ of the algebraic limit has finite index in the geometric limit $\Gamma_G$, then $\rho(\Gamma) = \Gamma_G$.
$(\because)$ Suppose there is $g\in\Gamma_G - \rho(\Gamma)$ with $g^k = \rho(\eta)$ for some $\eta\in\Gamma$ for $k\geq 2$. Since $g\in\Gamma_G$, there is a sequence $\gamma_i\in\Gamma_i$ that $\rho_i(\gamma_i)\to g$. Taking power $k$ gives
$$\lim_{i\to\infty}\rho_i(\gamma_i^k) = g^k = \rho(\eta) = \lim_{i\to\infty}\rho_i(\eta).$$
It can be shown (via nontrivial argument) that $\rho_i(\gamma_i^k) = \rho_i(\gamma)$ using the fact that $\rho_i$ converges algebraically to $\rho$. Since the representation is faithful, this implies $\gamma_i^k = \gamma$ for large $i$. It can be shown also that the set of roots $\gamma = \gamma_i^k$ is finite in general. Hence, after passing to a subsequence, $\gamma_i = \gamma_j$ for all $i,j$ so that $g\in\rho(\Gamma)$ which is a contradiction. $\square$
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이모다 시즌2 0
작수 한지47 올해 6평 48(백98)9평50(백97) 인데 이모다시즌2 50점...
-
에이어 지문 0
20분읽으면서 분석하고 풀어서 다맞혔는데 수험장에서는 진짜 어떡하죠…ㅠ
-
검정 go sea ^^;;;;;;
-
본인 소문한3개빼고 답 다 맞았는데 다들 어캐 봄?
-
이 둘이 비슷하다고 해도 ㅇㅈ인건가..?
-
그래 하자 혹시... 책임감도 같이? 뭐! 당연한걸! 지나갈 때마다 들림 ㅋㅋㅋ
-
16분 걸리고 더 안주는것 같은데 시간을 줄이기 위해 더 공부할 필욘없죠? 문학이 너무 시급해서
-
지금까지/ 앞으로 몇개나 풀었음?
-
9모 언매 5 1
언매 선택 9모 공통60 선택11 6모 공통47 선택22 3모 공통61 선택15...
-
양모 6회 5
개어렵넹 21 22 27 29 틀 85점 아니 21 22 27은 그냥 모르겠음...
-
문제는 다 맞는데 너무 오래걸린다... 살려주세요 선생님
-
군수를 하게 되었는데 보통 공부 언제부터 시작하나요? 자대배치 받고 1개월뒤부터...
-
그래야 안까먹음…
-
유빈 아카이브 5
유빈 아카이브 다운로드만 해도 처벌됨? 처벌된다는 내용...
-
ㄷㄷㄷ
-
기출변형제외
-
저는 에쎄 슈팅레드<<이거만 하루2갑씩 6개월내내피는중
-
수학 실모 추천 2
작수 88 6모 88 9모 96 으로 1등급은 유지하는데 높1을 노려보고 싶은데...
-
3번에서 ‘한 모서리를 공유하는 영역’ 여기서 뇌정지왔는데 평면도형에서도 모서리라는...
-
행복해지려고 하는 것 아니냐? 공부만 성공하면 행복이 따라올 거라 생각하지 마라.....
-
이감 수학이랑 강대k 모고 현장에서 구매하고싶은데 수강생이 아니어서요 전화걸긴...
-
ㄹㅈㄷ
-
122일차
-
페가수스 ㅅㅂ 뭔 소리하는지 모르겠던데 ㅠㅠㅠ
-
중후반부터 계속 울면서 봤다...
-
홍대논술 2
1번 대문항3개 풀고 (4)번 19갠데 20개 잘못씀 일반화는 해놔서 감점으로 갈듯...
-
학교 시험 범위에 없는 지문이 출제가 되었는데 이 지문 출처 좀 찾고 싶습니다.ㅠㅠ
-
찍맞 없이 드디어 다 맞았네 ㅅㅅㅅㅅ 이해원 3-1임
-
교실 문 열고 들어오면 냄새로 알고 공부 열심히 하는 척 할 수 있을 정도로 진해
-
당연히 객관적으로는 적은 시간이긴하나 과연 이 40일이라는 시간으로 유의미한 변화를...
-
공통 9,21,22 빼고는 쉽고 확통 28,30 빼고 쉽습니다.(30번도 쉬운데...
-
다즈비 커버 들으면서 수학 풀랬는데 음량 최대치로 되어있네 뭐뇨이
-
밀가루탕후루도 ㅠㅡㅠ
-
서강대 단점 7
옆 학교는 간지 작살 독수리인데 우리는 듣보 새임..
-
복사에너지세기,파장 그래프 밑넓이가 광도 아닌가요 16번 해설 보니까 그렇다는데...
-
1회 88 3회 92 5회 80.. 5회차 1컷 72 맞나요?
-
서울시립대 문제지 형식에 맞춰 다시 만들어 봤습니다. 우리 모두 다같이 답을 맞춰보기(?)
-
고2 정시러인데 논술쓰려면 내신버리면 안됨?
-
함수 꼴이 상당히 ㅈ같아서 뭘 바꿔야할지 애매함...
-
갑자기 헷갈리네여
-
감자탕 7
양꼬치꿔바로우소고기삼겹살육회물티기차돌박이마라탕불짬뽕해물짜장 근데 일단 양꼬치가 제일 먹고싶다 으어
-
치대 한의대가 취존인것처럼 말도 안되는 쌉소리 올려놓고 그랬는데..ㅋㅋ 그말에...
-
근데 ‘미분가능한 함수‘ 라는 용어가 존재하긴 함? 6
’~에서‘ 없이 그냥 ‘연속함수’ ‘미분가능한 함수‘ 이런 용어를 써도 되는거임?
-
오늘 이감 모의고사 언매 추정 1컷 몇점이라고 하셨는지 아시는 분 계실까요?
-
대 아 도 2
무슨 노래일지 기대된다
-
쉬워졌나요 쉽다는얘기가 꾸준히들리는데
-
요즘 시중 실모들은 다 좌절감이 느껴지게 어렵기만 한거같음..... 상담쌤이 꿀모가...
-
13인을태운버스가도로로질주하오.
-
공군에서 군수 준비하고 있습니다
-
첫 이별... 6
오르비 대학 가고 거의 몇달만에 첨 들어와보네 모솔공대생이였다가 최근에 학교에서...
첫번째 댓글의 주인공이 되어보세요.