Geometric convergence
게시글 주소: https://wwww.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를 선물하세요.
-
걍 앞자리에서 대놓고 자네
-
수학 실모 0
킬캠보다 좀 쉬운 난이도 실모 추천해쥬세요
-
먼저 이 칼럼은 공부를 할 시간이 40일 남짓 정도만 주어졌을 경우를 가정하고...
-
마침 경주니까 에어비앤비 운영해보고 싶음 한옥 하나 빌려서 리모델링이랑 인테리어까지...
-
|모고-내신| 9
정시러분들 내신 모고 얼마나 차이나시나요?? 전 일찌감치 내신버려서...
-
수바너네인정 2
문제잘만드네..
-
박제해주셈. 5
9평 성적입니다. 수학 영어 탐구..전부 올해 본 모의고사 성적들 중 가장...
-
매운데 맛잇는 그런그런맛
-
시카노코노코노코 12
국수탐탐
-
재미써요
-
강k한테맞고이감으로회복하기매주반복중ㅋㅋ
-
풀실모는 잘 안 풀고 국수영은 주말마다 푸는데 집공 해야하나
-
극한의 비효율
-
탐구실모도쳐야하는데 엉엉
-
교과서 수준의 문제들 푸는데 저정도로 충분함?
-
생일축하합니다
-
오르비 보면 경북대도 낮은 대학인데 주변 현실은 공부 안하면 계명대도 못감......
-
큐브나 다른거 답변 할 때마다 내면의 이드가 발현 되려는걸 참는다 1
진짜 개싸가지 없거나, 지가 똥멍청이인거 티내는 질문 받을 때 마다 자꾸 내면의...
-
생명1 퍼즐게임 싫어서 그러는데 지2 ㄱㅊ?
-
교수 놈들 무슨 저작권 명목으로 시험문제 공개도 안 하고 문제 매년 똑같이 내는 거...
-
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
국어 기출 회독 0
마닳 풀고있는데 회독 할 때 기간을 얼마 두고 다시 봐야될까요 기억이 너무 잘...
-
28번 틀렸슴다 주요문항 리뷰) 13번 좀 어렵 도형 뜨면 닮음생각항상해야함...
-
나만빼고죄다프로비틱러고능아들이야ㅠㅠ
-
요즘 국어실모만 보면 10
90퍼센트 확률로 망함 진짜로 걍 여기저기서 오답이 와장창 쏟아져 나오고 연습땐 또...
-
하프모고형식이라 수능 대비하기도 괜찮은 것 같은데 2-3 진동이 풀어도 괜찮을 난이도인가요?
-
몇점정도 나오심?
-
작년에 여단 내에 자살자 1명 있었고, 본인 당직중이라 여단/대대 회의 내용 다...
-
10년전 라떼만 하더라도... 강사 한 명당 개별 프리패스라는게 존재했고... 그...
-
난이도가 킬러 몇개에 몰빵된 느낌이긴 하다만 지금까지 강x중에 10회>=1회>나머지순으로 어려운듯
-
문실정 1회 5
35분 3틀(하나는 옳/옳않 반대로 봄) 이러면 문학황인가요?
-
에잇 못 참겠다 6
나도 그냥 글 쓸애 빼애액 오늘 혜윰 풀다가 뇌절와버림
-
무슨의도지
-
설공 졸업하고 의대 들어가서 졸업해도 30이잖아? 이거 완전 럭키비키잖아
-
파이널 뭐 살 지 고민중인데 국어 실모 1티어 추천 부탁합니다
-
이대가고싶다 7
나도 존예여대생이 될래
-
국어 0
그읽그풀로 연습하면 이해 안되면 못 넘어가는 습관 생겼기도 하고 선지가 빠르게...
-
25백호 상크스 1/3 올바원 1/5 완... 점심 거르고 생명 원샷 오늘 저녁은...
-
원점수 68 80 72 50 50인데 동홍으로 올릴 수 있는 성적인지 궁금합니다.....
-
빠이텡
-
다구나냐라자 3
분명 음은 기억 나는데 이게 뭐였지
-
역전된 상황에서 상반 하반은 역전되기 전으로 기준 잡고 향사 배사는 지금 상황으로...
-
1 ㅋㅋㅋ 내가 잘못 푼 줄 알았네
-
미래생각하니까 죽고싶음 10
수능이며 군대며 취업이며 뭐시기뭐시기 공부만 하는 지금도 쉽지않은데 남은인생...
-
오르비 부작용 10
이감 6-5 풀다가 구쏘개 나와서 순간 흐름 끊김ㅋㅋ
-
∀x(x∈A∪A^c) 모든 x는 A 또는 A^c에 속한다 A=(이세상)...
-
민희진한테 리그램된 본인임ㅋㅋ
-
키배 어케 참음 10
유튜브에서 이상한 댓글 볼 때마다 너무 긁히는데 참으려고 해도 너무 화가남..
첫번째 댓글의 주인공이 되어보세요.