Results 1  10
of
80
Homology of generalized partition posets
 JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME 208, ISSUE
, 2007
"... We define a family of posets of partitions associated to an operad. We prove that the operad is Koszul if and only if the posets are CohenMacaulay. On the one hand, this characterization allows us to compute completely the homology of the posets. The homology groups are isomorphic to the Koszul du ..."
Abstract

Cited by 42 (4 self)
 Add to MetaCart
(Show Context)
We define a family of posets of partitions associated to an operad. We prove that the operad is Koszul if and only if the posets are CohenMacaulay. On the one hand, this characterization allows us to compute completely the homology of the posets. The homology groups are isomorphic to the Koszul dual cooperad. On the other hand, we get new methods for proving that an operad is Koszul.
RotaBaxter algebras, dendriform algebras and PoincaréBirkhoffWitt theorem
, 2004
"... Abstract. RotaBaxter algebras appeared in both the physics and mathematics literature. It is of great interest to have a simple construction of the free object of this algebraic structure. For example, free commutative RotaBaxter algebras relate to double shuffle relations for multiple zeta values ..."
Abstract

Cited by 35 (19 self)
 Add to MetaCart
Abstract. RotaBaxter algebras appeared in both the physics and mathematics literature. It is of great interest to have a simple construction of the free object of this algebraic structure. For example, free commutative RotaBaxter algebras relate to double shuffle relations for multiple zeta values. The interest in the noncommutative setting arised in connection with the work of Connes and Kreimer on the Birkhoff decomposition in renormalization theory in perturbative quantum field theory. We construct free noncommutative RotaBaxter algebras and apply the construction to obtain universal enveloping RotaBaxter algebras of dendriform dialgebras and trialgebras. We also prove an analog of the PoincaréBirkhoffWitt theorem for universal enveloping algebra in the context of dendriform trialgebras. In particular, every dendriform dialgebra and trialgebra is a subalgebra of a RotaBaxter algebra. We explicitly show that the free dendriform dialgebras and trialgebras, as represented by
Homotopy Batalin–Vilkovisky algebras
"... This paper provides an explicit cofibrant resolution of the operad encoding BatalinVilkovisky algebras. Thus it defines the notion of homotopy BatalinVilkovisky algebras with the required homotopy properties. To define this resolution we extend the theory of Koszul duality to operads and properads ..."
Abstract

Cited by 34 (4 self)
 Add to MetaCart
(Show Context)
This paper provides an explicit cofibrant resolution of the operad encoding BatalinVilkovisky algebras. Thus it defines the notion of homotopy BatalinVilkovisky algebras with the required homotopy properties. To define this resolution we extend the theory of Koszul duality to operads and properads that are defined by quadratic and linear relations. The operad encoding Batalin– Vilkovisky algebras is shown to be Koszul in this sense. This allows us to prove a PoincaréBirkhoffWitt Theorem for such an operad and to give an explicit small quasifree resolution for it. This particular resolution enables us to describe the deformation theory and homotopy theory of BValgebras and of homotopy BValgebras. We show that any topological conformal field theory carries a homotopy BValgebra structure which lifts the BValgebra structure on homology. The same result is proved for the singular chain complex of the double loop space of a topological space endowed with an action of the circle. We also prove the cyclic Deligne conjecture with this cofibrant resolution of the operad BV. We develop the general obstruction theory for algebras over the Koszul resolution of a properad and apply it to extend a conjecture of Lian–Zuckerman, showing that certain vertex algebras have an explicit homotopy BValgebra structure.
A Koszul duality for props
 Trans. of Amer. Math. Soc
"... Abstract. The notion of prop models the operations with multiple inputs and multiple outputs, acting on some algebraic structures like the bialgebras or the Lie bialgebras. In this paper, we generalize the Koszul duality theory of associative algebras and operads to props. ..."
Abstract

Cited by 34 (4 self)
 Add to MetaCart
