[論文レビュー] Derived Algebraic Geometry VI: E_k Algebras

Jacob Lurie|ArXiv.org|Oct 30, 2009

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

ひとこと要約

この論文は、∞-圏と∞-オペラッドを用いて、E_k-代数の理論を展開することで、導来代数幾何学における基礎的結果を確立する。little k-cubes オペラッドを用いたホモトピー的枠組みを導入し、整合性定理を証明し、それらを位相的チャーラルホモロジーおよび因子化可能層に応用し、最終的に多様体上の E_k-代数に対して非アーベル Poincaré双対性定理を確立する。

ABSTRACT

In this paper, we study algebras over the little cubes operads introduced by Boardman and Vogt, using the formalism of higher category theory.

研究の動機と目的

• ∞-圏と∞-オペラッドを用いて、導来代数幾何における E_k-代数のホモトピー的枠組みを構築すること。
• little k-cubes オペラッドの整合性定理を証明し、それが結合的オペラッドとホモトピー的に同値であることを確立すること。
• ∞-圏的メソッドを用いて、多様体上の位相的チャーラルホモロジーおよび因子化可能層を定義し、研究すること。
• 向き付けられた多様体上の E_k-代数に対して、非アーベル Poincaré 双対性定理を確立すること。
• E_k-代数のモジュール圏、余接複体、および随伴表現について、体系的な取り扱いを提供すること。

提案手法

• E_k-代数のモデルとして little k-cubes オペラッド C_k を用い、配置空間の可縮成分を介してそのホモトピー的整合性を示す。
• ∞-オペラッドの理論と圏的同値性を応用し、単体的集合のフィルトレーションにおける制限写像が自明な Kan 細分であることを証明する。
• フィルタリングされた単体的部分集合 (K(n,c)≤σ) における超限帰納法を用い、圏的同値性を内部アテイナ写像に沿った押し出しに還元する。
• Joyal の単体的集合上のモデル構造を用い、C⊗×N(Γ)Λn+1b(σ′) →C⊗×N(Γ)∆n+1b(σ) の形の包含写像が圏的同値であることを示す。
• ∆n⋆⟨k⟩◦ および ∂∆n⋆⟨k⟩◦ 上の関手を含むプルバック図を構成し、問題を既知の自明な Kan 細分に還元する。
• Seifert–van Kampen 定理とエグジットパス圏を用い、ホモトピー型と構造的層および Verdier 双対性を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、∞-圏を用いて導来代数幾何の文脈における E_k-代数を厳密に定義し、研究できるか？
• RQ2 little k-cubes オペラッドと結合的オペラッドの間の正確なホモトピー的関係は何か？
• RQ3 多様体上の E_k-代数における位相的チャーラルホモロジーの振る舞いはどのようにか？ どのような双対性定理が適用可能か？
• RQ4 E_k-代数の余接複体および随伴表現の構造はどのようなものか？
• RQ5 E_k-代数的構造を用いて、多様体上の因子化可能層に対して非アーベル Poincaré 双対性を確立できるか？

主な発見

• 位相的オペラッド C1 は結合的オペラッドに弱同値であり、E_1-代数がホモトピー的整合な結合的代数を記述することを示す。
• 包含写像 C⊗×N(Γ)K(n,c−1) →C⊗×N(Γ)K(n,c)A は圏的同値であり、これにより制限写像 X(n,c)A →X(n,c−1) が自明な Kan 細分であることが導かれる。
• 各 σ ∈An,c に対して、包含写像 C⊗×N(Γ)K(n,c)<σ →C⊗×N(Γ)K(n,c)≤σ は圏的同値であり、内部ホーン包含写像に沿った押し出しを介して証明される。
• 写像 X(n,c)B →X(n,c)A は、B-単体における類似の圏的同値性の議論により、自明な Kan 細分であることが示される。
• 写像 ψ: X(n,c)≤σ →X(n,c)<σ は、自明な Kan 細分とのプルバックに含まれるため、ψ が自明な Kan 細分であることが証明される。
• 非アーベル Poincaré 双対性定理は、ラン空間上の因子化コシェーブ構造を用い、位相的チャーラルホモロジーと Verdier 双対性を介して確立される。