Geometric convergence
게시글 주소: https://a.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를 선물하세요.
-
난 그냥 원딜애쉬가 싫음 ㅋㅋ 나오기만하면 벌써 딜부족할거 같음 그리고 실제로 부족한 경우가 99퍼
-
뭘 하면 될까용 이번 9모 28 29 틀렸어용 용용체 썼으니까 다들 답장해주세용 인강 추천도 갠찮
-
국어 끄적끄적한 것 뿐 생각이 너무 많아져서 아무것도 할 수가 없었다 그래도 국어...
-
조선약 안되는 극단적인 과탐1망들한텐 한줄기 빛같은 존재.. 성대한테 구원(?)...
-
저출산에 수반되는 아주 당연한, 전부터 충분히 전문가들에 의해 예견되어 왔던 문제고...
-
ㄹㅇ임
-
임영웅팬중에서 20대 남자도 있겠죠..그죠^^?ㅎ
-
뇌에서 신경 사건은 무작위로 일어난다는 말 반자유의지 논증이 떠오르는군뇨 저에게...
-
체감 난도도 시즌2가 더 높은 것 같은데 뭐지
-
게임이 잘 풀리는듯 오너도 케리아도 페이커도 다 아쉬웠음 구마는 음....잘 모르겠다
-
뭐냐뇨이 걍참아야지머 느껴지는감정을어떻게참지 불가능하구나
-
수능 끝나고 봅시다. 작년 9평 경기대에서 수능 경희대로 올린 기적, 올해 더 높은...
-
[국어] 구주연마의 서 53강, 54강 (4주차 본강의 50%) 구주연마의 서...
-
근래 봤던 25번중에는 젤 어려운듯 ㅋㅋ 식으로하면 계산폭탄일거 같아서 걍 함수의극한처럼 풀었음
-
뭘까 감을 드디어 잡은건가 문학은 거의 안틀리네
-
하아... 먹을까 말까
-
긴장도 거의 안되고 걍 하루하루가 무난하고 버틸 만한데 긴장을 가지는 게...
-
(제발여)미적 2따리 서바 난이도차이 질문!!!! 11
제가 미적러고 올해 6모 백분위94 9모 88점 딱2컷인데 히카 이해원 양모 같은거...
-
왜 이렇게 이상한 사람이 되었을까요 생각보다 다른 사람들도 이상해서 상대적으로...
-
15는 찍맞이라 92임 15/22틀 미적 3개 다 맞은 거 처음임 와 ㅅㅂ 90점대 처음 찍어본다
-
아직 OT를 보지않은 나 알려줘요
-
메가패스 파이널 0
실모 벅벅하려고 살라하는데 14일 끝나면 더 싸지나요? 아니면 내년 패스로 넘어가려나
-
이감은 다풀고 얘만 쌓이는데 처리를 어떻게하지
-
D-42 1
AM 8 ~ 12 : 30 : 독서론 24 / 6 : 문학론 24 / 6 PM 13...
-
ㅈㄴ 아쉽네
-
잇올에서 연애 1
하고싶다.......잘해줄게..
-
1 나온 적 있어요?
-
지금 크럭스 테이블이 2회 수정을 거쳐서 표준점수 산출 공식이 위와 같이 됐는데,...
-
뭔가 작수랑 비슷하지 않았어요..?? 수능문제는 하도 많이 풀어봐서 이젠 쉽다고...
-
곰 호랑이 사람 0
이중 호랑이는 한자어 虎狼+접미사 -이 '곰'은 '고마'에서 음절이 축약되며 성조가...
-
나는지능도떨어지고능력도없는게쓸데없이망상만많이해가지고아무일도없는데걱정거리만늘어나고별의별...
-
슬럼프옴 ㅈ됐네 13
걍 공부가 하기싫네 독재가서 책펴놓고 마음속으로 공부하기싫어 공부하싫어 3000번 외친듯
-
개천절 지났네
-
원래 한의대 목표였는데 무슨 짓을 해서라도 의대에 가야겠습니다 의사가 월400도 못...
-
다들 왤케 잘하는거임 화학을;; 나만 존나 안잡히는건가 서바도 매번 세문제 두문제...
-
후루루룹
-
부모님 왈: >>>전역하면 시작이야 사회생활이 더 힘들다...사회에 나가봐라 지금...
-
기출만 올해 할까요?
-
진짜 존나 피곤하네 뭐만 하면 찡찡거리고 전화 안되냐 나 너무힘들다 뭐 씨발 이...
-
길게 쓰긴 귀찮고 그냥 마늘 얘기할게요. 또 이 접미사 -ᄋᆞᆯ은 중세국어...
-
강대x 6회차 0
문제 자체는 풀면서 쉽다는 느낌이 나긴했는데 시간이...
-
내일이 중간고산데, 재수하면 수시원서는 절대 안넣을거 같아서 버릴려 하는데, 챙겨야...
-
멤버십 어쩌고 한 이유가 있었군
-
드릴 본교재 대신 워크북만 사서 푸는거 어떤가요..? 그냥 본교재만 사는게 훨씬 나은가요..
-
신 상 혁ㄷㄷ 1
찬양해
-
40일 정도 남았는데 다 풀긴 많아서 2015? 2018?
-
뭐임뇨
-
일반인이 DSM ICD 읽어 봤자겠지만요 그냥 읽어보고 싶네요 일반인이 아닌...
첫번째 댓글의 주인공이 되어보세요.