Related papers: On Koszul-Tate resolutions and Sullivan models
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 meets in the functor of points approach…
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 the horizontal cohomology is analyzed.…
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…
This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…
We present a unifying framework for the key concepts and results of higher Koszul duality theory for N-homogeneous algebras: the Koszul complex, the candidate for the space of syzygies, and the higher operations on the Yoneda algebra. We…
Given a commutative algebra $\mathcal O$, a proper ideal $\mathcal I$, and a resolution of $\mathcal O/ \mathcal I$ by projective $\mathcal O $-modules, we construct an explicit Koszul-Tate resolution. We call it the arborescent Koszul-Tate…
We apply the theory of operadic Koszul duality to provide a cofibrant resolution of the colored operad whose algebras are prefactorization algebras on a fixed space M. his allows us to describe a notion of prefactorization algebra up to…
We study the differential graded Lie algebra of endomorphisms of the Koszul resolution of a regular sequence on a unitary commutative $K$-algebra $R$ and we prove that it is homotopy abelian over $K$, while it is generally not formal over…
We prove that the algebra of closed differential forms in an (algebraic, formal, or analytic) disk with logarithmic singularities along several coordinate hyperplanes is (both nontopologically and topologically) Koszul. The connection with…
This paper introduces the category of marked curved Lie algebras with curved morphisms, equipping it with a closed model category structure. This model structure is---when working over an algebraically closed field of characteristic…
Generalizing a concept of Lipshitz, Ozsv\'ath and Thurs-ton from Bordered Floer homology, we define $D$-structures on algebras of unital operads, which can also be interpreted as a generalization of a seemingly unrelated concept of Getzler…
We develop and exposit some general algebra useful for working with certain algebraic structures that arise in stable homotopy theory, such as those encoding well-behaved theories of power operations for $\mathbb{E}_\infty$ ring spectra. In…
This is a survey on recent progress in algebraic deformation theory and the application of algebraic operads to its study. We review the classical homotopical tools in the theory of algebraic operads, namely Koszul duality. We give concrete…
We introduce regular sequences and associated Koszul resolutions for monoids in the category of functors over an essentially small linear symmetric monoidal category. Next we define polynomials over such monoids. We compute the Hochschild…
We study the Andr\'e-Quillen cohomology with coefficients of an algebra over an operad. Using resolutions of algebras coming from Koszul duality theory, we make this cohomology theory explicit and we give a Lie theoretic interpretation. For…
Koszul algebras have arisen in many contexts; algebraic geometry, combinatorics, Lie algebras, non-commutative geometry and topology. The aim of this paper and several sequel papers is to show that for any finite dimensional algebra there…
This paper provides an explicit cofibrant resolution of the operad encoding Batalin-Vilkovisky algebras. Thus it defines the notion of homotopy Batalin-Vilkovisky algebras with the required homotopy properties. To define this resolution we…
We define a basic class of algebras which we call homotopy path algebras. We find that such algebras always admit a cellular resolution and detail the intimate relationship between these algebras, stratifications of topological spaces, and…
For a Koszul operad $\mathcal{P}$, there are several existing approaches to the notion of a homotopy between homotopy morphisms of homotopy $\mathcal{P}$-algebras. Some of those approaches are known to give rise to the same notions. We…
We define a local homomorphism $(Q,k)\to (R,\ell)$ to be Koszul if its derived fiber $R \otimes^{\mathsf{L}}_Q k$ is formal, and if $\operatorname{Tor}^Q(R,k)$ is Koszul in the classical sense. This recovers the classical definition when…