(Show Context)
Abstract. The notion of prop models the operations with multiple inputs and multiple outputs, acting on some algebraic structures like the bialgebras or the Lie bialgebras. In this paper, we generalize the Koszul duality theory of associative algebras and operads to props.
The BoardmanVogt resolution of operads in monoidal model categories, in preparation
"... Abstract. We extend the Wconstruction of Boardman and Vogt to operads of an arbitrary monoidal model category with suitable interval, and show that it provides a cofibrant resolution for wellpointed Σcofibrant operads. The standard simplicial resolution of Godement as well as the cobarbar chain ..."
Abstract

Cited by 32 (10 self)
 Add to MetaCart
Abstract. We extend the Wconstruction of Boardman and Vogt to operads of an arbitrary monoidal model category with suitable interval, and show that it provides a cofibrant resolution for wellpointed Σcofibrant operads. The standard simplicial resolution of Godement as well as the cobarbar chain resolution are shown to be particular instances of this generalised Wconstruction.
Deformation theory of representations of prop(erad)s I
"... In this paper and its followup [MV08], we study the deformation theory of morphisms of properads and props thereby extending Quillen’s deformation theory for commutative rings to a nonlinear framework. The associated chain complex is endowed with an L∞algebra structure. Its MaurerCartan element ..."
Abstract

Cited by 30 (7 self)
 Add to MetaCart
In this paper and its followup [MV08], we study the deformation theory of morphisms of properads and props thereby extending Quillen’s deformation theory for commutative rings to a nonlinear framework. The associated chain complex is endowed with an L∞algebra structure. Its MaurerCartan elements correspond to deformed structures, which allows us to give a geometric interpretation of these results.
The homotopy Gerstenhaber algebra of Hochschild cochains of a regular algebra is formal
 Jour. Noncommutative Geom
, 2007
"... The solution of Deligne’s conjecture on Hochschild cochains and the formality of the operad of little disks provide us with a natural homotopy Gerstenhaber algebra structure on the Hochschild cochains of an associative algebra. In this paper we construct a natural chain of quasiisomorphisms of homo ..."
Abstract

Cited by 28 (11 self)
 Add to MetaCart
(Show Context)
The solution of Deligne’s conjecture on Hochschild cochains and the formality of the operad of little disks provide us with a natural homotopy Gerstenhaber algebra structure on the Hochschild cochains of an associative algebra. In this paper we construct a natural chain of quasiisomorphisms of homotopy Gerstenhaber algebras between the Hochschild cochain complex C • (A) of a regular commutative algebra A over a field K of characteristic zero and the Gerstenhaber algebra of multiderivations of A. Unlike the original approach of the second author based on the computation of obstructions our method allows us to avoid the bulky GelfandFuchs trick and prove the formality of the homotopy Gerstenhaber algebra structure on the sheaf of polydifferential operators on a smooth algebraic variety, a complex manifold, and a smooth real manifold.
OPERADS AND PROPS
, 2006
"... We review definitions and basic properties of operads, PROPs and algebras over these structures. ..."
Abstract

Cited by 19 (5 self)
 Add to MetaCart
(Show Context)
We review definitions and basic properties of operads, PROPs and algebras over these structures.
MANIN PRODUCTS, KOSZUL DUALITY, LODAY ALGEBRAS AND DELIGNE CONJECTURE
"... In this article we give a conceptual definition of Manin products in any category endowed with two coherent monoidal products. This construction can be applied to associative algebras, nonsymmetric operads, operads, colored operads, and properads presented by generators and relations. These two p ..."
Abstract

Cited by 17 (0 self)
 Add to MetaCart
In this article we give a conceptual definition of Manin products in any category endowed with two coherent monoidal products. This construction can be applied to associative algebras, nonsymmetric operads, operads, colored operads, and properads presented by generators and relations. These two products, called black and white, are dual to each other under Koszul duality functor. We study their properties and compute several examples of black and white products for operads. These products allow us to define natural operations on the chain complex defining cohomology theories. With these operations, we are able to prove that Deligne’s conjecture holds for a general class of operads and is not specific to the case of associative algebras. Finally, we prove generalized versions of a few conjectures raised by M. Aguiar and J.L. Loday related to the Koszul property of operads defined by black products. These operads provide infinitely many examples for this generalized Deligne’s conjecture.