[论文解读] Isometric properties of relative bounded cohomology

Martin Juan José Bucher, M. Burger+4 more|arXiv (Cornell University)|May 4, 2012

Geometric and Algebraic Topology参考文献 15被引用 17

一句话总结

该论文证明了当 $ Y $ 的每个连通分支的基本群均为可约群时，相对有界上同调 $ H^n_b(X,Y) $ 到有界上同调 $ H^n_b(X) $ 的包含诱导映射 $ j^n: H^n_b(X,Y) \to H^n_b(X) $ 在 $ n \geq 2 $ 时为等距同构。主要贡献在于：通过相对有界上同调的等距性质，给出了格罗莫夫等价定理的新证明，并将福岛和曼宁关于广义德恩填充下单纯体积的结果推广。

ABSTRACT

We show that the isomorphism induced by the inclusion of pairs $(X,\emptyset)\subset (X,Y)$ between the relative bounded cohomology of $(X,Y)$ and the bounded cohomology of $X$ is isometric in degree at least 2 if the fundamental group of each connected component of $Y$ is amenable. As an application we provide a self-contained proof of Gromov Equivalence theorem and a generalization of a result of Fujiwara and Manning on the simplicial volume of generalized Dehn fillings.

研究动机与目标

• 在基本群为可约群的条件下，建立相对有界上同调与绝对有界上同调之间的等距同构。
• 通过相对有界上同调的等距性质，提供格罗莫夫等价定理的自包含证明。
• 利用有界上同调中的等距性质，推广福岛与曼宁关于广义德恩填充单纯体积的结果。
• 阐明 $ \ell^1 $-半范数在相对同调中的作用及其在极限下的行为。
• 证明当每个分量 $ Y_i $ 满足 $ \pi_1(Y_i) $ 为可约群时，包含诱导映射 $ j^n: H^n_b(X,Y) \to H^n_b(X) $ 在 $ n \geq 2 $ 时为等距映射。

提出的方法

• 利用相对有界上同调的长正合列分析映射 $ j^n: H^n_b(X,Y) \to H^n_b(X) $，证明当 $ \pi_1(Y_i) $ 为可约群时，该映射为同构。
• 利用有界上同调在 $ n \geq 1 $ 时对可约群为零的事实，即 $ H^n_b(Y) = 0 $，从而推出当 $ n \geq 2 $ 时 $ j^n $ 为同构。
• 通过分析相对链上的 $ \ell^1 $-半范数及其在 $ \theta \to \infty $ 时的极限行为，证明同构 $ j^n $ 为等距映射。
• 应用有界上同调与 $ \ell^1 $-同调之间的转移原理，将等距性质从上同调转移到同调。
• 利用可约群的统一边界条件（松本-森田）构造 $ C_*(L) $ 中边界元素的有界提升，以控制 $ \ell^1 $-范数。
• 通过结合 $ (M,\partial M) $ 中接近基本周期的周期与 $ L $ 中受控的提升，构造广义德恩填充 $ N = M(T_1,\dots,T_m) $ 的基本周期，证明 $ \|N\| \leq \|M,\partial M\| $。

实验结果

研究问题

• RQ1 在何种条件下，包含诱导映射 $ j^n: H^n_b(X,Y) \to H^n_b(X) $ 在有界上同调中为等距同构？
• RQ2 能否通过相对有界上同调中的等距同构重新证明格罗莫夫等价定理？
• RQ3 广义德恩填充 $ M(T_1,\dots,T_m) $ 的单纯体积是否满足 $ \|N\| \leq \|M,\partial M\| $，在何种条件下成立？
• RQ4 当 $ \theta \to \infty $ 时，$ \ell^1 $-半范数 $ \|\cdot\|_1(\theta) $ 如何变化，其与标准 $ \ell^1 $-范数有何关系？
• RQ5 可约群的统一边界条件在控制相对同调中 $ \ell^1 $-范数时起何作用？

主要发现

• 当 $ Y $ 的每个连通分支的基本群为可约群时，对所有 $ n \geq 2 $，映射 $ j^n: H^n_b(X,Y) \to H^n_b(X) $ 均为等距同构。
• 证明了对任意相对同调类 $ \alpha $，有 $ \|\alpha\|_{(0)} \leq \|\alpha\|_{1}(\infty) $，表明 $ \theta $-范数收敛于标准 $ \ell^1 $-范数。
• 广义德恩填充 $ N = M(T_1,\dots,T_m) $ 的单纯体积满足 $ \|N\| \leq \|M,\partial M\| $，且在极限下取等。
• 定理 4 的第二个证明避免了显式使用等价定理，而是直接依赖于定理 1 的等距性，提供了更直接的同调论证。
• 同调群 $ H_n(N) \to H_n(N,L) $ 的逆映射为等距映射，这意味着从 $ (M,\partial M) $ 到 $ N $ 的投影保持了 $ \ell^1 $-范数。
• 存在常数 $ K > 0 $，使得对 $ L $ 中边界元素的提升 $ c' $，有 $ \|c'\|_1 \leq K \|p_n(d_n c)\|_1 $，从而在构造 $ N $ 的基本周期时控制了 $ \ell^1 $-范数。