Geometric convergence
게시글 주소: https://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를 선물하세요.
-
질문이 제목입니다.
-
지1 안 맞으면 물2런 할게요 벌써 설레요
-
델리만쥬 먹는거 올린적 있는데 어떤 사람이 봤다했는데 거짓말 아닌거 같음
-
드릴5하고 btk할까 고민중인데 올해 어떤가요?? 미적은 좋다고 들었는데 푼 사람들...
-
저는 문학: 김상훈 독서: 김승리 수학: 김기현 영어: 이영수 사문: 윤성훈 정법:...
-
12시간동안 존나 집중하고(점심+저녁 시간에 단어 외우고 문학 연계 보는 1시간...
-
오랜만에 노벨피아 결제했더니 시간이 삭제됐어요
-
수특수완 1
탐구 수특 아직 아예 안했는데 여름방학 내로 수특끝내규 9모이후부터 수완해도 ㄱㅊ?
-
버스 학원 서점 쇼핑몰 마트 학교 기타 등등에서 거의 항상 켜고 다녔는데.. 특정 안 당했겠죠..
-
그 체중에 0.67제곱 0.75제곱 하는 지문이요 적절하지 않은것 고르는 문제...
-
실수 현역들한테 자극 받으면서 공부하려고 열품타 출신학교 ‘낙생고’로...
-
그냥 미친년마냥 28빼고 다풀어버림 7개월전에는 11번부터 못 풀었는데 9평 sssibal 딱대
-
커피한잔 독서 인가 뭔가하는 사람 논술 맞다이 쳐서 날 이기면 나도 부엉이바위 올라가서 담배 필께 feat. 물놀이 6
내가 합격한 경북대학교 사범대학 지방교육대학교 못붙으면 그때 가서 변명 좀 해봐요....
-
보통 오른쪽 동쪽 왼쪽 서쪽 이잖슴 경도헷갈려서;;
-
수시러 내신 1
문과 고2….. 경희대가고싶습니다요… 작년엔 대학욕심 없이 벼락치기만해서...
-
객관식 11~14 27 28 에서 특히 시간을 많이 뺏겨서.. 자꾸 주관식먼저...
-
야레야레..
-
의대증원 의치 선호도 17
1. 그래도 의대다 2. 치대가 끌린다 (같은 학교일 때)
-
문학 1
올오카 문학 끝나가는데 아직도 문학을 너무 못해요 뭘 해야할까요
-
깁고 더한 本이었군요
-
노른자가 검은색인데 저 ㅈ된건가요
-
작수 86 문법은 맨날 틀림 작년엔 그냥 버리고감 문법공부 한 번도 안해본...
-
오르비하는데 보고 있는 사람 없겠지
-
근데 영어 단어 암기하는 시간은 빼고
-
실전개념 다 끝내면 9평 전까지 2주 정도? 남는데 이때 입문 n제 한권 풀고...
-
뭐 사는게 나을까요? 노베면 좀 쉬운 옛날기출부터 분석하면서 독해력올리는게 낫다고...
-
몸이 아파요 0
축구하러 자전거 타고 가다가 제대로 굴러버렸네요 덕분에 축구장 대신 병원으로…
-
국어 일클 연필통 독서통/문학통 5주차 매일통 5주차 1~2일차 영어 막장구원...
-
앞으론 시간 따지지말고 걍 미친듯이 집중해야겠다.. 0
미친듯이 집중한 10시간이 걍 보내는 12시간보다 나을듯..
-
유류분 지분 5문단에서 무상처분된 물건의 시가변동 얘기를 하잖아요? (1) 유류분의...
-
이번에 금메달이면 10연패라네요
-
해당 과목 높1 아니고서 해설강의 안보고 해설지만으로 공부하는게 도움이 그렇게...
-
연대 마크 있는데 이거 표지 ㅈㄴ 빳빳해서 연대목표인 사람들은 걍 동그랗게 오려서...
-
오르비를 초항으로 하고 14
N항의 단어를 쓸때 나오는 자동완성어를 N+1항의 단어로 해보자 오르비 많이 들어올...
-
문학 선지 틀린거나 애매한것들 혹은 해설 보고 깨닫는것들 따로 노트에 적으시나요??...
-
22번들은 뭔 말을 하는지 전혀 모르겠네ㅋㅋㅋ...
-
가오빼고 진짜 틀리는 정도로 투표부탁함. 계산실수, 조건 잘못본거 등등 모두 틀린걸로 쳐서
-
질문점 받아주실분 ㅠ
-
사관학교 붙으면 신원 조회 하나요?
-
오른손을 들어 뺨을 갈기세요 아프네;;
-
걍 수학에 선대 내면 됨
-
1. 수온 약층이 시작하는 깊이는 동태평양이 서태평양보다 깊다. (O / X) 2....
-
프로그래밍도 배우고 교원자격증도 나오는거 보면 임용 볼 생각 없어도 갈만한거 같음
-
사설도 잘 보시는분들 진짜 존경스러움 전 한번도 사설 국어 1 받아본적이 없어요
-
실제로 막 사용된다기보단 적분용 함수 느낌이랄까 미적분학에선 글케 느낌 ㅋㅋㅋ
-
중딩때부터 다 주변에 이과밖에 없어서 그런가 뭔가 추상적인 것을 구체화시킨다는 게...
-
에는 강의노트만 있고 ovs 수특에 있던 분석서는 없는데 맞는건가요? 지금 나온 게...
-
저는 재수를 하고 현재 대학교 재학중입니다. 사실 24수능이 끝나고부터 n수 고민을...
-
안불편하시나요? 수학 탐구 영어는 다 이해되던데 국어는 진짜 신기하던데 왔다갔다해야해서
첫번째 댓글의 주인공이 되어보세요.