[論文レビュー] Derived Algebraic Geometry V: Structured Spaces

Jacob Lurie|ArXiv.org|May 4, 2009

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

ひとこと要約

本稿は、$∞$-トポスとプレジオメトリを用いた構造的枠組みを提案し、導来代数幾何学のためのものであり、古典的スキーム理論を一般化して非横断的交差を導来テンソル積と$Τ$-構造を用いて扱う。導来関手による交差重複度の符号化を通じて、代数的、複素解析的、微分的設定が共通の形式的枠組みで統一され、導来幾何学においてベズォウの定理が普遍的に成り立つことが示された。

ABSTRACT

In this paper, we describe a general theory of "spaces with structure sheaves." Specializations of this theory include the classical theory of schemes, the theory of Deligne-Mumford stacks, and their derived generalizations.

研究の動機と目的

• 構造的$∞$-トポスと$Τ$-構造の$∞$-圏を導入することで、古典的スキーム理論を導来幾何学へ一般化すること。
• 非横断的交差におけるベズォウの定理の不成立を、導来テンソル積と$Τ$-構造による交差重複度の符号化によって解決すること。
• 代数的、複素解析的、微分幾何学を、$τ_{\text{Zar}}(\mathbf{C})$、$τ_{\text{ét}}(\mathbf{C})$、$τ_{\text{Diff}}$などのプレジオメトリを用いて、同一の導来枠組みで統一すること。
• $\mathbf{C}$上の導来デリーニュ＝ムーディー スタックから導来複素解析的空間への解析的埋め込み関手を構成し、幾何的構造を保存すること。

提案手法

• プレジオメトリ$\mathcal{T}$を用いて、$\infty$-トポス上の$\mathcal{T}$-構造を定義し、古典的代数幾何学における構造層の概念を一般化する。
• $\mathcal{T}$-代数から導来スキームを構成する相対スペクトル関手$\operatorname{Spec}^\mathcal{T}$を導入し、古典的$\operatorname{Spec}$構成を拡張する。
• 全導来関手$\otimes^L$を適用して、高次の$\operatorname{Tor}$-項を符号化する一般化された環を定義し、スキーム論的レベルを超えた交差重複度を捉える。
• 構造的空間の圏におけるファクタリゼーション系を確立し、導来設定における幾何的同相と降下を形式化する。
• プレジオメトリ$\mathcal{T}_{\text{Stein}}$を用いて、$\mathbf{C}$上の中の導来$\mathcal{G}$-スキームから導来複素解析的空間への解析的埋め込み関手を構成する。
• 滑らかな多様体とオーロラが、スペクトル構成$\operatorname{Spec}^{\mathcal{T}_{\text{Diff}}}(M)$を介して、$\mathcal{T}_{\text{Diff}}$-スキームの$\infty$-圏に完全忠実に埋め込まれることを示す。

実験結果

リサーチクエスチョン

• RQ1 導来代数幾何学を用いて、非横断的交差における古典的交差理論をどのように拡張できるか？
• RQ2 交差重複度における高次の$\operatorname{Tor}$-項を捉えるために、正しい構造層の一般化は何か？
• RQ3 単一の形式的枠組みが、導来設定における代数的、複素解析的、微分幾何学を統一できるか？
• RQ4 導来解析的埋め込み関手は、古典的複素解析幾何学とどのように関係するのか？また、なぜ$\infty$-圏的設定では完全忠実でないのか？
• RQ5 プレジオメトリは、構造的$\infty$-トポスの分類と導来スキームの構成において、果たす役割は何か？

主な発見

• 導来テンソル積$\mathcal{O}_C \otimes^{L} \mathcal{O}_{C'}$を用いて定義される導来交差$C \cap C'$は、$\operatorname{Tor}$-群のオイラー特徴を介して、交差重複度を正しく符号化しており、横断性の仮定なしにベズォウの定理が成立することを裏付ける。
• 右辺を導来交差によって解釈すれば、非横断的または非還元的交差に対しても、$[C] \cup [C'] = [C \cap C']$の公式が導来幾何学において普遍的に成り立つ。
• $\mathbf{C}$上の中の導来デリーニュ＝ムーディー スタックから導来複素解析的空間への解析的埋め込み関手は、適切に定義されており、幾何的構造を保存するが、$\infty$-圏的バージョンでは、導来解析的層のより豊かな構造のため、完全忠実ではない。
• 滑らかな多様体とオーロラは、スペクトル構成$\operatorname{Spec}^{\mathcal{T}_{\text{Diff}}}(M)$を介して、$\mathcal{T}_{\text{Diff}}$-スキームの$\infty$-圏に完全忠実に埋め込まれる。
• 導来複素解析的空間の構造層は、単なるシムプレクティック$\mathbf{C}$-代数の層以上の情報を持つ。それは任意の複素解析関数との合成を許容するが、これは代数的状況には存在しない特徴である。
• 導来複素解析的空間の圏は、局所環付き空間の$0$-局所的部分圏と同値ではない。これは、導来幾何学と古典的解析幾何学との間の根本的な相違を示している。