[論文レビュー] An infinite-dimensional phenomenon in finite-dimensional metric topology

Alexander Dranishnikov, Steven C. Ferry+1 more|arXiv (Cornell University)|Oct 31, 2006

Advanced Operator Algebra Research参考文献 36被引用数 4

ひとこと要約

この論文は、有限次元の距離的位相幾何学において、閉多様体間のホモトピー同値が無限次元の像空間へのセル型写像から生じるが、KO理論における奇数 torsion によって、それらがホメオモルフィズムにホモトープでないことがあることを示している。主な結果は、次元 >6 におけるこのようなホモトピー同値の分類であり、それらが構造群内の奇数 torsion の類とちょうど一致することを示しており、リーマン多様体のGロム＝ハウスドルフ変形空間への応用がある。

ABSTRACT

We show that there are homotopy equivalences $h:N o M$ between closed manifolds which are induced by cell-like maps $p:N o X$ and $q:M o X$ but which are not homotopic to homeomorphisms. The phenomenon is based on construction of cell-like maps that kill certain $\mathbb L$-classes. The image space in these constructions is necessarily infinite-dimensional. In dimension $>6$ we classify all such homotopy equivalences. As an application, we show that such homotopy equivalences are realized by deformations of Riemannian manifolds in Gromov-Hausdorff space preserving a contractibility function.

研究の動機と目的

• 閉多様体間のホモトピー同値がセル型写像から生じるが、ホメオモルフィズムにホモトープでない場合の条件を理解すること。
• セル型写像が L-類を消去する仕組みを通じて、無限次元の像空間が有限次元の距離的位相幾何学に果たす役割を分析すること。
• surgery 理論と KO理論を用いて、次元 >6 におけるこのようなホモトピー同値を分類すること。
• これらの現象を、一様局所的可縮性を満たす条件下でのリーマン多様体のGロム＝ハウスドルフ空間における変形と結びつけること。
• Gロム＝ハウスドルフ変形によって実現可能なホモトピー構造からなる構造群の部分群 $ S^{CE}(M) $ を定義し、それらを研究すること。

提案手法

• 閉多様体 $ N $ と $ M $ から無限次元空間 $ X $ へのセル型写像 $ p: N \to X $ と $ q: M \to X $ を構成し、それらがホモトピー群に誘導する写像が同型となるようにすること。
• 手術完全列とペア $ (E_2(M), M) $ の $ \mathbb{L} $-理論を用いて、得られるホモトピー同値 $ f: N \to M $ がホメオモルフィズムにホモトープでない場合を検出すること。
• 制御された対称的シグネチャと手術完全列における境界写像 $ \partial $ を用いて、障害が $ KO_m(M) $ の奇数 torsion 部分群にあることを示すこと。
• McMillan の細胞的基準と Perelman–Freedman の結果を応用し、可縮性関数 $ \rho $ を持つ多様体に対して、位相的単射関数を構成すること。
• 制御された Mischenko-Ranicki シグネチャ $ \Delta_M $ と $ \Delta_{M'} $ が $ H_n(X; \mathbb{L})[1/2] $ 内の同じ類へ写像されることを示し、無限次元のホロモルフィズム的多様体 $ X $ に対する特徴類理論の可能性を示唆すること。
• Gロム＝ハウスドルフ距離と $ LGC(\rho) $ 条件を用いて変形同値を定義し、リーマン多様体の前コンパクト部分集合上でそれが同値関係であることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 有限次元多様体間のホモトピー同値が、無限次元空間へのセル型写像から生じるが、ホメオモルフィズムにホモトープでないことはあり得るか？
• RQ2 次元 >6 において、ホモトピー同値がホメオモルフィズムにホモトープでない正確な障害は何か？
• RQ3 KO_m(M) 内の奇数 torsion の類は、Gロム＝ハウスドルフ空間におけるリーマン多様体の変形とどのように関係するか？
• RQ4 構造群 $ S(M) $ は、ホモトピー構造が Gロム＝ハウスドルフ変形から生じるかどうかに基づいて、成分に分類可能か？
• RQ5 セル型写像の像として得られる無限次元のホロモルフィズム的多様体 $ X $ に対して、well-defined な特徴類理論が存在するか？

主な発見

• 単連結で $ \pi_2(M) = 0 $ である閉多様体 $ M^m $ について、$ m \geq 7 $ のとき、ホモトピー同値 $ f: N \to M $ がホメオモルフィズムにホモトープでないのは、$ KO_m(M) $ に奇数 torsion が存在する場合に限る。
• 各奇数 torsion の類 $ \tau \in KO_m(M) $ に対して、$ LGC(\rho) $-多様体の前コンパクト部分集合内での変形によって実現される一意なホモトピー同値 $ f: N \to M $ が存在する。
• このようなホモトピー構造のすべての集合は、構造群の部分群 $ S^{CE}(M) \subset S(M) $ をなす。これは構造群の奇数 torsion の部分群である。
• 語的双曲的基本群、または単純なリー群の格子である基本群をもつ多様体について、$ S^{CE}(M) $ は有限である。
• 制御された Mischenko-Ranicki シグネチャ $ \Delta_M $ と $ \Delta_{M'} $ は、$ H_n(X; \mathbb{L})[1/2] $ 内の同じ類へ写像され、無限次元のホロモルフィズム的多様体 $ X $ に対する特徴類理論の可能性を示唆する。
• 多様体 $ M $ が可縮性関数 $ \rho $ を持つとき、$ n + k \geq 5 $ かつ $ k \geq 1 $ であれば、McMillan の細胞的基準とネストされた PL 近傍を用いて、$ M \times Q $ に対して位相的単射関数が存在する。