Related papers: Distributive Laws and the Koszulness
The Andr\'e-Quillen cohomology of an algebra with coefficients in a module is defined by deriving a functor based on K\"ahler differential forms. It can be computed using a cofibrant resolution of the algebra in a model category structure…
The main goal of this paper is to present a way to compute Quillen homology of operads. The key idea is to use the notion of a shuffle operad we introduced earlier; this allows to compute, for a symmetric operad, the homology classes and…
We present results, both old and new, concerning Koszul and G-quadratic properties of algebras associated with points, curves, cubics and spaces of quadrics of low codimension.
We show that the Koszul homology algebra of the second Veronese subalgebra of a polynomial ring over a field of characteristic zero is generated, as an algebra, by the homology classes corresponding to the syzygies of the lowest linear…
In this paper, we introduce a notion of twisted restricted conformal blocks on totally ramified orbicurves and establish an isomorphism between the space of twisted restricted conformal blocks and the space of twisted conformal blocks. The…
Let $A = \bigoplus_{i \geqslant 0} A_i$ be a graded locally finite $k$-algebra such that $A_0$ is an arbitrary finite-dimensional algebra satisfying some splitting condition. In this paper we develop a generalized Koszul theory generalizing…
We complete the details of a theory outlined by Kontsevich and Soibelman that associates to a semi-algebraic set a certain graded commutative differential algebra of "semi-algebraic differential forms" in a functorial way. This algebra…
An algebra with identities $a\circ(b\circ c-c\circ b)=(a\circ b)\circ c-(a\circ c)\circ b$ and $a\circ(b\circ c)=b\circ(a\circ c)$ is called Novikov. We show that Novikov operad is not Koszul.
We introduce the notion of a dioperad to describe certain operations with multiple inputs and multiple outputs. The framework of Koszul duality for operads is generalized to dioperads. We show that the Lie bialgebra dioperad is Koszul.
For a directed polytope, we construct a colored operad whose Poincare-Hilbert series encodes certain operations on the cellular complex of the polytope. We conjecture that for a class of short polytopes the constructed operads are Koszul…
The Euler-Koszul complex is the fundamental tool in the homological study of A-hypergeometric differential systems and functions. We compare Euler-Koszul homology with D-module direct images from the torus to the base space through orbits…
We show that the Koszul dual of an E_n-operad in spectra is O(n)-equivariantly equivalent to its n-fold desuspension. To this purpose we introduce a new O(n)-operad of Euclidean spaces R_n, the barycentric operad, that is fibred over…
We show that the integral cohomology rings of the moduli spaces of stable rational marked curves are Koszul. This answers an open question of Manin. Using the machinery of Koszul spaces developed by Berglund, we compute the rational…
We study differential graded operads and $p$-adic stable homotopy theory. We first construct a new class of differential graded operads, which we call the stable operads. These operads are, in a particular sense, stabilizations of…
We consider nonsymmetric operads with two binary operations satisfying relations in arity 3; hence these operads are quadratic, and so we can investigate Koszul duality. We first consider operations which are nonassociative (not necessarily…
We give a self-contained and purely combinatorial proof of the well known fact that the cohomology of the braces operad is the operad $\mathsf{Ger}$ governing Gerstenhaber algebras.
We determine the rational homology of the space of long knots in R^d for $d\geq4$. Our main result is that the Vassiliev spectral sequence computing this rational homology collapses at the E^1 page. As a corollary we get that the homology…
This paper emphasizes the ubiquitous role of moduli spaces of algebraic curves in associative algebra and algebraic topology. The main results are: (1) the space of an operad with multiplication is a homotopy Gerstenhaber (i.e., homotopy…
In this article we introduce the notion of multi-Koszul algebra for the case of a locally finite dimensional nonnegatively graded connected algebra, as a generalization of the notion of (generalized) Koszul algebras defined by R. Berger for…
This is the second paper of a series of three. We construct effective open-closed superstring couplings by classically integrating out massive fields from open superstring field theories coupled to an elementary gauge invariant tadpole…