[论文解读] Model categorical Koszul-Tate resolution for algebras over differential operators

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

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

一句话总结

本文通过在微分非负格向量代数范畴中构造显式、函子性的纤维化与余纤维化替换函子，为导出 ${\cal D}$-几何中的 Koszul-Tate 修正建立了模型范畴框架。它将纤维化表征为相对 Sullivan ${\cal D}$-代数的退化，借此构建了无坐标依赖、函子性的模型范畴 Koszul-Tate 修正，适用于物理中的“在壳”函数代数，推广了经典构造，且无需正则性或可约性假设。

ABSTRACT

Derived D-Geometry is considered as a convenient language for a coordinate-free investigation of nonlinear partial differential equations up to symmetries. One of the first issues one meets in the functor of points approach to derived D-Geometry, is the question of a model structure on the category C of differential non-negatively graded quasi-coherent commutative algebras over the sheaf D of differential operators of an appropriate underlying variety. In [BPP15a], we described a cofibrantly generated model structure on C via the definition of its weak equivalences and its fibrations. In the present article - the second of a series of works on the BV-formalism - we characterize the class of cofibrations, give explicit functorial cofibration-fibration factorizations, as well as explicit functorial fibrant and cofibrant replacement functors. We then use the latter to build a model categorical Koszul-Tate resolution for D-algebraic on-shell function algebras.

研究动机与目标

• 通过表征纤维化并构造显式函子性分解，完成微分格 ${\cal D}$-代数范畴 $\tt{DG{\cal D}A}$ 上的模型结构。
• 为导出 ${\cal D}$-几何中的“在壳”函数代数提供函子性、无坐标依赖的 Koszul-Tate 修正。
• 通过消除正则性或“在壳”可约性条件的需求，推广经典 Koszul-Tate 与相容性复形修正。
• 为导出 ${\cal D}$-堆栈建立同伦框架，统一 Vinogradov 的二级微分学、同伦代数几何与 ${\cal D}$-几何的若干方面。

提出的方法

• 将 $\tt{DG{\cal D}A}$ 中的纤维化表征为相对 Sullivan ${\cal D}$-代数的退化，从而提供余纤维对象的显式代数描述。
• 通过在生成元上进行直接归纳构造，构建显式函子性“Cof–TrivFib”与“TrivCof–Fib”分解，避免使用小对象论证。
• 通过由同调类与代数生成元构建的分次 ${\cal D}$-代数 $\mathcal{S}V_B$ 的直接极限构造，定义余纤维化替换函子 $Q$。
• 利用构造的函子性，对任意态射 $v: B \to B'$ 定义态射 $\mathfrak{q}: Q(B) \to B'$，确保与模型结构相容。
• 将余纤维化替换函子应用于“在壳”函数代数 $\mathcal{R}$，得到模型范畴意义上的 Koszul-Tate 修正。
• 通过交换图与对生成元的归纳验证，确认所得修正满足所需的同调与代数条件。

实验结果

研究问题

• RQ1 如何在微分格 ${\cal D}$-代数范畴中显式表征纤维化？
• RQ2 能否在 $\tt{DG{\cal D}A}$ 中构造不依赖小对象论证的函子性余纤维化与纤维化替换函子？
• RQ3 是否可能为“在壳”函数代数构造一个函子性、无坐标依赖的模型范畴 Koszul-Tate 修正？
• RQ4 所提出的修正是否在更弱假设（如正则性或“在壳”可约性）下仍能推广经典构造？
• RQ5 ${\cal D}$ 的非交换性质如何影响导出 ${\cal D}$-几何中模型结构与修正的构造？

主要发现

• 在 $\tt{DG{\cal D}A}$ 中，纤维化恰好是相对 Sullivan ${\cal D}$-代数的退化，提供了余纤维对象的显式代数表征。
• 通过逐生成元的归纳方法，显式构造了函子性“Cof–TrivFib”与“TrivCof–Fib”分解，其方式区别于小对象论证。
• 余纤维化替换函子 $Q$ 显式给出为 $Q(B) = \mathcal{S}V_B$，其中 $\mathcal{S}V_B$ 是由同调类与生成元构建的分次 ${\cal D}$-代数。
• “在壳”函数代数 $\mathcal{R}$ 的模型范畴 Koszul-Tate 修正为 $Q(\mathcal{R})$，且其具有函子性与无坐标依赖性。
• 该构造无需经典假设中的正则性或“在壳”可约性，推广了文献中既有的结果。
• 通过交换图与对生成元的归纳检查，验证了该修正满足所需的同调相容性条件。