Geometric convergence
게시글 주소: https://ys.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를 선물하세요.
-
하루에 실모하나 하프모하나 정도 할생각인데 ㄱㅊ나요?
-
거유 영화배우 9
-
이3끼들은 왜 컨텐츠 설명을 똑바로 안적어두는지
-
역겨워서 토나옴 2
어떻게 생각이 그리 어린지
-
오늘한거 8
14시간실패!
-
미적, 과탐런 문과 현역입니다. 국어 어쩌죠? 고대 하위과라도 갈 수 있을까요.?
-
우와 은테 달았다 32
오르비 가입한지 거의 한달만에 은테찍었네요 기쁘다 뉴비인데 이렇게 해주셔서 고마울따름
-
날 묶어줘 14
보채고 혼내줘너의 강아지처럼 길들여줘어ㅓ어ㅓㅓㅓ어어ㅓ네 침대에 네 품에...
-
D-66에 최선을 다하겠다 다짐을 한지 이 주가 넘게 지났네요. 그래서 최선을...
-
수학공부 안해도 되죠..?
-
질받 16
아무거나 다 됨 씻고와서 답장함 시작!
-
나를 혼자 남겨 두지마~나를 방치 하지마~ 자 다음 가사를 불러볼 옯붕쿤?
-
소리 치고 싶음 정말 정말 정말 잘 보고싶다 정말
-
질받메타 참전 14
선넘질 가능 사실 전에도 별 질문 없었긴 했는데 캬캬
-
이건진짜못참거든…
-
수능 물리 2
수능 물1에서 이번 특모 1, 2 만큼 나오면 불수능인거 맞나요?
-
생지 하자 ~ 생지 하자~ 나대지 말고~ 나대지 말고~ 4
화지선택한 사람인데 작년에도 느껐지만 화학은 진짜… 고일대로 고인듷 3년째 계속하고...
-
다른게 뭔가요??? 할줄은 아는데 두개가 좀 비슷한 것 같아서.. 음함수 —> y를...
-
설마 그정도로 내가 운이 없을까 싶기도 하면서 그정도로 운이 없었으니 이렇게 된게 아닐까 싶기도 함
-
따따라라따라따다라따라따라라 액팅라잌 앤 엔젤 드렠스라잌 크레이지 야!
-
둘 다 백해무익하지만 공부에는 뭐가 더 해로울까 내 주관으론 술인듯 전에 어른들...
-
국어 듄스트라다무스 고전 3~5강
-
예전에 비키니,크롭티사진같은거 올렸는데 요즘 딥페이크다뭐다말마나서
-
홍대 논술 2
얼마 안남았따 민철게이를 선배님으로 부르는 날이 오기를....
-
나도 질받해볼가 16
할 질문이있으려나 선넘질도 받음
-
붙잡지 못해 아프으으다ㅏ아ㅏ아ㅏ
-
오늘한거!!!!! 15
담주월요일이내신셤이라 하루종일 자습 주심 !! -3- 매일 이러면 학교 즐겁게...
-
맞팔로우 구해요 15
고고
-
저 곧 은테란 말이에요..얼마나 힘들게 여기까지 왔는데 흑흑
-
초월론적 경험론, 시뮬라크르, 배치(assemblage) 초월론적 장(champ...
-
단종된듯.. 게다가 중고매물도 거의 없음
-
9덮 성적이 9
수능성적 이었으면,,, 나중에 약대 합격증 인증할 날이 오겠죠
-
N제 위주로 더 할까하는데
-
6, 9 평, 그리고 수능까지 40일 가량 남은 지금 해야 할 것 (국어) 5
안녕하세요 오늘은 수능이 얼마 남지 않은 시점, 국어 과목에서 어떤 공부를 해야...
-
시리우스 B는 태어난지 2억 2000만 년 정도 밖에 안 지났는데 벌써 백색왜성이...
-
아는문제 vs 모르는문제
-
더 떡상해야하는거 아님요?
-
귀엽게 생겨서 뭐라하지를 못하겄다
-
질문 받습니다 16
아무 질문이나 ㄱㄱ 선넘는 질문 상관 없음
-
지1실력 사람 만들려고 생1유기했더니 생명 실모 개박고 6
지1 사람되니까 생1 병신되네... 병신력 총합 보존의 법칙인가
-
니코틴말고 카페인든거 있으면 좋겠다
-
하루에 하나씩 풀까 하는데
-
저 확통 72점이고 이번에 첨으로 수학 2등급 받아봐서 행복햇는데.. 역시...
-
각성이나 그런 거 보다 삐가리 와서 드러눕고 싶어지는게 더 큼 그냥 손을 안 디는게 베스트
-
ㄹㅇ 딩초때부터 있었는데 그땐 거들떠도 안봤지 이제와서 보니까 그냥...
-
[반박환영] 재외국민전형 3특 12특이 필요한이유 27
전 10년 해외거주 이후 3특으로 국제고 -> 연고 공대 루트를 탔고 현재 2학년,...
-
우이꽁따이생들은 다 고만고만하게 생겼거든 위 짤은 수업끝나고 셔틀타러 가다가 찍힌거라카더라
-
현실이 아닌 세상은 게임 속 세계같은 가상세계도 있고, 저세상도 있는 건데...
-
인사해주세요 1
상냥한 사람이 되고 싶어요,, 반가워요 선생님,, 안녕히 주무세요,,
첫번째 댓글의 주인공이 되어보세요.