On Hopf algebra structures over free operads

The operad Lie can be constructed as the operad of primitives PrimAs from the operad As of associative algebras. This is reflected by the theorems of Friedrichs, Poincaré-Birkhoff-Witt and Cartier-Milnor-Moore. We replace the operad As by families of free operads P, which include the operad Mag freely generated by a non-commutative non-associative binary operation and the operad of Stasheff polytopes. We obtain Poincaré-Birkhoff-Witt type theorems and collect information about the operads PrimP, e.g., in terms of characteristic functions.     

Rectifying partial algebras over operads of complexes

Kriz and May (1995) [2] introduced partial algebras over an operad. In this paper we prove that, in the category of chain complexes, partial algebras can be functorially replaced by quasi-isomorphic algebras. In particular, partial algebras contain all of the important homological and homotopical information that genuine algebras do. Applying this result to McClure's partial algebra in McClure (2006) [5] shows that the chains of a PL-manifold are quasi-isomorphic to an E_∞-algebra.     

The homotopy theory of bialgebras over pairs of operads

We endow the category of bialgebras over a pair of operads in distribution with a cofibrantly generated model category structure. We work in the category of chain complexes over a field of characteristic zero. We split our construction in two steps. In the first step, we equip coalgebras over an operad with a cofibrantly generated model category structure. In the second step we use the adjunction between bialgebras and coalgebras via the free algebra functor. This result allows us to do classical homotopical algebra in various categories such as associative bialgebras, Lie bialgebras or Poisson bialgebras in chain complexes.     

Curved Koszul duality of algebras over unital versions of binary operads

We develop a curved Koszul duality theory for algebras presented by quadratic-linear-constant relations over unital versions of binary quadratic operads. As an application, we study Poisson n-algebras given by polynomial functions on a standard shifted symplectic space. We compute explicit resolutions of these algebras using curved Koszul duality. We use these resolutions to compute derived enveloping algebras and factorization homology on parallelized simply connected closed manifolds with coefficients in these Poisson n-algebras.     

Modular operads

We develop a higher genus analogue of operads, which we call modular operads, in which graphs replace trees in the definition. We study a functor F on the category of modular operads, the Feynman transform, which generalizes Kontsevichs graph complexes and also the bar construction for operads. We calculate the Euler characteristic of the Feynman transform, using the theory of symmetric functions: our formula is modelled on Wicks theorem. We give applications to the theory of moduli spaces of pointed algebraic curves.     

Simplicity of vacuum modules over affine Lie superalgebras

We prove an explicit condition on the level k for the irreducibility of a vacuum module $V^k$ over a (non-twisted) affine Lie superalgebra, which was conjectured by M. Gorelik and V.G. Kac. An immediate consequence of this work is the simplicity conditions for the corresponding minimal W-algebras obtained via quantum reduction, in all cases except when the level k is a non-negative integer.     

Models for operads

We study properties of differential graded (dg) operads modulo weak equivalences, that is, modulo the relation given by the existence of a chain of dg operad maps including a homology isomorphism. This approach, naturally arising in string theory, leads us to consider various versions of models. Some applications in topology (homotopy-everything spaces), algebra (cotangent cohomology) and mathematical physics (closed string-field theory) - are also given     

Colored operads,series on colored operads,and combinatorial generating systems

We introduce bud generating systems, which are used for combinatorial generation. They specify sets of various kinds of combinatorial objects, called languages. They can emulate context-free grammars, regular tree grammars, and synchronous grammars, allowing us to work with all these generating systems in a unified way. The theory of bud generating systems uses colored operads. Indeed, an object is generated by a bud generating system if it satisfies a certain equation in a colored operad. To compute the generating series of the languages of bud generating systems, we introduce formal power series on colored operads and several operations on these. Series on colored operads are crucial to express the languages specified by bud generating systems and allow us to enumerate combinatorial objects with respect to some statistics. Some examples of bud generating systems are constructed; in particular to specify some sorts of balanced trees and to obtain recursive formulas enumerating these.     

Quadratic nonsymmetric quaternary operads

We use computational linear algebra and commutative algebra to study spaces of relations satisfied by quadrilinear operations. The relations are analogues of associativity in the sense that they are quadratic (every term involves two operations) and nonsymmetric (every term involves the identity permutation of the arguments). We focus on determining those quadratic relations whose cubic consequences have minimal or maximal rank. We approach these problems from the point of view of the theory of algebraic operads.     

Differential-geometric structures in operads

We describe certain structures of formal differential geometry in terms of the theory of operads and introduce group structures, Lie-algebra structures, exponential mappings, and an analog of the de Rham complex.     

On products and duality of binary, quadratic, regular operads

Since its introduction by Loday in 1995, with motivation from algebraic K-theory, dendriform dialgebras have been studied quite extensively with connections to several areas in Mathematics and Physics. A few more similar structures have been found recently, such as the tri-, quadri-, ennea- and octo-algebras, with increasing complexity in their constructions and properties. We consider these constructions as operads and their products and duals, in terms of generators and relations, with the goal to clarify and simplify the process of obtaining new algebra structures from known structures and from linear operators.     

Axiomatic homotopy theory for operads

We give sufficient conditions for the existence of a model structure on operads in an arbitrary symmetric monoidal model category. General invariance properties for homotopy algebras over operads are deduced.     

Group actions on Segal operads

We give a Quillen equivalence between model structures for simplicial operads, described via the theory of operads, and Segal operads, thought of as certain reduced dendroidal spaces. We then extend this result to give a Quillen equivalence between the model structures for simplicial operads equipped with a group action and the corresponding Segal operads.     

On herstein's constructions relating jordan and associative superalgebras

We investigate the Jordan structure of a prime associative superalgebra and the Jordan structure of the symmetric elements of a *-prime associative superalgebra with superinvolution.     

Functional equations and their related operads

Using functional equations, we define functors that generalize standard examples from calculus of one variable. Examples of such functors are discussed, and their Taylor towers are computed. We also show that these functors factor through objects enriched over the homology of little -cubes operads and discuss the relationship between functors defined via functional equations and operads. In addition, we compute the differentials of the forgetful functor from the category of -Poisson algebras in terms of the homology of configuration spaces.