Quantization of lie Bialgebras via the Formality of the operad of Little Disks

We give a proof of the Etingof–Kazhdan theorem on quantization of Lie bialgebras based on the formality of the chain operad of little disks and show that the Grothendieck–Teichmüller group acts non-trivially on the corresponding quantization functors. Partially supported by an NSF Grant and A. Sloan Research Fellowship Received: November 2004 Revision: April 2006 Accepted: May 2006     

Loop spaces, and coherence for monoidal and braided monoidal bicategories

We prove a coherence theorem for braided monoidal bicategories and relate it to the coherence theorem for monoidal bicategories. We show how coherence for these structures can be interpreted topologically using up-to-homotopy operad actions and the algebraic classification of surface braids.     

Batalin-Vilkovisky Algebras and Cyclic Cohomology of Hopf Algebras

We show that the Connes–Moscovici negative cyclic cohomology of a Hopf algebra equipped with a character has a Lie bracket of degree -2. More generally, we show that a cyclic operad with multiplication is a cocyclic module whose simplicial cohomology is a Batalin–Vilkovisky algebra and whose negative cyclic cohomology is a graded Lie algebra of degree -2. This generalizes the fact that the Hochschild cohomology algebra of a symmetric algebra is a Batalin–Vilkovisky algebra.     

Dialgebra cohomology as a G-algebra

It is well known that the Hochschild cohomology of an associative algebra admits a G-algebra structure. In this paper we show that the dialgebra cohomology of an associative dialgebra has a similar structure, which is induced from a homotopy G-algebra structure on the dialgebra cochain complex .

     

Homotopy Theories of Algebras over Operads

Homotopy theories of algebras over operads, including operads over “little n-cubes,” are defined. Spectral sequences are constructed and the corresponding homotopy groups are calculated.__________Translated from Matematicheskie Zametki, vol. 78, no. 2, 2005, pp. 278–285.Original Russian Text Copyright © 2005 by V. A. Smirnov.     

Varieties of dialgebras and conformal algebras

We introduce and study the concept of a variety of dialgebras which is closely related to the concept of a variety of conformal algebras: Each dialgebra of a given variety embeds into an appropriate conformal algebra of the same variety. In particular, the Leibniz algebras are exactly Lie dialgebras, and each Leibniz algebra embeds into a conformal Lie algebra.     

Pluriassociative algebras I: The pluriassociative operad

Diassociative algebras form a category of algebras recently introduced by Loday. A diassociative algebra is a vector space endowed with two associative binary operations satisfying some very natural relations. Any diassociative algebra is an algebra over the diassociative operad, and, among its most notable properties, this operad is the Koszul dual of the dendriform operad. We introduce here, by adopting the point of view and the tools offered by the theory of operads, a generalization on a nonnegative integer parameter γ of diassociative algebras, called γ-pluriassociative algebras, so that 1-pluriassociative algebras are diassociative algebras. Pluriassociative algebras are vector spaces endowed with 2γ associative binary operations satisfying some relations. We provide a complete study of the γ-pluriassociative operads, the underlying operads of the category of γ-pluriassociative algebras. We exhibit a realization of these operads, establish several presentations by generators and relations, compute their Hilbert series, show that they are Koszul, and construct the free objects in the corresponding categories. We also study several notions of units in γ-pluriassociative algebras and propose a general way to construct such algebras. This paper ends with the introduction of an analogous generalization of the triassociative operad of Loday and Ronco.     

Steenrod Operation in Certain Cobordism Theories

We generalize results of Smirnow [Math. Zam. 65(2) (1999), 270–279] to the cases of MSO and MSU theories. Also we establish relation between the Steenrod operations in MG-cobordism theory (G=O, U, Sp, SO, SU) in our approach and the Steenrod–tom Dieck operations.     

The planar algebra of group-type subfactors

If G is a countable, discrete group generated by two finite subgroups H and K and P is a II₁ factor with an outer G-action, one can construct the group-type subfactor PH⊂P?K introduced by Haagerup and the first author to obtain numerous examples of infinite depth subfactors whose standard invariant has exotic growth properties. We compute the planar algebra of this subfactor and prove that any subfactor with an abstract planar algebra of “group type” arises from such a subfactor. The action of Jones' planar operad is determined explicitly.