.
게시글 주소: https://i9.orbi.kr/00068516715
Hyperbolic 3-manifold에 대해서 알고 있는 사람도 소수의 사람들 빼고는 bounded cohomology에 대해서는 잘 모른다. (당연하다) 놀랍게도(?) hyperbolizable 3-manifold의 3rd bounded cohomology는 geometrically infinite 인 경우에 대해서는 interplay가 있다. Geometrically finite한 경우에는 3rd bounded cohomology는 아무것도 capture하지 못하는데, 그 기본적인 이유는 convex core가 bounded 되어있기 때문이다.
Theorem A. (Cohomological nearness implies geometric sameness). For a given $i_0>0$, let $(M_0,f_0)$ be any doubly-degenerate element of $AH_+(\Sigma_g)$ with $\mathrm{inj}(M_0)\geq i_0$. Then there exists a constant $\epsilon(g,i_0)>0$ depending only on $g$ and $i_0$ so that any element $(M_1,f_1)$ of $AH_+(\Sigma_g)$ satisfying $\parallel [f_0^*(\omega_{M_0})] - [f^*_1(\omega_{M_1})]\parallel<\epsilon$ in $H^3_b(\Sigma;\Bbb R)$ is equal to $(M_0,f_0)$ in $AH_+(\Sigma_g)$.
Corollary B (Geometric nearness does not imply cohomological nearness). Suppose that $\{M_n,f_n\}_{n=1}^\infty$ is a sequence in $H_+(\Sigma_g)$ such that each $(M_n,f_n)$ is not doubly-degenerate. then, $\{[f_n^*(\omega_{M_n})]_B\}_{n=1}^\infty$ contains no subsequences converging in $HB^3(\Sigma_g;\Bbb R)$ to the (induced) fundamental class of doubly-degenerate elements of $AH_+(\Sigma_g)$.
Theorem C. Suppose $\Gamma$ is a topologically tame Kleinian group such that the volume of $M_\Gamma$ is infinite. Then $[\omega_\Gamma] = 0$ in $H^3_b(M_\Gamma;\Bbb R)$ if and only if $\Gamma$ is either elementary or geometrically finite. If $[\omega_\Gamma]\neq 0$ in $H^3_b(M_\Gamma;\Bbb R)$, then $\parallel \omega_\Gamma\parallel = v_3$, so in particular, $[\omega_\Gamma]_B\neq 0$ in $HB^3(M_\Gamma;\Bbb R)$.
Theorem D. Let $M,M'$ be hyperbolic 3-manifolds with markings $\iota:\Sigma\to M$, $\iota':\Sigma\to M'$ respectively. Suppose that either the $(+)$ or $(-)$-end $\mathcal{E}$ of $M$ with respect to $\iota(\Sigma)$ is totally degenerate. If
$$\parallel\iota^*([\omega_M]) - \iota'^*([\omega_{M'}])\parallel<v_3$$
holds in $H^3_b(\Sigma;\Bbb R)$, then there exists a marking and orientation-preserving homeomorphism $\varphi_0:M\to M'$ and a neighborhood $E$ of $\mathcal{E}$ such that $\varphi_0|_E:E\to E' = \varphi_0(E)$ is bilipschitz. In particular, $\varphi_0$ defines the bijection between the components of $E_{cusp}$ and those of $E'_{cusp}$.
Corollary E. Under the assumptions in theorem A, suppose moreover that all genuine ends of $M$ are simply degenerate. Then $\varphi$ is properly homotopic to an isometry. In particular, $\iota^*([\omega_M]) = \iota'^*([\omega_{M'}])$ in $H^3_b(\Sigma,\Bbb R)$.
Theorem F. Let $M$ be an oriented hyperbolic 3-manifold with a marking of $\Sigma$. Suppose that there exists an orientation-preserving homeomorphism $\varphi$ from $M$ to another hyperbolic $M'$ inducing a bijection between the components of $M_{cusp}$ and those of $M'_{cusp}$. If
$$\parallel [\omega_M] - \varphi^*([\omega_{M'}])\parallel <v_3$$
holds in $H^3_b(\Sigma;\Bbb R)$, then $\varphi$ is properly homotopic to a bilipschitz map.
Theorem G. Let $G$ be a group, and let $\Gamma_1,\ldots,\Gamma_n$ be topologically tame Kleinian groups admitting isomorphisms $\varphi_i:G\to\Gamma_i$. Suppose that, for each $M_{\Gamma_i}$, only one end $E_i$ of $M_{\Gamma_i}$ is geometrically infinite. Let $\Lambda_i$ be a subgroup (uniquely determined up to conjugate) of $\Gamma_i$ corresponding to $E_i$. If, for every integers $i,j$ with $1\leq i\leq j\leq n$, there exists $\lambda_{ij}\in\Lambda_j$ such that $\varphi_i^{-1}(\Lambda_i)\cap C_\infty(\varphi_j^{-1}(\lambda_{ij})) = \emptyset$, then $[\varphi_1^*(\omega_{\Gamma_1})]_B,\ldots,[\varphi^*_n(\omega_{\Gamma_n})]_B$ are linearly independent in $HB^3(G;\Bbb R)$. Here, $C_\infty(g) = \bigcup_{n=1}^\infty C(g^n)$ where $C(g) = \{hgh^{-1}:h\in G\}$.
Theorem 1.1. Suppose $\Gamma$ is a finitely generated group that is isomorphic to a torsion-free Kleinian group without parabolics, and let $\{\rho_\alpha:\Gamma\to\mathrm{PSL}_2\Bbb C:\alpha\in\Lambda\}$ be a collection of discrete and faithful representation without parabolic or elliptic elements such that at least one of the geometrically finite end invariants of $M_{\rho_\alpha}$ is different from the geometrically infinite end invariants of $M_{\rho_\beta}$ for all $\alpha\neq \beta \in \Lambda$. Then $\{[\hat{\omega}_{\rho_\alpha}:\alpha\in\Lambda]\}$ is a linearly independent set in $H^3_b(\Gamma;\Bbb R)$.
Theorem 1.2. Suppose $\Gamma$ is a finitely generated group that is isomorphic to a torsion-free Kleinian group without parabolics. Then there is an $\epsilon = \epsilon(\Gamma)>0$ such that if $\{\rho_i:\Gamma\to\mathrm{PSL}_2\Bbb C:i = 1,\ldots, n\}$ is a collection of discrete and faithful representations without parabolics or elliptic elements such that at least one of the geometrically infinite end invariants of $M_{\rho_i}$ is different from the geometrically infinite end invariants of $M_{\rho_j}$ for all $i\neq j$ then
$$\parallel\sum_{i=1}^n a_i[\hat{\omega}_{\rho_i}]\parallel_\infty >\epsilon\max |a_i|.$$
Theorem 1.3. Let $S$ be an orientable surface with negative Euler characteristic. Then there is a constant $\epsilon = \epsilon(S)$ such that the following holds. Let $\rho:\pi_1(S)\to\mathrm{PSL}_2\Bbb C$ be discrete and faithful, without parabolic elements, and such that $M_\rho$ has at least one geometrically infinite end invariant. If $\rho':\pi_1(S)\to\mathrm{PSL}_2\Bbb C$ is any other representation satisfying
$$\parallel[\hat{\omega}_\rho] - [\hat{\omega}_{\rho'}]\parallel_\infty<\epsilon,$$
then $\rho'$ is faithful.
Corollary 1.4. Let $S$ be a closed orientable surface of genus at least 2. There is a constant $\epsilon = \epsilon(S)$ such that the following holds. Suppose that $\rho:\pi_1(S)\to\mathrm{PSL}_2\Bbb C$ is discrete, faithful, without parabolics, and such that $M_\rho$ has two geometrically infinite ends. Then for any other discrete representation $\rho':\pi_1(S)\to\mathrm{PSL}_2\Bbb C$, if
$$\parallel[\hat{\omega}_\rho] - [\hat{\omega}_{\rho'}]\parallel_\infty<\epsilon,$$
then $\rho$ and $\rho'$ are conjugate.
Corollary 1.5. There is an injective map
$$\psi:\mathcal{EL}(S)\to\overline{H}^3_b(\pi_1(S);\Bbb R)$$
whose image is a linearly independent, discrete set.
Theorem 2.1. If $\rho_1$ and $\rho_2$ are discrete, faithful, without parabolics, and their quotient manifolds $M_{\rho_i}$ are singly degenerate and share one geometrically infinite end invariant, then $\rho_1^*\mathrm{Vol} = \rho_2^*\mathrm{Vol}\in H^3_b(\pi_1(S);\Bbb R)$.
Theorem 2.2. Let $\lambda,\lambda'\in\mathcal{EL}_b(S)$ and $X,Y\in\mathcal{T}(S)$ be arbitrary. We have an equality in bounded cohomology
$$[\hat{\omega}(\lambda',\lambda)] = [\hat{\omega}(\lambda',X)]+[\hat{\omega}(Y,\lambda)]\in H^3_b(S;\Bbb R).$$
Here, $\mathcal{EL}_b(S)\subset\mathcal{EL}(S)$ denotes the lamination that have bounded geometry.
Corollary 2.3. Suppose $\lambda_1,\lambda_2,\lambda_3\in\mathcal{EL}_b(S)$ are distinct. Then we have an equality in bounded cohomology
$$[\hat{\omega}(\lambda_1,\lambda_2)] + [\hat{\omega}(\lambda_2,\lambda_3)] = [\hat{\omega}(\lambda_1,\lambda_3)]\in H^3_b(S;\Bbb R).$$
Theorem 2.4. Fix a closed, orientable surface $S$ of negative Euler characteristic. There is an $\epsilon_S>0$ such that if $\{[\rho_\alpha]\}_{\alpha\in\Lambda}\subset\mathrm{Hom}(\pi_1(S),\mathrm{PSL}_2\Bbb C)/\mathrm{PSL}_2\Bbb C$ are discrete, faithful and without parabolics such that at least one of the geometrically infinite end invaraints of $\rho_\alpha$ is different from the geometrically infinite end invariants of $\rho_\beta$ for all $\beta\neq\alpha\in\Lambda$, then
(1) $\{\rho_\alpha^*\mathrm{Vol}\}_{\alpha\in\Lambda}\subset H^3_b(\pi_1(S);\Bbb R)$ is linearly independent set;
(2) $\parallel\sum_{i=1}^Na_i\rho_{\alpha_i}^*\mathrm{Vol}\parallel_\infty\geq\epsilon_{S}\max |a_i|$.
Corollary 2.5. The bounded fundamental class is a quasi-isometry invariant of discrete and faithful representations of $\pi_1(S)$ without parabolics. In this setting, $\parallel\rho_0^*\mathrm{Vol} - \rho_1^*\mathrm{Vol}\parallel_\infty<\epsilon_S$ if and only if $\rho_0$ is quasi-isometric to $\rho_1$.
Theorem 2.6. Suppose $\rho_0:\pi_1(S)\to\mathrm{PSL}_2\Bbb C$ is discrete, faithful, has no parabolic elements, and at least one geometrically infinite end invariant and let $\rho:\pi_1(S)\to\mathrm{PSL}_2\Bbb C$ be arbitrary. If $\parallel\rho_0^*\mathrm{Vol} - \rho^*\mathrm{Vol}\parallel_\infty<\epsilon_S/2$, then $\rho$ is faithful. If $\rho$ has dense image, then $\parallel\rho_0^*\mathrm{Vol} - \rho^*\mathrm{Vol}\parallel_\infty\geq v_3$ where $v_3$ is the volume of the regular ideal tetrahedron in $\Bbb H^3$.
Corollary 2.7. Suppose $\rho_0:\pi_1(S)\to\mathrm{PSL}_2\Bbb C$ is discrete and faithful with no parabolics and at least one geometrically infinite end invariant and $\rho_1:\pi_1(S)\to\mathrm{PSL}_2\Bbb C$ has no parabolics (but is otherwise arbitrary). If $\parallel\rho_0^*\mathrm{Vol} - \rho_1^*\mathrm{Vol}\parallel_\infty<\epsilon_S/2$, then $\rho_1$ is discrete and faithful, hence quasi-isometric to $\rho_0$.
Theorem 2.8. Suppose $M_0$ and $M_1$ are hyperbolic 3-manifolds without parabolic cusps with representations $\rho_i:\pi_1(M_i)\to\mathrm{PSL}_2\Bbb C$, $M_1$ is totally degenerate, and $h:M_1\to M_2$ is a homotopy equivalence. If $M_1$ is topologically tame and has incompressible boundary, then there is an $\epsilon$ depending only on the topology of $M_1$ such that $h$ is homotopic to an isometry if and only if $\parallel\rho_0^*\mathrm{Vol} - \rho_1^*\mathrm{Vol}\parallel_\infty<\epsilon$.
Definition. Fix a base point $X\in\mathcal{T}(S)$, and define $\iota:\mathcal{EL}(S)\to H^3_b(S;\Bbb R)$ by the rule $\iota(\lambda) = [\hat{\omega}(X,\lambda)]$. Theorem 1.1 guarantees that $\iota$ does not depend on the choice of $X$.
Theorem 2.9. The image of $\iota$ is linearly independent set. Moreover, for all $\lambda,\lambda'\in\mathcal{EL}(S)$, if $\parallel\iota(\lambda) - \iota(\lambda')\parallel_\infty<\epsilon_S$ then $\lambda = \lambda'$. Finally, $\iota$ is mapping class group equivariant, and $\iota(\mathcal{EL}(S))$ is a topological basis for the image of its closure in the reduced space $\overline{H}^3_b(S;\Bbb R)$.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
회원에 의해 삭제된 댓글입니다.좋아요 0
-
이말 평가좀 4
https://orbi.kr/00069266946 여기서 [모든명제가 참]->무모순...
-
https://youtu.be/5Of2HNJa_gs?si=axjbpZszQQ2Fmyd...
-
진짜 그만함 ㄹㅇ;;
-
수1보다 수2를 ㅈㄴ 못하기도 하고 어짜피 거의 반타작이라서 못함 개개개개개개 못함...
-
ㄹㅇ 오르비 봇임?
-
나
-
생윤 개념 빵꾸 1
사설 푸는데 엄청 틀려서 개념이 빵꾸난거 같다는 생각이 드는데 이거 어떻게...
-
더프 지구 10번 ㄷ선지, 15번ㄷ선지 왜 틀리는지 설명좀 해주세요..ㅠㅠ
-
살 빼야 하는데 2
군것질 안하는게 힘드네
-
나보다 아이민 낮으면 화석임
-
물은 100도에서 끓고 0도에서 언다 (이상기압) 물 1L는 1KG임 달은 한달에...
-
이거 때문에 아인슈타인이 개 빡쳤다고..
-
자기라고 생각하면 100덕을 놓고 가세요
-
여름 -> 가을 이시기가 진짜 너무 고통스러움 병원가서 약 짓고 약 먹었는데도 오늘...
-
우리학교 쌤이 많이 풀지 말라던데 오개념 있을수 있다고
-
수학5등급이 이런말 하는건 웃기는일이지만 현대수학의 기반이 집합론이라고(착각)...
-
빨리체화해야하는데
-
안보려했는데 특전이 너무 땡기자너
-
귀찮아서 건너뛰고 b만풀고싶은데
-
평균 77~88에서 진동하는데.... 오늘은 82 뜸 아오 개 어렵기 보다는 이게...
-
26수능 D-411 자퇴생 8시간 공부 인증 채널명: 자라나는 새싹(개설 예정)...
-
빨간마더텅 사서 풀건데 생윤 교육청 기출도 중요한가요?
-
도시락 다 팔림 ㅠㅠ
-
저는 서로의 존재가 각자의 발전에 도움을 주는가? 를 중요하게 생각함
-
은근 본인들 진심이 담겨있는듯함
-
딱히 어느 의대가 가고싶다 이런건 없는데 저 성적표는 꼭 받아보고싶다.. 과탐이라...
-
?
-
객관식이라 쳤을때 70퍼이상임?
-
89점. 14, 22, 미적25 틀 11: 직각삼각을 어떻게 찾느냐에 따라서 답을...
-
큐브를 하다보니 든 생각이다.
-
닉값존나해서슬픔지금강k망햌ㅅ어나는왜그러지
-
참고로 호날두 쵸비 강민철 좋아하는데, 가능할까요?
-
아일릿 이쁘다 2
-
애니프사 vs 뉴진스 프사 추천좀
-
나 하니인데 10
의대갈거다
-
수능수학5등급 고졸백수인디..
-
9덮미적 85 0
19(?) 21 22 30틀 1921 계산실수 13찍맞 무보정 1컷 몇일까요
-
ㅈ됨
-
일단 전 1등급 벽 뚫는게 젤 어렵다고 생각해요 2등급->1등급 보다 백분위...
-
사실 일베 안함 14
디씨 식물갤만 하는 드루이드엿던것이와요 하와와
-
책이나 파일 있나요? 찾아봤는데 안나오네요
-
언미물화 97 80 98 50 44 33 인데 무보/보정 컷 어느정도려나요 그리고...
-
4규 시즌1, 드릴5 까지 풀었는데 이해원 시즌1, 이해원 시즌2, 드릴4 중 뭘...
-
개어려운데 이게 어케 1컷 40중후임?? 걍 내가 화학을 못하는건가
-
우연히 올림픽 메달리스트 강연을 들을 기회가있었는데 1
누군가 올림픽 메달 땄을때 긴장되지 않았냐고 물으니까 당연히 긴장이 된다 하지만...
-
딱대 논술 끝나면 공항리무진 나도 탄다
-
그래서 재수를 하게 되었는데 기대만큼 성적이 오르질 않네요 재수 실패하면 이 상태로...
-
누명 쓰고 차단먹히게 생긴 수붕이 우러
-
1번문제 ㅅㅂ 뭐임
-
필살 공부하면서 유튜브 영상틀고 노래들으면서 과자먹으면서 롤하기