[論文レビュー] Derived Algebraic Geometry IV: Deformation Theory

Jacob Lurie|ArXiv.org|Sep 19, 2007

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

ひとこと要約

この論文は、導来代数幾何学を用いて、$E_\infty$-環の文脈における接余接複体および変形論の理論を展開する。エタール準同型は相対接余接複体の消滅によって特徴づけられ、そのような準同型はその切断によって検出可能であることが示され、強固な変形論的分類が可能となる。

ABSTRACT

In this paper, we prove some foundational results on the deformation theory of E-infinity ring spectra.

研究の動機と目的

• 導来代数幾何学における$E_\infty$-環への古典的ケーラー微分および接余接複体の理論を一般化すること。
• $E_\infty$-環の変形論的枠組みを、接余接複体を中心的な不変量として開発すること。
• $E_\infty$-環のエタール準同型を相対接余接複体の消滅によって特徴づけること。
• 切断と写像空間の同値性を用いて、$E_\infty$-代数準同型のホモトピー的分類を確立すること。
• $E_\infty$-環の$\infty$-圏における変形問題が接余接複体によって支配されることを証明すること。

提案手法

• ∞-圏の接ベクトル束の構成を用いて、絶対接余接複体$L_A$を普遍的導来対象として定義する。
• 安定なエンveロープと相対随伴の形式的理論を適用し、一般の∞-圏における接余接複体を定義する。
• $E_\infty$-環の準同型$f: A \to B$に対して相対接余接複体$L_{B/A}$を構成し、$C$上のモジュールの安定圏における区別された三角形を証明する。
• 平方ゼロ拡大とポストニコフ層を用いて変形函手を分析し、写像空間のホモトピー同値を証明する。
• 連結被覆と切断の理論を適用して、問題を連結の場合に還元する。
• 基底変換函手$f_!$を用いて、準同型間で接余接複体を関連付け、基本的区別された三角形を導出する。

実験結果

リサーチクエスチョン

• RQ1 古典的環の接余接複体は、導来代数幾何学における$E_\infty$-環へどのように一般化できるか？
• RQ2 $E_\infty$-環のエタール準同型は接余接複体の観点からどのように特徴づけられるか？
• RQ3 $E_\infty$-環の準同型が、その切断への写像空間にホモトピー同値を誘導する条件は何か？
• RQ4 接余接複体は$E_\infty$-環の$\infty$-圏における変形問題をどのように支配するか？
• RQ5 区別された三角形$L_{B/A}$, $L_{C/A}$, $L_{C/B}$ は変形論において果たす役割は何か？

主な発見

• $B/A$の相対接余接複体$L_{B/A}$が消えることと、$A \to B$が連結$E_\infty$-環の準同型で$π_0$に同型を誘導し、同値であることは同値である。
• $E_\infty$-環のエタール準同型は、相対接余接複体の消滅によって特徴づけられ、古典的基準の一般化である。
• 切断写像$C \to π_0 C$は良い準同型であり、写像空間$\operatorname{Map}_{({\mathfrak{E}}_{\infty})_{A/}}(B,C) \to \operatorname{Map}_{({\mathfrak{E}}_{\infty})_{\pi_0A/}}(B^\prime,\pi_0C)$にホモトピー同値を誘導する。
• 接余接複体は変形問題を支配する：$A$-代数への$E_\infty$-代数の準同型のホモトピー纤维は、$\operatorname{Map}_{\operatorname{Mod}_B}(L_{B/A}, M)$によって制御される。
• ホモトピー圏における区別された三角形$f_!L_{B/A} \to L_{C/A} \to L_{C/B} \to f_!L_{B/A}[1]$が、$C$上のモジュールの安定圏のホモトピー圏で成り立ち、基本的構造的道具を提供する。
• 連結$E_\infty$-環のポストニコフ層は、平方ゼロ拡大から成り、その極限は元の環と同値であり、帰納的議論が可能となる。