Related papers: Combinatorial operad actions on cochains
This paper introduces the structure of operated polygraphs as a categorical model for rewriting in operated algebras, generalizing Gr\"obner-Shirshov bases with non-monomial termination orders. We provide a combinatorial description of…
Using Kadeishvili's formulas with appropriate signs, we show that the classical cobar construction from coalgebras to algebras \Omega: CoAlg -> Alg can be enhanced to a functor from Hopf algebras to E_2 algebras (for a certain choice of E_2…
We show that morphisms from n A_infinity-algebras to a single one are maps over an operad module with n+1 commuting actions of the operad A_infinity, whose algebras are conventional A_infinity-algebras. Similar statement holds for homotopy…
Let $A$ be a unital associative algebra over a field $k$, $E$ a vector space and $\pi : E \to A$ a surjective linear map with $V = {\rm Ker} (\pi)$. All algebra structures on $E$ such that $\pi : E \to A$ becomes an algebra map are…
In this paper we give a new foundational, categorical formulation for operations and relations and objects parameterizing them. This generalizes and unifies the theory of operads and all their cousins including but not limited to PROPs,…
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…
From a coloured operad $\mathcal{P}$ and a $\mathcal{P}$-algebra $A$, we construct a new operad $\mathrm{SC}(\mathcal{P})$ and a Hochschild object $\mathrm{Hoch}(A)$ together with an $\mathrm{SC}(\mathcal{P})$-action on the pair…
The theory of dendroidal sets has been developed to serve as a combinatorial model for homotopy coherent operads by Moerdijk and Weiss. An infinity-operad is a dendroidal set D satisfying certain lifting conditions. In this paper we give a…
We study diverse parametrized versions of the operad of associative algebra, where the parameter are taken in an associative semigroup $\Omega$ (generalization of matching or family associative algebras) or in its cartesian square…
We study algebraic structures on the free commutative twisted algebra generated by a positive operad $\mathbf q$, in the framework of vector species. Given a nonunital commutative twisted algebra structure $\mu$ on $\mathbf q$, we introduce…
We establish, by elementary means, the existence of a cofibrantly generated monoidal model structure on the category of operads. By slicing over a suitable operad the classical Rezk model structure on the category of small categories is…
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 an Quillen…
Curved algebras are algebras endowed with a predifferential, which is an endomorphism of degree -1 whose square is not necessarily 0. This makes the usual definition of quasi-isomorphism meaningless and therefore the homotopical study of…
Coherent unit actions on a binary, quadratic operad were introduced by Loday and were shown by him to give Hopf algebra structures on the free algebras when the operad is also regular with a splitting of associativity. Working with such…
We formulate the Gerstenhaber algebra structure of Hochschild cohomology of finite group extensions of some quantum complete intersections. When the group is trivial, this work characterizes the graded Lie brackets on Hochschild cohomology…
This paper establishes a uniform procedure to split the operations in any algebraic operad, generalizing previous known notions of splitting algebraic structures from the dendriform algebra of Loday that splits the associative operation to…
We show that there is an action of the symmetric group on the Hochschild cochain complex of a twisted group algebra with coefficients in a bimodule. This allows us to define the symmetric Hochschild cohomology of twisted group algebras,…
Equipping a non-equivariant topological E_\infty operad with the trivial G-action gives an operad in G-spaces. The algebra structure encoded by this operad in G-spectra is characterised homotopically by having no non-trivial multiplicative…
When a finite group acts linearly on a complex vector space, the natural semi-direct product of the group and the polynomial ring over the space forms a skew group algebra. This algebra plays the role of the coordinate ring of the resulting…
It is observed that Kaygun's Hopf-Hochschild cochain complex for a module-algebra is a brace algebra with multiplication. As a result, (i) an analogue of Deligne's Conjecture holds for module-algebras, and (ii) the Hopf-Hochschild…