On Koszul-Tate resolutions and Sullivan models

@article{Pitalo2017OnKR,
  title={On Koszul-Tate resolutions and Sullivan models},
  author={Damjan Pi{\vs}talo and Norbert Poncin},
  journal={arXiv: Mathematical Physics},
  year={2017}
}
We report on Koszul-Tate resolutions in Algebra, in Mathematical Physics, in Cohomological Analysis of PDE-s, and in Homotopy Theory. Further, we define an abstract Koszul-Tate resolution in the frame of $\mathcal{D}$-Geometry, i.e., geometry over differential operators. We prove Comparison Theorems for these resolutions, thus providing a dictionary between the different fields. Eventually, we show that all these resolutions are of the new $\mathcal{D}$-geometric type. 

Figures from this paper

A new approach to model categorical homotopy fiber sequences

We propose a simplified definition of Quillen’s fibration sequences in a pointed model category that fully captures the theory, although it is completely independent of the concept of action. This

Koszul–Tate resolutions as cofibrant replacements of algebras over differential operators

Homotopical geometry over differential operators is a convenient setting for a coordinate-free investigation of nonlinear partial differential equations modulo symmetries. One of the first issues one

Comparison theorems for Kan, faintly universal and strongly universal derived functors

We distinguish between faint, weak, strong and strict localizations of categories at morphism families and show that this framework captures the different types of derived functors that are

Indeterminacies and models of homotopy limits

In [12] we studied the indeterminacy of the value of a derived functor at an object using different definitions of a derived functor and different types of fibrant replacement. In the present work we

References

SHOWING 1-10 OF 41 REFERENCES

Remarks on Two Approaches to the Horizontal Cohomology: Compatibility Complex and the Koszul–Tate Resolution

The Koszul–Tate resolution is described in the context of the geometry of jet spaces and differential equations. The application due to Barnich, Brandt, and Henneaux of this resolution to computing

Model structure on differential graded commutative algebras over the ring of differential operators

We construct a cofibrantly generated model structure on the category of differential non-negatively graded quasi-coherent commutative DX-algebras, where DX is the sheaf of differential operators of a

Model categorical Koszul-Tate resolution for algebras over differential operators

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

Homotopical algebraic context over differential operators

Building on our previous work, we show that the category of non-negatively graded chain complexes of $$\mathcal {D}_X$$DX-modules – where X is a smooth affine algebraic variety over an algebraically

Homotopical Algebraic Geometry II: Geometric Stacks and Applications

This is the second part of a series of papers devoted to develop Homotopical Algebraic Geometry. We start by defining and studying generalizations of standard notions of linear and commutative

The flat model structure on complexes of sheaves

Let Ch(O) be the category of chain complexes of 0-modules on a topological space T (where O is a sheaf of rings on T). We put a Quillen model structure on this category in which the cofibrant objects

The Supergeometry of Loday Algebroids

A new concept of Loday algebroid (and its pure algebraic version - Loday pseudoalgebra) is proposed and discussed in comparison with other similar structures present in the literature. The structure

Homological Methods in Equations of Mathematical Physics

These lecture notes are a systematic and self-contained exposition of the cohomological theories naturally related to partial differential equations: the Vinogradov C-spectral sequence and the

Koszul–Tate resolutions as cofibrant replacements of algebras over differential operators

Homotopical geometry over differential operators is a convenient setting for a coordinate-free investigation of nonlinear partial differential equations modulo symmetries. One of the first issues one

Local BRST cohomology in gauge theories