[論文レビュー] Automorphisms of Manifolds and Algebraic K-Theory: Part III

Michael Weiss, Bruce Williams|arXiv (Cornell University)|Aug 19, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 62被引用数 17

ひとこと要約

本稿は、閉じたトポロジカルな m-多様体 M の構造空間 𝒮(M) から、代数的 L-理論と K-理論を組み合わせたスペクトル上の局所次数写像のファイバーへの、非常に連結な写像を構成し、サーヴィヴァル理論を精緻化する。主な結果は、代数的 K-理論と L-理論の複合的構成を用いて、同調的安定範囲における 𝒮(M) のホモトピー型を同定することである。アセンブリーマップと制御された双対性を用いる。

ABSTRACT

The structure space S(M) of a closed topological m-manifold M classifies bundles whose fibers are closed m-manifolds equipped with a homotopy equivalence to M. We construct a highly connected map from S(M) to a concoction of algebraic L-theory and algebraic K-theory spaces associated with M. The construction refines the well-known surgery theoretic analysis of the block structure space of M in terms of L-theory.

研究の動機と目的

• 閉じたトポロジカル m-多様体 M に対して、同調的安定範囲における構造空間 𝒮(M) のホモトピー型を計算すること。
• 代数的 K-理論と L-理論を用いて、古典的なサーヴィヴァル理論的記述をブロック構造空間に対して精緻化すること。
• 各空間 Y とその上に与えられた球面バンドル ξ に対して、L-理論と A-理論を組み合わせたスペクトル 𝐋𝐀_•_%(Y,ξ,m) を割り当てるホモトピー不変関手を構成すること。
• このスペクトル上の局所次数写像のファイバーへの、𝒫(M) からの非常に連結な写像を確立すること、特に 0 ∈ 8ℤ の上での場合に注目すること。
• 閉じた場合と形式的に類似する形で、空でない境界を持つコンパクト多様体に対してもフレームワークを拡張すること。

提案手法

• S¹∧ およびホモトピー軌道構成を含む、二次的 L-理論と Waldhausen A-理論の関係を示す可換な正方形の全ホモトピーファイバーとして、スペクトル Ω^{m}𝐋𝐀_•_%(Y,ξ,m) を定義する。
• Y 上の有限生成支配的再帰的空間またはスペクトルの圏を、ξ および m に関するスパーンナー＝ホワイトヘッド双対性を備えて定義する。
• 文献[37]の自然変換 Ξ を用いて図式の行を関連づけ、構造空間の代数的近似の構成を可能にする。
• 可視的対称 L-理論と群作用を伴う A-理論を含む図式の行のホモトピー下付きのホモトピーファイバーを用いて、スペクトルを構成する。
• 制御された代数的 K-理論圏上の自己函手 σ_i を用いた修正されたアイレンバーグのスワンドルを適用し、τ_* ≃ id + τ_* を得る。これにより τ_* がホモトピー的意味で冪等的であることが示される。
• Poincaré双対性空間 X に対して U_∞(X) の合同性を用いて、スピヴァック正規バンドルの存在と一意性を確立する。これは双対性フレームワークにおいて極めて重要である。

実験結果

リサーチクエスチョン

• RQ1 閉じたトポロジカル m-多様体 M の構造空間 𝒮(M) は、同調的安定範囲において、代数的 K-理論と L-理論をどのように記述できるか？
• RQ2 構造空間 𝒮(M) と、K-理論と L-理論を組み合わせたスペクトル上の局所次数写像のファイバーとの間の、正確なホモトピー論的関係は何か？
• RQ3 同相写像群のホモトピー同値群への包含が、ホモトピーファイバーを通じて構造空間にどのように関係するか？
• RQ4 構造空間への代数的近似は、古典的サーヴィヴァル理論をどのように精緻化するか？
• RQ5 スピヴァック正規バンドルは、構成における双対性とアセンブリーマップの一貫性を保証するために果たす役割は何か？

主な発見

• 構造空間 𝒮(M) から、スペクトル Ω^{∞+m}𝐋𝐀_•_%(M,ν,m) 上の局所次数写像の 0 ∈ 8ℤ 上のファイバーへの非常に連結な写像が構成された。ここで ν は M の正規バンドルである。
• この写像の連結性は、同調的安定範囲によって定まる。これは定義11.5で正確に定義されており、実際には m/3 に近い値をとる。
• スペクトル 𝐋𝐀_•_%(Y,ξ,m) は、S¹∧ およびホモトピー軌道ファンクターを含む、二次的 L-理論と A-理論の関係を示す可換な正方形の全ホモトピーファイバーとして定義される。
• この構成は装飾に依存しない。h, p, ..., ⟨−∞⟩ からの一貫した装飾の選び方であれば、ホモトピー同値を除いて同じ無限ループ空間が得られる。
• Poincaré双対性空間に対して、U_∞(X) の合同性を用いて、スピヴァック正規バンドルの存在と一意性が確立された。これは、ユークリッド空間内の正規近傍と埋め込みサーヴィヴァルを用いる。
• アイレンバーグのスワンドルは、制御された代数的 K-理論圏上の自己函手 σ_i を用いて適用され、τ_* ≃ id + τ_* を得る。これにより τ_* がホモトピー的意味で冪等的であることが示される。