Related papers: Operadic Hochschild chain complex and free loop sp…
The Gerstenhaber and Schack cohomology comparison theorem asserts that there is a cochain equivalence between the Hochschild complex of a certain algebra and the usual singular cochain complex of a space. We show that this comparison…
We obtain a decomposition for the Hochschild cochain complex of a split algebra and we study some properties of the cohomology of each term of this decomposition. Then, we consider the case of trivial extensions, specially of Frobenius…
The transfer of the generating operations of an algebra to a homotopy equivalent chain complex produces higher operations. The first goal of this paper is to describe precisely the higher structure obtained when the unary operations commute…
We prove that the category of algebras over a cofibrant operad admits a closed model category structure. This leads to the notion of "virtual operad algebra" - the algebra over a cofibrant resolution of the given operad. In particular,…
We provide a general method for finding all natural operations on the Hochschild complex of E-algebras, where E is any algebraic structure encoded in a prop with multiplication, as for example the prop of Frobenius, commutative or…
The topological Hochschild homology THH(R) of a commutative S-algebra (E_infty ring spectrum) R naturally has the structure of a commutative R-algebra in the strict sense, and of a Hopf algebra over R in the homotopy category. We show,…
A diagram of algebras is a functor valued in a category of associative algebras. I construct an operad acting on the Hochschild bicomplex of a diagram of algebras. Using this operad, I give a direct proof that the Hochschild cohomology of a…
We give an account of the current state of the approch to quantum field theory via Hopf algebras and Hochschild cohomology. We emphasize the versatility and mathematical foundation of this algebraic structure, and collect algebraic…
Quantum symmetric algebras (or noncommutative polynomial rings) arise in many places in mathematics. In this article we find the multiplicative structure of their Hochschild cohomology when the coefficients are in an arbitrary bimodule…
We present an elementary and self-contained construction of $A_\infty$-algebras, $A_\infty$-bimodules and their Hochschild homology and cohomology groups. In addition, we discuss the cup product in Hochschild cohomology and the spectral…
A classical E-infinity operad is formed by the bar construction of the symmetric groups. Such an operad has been introduced by M. Barratt and P. Eccles in the context of simplicial sets in order to have an analogue of the Milnor…
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 introduce two coloured operads in sets -- the lattice path operad and a cyclic extension of it -- closely related to iterated loop spaces and to universal operations on cochains. As main application we present a formal construction of an…
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…
First we describe a class of homotopy Frobenius algebras via cyclic operads which we call cyclic $A_\infty$ algebras. We then define a suitable new combinatorial operad which acts on the Hochschild cochains of such an algebra in a manner…
We define closed model category structures on different categories connected to the world of operad algebras over the category C(k) of (unbounded) complexes of k-modules: on the category of operads, on the category of algebras over a fixed…
We determine the 0-th Hochschild homology of the associative algebra of simplicial cochains valued in a PID: it consists of the ``finite-type" homotopy invariants of free loops, equivalently finite-type class functions on the fundamental…
We construct a multiplicative spectral sequence converging to the cohomology algebra of the diagonal complex of a bisimplicial set with coefficients in a field. The construction provides a spectral sequence converging to the cohomology…
The goal of this article is to make explicit a structured complex whose homology computes the cohomology of the p-profinite completion of the n-fold loop space of a sphere of dimension d=n-m<n. This complex is defined purely algebraically,…
The solution of Deligne's conjecture on Hochschild cochains and the formality of the operad of little disks provide us with a natural homotopy Gerstenhaber algebra structure on the Hochschild cochains of an associative algebra. In this…