[論文レビュー] Topological regularity of spaces with an upper curvature bound

Alexander Lytchak, Koichi Nagano|arXiv (Cornell University)|Sep 17, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 29被引用数 10

ひとこと要約

本稿は、上界付き曲率を持つ距離空間に対して、位相的正則性基準を確立する。このような空間が位相的多様体であるための必要十分条件は、すべての方向空間が非可縮な空間にホモトピー同値であることである。主な結果は、方向空間のホモトピー型に基づく、純粋に無限小的で位相的な多様体の特徴づけを提供し、ホモロジー多様体やリーマン多様体の極限に関する長年の未解決問題を解決する。

ABSTRACT

We prove that a locally compact space with an upper curvature bound is a topological manifold if and only if all of its spaces of directions are homotopy equivalent and not contractible. We discuss applications to homology manifolds, limits of Riemannian manifolds and deduce a sphere theorem.

研究の動機と目的

• 上界付き曲率を持つ局所コンパクトかつ測地的完備な距離空間のクラスの中で、位相的多様体を純粋に無限小的かつ位相的に特徴づけること。
• 上界付き曲率を持つホモロジー多様体が、有限集合を除いて局所的に位相的多様体であるかどうかという、長年の未解決問題を解消すること。
• 曲率と注ぎ込み半径の上限を持つリーマン多様体の列に対する位相的安定性定理を確立し、極限空間が方向空間が球に似た性質を持つ位相的多様体であることを示すこと。
• 単純接続でないホモロジー球の二重サスペンションが、CAT(κ) リーマン多様体の列の極限として現れえないことを証明し、予想を確認すること。
• 上界付き曲率を持つ非多様体空間が、必ず分岐角 ≥π を持つ等長埋め込みされたコンパクトな距離的木を含むことの特徴づけ

提案手法

• 上界付き曲率を持つ空間における局所的可縮性とホモトピー的性質を活用し、ストレインマップを局所的ホイッレル・ファイブレーションとして用いる。
• 一般化された非正曲率（GCBA）空間の理論、特に方向空間と接錐の構造への応用。
• 次元に関する帰納的議論を用い、すべての方向空間が固定された非可縮空間にホモトピー同値であるという仮定から、位相的多様体構造を導出する。
• マイヤー＝ビートリスおよびヴァン・カンペンの定理を用いて、コhomology的条件のもとで単連結性と球にホモトピー同値であることを導出する。
• ハウスドルフ測度による体積比較を用い、全測度が閾値未満のとき、位相的球体構造が得られることを示す。
• 二重サスペンション定理および幾何的位相の結果を活用し、特定の異常な空間がリーマン多様体の列の極限として現れえないことを除外する。

実験結果

リサーチクエスチョン

• RQ1 上界付き曲率を持つ局所コンパクト空間が、どのような無限小的条件下で位相的多様体となるか？
• RQ2 上界付き曲率を持つホモロジー多様体が、有限集合を除いて局所的に位相的多様体であるか？
• RQ3 曲率 ≤κ かつ注ぎ込み半径 ≥r を満たすリーマン多様体の列の極限は、必ず位相的多様体か？
• RQ4 単純接続でないホモロジー球の二重サスペンションは、CAT(κ) リーマン多様体の列の極限として実現可能か？
• RQ5 上界付き曲率を持つ非多様体空間にどのような位相的障害が存在するか？

主な発見

• 上界付き曲率を持つ局所コンパクト空間が位相的多様体であるための必要十分条件は、すべての方向空間が固定された非可縮空間にホモトピー同値であることである。
• 上界付き曲率を持つすべてのホモロジー多様体は、局所的に有限集合を除いて位相的多様体であり、F. クインの予想を確認する。
• 曲率 ≤κ かつ注ぎ込み半径 ≥r を満たす完全なn次元リーマン多様体の列の極限は、位相的多様体であり、すべての方向空間はS^{n-1}に位相的に同型である。
• n ≤ 4 に対して、上界付き曲率を持つ位相的n次元多様体のすべての方向空間はS^{n-1}に位相的に同型であり、V. ベレストフスキーの問いを解決する。
• 単純接続でないホモロジー球の二重サスペンションは、CAT(κ) リーマン多様体の列の極限として現れえない。これは、ベレストフスキーの予想を確認する。
• 上界付き曲率を持つ非多様体GCBA空間は、必ず分岐角 ≥π を持つ、単一の区間でない等長埋め込みコンパクト距離木を含む。