[論文レビュー] Simplicial approach to derived differential manifolds

Dennis Borisov, Justin Noel|arXiv (Cornell University)|Nov 30, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用数 12

ひとこと要約

本稿は、有限型の導来微分多様体のための単体的 $C^{\infty}$-環モデルを確立し、Spivakのホモトピー層に基づく構成が、より単純な単体的 $C^{\infty}$-環枠組みとクィレン同値であることを示している。$C^{\infty}$-環の柔軟性を活用することで、層論的設定における局所的弱同値が単体的環設定における弱同値に対応することを証明し、標準的な単体的 $C^{\infty}$-環のモデルカテゴリにおけるホモトピーコロイムを通じた交線論が可能になる。

ABSTRACT

Derived differential manifolds are constructed using the usual homotopy theory of simplicial rings of smooth functions. They are proved to be equivalent to derived differential manifolds of finite type, constructed using homotopy sheaves of homotopy rings (D.Spivak), thus preserving the classical cobordism ring. This reduction to the usual algebraic homotopy can potentially lead to virtual fundamental classes beyond obstruction theory.

研究の動機と目的

• 導来微分幾何学におけるホモトピー $C^\infty$-環のホモトピー層の必要性を排除すること。
• 有限型の導来多様体が標準的モデル構造のもとで単体的 $C^\infty$-環と同値であることを示すこと。
• 古典的コボルディズム環とホモトピーコロイムによる交線論を、単体的 $C^\infty$-環枠組みで保存すること。
• 完全に単体的設定で作業することにより、従来の障害理論を超えた仮想基本類の構成を可能にすること。
• Spivakの層論的導来多様体と単体的 $C^\infty$-環モデルとの間のクィレン同値性を確立すること。

提案手法

• 滑らかさの代数的対象としての $C^\infty$-環を、特定の代数的理論上の代数と定義すること。
• 古典的 $C^\infty$-環理論を、標準的プロジェクト型モデル構造を備えた単体的 $C^\infty$-環へ拡張すること。
• 古典的多様体上の構造層の柔軟性を活用し、有限型の導来多様体が局所的に単体的 $C^\infty$-環と弱同値であることを示すこと。
• 大域的切断函手が弱同値を保存することを証明し、ホモトピー的データの損失なしに層から単体的 $C^\infty$-環への還元が可能であることを示すこと。
• ホモトピー $C^\infty$-環を厳密な $C^\infty$-環に変換する正規化函手を用い、ホモトピー型を保存すること。
• ホモトピーコロイムを介して、単体的 $C^\infty$-環の圏の単体的局所化とSpivakの導来多様体圏との間で弱同値を確立すること。

実験結果

リサーチクエスチョン

• RQ1 有限型の導来微分多様体は、ホモトピー層を用いずに、単体的 $C^\infty$-環のみでモデル化可能か？
• RQ2 単体的 $C^\infty$-環における標準的モデル構造は、Spivakが定義した導来多様体のホモトピー論を捉えているか？
• RQ3 導来多様体のコボルディズム環は、単体的 $C^\infty$-環モデルでも保存されるか？
• RQ4 この単体的枠組みを用いて、障害理論を超えた仮想基本類を構成できるか？
• RQ5 Spivakのホモトピー層モデルと単体的 $C^\infty$-環モデルとの間にクィレン同値性が存在するか？

主な発見

• 有限型の導来多様体は、単体的 $C^\infty$-環の柔軟な層を構造層とする導来多様体と局所的に弱同値である。
• 大域的切断函手は弱同値を保存するため、ホモトピー的情報の損失なしに層から単体的 $C^\infty$-環への還元が可能である。
• Spivakのホモトピー $C^\infty$-環のホモトピー層に基づく構成は、単体的 $C^\infty$-環モデルとクィレン同値である。
• 有限型の導来多様体の圏は、$\mathbb{R}^0 \leftarrow \mathbb{R}^m \rightarrow \mathbb{R}^n$ の形の図式の局所的ホモトピー極限としての単体的 $C^\infty$-環のフルな部分圏と弱同値である。
• 単体的 $C^\infty$-環の圏の単体的局所化は、Spivakの導来多様体圏と弱同値であり、単体的モデルの妥当性が裏付けられる。
• このモデルにより、標準的な単体的 $C^\infty$-環圏におけるホモトピーコロイムを通じて、関手的かつホモトピー的に正しい交線が可能になる。