.
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
-
샤오마오 ㅋㅋ 0
왜 안 보이나 했더니 벌점 200이네 존나 웃기네 ㅋㅋ
-
그 당시에 인증 메타로 미모를 날린 지금 남자 옯창이 뻘글 쓰면 댓글 2~30개씩...
-
아 너무 속상하다
-
불키고 과제한다 시부레
-
지금 이뱃은 찾아볼 수 없을 정도로 희귀한데 나 오르비 한참 할 때는 이뱃 꽤...
-
이거 어케빼지?......... 슬슬 평균 넘을거같은데 야식을 줄일까요 아니면 수능...
-
고2 수학 1
김기현 파데킥오프 하고 아이디어 듣고 있는데 제가 고2 9모 수학 6등급인 너무...
-
얘만 돈받으려고 않았을거 같긴 한데 솔직히 두창이도 정부 당 동원해서 여론선동...
-
오르비잘자 5
-
머가 좋을까요 시간상 하나만 할 수 있을듯해서
-
최애 정진솔이던 극성 닰붕이었는데 파생그룹인 아르테미스나 루셈블은 뭔가 그때 그...
-
기하 선택 작수 92 / 9평 96
-
질문 잠깐 받아봄요 19
고졸 무직 아이돌 짬밥 8년차 아이오아이 위키미키 // 아이즈원 이후 아이브,...
-
너무 힘들다 사실 그냥 다 지치고 버거운 느낌 새벽이니까 가짜 힘듬이겠지
-
정시에서는 서성한이나 중앙대가 이화여대보다 수치상 평균입결이 더 높은거 알고...
-
도박묵시록 카이지 슈타인즈게이트 데스노트 이런거 되게 재밌게 봤고 아인...
-
문학계속 기출위주로 공부하는데 계속 시간이 빨리거나 선지가 깔끔히 안맞아 떨어져...
-
원래 온라인에서 무료로 다운받을 수 있었는데 갑자기 바껴서 교사만 다운로드 할 수...
-
원정에서 토트넘 현실이 이랬는데 그 분 사라지니 ㄷㄷㄷㄷㄷㄷ 대승 손흥민 있었으면...
-
고2 아수라 0
정파인데 들을까요?
-
교과서는 에너지띠 이론 그냥 파울리의 배타원리로 퉁치고 조국광복회도 북한이...
-
미대 입시생이라 이쪽밖에 모름 이대 미대로는 상위권인디.. 서울대 디자인과 넣는...
-
텐하흐 나가 ㅗㅗ
-
알바하면서 내 또래 서양인지 유렵인지 모르겠는데 백인 여자들 손님으로 오면 너무...
-
지금 반토막임 코묻은돈 용케 모아서 셀트리온에 50넣었는데 잠깐 40%찍고 이후로...
-
진짜 농어촌.. ㅂㄷㅂㄷ...
-
드릴 2024 1
드릴 2024 수2 어렵나요?
-
난 유명한 장기투자자임 34
고3때 코스모신소재 400넣고 재수하고 대학교 다니다가 4천 찍혀서 팔았음 2주...
-
뱀의 꼬리가 되자
-
안녕하세요 저는 지금 고1이고 메가패스 끊었는데 겨울방학때 관리형 도서실에서...
-
이대를 저평가하는것은 곧 모든 여성에 대한 모욕이다 3
쎈을 고평가하지 않는것은 곧 호훈에 대한 능멸이다. 생각 플로우가 이런 사람들을 멀리해야됨
-
스트레스 받아서 그렁가 6월-현재까지 약 5키로는 빠진듯여;; 저체중됨 ㅜ
-
おやすみ 10
-
진짜 보법이다르네
-
사실 저도 이대 2
가본적은 없는데 관련해서 썰 풀자면 작년 4월즘인가 신검을 받으러 갔어요 1층에서...
-
공부하다 과로사 1
지금부터 수능까지 하루 2시간 자고 매일 20시간 공부하면 과로사 할수도 있나요/
-
오랜만이에요 4
-
분명 기가책에선 옷색깔 바뀌는 컴퓨터옷이 생긴다고 했는데
-
메이플이 갑자기 재밌어졌네~
-
연상 누나랑 대화를 나누고 싶구나…. 대학 잘 가자 ㅈㅂ
-
와야만 한다.
-
이번 9모 바쟁 오프라인 간쓸개 연계임 이감 전 지문 독서 적중한거
-
논란 종결.
-
이대목동병원에서 태어남
-
공무도하 공경도하 타하이사 당내공하
-
아쉽네 다전제에서 만나면 좋겠다
-
내일의 할일을 4
오늘로 미루지 말 것
-
논란 잠재우기 3
잘자
-
9월-11월 사이 지치고 .. 해이해지고 ..
-
건대성적으로 로스쿨갈거면 서성한급 대우 ㅋㅋ