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를 선물하세요.
-
현재 재수생이고 재종다니는데 매번 더프 치면 3~4 왔다가다 합니다.. 현재...
-
갑자기 든 의문 0
저 정도면 옯뉴비인가요?
-
국어 69 수학 77 영어 53 199
-
정시로
-
무잔이다!! 2
녀석은 목을 베어도 죽지 않아!!
-
자꾸 죽고 싶다고 생각하는 습관 어떻게 고치나요.. 4
중학교 때 사춘기 심하게 겪은 이후부터 그런 건지 일이 잘 안 풀리거나 속상하면...
-
강사나,인강ㅊㅊ좀요
-
갓이네ㅠㅠ
-
시대 단과 다니는데 서바이벌 치고난 뒤에 성적? 부엉이포스트 통해서 보라...
-
메타가 멈췄다 1
다행이군
-
21수능 (가)(나)지문 올해 비독원에서 빠진거같던데 안다루시려나
-
21, 28틀 중간에 말려서 시간 날리는거 고쳐야겠당
-
과목별로 몇시간씩 정해놓고 하는게 맞나??? 요즘 성적 정체기라서 하루마다 과목...
-
2025年 사관학교 27,28,29,30 Solution 39
오늘 시행된 25학년도 사관학교 1차시험 수학의 난이도는 꽤 높은 편으로,...
-
살면서 들은 말중에 가장 간지나는 말은 뭐가 있었음? 비록 인간의 정의가 너무나...
-
먼가 재밌는일이 없을까 15
-
답지 있으신분 ㅜ
-
잘생긴넘이노래까지잘하니까존나부럽네
-
퍼리, zoophilia는 진짜..아니라고 생각해요
-
? SKY 재학생의 멘토링 서비스, 마이프라이빗티처에서 인터뷰이를 모집합니다. 0
안녕하세요! SKY 재학생들이 생기부, 내신관리, 수능대비 등 대입 학습코칭을...
-
담주부터 1주 2실모 할거라 이감 강k 풀고 상상은 파이널에 몰아뒀다가 조질건데...
-
토플 응시료 때문에 대리운전 뒷차하며 김치녀들의 돈벌이 수단을 보았다. 9
딱히 이야기 더 하고 싶지않다. 벤츠타고 퇴근하는 창녀를 위해 성매매 피해자 지원금...
-
원과목하면 컨텐츠의 범람속 뭘 해야할지 몰라 이거 깔짝하고 저거 깔짝하고 이럴 수...
-
진지하게 저런 게 흥분이 되나요
-
보니까 금요일에 깜빡하고 안올렸네요 *훈수나 조언은 언제나 환영입니다.
-
사문 도표 0
임정환 커리타고 있는데 도표만 윤성훈 엠스킬 들어도 될까?
-
개념이랑 기출 다 했는데 유자분 하면서 n제 풀고 싶은데 추천좀 해줘잉 지사랑 천체...
-
잘자 10
-
수시 원서 사진 머리 민걸로 넣어도 상관없겠죠?
-
SKY 재학생들이 생기부, 내신관리, 수능대비 등 대입 학습코칭을 해주는 멘토링...
-
천재의 존재이유를 설명하기에 최곤데? 의대생들 이세계에서 지구로 환생해서 치트능력을...
-
볼때마다 와 저학교는 서울이었으면 어디라인까지 올라왔을까싶었는디 보니까 인서울이네
-
잘 모르는 분야라 어쩔 수가 없네..
-
사람이 딱 자기가 이룬 데까지는 노력이고 그 위부터는 재능이 필요하다고 하는 것처럼...
-
청나라 말기에 영국이 청나라와 다이깨서 이겼다는 건 기억하냐 그때 영국에서 홍콩이랑...
-
키에 비해 비율이 좋던데 헬스하셔서 그런건가... 168이라는거 안믿길 정도임
-
청주교육대학교 중퇴생이 생각하는 노무현 명연설 공유 2
https://youtube.com/shorts/ZnN4ht1YKhM?si=VAhFP...
-
수학 9,10,11 틀렸는데 뭐지
-
아는내용 계속 설명하는데 헷갈리는 문제랑 틀린문제만 선별해서 보면 안됨?
-
경우 어떻게 나눠야지 깔끔한가요? 최대한 현장에서 생각가능한거로 푸신분 풀이공유좀 가능할까요
-
예전에 트위터 돌아다니다가 한 ya동을 보게 되었음 사람(남)과 고양이(암컷)랑...
-
15분째 찾는중
-
중고등학교 아예 놀아서 기초가 없는 사람도 노벤데 중학교 고1때 존나 열심히...
-
수인하고 퍼리하고는 13
솔찍히 구별해야한다고 생각해요
-
내가 왜 다녀야 하냐고 시발 진짜
-
사관학교 기하 손풀이 10
26. 문제에서 PF+QF를 묻고 있습니다. 점과 점 사이의 거리 공식을 쓰려고...
-
최초합은 안될듯 한데 추합 돌면 가능할까요
-
노베이스 기준 7
내신 평균 6등급 이하
첫번째 댓글의 주인공이 되어보세요.