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를 선물하세요.
-
국어 탐구 공부 덜하는 대신 수학에 시간을 아무리 쏟아도 부족한디.. 수학 잘하면...
-
작년엔 김종익 풀커리 탔는데 다른 과목들에 밀려 급하게 공부하느라 복습도 거의...
-
훈련인 줄 알고 우크라이나 전쟁에 참전한 러시아 군인들 + 뒤늦게 속은 걸 깨닫고...
-
역시 송충이는 솔잎을,,,
-
사문 강k나 사문 한지 서바같은거 굳이임? 사탐은 인강컨만 해도 충분하려나
-
기출만해도 충분해서그런가...
-
가계도 난이도가 절대 1컷 48 나올 난이도가 아닌데... 이 시험이 가계도를 다...
-
내년에 2
기하 물1 경제 렛츠기릿 해봐야지
-
msde 과기대 0
과기대 msde 어떤가요? 공식 홈피나 입결 커리큘럼은 다 찾아보긴 했는데 아무래도...
-
다 노베고 기초 상식만 있음 화학은 무조건 거르라는 소리를 너무 많이 들었고 지1은...
-
좀 과하다는 느낌이 많이 드는데...
-
9평 접수 1
8.23.
-
남르비 샛기들 중에 좀 생긴 놈들 많은듯
-
아 왜 현역 때 맞췄던 최저를 못 맞춰서 이러고 있냐 0
제곧내 ㅜㅡㅡㅜ
-
“군대 갈 사람 없다” 50만 병력 무너진 한국군 ‘비상’ [박수찬의 軍] 23
50만 명. 한국군이 국방개혁 2.0과 국방혁신 4.0을 추진하면서 설정했던 군...
-
1.00 받은 고1인데 이번 방학에 수2까지 끝냈는데 시험 치고 한달씩 바로 현우진...
-
2~3개?...
-
국어 81 수학 72 영어 46 나머지는 평균 이상인데 영어가 개망해서 모르겠네요… 떨어지겠죠?
-
"영문·일문과 없앱니다"…실업률 급증 중국의 '문송합니다'[차이나는 중국] 5
[편집자주] 차이 나는 중국을 불편부당한 시선으로 바라봅니다.중국은 우리나라와 전혀...
-
고교 자퇴하고 수능 올인?…고졸 검정고시 응시자 급증 7
경기지역 고졸 검정고시 지원자 4년 연속 급증 (의정부=연합뉴스) 김도윤 기자 =...
-
교재에선 5.22x10^6이라는데 계산기는 혹시 잘못입력했나싶어섶다른방식으로...
-
지1 모의고사 1
대성 그립 모의고사, 폴라리스 중에서 어떤게 더 나을 까요 아니면 둘 다 풀어볼까요?..
-
지나가다 봤는데 ㄹㅇ 소름돋음 그냥 무지성으로 장점 나열하는 광고 싫어하는데 그런...
-
카페나 검색으로 헤어모델 지원 ㄱㄱ
-
국어(언매) 중간3 수학(미적) 높은2 영어2 사문2 생명2 저게 수능점수면...
-
여캐일러 투척. 4
수능 만점 기원 14일차
-
국어 수학 영어 문제 퀄 마니 좋은가요?
-
드릴5 수1… 2
드릴5 지로함 존나 개쉽네? 나 수학황이네? ㅇㅈㄹ하다가 삼각함수 드가자마자...
-
..
-
군대+재수해서 사수 나이로 대학 들어가면 그냥 재수해서 입학한거랑 똑같이 대학생활 가능하나요
-
언매 몇 개까지 틀려도 화작 만점이랑 비비나여??
-
신청 안 된좌석 어디서 볼 수 있는건가요?
-
수1 1회독할때 듣기좋은 기본개념 ㅈㄴ 잘가르치는 인강쌤 추천좀 부탁드립니다
-
ㄹㅇ
-
육사 답지 1
답지입니다
-
얼버기 11
아침밥먹기
-
작년 수능을 보는 듯하군요 ㅋㅋ 독서는 쉬운 편인데 문학... 장난 없네요 시간이...
-
얼버기 5
두시쯤 잠들었더니 지금인남
-
삼룡의 목표인데 지방은 너무 갑갑하다는 얘기가 많아서 나같이 집 밖에 안나가고...
-
얼버기 2
기차 15번 더 타면 수능!
-
얼버기 4
얼버기 맞음
-
국어(화작)89 수학(미적분)92 영어2 생윤2 사문1 문과랑 이과 각각 어디쯤 갈 수 있나요?
-
그게 아니라면 내 성적이 이럴 순 없어 으흑흑
-
들개가 없는경우는 들개는 전부 보신탕이 되었기 때문입니다.
-
고2 정파인데 수학5등급 수학뻬고 평균 3등급인데 지금부터 미친듯이 공부하면...
-
ㅊㅊ
-
통통이 동생에게 루트(?) 미분하는 법을 알려준게 10
잘 한걸까..?
-
누구랑 사귈래 존예트젠은 걸그룹 뺨치고 존못은 말대로 존못 사귄다면 누구랑사귈래
-
컴공오지마라 2
로또당첨돼라
첫번째 댓글의 주인공이 되어보세요.