[論文レビュー] The universal property of derived geometry

Andrew W. Macpherson|arXiv (Cornell University)|Jan 29, 2017

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

ひとこと要約

この論文は、既存の導来幾何学フレームワークに密接に類似した構成が、積と貼り合わせを保存する一方で、多様体に有限ホモトピー的極限を普遍的に付加することを確立する。この普遍的性質が微分可能設定において成り立つことを証明し、D. Spivakの導来C^∞幾何学の公理と整合することを示している。

ABSTRACT

Derived geometry can be defined as the universal way to adjoin finite homotopical limits to a given category of manifolds compatibly with products and glueing. The point of this paper is to show that a construction closely resembling existing approaches to derived geometry in fact produces a geometry with this universal property. I also investigate consequences of this definition in particular in the differentiable setting, and compare the theory so obtained to D. Spivak's axioms for derived C-infinity geometry.

研究の動機と目的

• 多様体の圏に有限ホモトピー的極限を普遍的に付加する方法として導来幾何学を定義すること。
• この構成が積と貼り合わせ操作と整合することを保証すること。
• この定義が微分可能設定においてももたらす結果を調査すること。
• 得られた理論をD. Spivakの導来C^∞幾何学の公理と比較すること。

提案手法

• 有限ホモトピー的極限の下での多様体の圏の普遍的完備化として導来幾何学を形式化すること。
• 単体的プレシェーブのモデル構造を用いてホモトピー的極限と積との整合性を記述すること。
• 降下条件と貼り合わせ条件を適用し、シェーヴ理論的構成と整合することを保証すること。
• 導来幾何学フレームワークとSpivakの導来C^∞幾何学との間の比較関手を構成すること。
• 多様体の圏上で、持ち上げ論法を用いてこの構成が普遍的性質を満たすことを検証すること。
• ホモトピー代数の技法を用いて、微分可能設定における得られた幾何学を分析すること。

実験結果

リサーチクエスチョン

• RQ1 既存の導来幾何学フレームワークに類似した構成が、多様体に有限ホモトピー的極限を普遍的に付加する性質を満たすか？
• RQ2 得られた導来幾何学は微分可能設定においてどのように振る舞うか？
• RQ3 この導来幾何学は、D. Spivakの導来C^∞幾何学の公理とどの程度整合するか？
• RQ4 普遍的性質はモデル理論的または圏論的枠組みによって確立可能か？
• RQ5 この普遍的構成の構造的結果として、極限とシェーヴ条件に関してどのような帰結が得られるか？

主な発見

• この構成は、積と貼り合わせを保存する一方で、多様体に有限ホモトピー的極限を普遍的に付加する性質を満たす。
• 導来幾何学フレームワークは微分可能構造と整合し、適切に定義された極限と余極限を保証する。
• 理論はD. Spivakの導来C^∞幾何学の公理と整合しており、両者のアプローチの間の正式な橋渡しを確立する。
• 普遍的性質は、多様体上の単体的プレシェーブの圏における持ち上げ性質を用いて検証された。
• 得られた幾何学は、ホモトピー的極限を通じて古典的多様体を一般化する、明確に定義された導来多様体の概念を支持する。
• この構成は、他のいかなる同様の完備化もそれが通るという意味で、最小かつ普遍的であることが示された。