Koszul-Tate resolutions as cofibrant replacements of algebras over differential operators (Q1630580): Difference between revisions

When we construct a derived algebraic variant of the jet bundle approach to the Lagrangian Batalin-Vilkovisky formalism not in the realm of function algebras but oppositely on the space setting, we first consider the quotient of the infinite jet space by the global gauge symmetries, which is a \(1\)-geometric derived \(X\)-\(\mathcal{D}_{X}\)-stack with \(X\) being an underlying smooth affine algebraic variety \((X,\mathcal{O})\). In the functor of points approach to spaces, the \(X\)-\(\mathcal{D}_{X}\)-stacks are the presheaves \(\mathsf{DGAlg}(\mathcal{D}) \rightarrow \mathsf{SSet}\) (\(\mathsf{DGAlg}(\mathcal{D})\) being the category of differential non-negatively graded \(\mathcal{O}\)-quasi-coherent sheaves of commutative algebras over the sheaf \(\mathcal{D}\)\ of differential operators of an appropriate underlying variety \((X,\mathcal{O})\) and \(\mathsf{SSet}\)\ being the category of simplicial sets) abiding by the fibrant object sheaf-condition for the local model structure on the presheaf category \(\mathsf{Fun}(\mathsf{DGAlg}(\mathcal{D}),\mathsf{SSet})\). This paper gives an explicit description of a cofibrantly generated model structure on the category \(\mathsf{DGAlg}(\mathcal{D})\), characterizing the cofibrations as the retracts of the relative Sullivan-algebras and giving an explicit functorial ``cofibration-trivial fibration'' factorization, which enables one to show that the triplet \((\mathsf{DGMod}(\mathcal{D}),\mathsf{DGMod}(\mathcal{D}),\mathsf{DGAlg}(\mathcal{D}))\) is a homotopical algebraic context [\textit{B. Toën} and \textit{G. Vezzosi}, Mem. Am. Math. Soc. 902, 224 p. (2008; Zbl 1145.14003); \textit{G. Di Brino} et al., ``Homotopical algebraic context over differential operators'', Preprint, \url{arXiv:1706.05922}], yielding a functorial model categorical Koszul-Tate resolution for \(\mathcal{D}\)-algebraic on-shell function algebras and leading to our desired homotopical \(\mathcal{D}\)-geometry.