Geometric convergence
게시글 주소: https://iu.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를 선물하세요.
-
댓글 복사 성공 4
-
그래도 재수하는 지금이 최근 5년동안 제일 행복하다 3
진짜 인생이 개 ㅆㅎㅌㅊ
-
전역이 보인다 3
찍턴 3달남음
-
상황이 되게 재밌네요
-
사탐런은 도망이 아니라 피난에 가까움 일단 저같은경우는 과학을 ㅈㄴ 좋아하고 수학도...
-
언매 퀴즈 3
자음군 단순화는 음절의 끝에 쌍받침이 올 때, 이중 한 자음이 탈락하는 현상이다. (O / X)
-
분캠 과잠 0
고대세종이나 연대미래캠같은 분캠도 과잠은 디자인 똑같나?
-
와 뭐임 3
이투스 7모 영어 33번이랑 사관학교 영어 4번이랑 지문이 똑같네 ㅋㅋ
-
제가 지금 생각하는 숫자 맞추면 1000덕+2000덕 107
범위는 1~1000000 업다운 해드릴께요
-
2만덕드릴게요 급합니다!
-
등록금 안내버리면 니들이 뭐 어쩔건데 ㅋㅋ
-
ㄹㅇ
-
지금부터라도 열심히해서 9모때는 다 3이상은 받아야지... 나는 내가 공부 잘하는줄알았어...
-
'디씨' 즐기던 '반페미' 청년, 어쩌다 '페미 사상검증' 반대 앞장서게 됐나 8
[인터뷰] 김민성 게임소비자협회 대표 "윤리적·상식적인 다수 소비자들 대표하겠다"...
-
트렌드좀 따라가야겠다
-
그래서 울고 싶었다 한바탕 펑펑 울고 싶었다 그럼 조금이라도 속이 편해지지 않을까...
-
실믈리에님들 수학 실모 좋았던거 하나만 적고 가주세용 2
오늘 풀게 아니면 걍 강k 품
-
부모님이 퀵서비스를 시킴 돈도 따블로 주고 물건이 조금 커서 근데 그 퀵기사새키가...
-
이감 씹진수 1
그래도 어쨋든 연계소재니까 어케든내가 이해를 해볼라고 시간좀투자해봣는데...
-
현역때 11월 물리 기출(수능전까지 다 못함 ㅋㅋ), 지구 기출, 공통 뉴런, 미적...
-
복권 3등 기념 8
선착순 1명 천덕꾸러기
-
키작으면 여자로 안보임 12
160은 넘어야 여자로보임
-
풀만한 문제집같은거 있음? 수분감 풀어도됨?
-
육군 남자 이과로 262점인데 면접 대비 따로 안하면 떨어지는 점수인가요? 체력...
-
이런건 어케 풀어야함?..해강봤는데 잘 모르겠음 ㅋㅋ
-
"그건 확증편향이야" 이라고 하면 괜히 있어보여서 그런가 가성비 좋아서 쓰는거...
-
69평처럼 가져올 수 있나
-
이새끼 격투도사임 ㅈㄴ 잘함 요새 폼 미쳤음 하빕 조언까지 받았으면 무적임
-
급이 다르노 ㅅㅂㅋㅋㅋ
-
풀고나니 쉽다고 생각되네요... 이제 22만 하면 사관 오답은 끝난다ㅎ
-
ㅠ
-
의대증원 갈등 장기화에 고2도 근심…"내년에도 입시 혼란 예상" 1
최근 입시서 수능 킬러문항 배제·의대증원·자율전공 등 변수 많아 교육부·교육청,...
-
IOC, 공식 홈페이지에 사과문 올리고 문체부에 사과 서한 1
▲ 공식 홈페이지에 사과 성명 발표한 국제올림픽위원회 국제올림픽위원회(IOC)가...
-
어느정도됨? 확통하면 하나쯤 틀릴 각오 하는 중이라 미적 3개,2개 틀리는거랑 확통...
-
have pp have been pp 이새끼들만 나오면 해석이 턱턱 막히네요 ㅠ
-
ABC만 본다는 지역균형 전형이요 제 진로선택과목 성적이 AA BB AA A A A...
-
많이 힘든가요? 아침 30분 유산소 30분 웨이트 하고 점심 저녁은 닭가슴살...
-
2차방어 각각 치르자
-
물2지2도 있는 시대북스에서 안파네요
-
장사하면서 쏠랑쏠랑 하나씩 빼먹고
-
교육청 수학은 맨날 낮3정도인데 (5모때는 40점대 4등급나옴. 몰라서 틀림)...
-
솔직히 구분못함
-
냐뇨이
-
보쿠가 키라다 2
후하하하하ㅏ
-
나한텐 만점~3등급을 넘나들게 만드는 거지같은 과목이라 지구로 런치게했지만
-
4번문제..수열의 극한의 성질 계산에서 사칙연산은 수렴하는 것끼리만 가능한거...
-
너무 도파민 폭발하는 행동들하면 꼭 사고가 터지는듯 1
사람은 좀 무미건조하게 살 필요가잇음
-
생명과학 근수축 구간 변화 문제 30초 안에 푸는 SKILL공개! 0
반갑습니다~ 이투스에서 생명과학 가르치고 있는 이승후입니다. 아래와 같이 작년 9월...
-
휴가나갈때 책 갈져올건데 기하는 너무 도박인가..
첫번째 댓글의 주인공이 되어보세요.