.
게시글 주소: https://ys.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
-
튀긴거 먹으니까 속이 더부룩해서 공부할때 집중 안 되네
-
수능 시계로 8시 40분 맞추고 10시까지 풀고 열품타 보니까 왜 1시간...
-
뱃지 다는거 먼가 아바타 꾸미는 것 같음 필자 초딩 때까지 여자 아바타 스티커 사서...
-
얼버기 0
좋은 아침 한국 얼린 버섯 기상 달리다 재수생 풍문으로 들었소 내가 수학황이 될 관상인가?
-
정수 K 기상 15
벌떡
-
ㅁㅌㅊ?
-
강x 9회 0
왜 더프랑 점수가 똑같음;;; 하 ㅠㅠㅠㅠㅠ
-
안녕하세요! 참 이렇게 다시 말하기 싫었지만 점점 시험이 1주일씩 다가 올때마다...
-
웹툰정주행했는데 1
여기가 어디지... 분명 10시에 시작했는데
-
장발 관둘까 0
ㅎㅎ
-
기구하다 0
기구하다
-
장학금 지급 이것때문인듯 이거 보고 온게 큰데 지급방식도 홈페이지에 명시 안해두고...
-
선풍기를 침대 머리쪽으로 쐬게 놨어..
-
집앞에 사고난듯 3
끼이익 쾅 소리남 차vs차는 아닌거같고 혼자 박은건가
-
개미친얼버기 8
-
가능함? 6모3 9모4 나왔고 6모 친 뒤로 국어 하나도 손 안댔는데 수능때도...
-
지거국 이상이면 어차피 다 자기하기 나름인것같애 물론 메디컬 빼고 ㅇㅇ
-
지구과학 질문 1
섭입대에서 잡아당기는 힘이 작용할 때 섭입하는 판이 섭입되는 판을 잡아당기는건가요,...
-
어그로 ㅈㅅ합니다 일년 반 쓰던 샤프가 방금 요절했습니다 몇주전부터 맛탱이가...
-
....
-
수능 50일 14
문과 평균 4~5등급인데 평균 3등급 바라는 건 너무 욕심이겠죠 가천대나 경기대 꼭...
-
참아라 나 자신
-
흠
-
걍 정신만 썩은듯 분명 투입을 안한게아닌데 결과가 안나와
-
인스타 보니까 싹다 연고전이야 하긴 청춘이 최고다
-
끝말잇기가 아니고 연상되는 단어를 말하는거임 예를들면 사람 영장류 원숭이 이렇게요
-
님 말 다 맞으니까 평생 그렇게 생각하고 사셔요^^
-
쓰다가 매일 똑같은 식의 공부를 해서 굳이 안쓰고있긴한데 10일 후면 26수능 딱...
-
지듣노 0
촛불 켜면 감성 ㅈ되는데
-
그렇다고 도서관 가기는 또 귀찮아서 논문 피뎁을 벅벅 보는 걸 즐기는 나
-
특히 수학같은게 6~7월에 전성기였다가 9월쯤에 존나 쇠퇴함 작년에도 재작년에도...
-
제곧내임 자습시간도 많이 확보할 수 있고 국수탐 다 잘가르치는 과외생들한테 과외만 받는게 나을까요?
-
젊어지고 싶다 5
너무 늙어버린것 같음..
-
통일교 보면 진짜 뭐지 싶음 님들은 이해가됨? 일본은 싫지만 일본여행 가는거랑 동급 아닌가
-
원래 이거 사려고 갔음 등급 상이라고 돼 있는데 책등 변색돼 있어서 열받았지만...
-
현우진이 잘생겨 보임
-
9평 끝나고부터 이렇게 살았는데
-
끝말잇기할사람 41
고?
-
잘생겼다 1
는 것은 외모를 통해서 많은 사람의 호감을 산다는 것입니다.
-
1. 모든것은 대상이다 2. 대상은 대상으로 이루어진다 표기법 대상1=대상2+대상3...
-
펀쿨섹좌 잘생김 1
알파남인 듯
-
순천 살인마처럼 2
뒤에서 슬금슬금 다가와서 찌르는 건 어떻게 피해야함? ㅅㅂ.. 피할 수가 있긴 하나
-
전과목 다 그렇게 공부했음 다음에 하면 이해할거라는 마인든데 상당히 글러먹은듯...
-
lim (x->0) f(x)/x² = 0일 때 f''(0)=0이다? 16
단 f(x)는 미분가능한 함수 (수정하면서 추가함) 증명하거나 반례 들면 덕코 다줄게
-
잠이 안와요 6
고대의 검은 캔버스는 누구의 것이었던가 살별의 꼬리로 채워넣은 은빛 해변 달빛을...
-
원함수가 미분가능하면 도함수는 연속인가요? 원함수가 실수전체에서 미분가능하면...
-
포르쉐 카이안 하이브리드가 드림칸데 못 산다 살 돈 있어도 어떻게 모은돈인데 차에...
-
대학교 오랜만에 갔다오느라 공부안해서 오르비안함ㅌㅌ 0
체육대회하고옴 축구 농구 대표로 나가서 캐리좀 했다 휴학생도 불러주네 나갈...