[論文レビュー] Derived complex analytic geometry II: square-zero extensions

Mauro Porta|arXiv (Cornell University)|Jul 23, 2015

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

ひとこと要約

本稿は、導来$$\mathbb{C}$$-解析的空間$$X$$上の解析的代数の安定化として、導来複素解析的幾何における解析的加群の理論を展開する。解析的平方ゼロ拡張の概念を導入し、基本的な構造定理を証明することで、このような拡張がシフトされた加群への導来に由来することを確立し、古典的変形理論を導来解析的設定に一般化する。

ABSTRACT

We continue the explorations of derived \canal geometry started in [DAG-IX] and in http://arxiv.org/abs/1506.09042. We describe the category of $\mathcal O_X$-modules over a derived complex analytic space $X$ as the stabilization of a suitable category of analytic algebras over $\mathcal O_X$. Finally, we apply this description to introduce the notion of analytic square-zero extension and prove a fundamental structure theorem for them.

研究の動機と目的

• 導来$$\mathbb{C}$$-解析的空間$$X$$上の$$\mathcal{O}_{X}$$-加群を、$$\mathcal{O}_{X}$$上の解析的代数の安定化として新たな特徴づけを提供し、変形論にホモトピー的アプローチを可能にする。
• 導来$$\mathbb{C}$$-解析的幾何の文脈において、解析的平方ゼロ拡張を定義し、それらを研究する。これは代数幾何における古典的平方ゼロ拡張を一般化するものである。
• 解析的平方ゼロ拡張に関する基本構造定理を証明し、それらがシフトされた$$\mathcal{O}_{X}$$-加群への導来によって分類されることを示す。
• 導来複素解析的幾何における無限小変形論の基礎的な枠組みを構築し、今後の作業で解析的余接複体を研究するための準備を行う。

提案手法

• Lurieが開発した導来代数的幾何の枠組みを用い、特に$$\infty$$-圏および解析的環上のモデル構造に焦点を当てる。
• $$\mathcal{O}_{X}$$上の解析的代数の圏の安定化を用いて、$$\mathcal{O}_{X}$$-加群の圏を構成する。
• 理想層が2次の冪零性を持ち、単一のホモトピー的次数に集中するという条件を課すことにより、解析的設定における平方ゼロ拡張の概念を導入する。
• $$\infty$$-圏における左随伴可能正方形の性質とBeck-Chevalley条件を用いて、安定化構成における局所コCartesianリフトの存在を検証する。
• 単体的$$\mathcal{O}_{X}$$-代数のPostnikov塔分解を用いて、切断の段階とそれらの平方ゼロ構造を分析する。
• 左随伴可能正方形の理論と相対的平坦性の結果に依拠することで、安定化プロセスが望ましいファイブレーションおよびコCartesian構造を保つことを保証する。

実験結果

リサーチクエスチョン

• RQ1 導来$$\mathbb{C}$$-解析的空間$$X$$上の$$\mathcal{O}_{X}$$-加群の圏は、$$\mathcal{O}_{X}$$上の解析的代数の安定化としてどのように記述できるか？
• RQ2 導来複素解析的幾何の文脈において、平方ゼロ拡張の正しい一般化とは何か？
• RQ3 解析的平方ゼロ拡張は導来およびシフトされた$$\mathcal{O}_{X}$$-加群とどのように関係するか？
• RQ4 解析的平方ゼロ拡張が満たす構造的性質は何か？また、普遍性によって分類可能か？
• RQ5 安定化プロセスは、解析的スタックの$$\infty$$-カテゴリー的構造およびその切断とどのように相互作用するか？

主な発見

• 導来$$\mathbb{C}$$-解析的空間$$X$$上の$$\mathcal{O}_{X}$$-加群の圏は、$$\mathcal{O}_{X}$$上の解析的代数の圏の安定化と同値であり、ホモトピー的モデルとしての加群のモデルを提供する。
• 解析的平方ゼロ拡張は、シフトされた$$\mathcal{O}_{X}$$-加群への導来によって分類され、代数幾何における古典的平方ゼロ拡張構造を一般化する。
• 解析的平方ゼロ拡張に関する構造定理により、任意のこのような拡張が、自明な導来と分解可能な平方ゼロ拡張を含む引き戻しとして得られることを示し、代数的ケースと類似する。
• 安定化プロセスは、必要なファイブレーションおよびコCartesian構造を保ち、結果として得られる加群の圏が基底変換および切断に関して良好に振る舞うことを保証する。
• $$\mathcal{O}_{X}$$-代数のPostnikov塔分解と整合するため、安定化による解析的加群圏の構成は、高次のホモトピー的段階の帰納的解析を可能にする。
• 左随伴可能正方形の安定化に関してBeck-Chevalley条件が検証され、結果として得られるファイブレーション構造が引き戻しおよび随伴に関して良好に振る舞うことが保証される。