Geometric convergence
게시글 주소: https://i.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
무서워
-
애니 본 것들로 티어표 만들어보기 이거 생각보다 재밌음요
-
이건 아니지 않나 싶어요
-
25일당백에 22일당백이 포함되어 있나요? 아님 매년 일당백 문제가 달라지나요?
-
스파이 패밀리 ~2기 리코리스 리코일 ~1기 체인소맨 봇치 더 록 오빠는 끝 최애의...
-
3000부 판매신화 기록 지구과학 핵심모음집을 소개합니다. (현재 오르비전자책...
-
공사 남자 이과 0
국 63 수 96 영 55 가능?
-
소첩 상공 등등.. 계속 같은사람을 다르게부르는데 정신나가네요 따로 공부하는방법이...
-
지금까지 본 애니 17
흠.. 그거 어케 다 기억함? 저는 터닝메카드, 메탈베이블레이드 정도 밖에 기억이 안 나네요
-
서강 중앙 얘네는 뭔가 뭔가임 서강은 수학 원툴 느낌이라(반영비 거의 50%라 보면...
-
내 차례도 머지 않아
-
내신으로는 물화생+사문 했고 넷 다 높은 1등급입니다. 아마 물리는 무조건 할 것...
-
처음 기출 돌리려고하는데 보통 1+n회독 할 때 책 다시 사는편인가요? 아니면...
-
확통 킬러 1
확통 처음배워서 그러는데 킬러 몇단원인가요?
-
비교적 빨리 끝낼 수 있어요
-
나 툭하면 우는데
-
빨리 처분해버리고싶은데 안팔리면 버리기vs나눔하기 뭐하심?
-
빡집중하면 12시간 이상 못하긴하는데
-
캬캬
-
난 딱 3번 울어봤음 14
1. 태어났을 때 2. 아노하나를 보고 나서 3. 작년 수능 끝나고 나서
-
그건 바로 why? 풀세트 무려 330권 존재함...... 그보다 가격보다는 공간이...
-
코딩을 못함 어릴때 트라우마가 있어서 그런가 컴퓨터는 학교에서 제일 잘 다룬다는...
-
생윤 공부법 2
노베 군수생이고 시작한지 2주 됐는데요(사탐런) 일단 김종익쌤 개념 반정도 들었고...
-
연대 인논 질문 5
글자수 600이라고 되어있는데 550-650 맞아? 정확한 안내가 없어 ㅜㅜ...
-
초스페셜 압축 공부법 9시간하고 지쳐 탈진할 정도로 해야겠다
-
그냥 중국이 메달 모두 가져가라고 하자
-
언제나 할 때마다 질질짬 ㅇㅇ 남들이 평균으로 하는 것도 못해서 항상 선행하고...
-
근데 Why 사춘기와 성이 없어서 우러써
-
동생:아침마다 화내서 미안 엄마:괜찮아 나도 엄마한테 더 그랬어
-
공부 못할수도 있지 아빠쌤!! 내가 금융치로 해준다니까? 기다려달라고!!
-
풀다가 빡쳐서 화학 실모 찢은 적은 한 번 있음
-
그러고나서 노래 낼듯 ㅇㅇ
-
평좀요
-
저는 이런식
-
저는 국어를 참 못 했어요 그래서 23수능 때 백분위 43이 나왔어요 그래서 작년...
-
긴 시간은 아니지만 결코 짧지도 않은 100일... 일단 제 플랜은 두 개입니다....
-
안한지 6개월 정도 됐는데 그냥 기출문제집 사서 벅벅 풀까요?
-
요즘 세상 돌아가는 꼬라지 보면 그런 생각 듬 근데 일개 수험생 밥벌레 주제에 그냥...
-
ㅠㅠ 식 줄이는 연습 중이라 와다다 푸는 게 아니고 음미?하면서풀어서 좀 시간이...
-
전 있음
-
목표는 서성한 높공이고 재수생입니다. 6모 화미영생지 31422 수학 탐구는 1컷...
-
대국민 폰지사기 터지고 건보도 터지면 나라 꼴 볼만할듯 국회에선 다음주자한테 폭탄돌리느라 바쁘고
-
쌍사 (동아시아사, 세계사) 같이 공부하실 분 구해요 2
본인 06 현역 3모, 5모, 7모 모두 만점이고 6모는 동사 하나 틀렸습니다!...
-
이준석 안티들이 만든 별명인데 이준석 지지자들이 역수입해버린 전설의 별명
-
진짜 실력이 높은게 아님 타임어택에 매우 강하기 때문임 화1애들은 화1에서 쓰던걸...
-
나만 불안해짐? 약간 누가봐도 악질적으로 실수하라는 문제를 박아놓은거 같은데...
-
한놈이 잘못한걸 기사 하나 나면 그냥 냅다 달려들어서 싸잡아 욕하는게 정상일까...
첫번째 댓글의 주인공이 되어보세요.