[論文レビュー] Orientability and fundamental classes of Alexandrov spaces with applications

Ayato Mitsuishi|arXiv (Cornell University)|Oct 25, 2016

Geometric Analysis and Curvature Flows参考文献 33被引用数 3

ひとこと要約

この論文は、アレクサンドロフ空間における多様体的、幾何的、解析的という3つの異なる意味の可縮性（orientability）の等価性を確立し、有理数係数におけるコhomologyとホモロジーの双対性写像を示す。主な貢献は、有理数係数で次数 0, 1, n-1, n においてコhomologyとホモロジーの双対性同型写像を確立し、曲率の境界やフィリング半径の不等式への応用を含む。

ABSTRACT

In the present paper, we consider several valid notions of orientability of Alexandov spaces and prove that all such conditions are equivalent. Further, we give topological and geometric applications of the orientability. In particular, a Poincaré-type duality theorem is proved. As a corollary to the duality theorem, we also prove that if a closed Alexandrov space admits a positive curvature bound in a synthetic sense, then its codimension one homology vanishes. Further, we obtain a filling radius inequality for closed orientable Alexandrov spaces.

研究の動機と目的

• アレクサンドロフ空間における可縮性の定義を統一・明確化すること。アレクサンドロフ空間は一般に三角形分割可能ではなく、ホモロジー多様体であるとは限らない。
• アレクサンドロフ空間の文脈において、位相的、幾何的、解析的可縮性の定義が等価であることを確立すること。
• 有理数係数で、アレクサンドロフ空間の可縮な開部分集合に対して、ポincare型双対性定理を証明すること。
• 正の曲率を持つ閉じたアレクサンドロフ空間に対して、コドメイン1次元有理数ホモロジーの消滅といった位相的障害を導出すること。
• 閉じた可縮なアレクサンドロフ空間に対してフィリング半径の不等式を確立し、境界を持つ空間における双対性を検討すること。

提案手法

• 有理数係数の特異コホモロジーにおける局所ホモロジー同型と、向きの類の整合性を用いて可縮性を定義する。
• コンパクト台付きコホモロジーと内部の相対コホモロジーの自然な同型を用い、双対性の結果を移行する。
• n次元アレクサンドロフ空間の境界なし開部分集合に対して、双対写像 $ D_M: H^k_c(M;\mathbb{Q}) \to H_{n-k}(M;\mathbb{Q}) $ を適用する。
• コンイカル近傍と向きの伝播を用い、空間 $ X $ が可縮であることと、その二重 $ D(X) $ が可縮であることの必要十分条件を証明する。
• コンパクトなアレクサンドロフ空間の境界に対して、同型 $ H^*(M,\partial M) \cong H^*_{\mathrm{c}}(M\setminus\partial M) $ を用いて、Lefschetz型双対性を確立する。
• NB空間（ノーマルバンドボディ）の構造とその貼り合わせを用い、可縮性および境界の挙動を定義・分析する。

実験結果

リサーチクエスチョン

• RQ1 アレクサンドロフ空間における、位相的、幾何的、解析的可縮性の定義は等価か？
• RQ2 有理数係数で、アレクサンドロフ空間の可縮な開部分集合に対してポincare型双対性が成り立つか？
• RQ3 合成的意味での正の曲率を持つ閉じたアレクサンドロフ空間に対して、どのような位相的制約が生じるか？
• RQ4 閉じた可縮なアレクサンドロフ空間に対して、フィリング半径の不等式を確立できるか？
• RQ5 境界を持つ可縮なアレクサンドロフ空間の境界が、どのような条件下で自身も可縮か？

主な発見

• アレクサンドロフ空間における、すべての可縮性の定義（位相的、幾何的、解析的）は等価である。
• n次元アレクサンドロフ空間の可縮な開部分集合において、有理数係数で次数 $ k = n $ および $ k = n-1 $ に対して、ポincare型双対性同型写像 $ D_M: H^k_c(M;\mathbb{Q}) \to H_{n-k}(M;\mathbb{Q}) $ が成り立つ。
• 閉じた可縮なアレクサンドロフ n 次元空間 $ M $ に対して、$ k = 0,1,n-1,n $ のとき、双対写像 $ D_M: H^k(M;\mathbb{Q}) \to H_{n-k}(M;\mathbb{Q}) $ は同型である。
• 閉じた n 次元アレクサンドロフ空間が曲率 $ \geq \kappa > 0 $ を満たすならば、そのコドメイン1次元有理数ホモロジー $ H_{n-1}(\Sigma;\mathbb{Q}) $ は消える。
• 正の曲率を持つ閉じた可縮なアレクサンドロフ空間に対して、整数係数のコドメイン1次元ホモロジー $ H_{n-1}(\Sigma;\mathbb{Z}) $ も消える。
• 閉じた可縮なアレクサンドロフ空間に対して、フィリング半径の不等式が成り立ち、幾何的位相的制約が得られる。