[论文解读] Integral foliated simplicial volume and $S^1$-actions

Daniel Fauser|arXiv (Cornell University)|Apr 27, 2017

Geometric and Algebraic Topology参考文献 10被引用 4

一句话总结

本文证明了具有非平凡光滑 $S^1$-作用的不可约定向紧致连通光滑流形的积分叶状单纯体积为零，推广了Yano关于普通单纯体积的结果。证明结合了Yano的几何构造与 $S^1$ 的参数化一致边界条件，证明了在 $S^1$-作用下，积分叶状单纯体积及其相关梯度不变量均消失。

ABSTRACT

The simplicial volume of oriented closed connected smooth manifolds that admit a non-trivial smooth $S^1$-action vanishes. In the present work we prove a version of this result for the integral foliated simplicial volume of aspherical manifolds: The integral foliated simplicial volume of aspherical oriented closed connected smooth manifolds that admit a non-trivial smooth $S^1$-action vanishes. Our proof uses the geometric construction of Yano's proof for ordinary simplicial volume as well as the parametrised uniform boundary condition for $S^1$.

研究动机与目标

• 建立具有非平凡光滑 $S^1$-作用的不可约流形的积分叶状单纯体积为零的结论。
• 将Yano关于普通单纯体积的结果推广至积分叶状单纯体积的设定。
• 通过积分叶状单纯体积，为这类流形的 $L^2$-贝蒂数消失提供新的证明。
• 推导出诸如秩梯度与挠率同调梯度等梯度不变量的新逼近结果。

提出的方法

• 利用Yano的相对链的几何构造，构建一个 $α$-参数化的基本链。
• 将 $S^1$ 的参数化一致边界条件应用于 $S^1$-轨道结构，实现链的高效填充。
• 通过使用置换不变的权分配，在链层面上构造填充过程，以控制 $L^1$-范数。
• 利用有限指数子群上的稳定积分单纯体积作为极限，证明极限中为零。
• 通过法伯链关系，建立积分叶状单纯体积与稳定积分单纯体积之间的联系。
• 通过检查相对同调中同调类的常数性，验证所得链为局部参数化基本链。

实验结果

研究问题

• RQ1 具有非平凡光滑 $S^1$-作用的不可约流形的积分叶状单纯体积是否为零？
• RQ2 能否通过积分叶状单纯体积重新推导出这类流形的 $L^2$-贝蒂数消失？
• RQ3 在 $S^1$-作用下，诸如秩梯度与挠率同调梯度等梯度不变量的行为如何？
• RQ4 能否利用 $S^1$ 的参数化一致边界条件来控制链层面上的 $L^1$-范数？
• RQ5 在 $S^1$-流形基本群的剩余或法伯链上，稳定积分单纯体积的行为如何？

主要发现

• 具有非平凡光滑 $S^1$-作用的不可约定向紧致连通光滑流形的积分叶状单纯体积为零。
• 对于任意本质自由的标准 $π_1(M)$-空间 $\alpha$，有积分叶状单纯体积 $||M||^\alpha = 0$。
• 对于具有剩余有限基本群的此类流形，稳定积分单纯体积 $||M||_{\mathbb{Z}}^\infty = 0$。
• 对于基本群中的任意法伯链 $(\Gamma_n)$，有 $\inf_n \frac{||M_n||_{\mathbb{Z}}}{[\Gamma: \Gamma_n]} = 0$，意味着梯度不变量消失。
• 此类流形的秩梯度、挠率同调梯度与贝蒂数梯度全部为零。
• 该构造产生一个 $\alpha$-参数化相对基本链，其 $L^1$-范数可任意小，从而确认了该不变量的消失。