[论文解读] Derived Algebraic Geometry VI: E_k Algebras

Jacob Lurie|ArXiv.org|Oct 30, 2009

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

一句话总结

本文通过使用∞-范畴与∞-operad，发展了E_k-代数的理论，为导出代数几何奠定了基础。它引入了基于little k-cubes operad的E_k-代数同伦框架，证明了相干性定理，并将其应用于拓扑任意子同调与可分解层，最终建立了关于流形上E_k-代数的非交换庞加莱对偶性定理。

ABSTRACT

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

研究动机与目标

• 通过使用∞-范畴与∞-operad，为导出代数几何中的E_k-代数建立同伦框架。
• 证明little k-cubes operad的相干性定理，并确立其与结合operad的同伦等价性。
• 通过∞-范畴方法，定义并研究流形上的拓扑任意子同调与可分解层。
• 为定向流形上的E_k-代数建立非交换庞加莱对偶性定理。
• 系统地处理E_k-代数的模范畴、余切复形与伴随表示。

提出的方法

• 以little k-cubes operad C_k作为E_k-代数的模型，通过配置空间的可缩分量证明其同伦相干性。
• 应用∞-operad理论与范畴等价性，证明单纯集滤子中限制映射为平凡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 operad与结合operad之间的精确同伦关系是什么？
• RQ3 E_k-代数在流形上的拓扑任意子同调行为如何？适用哪些对偶性定理？
• RQ4 E_k-代数的余切复形与伴随表示的结构是怎样的？
• RQ5 能否通过E_k-代数结构，在流形上的可分解层中建立非交换庞加莱对偶性？

主要发现

• 拓扑operad C1与结合operad弱同伦等价，表明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是平凡Kan纤维丛，通过B-单体上的类似范畴等价性论证建立。
• 映射ψ: X(n,c)≤σ →X(n,c)<σ 与平凡Kan纤维丛构成拉回图，证明ψ也是平凡Kan纤维丛。
• 通过Ran空间上的可分解余层结构，利用拓扑任意子同调与Verdier对偶性，建立了非交换庞加莱对偶性定理。