[論文レビュー] A Surgery Theory for Manifolds of Bounded Geometry

Oliver Attie|ArXiv.org|Nov 30, 2003

Mathematics and Applications被引用数 4

ひとこと要約

本稿は、有界幾何の多様体における手術理論を開発し、一様有限ホモロジーとL理論的手術を用いて、滑らかな準等長写像に関してリーマン計量を分類するための新しい枠組みを導入する。主な結果として、コンパクト多様体とユークリッド空間の積に関する手術完全列を確立し、構造集合がL理論スペクトルの一様有限ホモロジー群の直和に分解されることを示す。

ABSTRACT

A surgery classification theory is introduced for manifolds of bounded geometry up to quasi-isometry. The Borel conjecture for this theory is proven for flat Euclidean space.

研究の動機と目的

• 非コンパクト多様体上の有界幾何の計量を滑らかな準等長写像に関して分類するための新しい手術理論的枠組みを構築すること。
• 曲率と自己写像半径の有界性によって幾何的複雑性が一様に制御される状況において、古典的手術理論を有界幾何の設定に拡張すること。
• コンパクトな場合と類似した手術完全列を、非コンパクト多様体の大規模幾何に適合させること。
• 一様有限ホモロジーを、大規模な位相的不変量を捉えるために、通常のホモロジーに代えて導入・利用すること。
• k+n ≥ 5 に対して、M × ℝ^n の構造集合が、L理論スペクトルの一様有限ホモロジー群の直和に同型であることを証明すること。

提案手法

• 有界な組合せ的複雑性を持つ対象と、有界な複雑性を持つ写像を持つ新しいPL圏を導入し、大規模ホモトピー理論を可能にする。
• 一様有限ホモロジー H^{uff}_*(X;G) を、アーベル群 G に係数を持つ L^∞-ホモロジー理論として定義し、ℝ^n と ℍ^n を区別する。
• 有界幾何の多様体のための構造集合 𝒮^{bg,s}_{TOP}(X) を構成し、新しい圏におけるホメオモルフィズムによる単純ホモトピー同値類をパラメトライズする。
• 境界付き制御および ε-制御トポロジーの技法を用いて、有界幾何の設定における手術完全列を確立する。
• Eilenberg-Zilberの定理と五重補題を用い、超平面に沿った分割により、帰納的に構造集合の分解を証明する。
• Siebenmannの周期性とホモトピー球面の有限性を用いて、低次元の場合を扱い、PL圏から滑らか圏への結果の拡張を行う。

実験結果

リサーチクエスチョン

• RQ1 非コンパクト多様体上の有界幾何の計量を滑らかな準等長写像に関して分類するために、手術理論をどのように適合させることができるか？
• RQ2 一様有限ホモロジーは、ℝ^n と ℍ^n のような多様体の大規模な位相的型を区別するために果たす役割は何か？
• RQ3 有界ホモトピーにおいて、ポントリャーギン類は準等長設定でどの程度保存されるか？
• RQ4 M × ℝ^n の構造集合は、L理論スペクトルの一様有限ホモロジー群の直和への分解を用いて計算可能か？
• RQ5 有限被覆への写像の上への持ち上げは、有界幾何の設定におけるホワイトヘッド torsion の消滅とどのように関係するか？

主な発見

• k+n ≥ 5 に対して、構造集合 𝒮^{bg,s}_{TOP}(M × ℝ^n) は、一様有限ホモロジー群の直和に同型である：⋃_{i=0}^n H^{uff}_i(ℝ^n; 𝒮^{2-n-i}_{TOP}(M)) であり、ここで 𝒮^{2-n-i}_{TOP}(M) はRanickiの下位L理論におけるアセンブリーマップのファイバーを表す。
• 一様有限ホモロジーは ℝ^n と ℍ^n を区別する：H^{uff}_0(ℝ^n; ℤ) ≠ 0 であるが、H^{uff}_0(ℍ^n; ℤ) = 0 であるため、大規模なホモトピー型が異なることが示される。
• 次数1の正規写像を伴う積 M × CP^2 の手術障害は、M のそれと同型であるため、超平面に沿った帰納的分割が CP^2 を剥がすことで可能になる。
• M × T^n の構造集合は、𝒮^{s}_{TOP}(M × T^n) = H_*(T^n; 𝒮^{TOP}_*(M)) を満たし、有界有限ホモロジーへの有理数的単射性により、ねじれ要素が有限被覆上で消えることが保証される。
• ℝ-因子に沿った構造集合の分割は群構造を保ち、直積 𝕊 × ℝ による誘導により、Eilenberg-Zilberの定理と bg PL 手術完全列により検証される。
• 滑らかな多様体に対して、N の有限被覆が M × T^n に微分同相であれば、N は M × T^n に滑らかに微分同相である。これにより、滑らか圏における分類がPL結果と一致することが保証される。