[论文解读] Model structure on differential graded commutative algebras over the ring of differential operators

Gennaro Di Brino, Damjan Pištalo+1 more|arXiv (Cornell University)|May 28, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用 3

一句话总结

本文在光滑仿射代数簇上微分算子环上的非负分次微分分次交换代数范畴上建立了富克斯生成的模型结构。利用 Quillen 的转移定理，它将微分算子环上的微分分次模的投影模型结构提升至该范畴，从而为 Batalin-Vilkovisky 形式体系和非线性偏微分方程解的导出 ${\cal D}$-几何框架提供了支持。

ABSTRACT

We construct a cofibrantly generated model structure on the category of differential non-negatively graded quasi-coherent commutative $D_X$-algebras, where $D_X$ is the sheaf of differential operators of a smooth afine algebraic variety X. The paper contains an extensive appendix on D-modules, sheaves versus global sections, some more technical model categorical issues, as well as on relative Sullivan algebras. This article is the first of a series of works -located at the interface of homotopical algebra, algebraic geometry, and mathematical physics - on a derived D-geometric approach to the BV-formalism.

研究动机与目标

• 开发一个同伦框架，用于通过导出 ${\cal D}$-几何研究非线性偏微分方程的解。
• 为光滑仿射簇 $X$ 上的微分分次交换 ${\cal D}_X$-代数构造一个富克斯生成的模型结构。
• 提供一个基础模型结构，以支持通过 Koszul-Tate 修正实现对壳上函数代数的导出解释。
• 通过纤维对象条件，使导出 ${\cal D}$-栈可被视作函子 $\tt{DGAlg}({\cal D}) \to \tt{SSet}$ 的处理。

提出的方法

• 利用 Quillen 的转移定理，将 $\tt{DGMod}({\cal D}(X))$ 上的富克斯生成投影模型结构提升至 $\tt{DGAlg}({\cal D}(X))$。
• 通过验证生成集和小性条件的必要性，应用转移定理，依赖于模范畴中存在足够多投射对象的事实。
• 使用微分算子环上的相对 Sullivan 代数作为在 ${\cal D}$-代数范畴中构造富克斯态射的关键工具。
• 建立 $\tt{DGMod}({\cal D}_X)$ 与 $\tt{DGMod}({\cal D}_X(X))$ 之间的张量范畴等价，以将层论问题约化为整体截面问题。
• 利用小对象方法和余积的超限复合，确保富克斯替换的存在性。
• 依赖于 [GS06] 和 [Hov07] 中关于 $\tt{DGMod}({\cal D}(X))$ 的基础模型结构结果，并将其适配至非交换环 ${\cal D}(X)$。

实验结果

研究问题

• RQ1 如何在光滑仿射簇上微分算子环上的微分分次交换代数上构造一个模型结构？
• RQ2 通过 Quillen 的转移定理将模型结构从 $\tt{DGMod}({\cal D}(X))$ 转移到 $\tt{DGAlg}({\cal D}(X))$ 需要满足哪些条件？
• RQ3 相对于 ${\cal D}(X)$ 的 Sullivan 代数如何促进 ${\cal D}$-代数范畴中富克斯替换的构造？
• RQ4 仿射限制在多大程度上保持了导出 ${\cal D}$-几何所必需的本质同伦结构？
• RQ5 该模型结构如何支持 Batalin-Vilkovisky 形式体系和壳上函数代数的导出解释？

主要发现

• 成功在光滑仿射簇 $X$ 上的非负分次微分分次交换 ${\cal D}_X$-代数范畴上构造了富克斯生成的模型结构。
• 该模型结构通过 Quillen 的转移定理从 $\tt{DGMod}({\cal D}(X))$ 上的投影模型结构转移而来，依赖于投射对象的存在性。
• 定义并使用了 ${\cal D}(X)$ 上的相对 Sullivan 代数作为在 $\tt{DGAlg}({\cal D}(X))$ 中生成富克斯态射的关键技术工具。
• 尽管 ${\cal D}(X)$ 具有非交换性，该构造依然成立，但需对非交换情形下特有的局部细微结构进行仔细分析，这些在交换情形中并不存在。
• 该模型结构为将导出 ${\cal D}$-栈定义为函子 $\tt{DGAlg}({\cal D}) \to \tt{SSet}$ 提供了同伦基础，其中纤维性对应于层条件。
• 壳上函数代数的 Koszul-Tate 修正对应于该模型范畴中的富克斯替换，从而将物理构造与同伦代数联系起来。