[論文レビュー] Volume entropy semi-norm

Ivan Babenko, Stéphane Sabourau|arXiv (Cornell University)|Sep 24, 2019

Topological and Geometric Data Analysis参考文献 37被引用数 5

ひとこと要約

本稿は、実ホモロジーにおける体積エントロピー半ノルムを導入し、すべての次元で単体的体積半ノルムと同値であることを証明する。これはM. グロモフが提起した問いに答えている。著者らは函子的性質を確立し、不変量をシスティリック幾何学と結びつけ、次元 $ m \geq 3 $ のホモロジー類の倍数のシスティリック体積に対して概ね最良の上界を得る。

ABSTRACT

We introduce the volume entropy semi-norm in real homology and show that it satisfies functorial properties similar to the ones of the simplicial volume. Answering a question of M. Gromov, we prove that the volume entropy semi-norm is equivalent to the simplicial volume semi-norm in every dimension. We also establish a roughly optimal upper bound on the systolic volume of the multiples of any homology class.

研究の動機と目的

• 実ホモロジー群上の函手的幾何的半ノルムとして体積エントロピー半ノルムを定義し、その性質を調査すること。
• M. グロモフが提起した、体積エントロピー半ノルムと単体的体積との同値性に関する問いを解決すること。
• 体積エントロピー、システィリック幾何学、および有限次元ホモロジーにおけるホモロジー不変量との関係を調査すること。
• 次元 $ m \geq 3 $ のホモロジー類の倍数のシスティリック体積に対して鋭い上界を確立すること。

提案手法

• リーマン多様体の基本群の正規部分群に関する体積エントロピーを、対応する被覆空間における球体積の指数的増加率を用いて定義する。
• すべての分離リーマン計量についての $ \text{ent}_H(M,g) \cdot \text{vol}(M,g)^{1/m} $ の下界として最小体積エントロピー $ \omega_H(M) $ を定義する。
• 幾何的サイクルによる類の下界を用いてホモロジー類へ体積エントロピーを拡張し、体積エントロピー半ノルム $ \omega(\mathbf{a}) $ を定義する。
• 被覆空間理論と幾何的群論の技法を用いて、体積エントロピー半ノルムの函手的性質およびホモロジー的不変性を証明する。
• 幾何的実現とシスティリック体積推定を用いて、体積エントロピー半ノルムと単体的体積との比較結果を確立する。
• 線形群におけるシスティリック成長に関する結果を応用し、有限被覆のシスティリック長の対数的下界を得ることで、ホモロジー類の倍数のシスティリック体積に対する上界を導出する。

実験結果

リサーチクエスチョン

• RQ1 すべての次元で体積エントロピー半ノルムは単体的体積半ノルムと同値か？
• RQ2 連続写像およびホモトピー同値に関して体積エントロピー半ノルムはどのように振る舞うか？
• RQ3 次元 $ m \geq 3 $ において、ホモロジー類の倍数のシスティリック体積の漸近的挙動はいかなるものか？
• RQ4 体積エントロピー半ノルムは、擬多様体の有限被覆を介して幾何的に実現可能か？
• RQ5 次元 $ m \geq 3 $ において、システィリック半ノルムは単体的体積または体積エントロピー半ノルムと同値か？

主な発見

• 体積エントロピー半ノルムは、すべての次元で単体的体積半ノルムと同値であり、M. グロモフの問いに答えている。
• 体積エントロピー半ノルムは、単体的体積と同様の函手的性質を満たし、ホモトピー同値に関して不変である。
• 任意のホモロジー類 $ \mathbf{a} \in H_m(X;\mathbb{Z}) $ に対して $ m \geq 3 $ のとき、$ k\mathbf{a} $ のシスティリック体積は、ある定数 $ C $ が $ \mathbf{a} $ のみに依存して、$ C \cdot \frac{k}{(\log k)^m} $ で上から抑えられる。
• システィリック半ノルム $ \|\mathbf{a}\|_\sigma $ は、単体的体積の定数倍で下から抑えられる：$ \|\mathbf{a}\|_\sigma \geq \lambda_m \|\mathbf{a}\|_\Delta $。
• 体積エントロピー半ノルムはホモロジー不変量であり、分類写像による基本類の像にのみ依存する。
• システィリック半ノルムの安定化過程による構成は、平行移動不変な擬距離を導き、実ホモロジー上にwell-definedな半ノルムを定義する。