Related papers: The bar complex of an E-infinity algebra
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…
We provide an internal characterization of those finite algebras (i.e., algebraic structures) $\mathbf A$ such that the number of homomorphisms from any finite algebra $\mathbf X$ to $\mathbf A$ is bounded from above by a polynomial in the…
A first goal of this paper is to precisely relate the homotopy theories of bialgebras and $E_2$-algebras. For this, we construct a conservative and fully faithful $\infty$-functor from pointed conilpotent homotopy bialgebras to augmented…
Let $A \subseteq E$ be an extension of Hopf algebras such that there exists a normal left $A$-module coalgebra map $\pi : E \to A$ that splits the inclusion. We shall describe the set of all coquasitriangular structures on the Hopf algebra…
We introduce the notion of cyclic cohomology of an A-infinity algebra and show that the deformations of an A-infinity algebra which preserve an invariant inner product are classified by this cohomology. We use this result to construct some…
It is easy to find algebras $\mathbb{T}\in\mathcal{C}$ in a finite tensor category $\mathcal{C}$ that naturally come with a lift to a braided commutative algebra $\mathsf{T}\in Z(\mathcal{C})$ in the Drinfeld center of $\mathcal{C}$. In…
An A-infinity bialgebra of type (m,n) is a Hopf algebra H equipped with a "compatible" operation \omega : H^{\otimes m} \to H^{\otimes n} of positive degree. We determine the structure relations for A-infinity bialgebras of type (m,n) and…
The singular chain complex of the iterated loop space is expressed in terms of the cobar construction. After that we consider the spectral sequence of the cobar construction and calculate its first term over Z/p-coefficients and over a…
An A-infinity algebra is given by a codifferential on the tensor coalgebra of a (graded) vector space. An associative algebra is a special case of an A-infinity algebra, determined by a quadratic codifferential. The notions of Hochschild…
Firstly, for a finite group algebra, we provide a computational framework $\widehat{m}_n$ for the Tate-Hochschild cochain complex in terms of the additive decomposition, by decomposing each planar n-ary tree into local two children and…
It is well known that the bar resolution can be replaced with any projective resolution of the corresponding algebra when computing the Hochschild (co)homology of that algebra. This is, in fact, a feature of its construction via derived…
Let p be an odd prime. When n>2, we show that each tensor factor of form E \otimes \Gamma in H(Z,n;Z_p) is an A-infinity bialgebra with non-trivial structure. We give explicit formulas for the structure maps and the quadratic relations…
An associative algebra is nothing but an odd quadratic codifferential on the tensor coalgebra of a vector space, and an A-infinity algebra is simply an arbitrary odd codifferential. Hochschild cohomology classifies the deformations of an…
We extend homological perturbation theory to encompass algebraic structures governed by operads and cooperads. The main difficulty is to find a suitable notion of algebra homotopy that generalizes to algebras over operads O. To solve this…
We give a source of examples of H_infinity ring structures that do not lift to E_infinity ring structures, based on Mandell's equivalence between certain cochain algebras and spaces.
We show that the complex $C_\bullet X$ of rational simplicial chains on a compact and triangulated Poincar\'e duality space $X$ of dimension $d$ is an A$_\infty$ coalgebra with $\infty$ duality. This is the structure required for an…
Given a bundle of chain complexes, the algebra of functions on its shifted cotangent bundle has a natural structure of a shifted Poisson algebra. We show that if two such bundles are homotopy equivalent, the corresponding Poisson algebras…
Hyperoctahedral homology for involutive algebras is the homology theory associated to the hyperoctahedral crossed simplicial group. It is related to equivariant stable homotopy theory via the homology of equivariant infinite loop spaces. In…
This paper provides a unifying framework for a range of categorical constructions characterised by universal mapping properties, within the realm of compactifications of discrete structures. Some classic examples fit within this broad…
Consider a local chain Differential Graded algebra, such as the singular chain complex of a pathwise connected topological group. In two previous papers, a number of homological results were proved for such an algebra: An Amplitude…