[論文レビュー] Integral foliated simplicial volume and $S^1$-actions

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

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

ひとこと要約

この論文は、非自明な滑らかな $S^1$-作用をもつアスフェリカルで向き付け可能で、閉じており、滑らかな多様体の積分分岐単体的体積が消えることを証明している。これはヤーノの通常の単体的体積に関する結果を拡張するものである。証明はヤーノの幾何的構成と $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$-作用をもつアスフェリカル多様体における積分分岐単体的体積の消滅を確立すること。
• ヤーノの通常の単体的体積に関する結果を積分分岐設定に拡張すること。
• 積分分岐単体的体積を介して、このような多様体における $L^2$-ベッチ数の消滅を再証明すること。
• ランク勾配や torsion ホモロジー勾配などの勾配不変量に関する新しい近似結果を導出すること。

提案手法

• 相対サイクルの構成にヤーノの幾何的構成を用い、$\alpha$-パラメータ付き基本サイクルを構築する。
• $S^1$-軌道構造内で効率的にサイクルを埋めることに、$S^1$ のパラメータ付き一様境界条件を適用する。
• 置換不変な重み割り当てを用いて、$L^1$-ノルムを制御するチェーンレベルの埋め込みプロセスを構築する。
• 有限指数部分群に関する極限としての安定積分単体的体積を用い、極限における消滅を示す。
• ファーバー鎖を通じて、積分分岐単体的体積と安定積分単体的体積の関係を用いる。
• 相対ホモロジーにおけるホモロジー類の定数性を確認することで、得られたサイクルが局所的パラメータ付き基本サイクルであることを検証する。

実験結果

リサーチクエスチョン

• RQ1 非自明な滑らかな $S^1$-作用をもつアスフェリカル多様体において、積分分岐単体的体積は消えるか？
• RQ2 このような多様体における $L^2$-ベッチ数の消滅は、積分分岐単体的体積を介して再導出可能か？
• RQ3 ランク勾配や torsion ホモロジー勾配などの勾配不変量は $S^1$-作用下でどのように振る舞うか？
• RQ4 $S^1$ のパラメータ付き一様境界条件は、チェーンレベルの構成における $L^1$-ノルムを制御するために用いられるか？
• RQ5 基本群が $S^1$-多様体であるような場合、安定積分単体的体積は残渣的またはファーバー鎖に沿ってどのように振る舞うか？

主な発見

• 非自明な滑らかな $S^1$-作用をもつアスフェリカルで向き付け可能で、閉じており、滑らかな多様体 $M$ の積分分岐単体的体積は $0$ に等しい。
• 任意の本質的に自由な標準的 $\pi_1(M)$-空間 $\alpha$ に対して、積分分岐単体的体積 $||M||^\alpha = 0$ である。
• 残留有限基本群をもつこのような多様体に対して、安定積分単体的体積 $||M||_{\mathbb{Z}}^\infty = 0$ である。
• 基本群における任意のファーバー鎖 $(\Gamma_n)$ に対して、$\inf_n \frac{||M_n||_{\mathbb{Z}}}{[\Gamma: \Gamma_n]} = 0$ であり、勾配不変量の消滅を示唆する。
• ランク勾配、torsion ホモロジー勾配、ベッチ数勾配はすべて、このような多様体において消える。
• 構成により、任意に小さい $L^1$-ノルムをもつ $\alpha$-パラメータ付き相対基本サイクルが得られ、不変量の消滅が確認される。