Geometric convergence
게시글 주소: https://i9.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를 선물하세요.
-
시대인재 수학쌤 조합 11
공통 장재원T 들을 예정이고 미적 안가람T 들을 예정인데요 제가 상위권이 아니라...
-
어그로 ㅈㅅ 오르비가 정작 필요할 땐 답을 안 해주길래 의뱃 계시면 미리...
-
상담은 주변인이 아닌 전문기관에 문의하시고, 도움 역시 이곳에 문의해주세요 낯선...
-
분명 반수 시작할 땐 건대만 갈 수 있어도 감사하다는 마인드였는데 성적 좀 오르고...
-
9덮 국영수 4
보정이지만 222다... 보정이 너무 후한거 같긴함 그치만 9모때 442라 삶을...
-
생명하지말걸 9
ㅅㅂ
-
레츠고 하버드는 분발하자
-
Curl-Div 0
Curl-Divergence lemma라고 함수열의 수렴에 대해서 이야기 하는데...
-
이전 게시물에서 다음 게시물은 무조건 만화를 올린다고 했는데 그 약속을 좀...
-
일반항이 왜이렇게 쓰여지는것이여
-
중위권 분들 질문 주시면 답해드릴께요!! (학교생활, 등등)
-
못참겠다 다풀면 S1도 풀어야지
-
뭔가 실력이 느는거같지 않는...
-
언매 미적 생윤 윤사 원점수 73 77 2 50 47 경희 응수 가능할까요..??
-
현역 수시러라 8월부터 수능 공부 다시 시작해서 현재 미친개념 수1,2 하고...
-
ㅈㄱㄴ
-
제 점수: 국어 94(1) 수학 81(1-2) 영어 1 한국사 1 화학 47(1)...
-
1븐 지각이나 1-2시간 지각이나 똑같아서 여유롭게 씻고 준비하고 1교시 스킵함ㅋㅋ
-
흑흣. 무슨근거가한줄이뗑이야.
-
흠..
-
내 옆자리 친구 정법으로 최저 맞추는 애라서 걔한테 9더프 정법 시험지 줌
-
(의뱃님들 혹시 계시면 답좀..) 며칠 전에 갑자기 심박수 급상승 + 어지러움...
-
불닭볶음면 개맵메 수발 ㅡㅡ;;;;; 애기 운다
-
미적분 모든 어려움을 28에 몰빵해놨네 어캐푸노 이걸..
-
수능 오답률 1위라는걸 애들은 알고 있을까..
-
미적이고 9모 푼 거는 73에 9덮 푼 것만 보면 68인데 9덮은 보정...
-
앉아있는 자세가 잘못됬나..?
-
이중차분법 7
이 시발련 뭐냐 학원숙제하다가 어려워서 드랍했는데 독서 내신 학습지에 또 튀어나왔네 이 새끼
-
오르비를 위해서 0
대략 720일+a일을 기다린 나
-
올해 대학가는건 이거일듯
-
지구과학 개념량 진짜 13
찢어버리고 싶을 정도로 많네...강의 언제 다듣냐 하...
-
D-41 1
AM 8 ~ 12 : 30 : 문학론 24 / 7 PM 13 : 30 ~ 18 :...
-
수의대 목표로 재수하려는데 원과목 한 적 없으면 그냥 원과목 공부하는게 낫나요?
-
특모 시즌1,2랑 비슷한 난이도로
-
아니 그럼 고전소설은 대부분 19금내용 있는데 그걸 우리는 야설이라고는 안 하잖음...
-
나한테 관심있어서가아니라 금테달려고 그런건가
-
나 얼평좀 6
-
빡모에서 봤던 거 같은데 뭐지
-
진짜로
-
수능날 이제 조금 더 어려워지고 1컷 46~47 형성 완료.
-
재미있는 글들이 없잖아 ㅜㅠ
-
작9 올9 8
그래도 발전은 있는건가?
-
모종의 일 때메 머리 속에 그 생각 밖에 없고 수능 생각은 없음 요즘 그냥 데이오프...
-
5일치 하루안에 끝냈더니 머리가 터질거 같아
-
중국의 문인화 화원화 이거 뭐임 ㅋㅋㅋ 앞에 지문들은 맛있게 먹었는데 이거만...
-
내가 30분동안 과제푼걸 30초정도걸려서 나보다 횔씬 조리있게 설명하네 ㅅㅂ
-
미대생 무물 0
오랜만에 할 거 없는 기념으로..
-
아수라 문학 푸는 것보다 수특 수완 문제 푸는게 더 나을까요? 스토리 읊어주는 인강...
-
부작용: 사람이 염세적으로 바뀜
첫번째 댓글의 주인공이 되어보세요.