Related papers: Simplicial Structure on Connected Multiplicative O…
We show how one can do algebraic geometry with respect to the category of simplicial objects in an exact category. As a biproduct, we get a theory of derived analytic geometry.
Starting from any operad P, one can consider on one hand the free operad on P, and on the other hand the Baez--Dolan construction on P. These two new operads have the same space of operations, but with very different notions of arity and…
Jean-Louis Loday introduced a class of symmetric operads generated by one bilinear operation subject to one relation making each left-normed product of three elements equal to a linear combination of right-normed products: \[…
A theorem of Kontsevich relates the homology of certain infinite dimensional Lie algebras to graph homology. We formulate this theorem using the language of reversible operads and mated species. All ideas are explained using a pictorial…
Let g be a simplicial Lie algebra with Moore complex Ng of length k. Let G be the simplicial Lie group integrating g, which is simply connected in each simplicial level. We use the 1-jet of the classifying space of G to construct, starting…
Diassociative algebras form a categoy 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…
The notion of a coherent unit action on algebraic operads was first introduced by Loday for binary quadratic nonsymmetric operads and generalized by Holtkamp, to ensure that the free objects of the operads carry a Hopf algebra structure.…
In this paper we study the classifying spaces of graph products of simplicial groups and connected Hopf algebras over a field, and show that they can be uniformly treated under the framework of polyhedral products. It turns out that these…
This paper explicitely constructs cofree coalgebras over operads in the category of DG-modules. Special cases are considered in which the general expression simplifies (such as the pointed, irreducible case). It is shown that the existence…
A Rota-Baxter operator of weight $\lambda$ is an abstraction of both the integral operator (when $\lambda=0$) and the summation operator (when $\lambda=1$). We similarly define a differential operator of weight $\lambda$ that includes both…
Given a nonsymmetric operad $\mathcal{O}$, we first construct two new nonsymmetric operads $\mathcal{O}^{\mathrm{comp}}$ and $\mathcal{O}^{\mathrm{Dend}}$. These operads are respectively useful to study compatible and split Loday-algebras.…
We consider the composition product of symmetric sequences in the case where the underlying symmetric monoidal structure does not commute with coproducts. Even though this composition product is not a monoidal structure on symmetric…
A garland based on a manifold $P$ is a finite set of manifolds homeomorphic to $P$ with some of them glued together at marked points. Fix a manifold $M$ and consider a space $\NN$ of all smooth mappings of garlands based on $P$ into $M$. We…
Let $H$ be a pointed Hopf algebra with abelian coradical. Let $A\supseteq B$ be left (or right) coideal subalgebras of $H$ that contain the coradical of $H$. We show that $A$ has a PBW basis over $B$, provided that $H$ satisfies certain…
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…
We define a category $\mathsf{List}$ whose objects are sets and morphisms are mappings which assign to an element in the domain an ordered sequence (list) of elements in the codomain. We introduce and study a category of simplicial objects…
Using the description of enriched $\infty$-operads as associative algebras in symmetric sequences, we define algebras for enriched $\infty$-operads as certain modules in symmetric sequences. For $\mathbf{V}$ a symmetric monoidal model…
We will introduce the notion of higher derived bracket construction in the category of operads and prove that the higher derived bracket construction of Lie operad is equivalent to the cobar construction of Leibniz operad. The theorem is…
An operad describes a category of algebras and a (co)homology theory for these algebras may be formulated using the homological algebra of operads. A morphism of operads $f:\mathcal{O}\rightarrow\mathcal{P}$ describes a functor allowing a…
We study associative multiplications in semi-simple associative algebras over C compatible with the usual one or, in other words, linear deformations of semi-simple associative algebras over C. It turns out that these deformations are in…