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를 선물하세요.
-
아스피날>존존스 인듯 14
겁나쌔네
-
글하나 띡 적으니 피드백이 바로 이루어지네 쉽다 쉬워
-
도망쳤다 하는데 상위권 중위권 하위권이 다같이 런친게 분명함 6모 컷보니 생1보단 선녀가 맞음
-
와 지리네 저게 헤비급임?
-
ㅈㄱㄴ
-
한양대 교과로 반도체 학과에 지원할까 생각하고있는 고3입니다. 원래 메디컬 생각해서...
-
빌런되기
-
사촌형이.. 9
넌 안된다 자기도 안된다 라는식으로 이야기 함 결국 어렵게 편입 해서 연세대 미래캠...
-
답이 왜 5번인지 모르겠어요. 알려주시면 정말 감사하겠습니다 또한 2번선지와...
-
내 실력이 레전드인건가?.. 아 그리고 그거랑 별개로 22찍맞 성공함ㅋㅋㅋ
-
이감 오답하다가 끊고 왔는데 걍 하고올걸
-
낮공보다 더높은데?
-
옛날에 누가 유튜브 댓글에 썼다가 고소 당한 적 있을거임. 이름이 도윤인가 그랬음.
-
오르비나 수만휘 등등에 입시 커뮤에 ㅇㅂ이나 피뎁방 쓰는 사람들이 많긴 하지만...
-
국어 > [리트 전개년 기출 언어이해] 예비 2009 26~28 > [리트 전개년...
-
. .
-
보통 막 너무 종교적이라던가 전년도에 나왔던 작가라던가 너무 짧다던가(고전소설)...
-
가끔 댓글로 유급되면 내년 정원 다 못받는다 이런게 보이던데 정말인가요? 어디서...
-
실검 특이하네 2
실명+불륜은 귀한데 ㅇㄷㅇ불륜이나 생1강사 불륜, 은두엉 불륜도 아니고...
-
확실히 수학1은 고2 모고 문항이 더 어려운 것 같음 6
평가원 시험지만 보다 보니까 이런 거 어렵네요 - 한국교육과정평가원 대학수학능력시험...
-
미적 입문 n제 0
첫 n제로 뭐해야하나요 지금까지 기출만 했습니다
-
제가 이번 30번을 풀때 사진처럼 나눠서 풀었는데 답이 안나오더라고요ㅠㅠ 적분에서는...
-
98분 22 29 30 틀 88 공통 객관식) 간간히 배치된 스탑럴커들에 걸릴...
-
시간을 못줄이겧음..
-
이분 결혼했었나..?
-
전 여자이고 학생입니다. ㅋㅋ 그러니 판사님 저는 무죄입니다. 할라고? 4
여자고 학생이면 범죄 저지르고 남 비아냥 거리는거는 법치주의에서 용서가 되는가?...
-
6모 전에 나온건 좀 과하게 쉽던데.. 6모 이후는 어떰?? 한수바탕 별로면 작년...
-
사실 5등급을 노베라 하는 게 그냥 평균 올려치기는 아닌게 1
사실 5등급이 중간값이기는 해도, 5등급 밑은 사실 교과 기본 개념자체가 부족한...
-
남을 까내리거나 유명하거나 재치있으면 됨
-
오 0
ㅋㅋㅋㅋ 개 웃기네 이제부터 그럼 애니랑 웹툰은 십덕식 하렘향 첨가된 로맨스만 보고...
-
시간관계상 수특, 수완 풀생각은 없습니다. 다들 연계공부 어떻게하시는지...
-
로다주 복귀뭐냐 7
닥터둠 ㅋㅋㅋㅋㅋ
-
저는 23 수능때 현역이었던 학생입니다. 지금 1년 하고도 조금 더 쉬고 다시...
-
엄마는또왜저리화난거야ㅠ
-
토익끝 4
처음 듣기 30분까지밖에 집중못하고 나머지시간은 억지로앉아있었음
-
사탐은 신이야 6
수능원서접수일에 사탐런해도 과탐보단 잘나온다네요 이거바로 사탐런해야겠는걸
-
대체 실검 뭐임 2
개 웃기네 ㅋㅋㅋㅋ
-
국어 시간 부족 0
고2 국어 모의고사 풀 때 시간이 없어서 비문학 한지문을 항상 날립니다.. 점수는...
-
기범비급 일당백 실전300 16+4트레이닝이나 다른 것들도 괜찮은 거 있으면...
-
난이도에 비해 컷이 높게 나온건가요?? 아님 6모 이후에 사탐런이 많아져서...
-
화미지구사문러인데 요즘 진짜 슬럼프 씨게 옴… 근데 힘들때마다 상대적으로 점수...
-
그냥 본인 능지 받아들이고 천천히 푸는게 전체 점수에 더 이득인듯
-
그럴 친구가 없어요.
-
강민철t 듣고 있는데 8월달거 자동으로 기존수강생들 먼저 결제하게 문자같은거...
-
11번 12번 사골 유형입니다. 15번 풀어볼만합니다. 삼차함수의 중요한 특징이...
-
안되면 모병관 때려서라도 다른데 입대해야..
-
공부한 과목 모의고사를 치면 항상 드는 생각은 못 풀겠다 보단 시간이 더 있으면...
-
공부만 하는 사람들 같으니라고 사실 새벽에 하니까 다들 관심이 없긴 함ㅋㅋ
첫번째 댓글의 주인공이 되어보세요.