In this paper we apply homotopical localization to the framework of differential graded algebras over an operad. We get plus construction by performing nullification with respect to an universal acyclic algebra. This plus construction for Lie and Leibniz algebras up to homotopy yields two new homology theories for associative algebras. They are closely related to cyclic and Hochschild homologies. We also compute their first homology groups.
Shadows for bicategories, defined by Ponto, provide a useful framework that generalizes classical and topological Hochschild homology. In this paper, we define Hochschild-type invariants for monoids in a symmetric monoidal, simplicial model category $\mathsf V$, as well as for small $\mathsf V$-categories. We show that each of these constructions extends to a shadow on an appropriate bicategory, which implies in particular that they are Morita invariant. We also define a generalized theory of Hochschild homology twisted by an automorphism and show that it is Morita invariant. Hochschild homolo…
We construct for any algebra over an operad an Hochschild chain complex. In the case of the singular cochain complex of a topological space, considered as a commutative algebra up to homotopy, we show that this complex computes the singular cohomology of the free loop space over this topological space.
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 $E_2$-action (resp. framed $E_2$-action) on the Hochschild cochain complex of an associative (resp. symmetric Frobenius) algebra.
We prove that the operad B of natural operations on the Hochschild cohomology has the homotopy type of the operad of singular chains on the little disks operad. To achieve this goal, we introduce crossed interval groups and show that B is a certain crossed interval extension of an operad T whose homotopy type is known. This completes the investigation of the algebraic structure on the Hochschild cochain complex that has lasted for several decades.
We show that the topological Hochschild homology THH(R of an E_n-ring spectrum R is an E_{n-1}-ring spectrum. The proof is based on the fact that the tensor product of the operad Ass for monoid structures and the the little n-cubes operad is an E_{n+1}-operad, a result which is of independent interest.
Using non-commutative differential forms, we construct a complex called singular Hochschild cochain complex for any associative algebra over a field. The cohomology of this complex is isomorphic to the Tate-Hochschild cohomology in the sense of Buchweitz. By a natural action of the cellular chain operad of the spineless cacti operad, introduced by R. Kaufmann, on the singular Hochschild cochain complex, we provide a proof of the Deligne's conjecture for this complex. More concretely, the complex is an algebra over the (dg) operad of chains of the little $2$-discs operad. By this action, we als…
In this note, we define the notion of a cactus set, and show that its geometric realization is naturally an algebra over Voronov's cactus operad, which is equivalent to the framed 2-dimensional little disks operad $\mathcal{D}_2$. Using this, we show that the Hochschild cohomology of a Poincaré algebra A is an algebra over (the chain complexes of) $\mathcal{D}_2$.
The spectral sequence constructed by V.A.Vassiliev computes the homology of the spaces of non-compact knots in ${\bf R}^d$, $d\ge 3$. In this work the first term of this spectral sequence is described in terms of the homology of the Hochschild complex for the Poisson algebras operad, if d is odd (resp. for the Gerstenhaber algebras operads, if d is even). In particular the bialgebra of chord diagrams arises as some subspace of this homology (in this case d=3). Also a simplification for the calculation of the Vassiliev spectral sequence in the first term is provided.
The d.g. operad C of cellular chains on the operad of spineless cacti is isomorphic to the Gerstenhaber-Voronov operad codifying the cup product and brace operations on the Hochschild cochains of an associative algebra, and to the suboperad F_2X of the surjection operad. Its homology is the Gerstenhaber operad G. We construct an operad map psi from A-infinity to C such that psi(m_2) is commutative and the homology of psi is the canonical map A \to Com \to G. This formalises the idea that, since the cup product is commutative in homology, its symmetrisation is a homotopy associative operation. …
This is the first of two papers in which we prove that a cell model of the moduli space of curves with marked points and tangent vectors at the marked points acts on the Hochschild co--chains of a Frobenius algebra. We also prove that a there is dg--PROP action of a version of Sullivan Chord diagrams which acts on the normalized Hochschild co-chains of a Frobenius algebra. These actions lift to operadic correlation functions on the co--cycles. In particular, the PROP action gives an action on the homology of a loop space of a compact simply--connected manifold. In this first part, we set up th…
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 FK-construction for infinite loop spaces. The purpose of this article is to prove that the associative algebra structure on the normalized cochain complex of a simplicial set extends to the structure of an algebra over the Barratt-Eccles operad. We also prove that differential graded algebras over the Barratt-Eccles operad form a closed model category. Similar results …
Etale groupoids arise naturally as models for leaf spaces of foliations, for orbifolds, and for orbit spaces of discrete group actions. In this paper we introduce a sheaf homology theory for etale groupoids. We prove its invariance under Morita equivalence, as well as Verdier duality between Haefliger cohomology and this homology. We also discuss the relation to the cyclic and Hochschild homologies of Connes' convolution algebra of the groupoid, and derive some spectral sequences which serve as a tool for the computation of these homologies.
For an associative algebra A we consider the pair "the Hochschild cochain complex C*(A,A) and the algebra A". There is a natural 2-colored operad which acts on this pair. We show that this operad is quasi-isomorphic to the singular chain operad of Voronov's Swiss Cheese operad. This statement is the Swiss Cheese version of the Deligne conjecture formulated by M. Kontsevich in arXiv:math/9904055.
This is the second of two papers in which we prove that a cell model of the moduli space of curves with marked points and tangent vectors at the marked points acts on the Hochschild co--chains of a Frobenius algebra. We also prove that a there is dg--PROP action of a version of Sullivan Chord diagrams which acts on the normalized Hochschild co-chains of a Frobenius algebra. These actions lift to operadic correlation functions on the co--cycles. In particular, the PROP action gives an action on the homology of a loop space of a compact simply--connected manifold. In this second part, we discret…
The goal of this paper is to establish fundamental properties of the Hochschild, topological Hochschild, and topological cyclic homologies of commutative, Noetherian rings, which are assumed only to be F-finite in the majority of our results. This mild hypothesis is satisfied in all cases of interest in finite and mixed characteristic algebraic geometry. We prove firstly that the topological Hochschild homology groups, and the homotopy groups of the fixed point spectra $TR^r$, are finitely generated modules. We use this to establish the continuity of these homology theories for any given ideal…
In present paper we develop the deformation theory of operads and algebras over operads. Free resolutions (constructed via Boardman-Vogt approach) are used in order to describe formal moduli spaces of deformations. We apply the general theory to the proof of Deligne's conjecture. The latter says that the Hochschild complex of an associative algebra carries a canonical structure of a dg-algebra over the chain operad of the little discs operad. In the course of the proof we construct an operad of geometric nature which acts on the Hochschild complex. It seems to be different from the brace opera…
In this paper, we provide a conceptual new construction of the algebraic structure on the pair of the Hochschild cohomology spectrum (cochain complex) and Hochschild homology spectrum, which is analogous to the structure of calculus on a manifold. This algebraic structure is encoded by a two-colored operad introduced by Kontsevich and Soibelman. We prove that for a stable idempotent-complete infinity-category, the pair of its Hochschild cohomology and homology spectra naturally admits the structure of algebra over the operad. Moreover, we prove a generalization to the equivariant context.
In this paper we define and study the "ghost loop orbifold" of an orbifold $X$ consisting of those loops that remain constant in the coarse moduli space of $X$. We construct a configuration space model for the ghost loop orbifold using an idea of G. Segal. From this we exhibit the relation between the Hochschild and cyclic homologies of the inertia orbifold of $X$ (that generate the so-called twisted sectors in string theory) and the ordinary and equivariant homologies of the ghost loop orbifold. We also show how this clarifies the relation between orbifold K-theory, Chen-Ruan orbifold cohomol…
Using factorization homology techniques, we give a simple proof of the action of Kontsevich and Soibelman operad on the pair consisting of Hochschild cohomology and Hochschild homology. The proof obviously extends to higher Hochschild cohomology and factorization (also called chiral) homology. Note that our result works in categories of chain complexes but also in categories of modules over a commutative ring spectrum.
We apply Weyl $n$-algebras to prove formality theorems for higher Hochschild cohomology. We present two approaches: via propagators and via the factorization complex. It is shown that the second approach is equivalent to the first one taken with a new family of propagators we introduce.
Deligne asked in 1993 whether the Hochschild cochain complex of an associative ring has a natural action by the singular chains of the little 2-cubes operad. In this paper we give an affirmative answer to this question. We also show that the topological Hochschild cohomology spectrum of an associative ring spectrum has an action of an operad equivalent to the little 2-cubes.
This paper introduces a chain model for the Deligne-Mumford operad formed by homotopically trivializing the circle in a chain model for the framed little disks. We then show that under degeneration of the Hochschild to cyclic cohomology spectral sequence, a known action of the framed little disks on Hochschild cochains lifts to an action of this new chain model. We thus establish homotopy hyper-commutative algebra structures on both Hochschild and cyclic cochain complexes, and we interpret the gravity brackets on cyclic cohomology as obstructions to degeneration of this spectral sequence. Our …
Let an n-algebra mean an algebra over the chain complex of the little n-cubes operad. We give a proof of Kontsevich's conjecture, which states that for a suitable notion of Hochschild cohomology in the category of n-algebras, the Hochschild cohomology complex of an n-algebra is an (n+1)-algebra. This generalizes a conjecture by Deligne for n=1, now proven by several authors.
If P is a dg-operad acting on a dg-algebra A via algebra homomorphisms, then P acts on the Hochschild complex of A. In the more general case when P is a dg-prop, we show that P still acts on the Hochschild complex, but only up to coherent homotopy. We moreover give a functorial dg-replacement of P that strictifies the action. As an application, we obtain an explicit strictification of the homotopy coherent commutative Hopf algebra structure on the Hochschild complex of a commutative Hopf algebra.
We define Hochschild and cyclic homologies for bornological coarse spaces: for a fixed field $k$ and group $G$, these are lax symmetric monoidal functors $\mathcal{X}HH_{k}^G$ and $\mathcal{X}HC_{k}^G$ from the category of equivariant bornological coarse spaces $G\mathbf{BornCoarse}$ to the cocomplete stable $\infty$-category of chain complexes $\mathbf{Ch}_\infty$. We relate these equivariant coarse homology theories to coarse algebraic $K$-theory $\mathcal{X} K^G_{k}$ and to coarse ordinary homology $\mathcal{X} H^G$ by constructing a trace-like natural transformation $\mathcal{X} K_{k}^G\to…
In this article, we show under what additional ingredients a comp (or opposite) module over an operad with multiplication can be given the structure of a cyclic k-module and how the underlying simplicial homology gives rise to a Batalin-Vilkovisky module over the cohomology of the operad. In particular, one obtains a generalised Lie derivative and a generalised (cyclic) cap product that obey a Cartan-Rinehart homotopy formula, and hence yield the structure of a noncommutative differential calculus in the sense of Nest, Tamarkin, Tsygan, and others. Examples include the calculi known for the Ho…
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 which encodes the homotopy BV structure. Moreover we show that this operad is equivalent to the cellular chains of a certain topological (quasi)-operad of CW complexes whose constituent spaces form a homotopy associative version of the Cacti operad of Voronov. These cellular chains thus constitute a chain model for the framed little disks operad, proving a cyc…
We define a dg-category of looped diagrams which we use to construct operations on the Hochschild complex of commutative Frobenius dg-algebras. We show that we recover the operations known for symmetric Frobenius dg-algebras constructed using Sullivan chord diagrams as well as all formal operations for commutative algebras (including Loday's lambda operations) and prove that there is a chain level version of a suspended Cactus operad inside the complex of looped diagrams. This recovers the suspended BV algebra structure on the Hochschild homology of commutative Frobenius algebras defined by Ab…
In this note, we show that the normalized Hochschild co--chains of an associative algebra with a non--degenerate, symmetric, invariant inner product are an algebra over a chain model of the framed little discs operad which is given by cacti. In particular, in this sense they are a BV algebra up to homotopy and the Hochschild cohomology of such an algebra is a BV algebra whose induced bracket coincides with Gerstenhaber's bracket. To show this, we use a cellular chain model for the framed little disc operad in terms of normalized cacti. This model is given by tensoring our chain model for the l…
We prove a conjecture of Kontsevich which states that if $A$ is an $E_{d-1}$ algebra then the Hochschild cohomology object of $A$ is the universal $E_d$ algebra acting on $A$. The notion of an $E_d$ algebra acting on an $E_{d-1}$ algebra was defined by Kontsevich using the swiss cheese operad of Voronov. The degree 0 and 1 pieces of the swiss cheese operad can be used to build a cofibrant model for $A$ as an $E_{d-1}-A$ module. The theorem amounts to the fact that the swiss cheese operad is generated up to homotopy by its degree 0 and 1 pieces.
Using a cell model for the little discs operad in terms of spineless cacti we give a minimal common topological operadic formalism for three a priori disparate algebraic structures: (1) a solution to Deligne's conjecture on the Hochschild complex, (2) the Hopf algebra of Connes and Kreimer, and (3) the string topology of Chas and Sullivan.
The purpose of this article is to embed the string topology bracket developed by Chas-Sullivan and Menichi on negative cyclic cohomology groups as well as the dual bracket found by de Thanhoffer de Voelcsey-Van den Bergh on negative cyclic homology groups into the global picture of a noncommutative differential (or Cartan) calculus up to homotopy on the (co)cyclic bicomplex in general, in case a certain Poincare' duality is given. For negative cyclic cohomology, this in particular leads to a Batalin-Vilkovisky algebra structure on the underlying Hochschild cohomology. In the special case in wh…
The goal of this paper is to complete Getzler-Jones' proof of Deligne's Conjecture, thereby establishing an explicit relationship between the geometry of configurations of points in the plane and the Hochschild complex of an associative algebra. More concretely, it is shown that the $B_\infty$-operad, which is generated by multilinear operations known to act on the Hochschild complex, is a quotient of a certain operad associated to the compactified configuration spaces. Different notions of homotopy Gerstenhaber algebras are discussed: one of them is a $B_\infty$-algebra, another, called a hom…
In the world of chain complexes E_n-algebras are the analogues of based n-fold loop spaces in the category of topological spaces. Fresse showed that operadic E_n-homology of an E_n-algebra computes the homology of an n-fold algebraic delooping. The aim of this paper is to construct two spectral sequences for calculating these homology groups and to treat some concrete classes of examples such as Hochschild cochains, graded polynomial algebras and chains on iterated loop spaces. In characteristic zero we gain an identification of the summands in Pirashvili's Hodge decomposition of higher order …
In this article we study the Poisson algebra structure on the homology of the totalization of a fibrant cosimplicial space associated with an operad with multiplication. This structure is given as the Browder operation induced by the action of little disks operad, which was found by McClure and Smith. We show that the Browder operation coincides with the Gerstenhaber bracket on the Hochschild homology, which appears as the E2-term of the homology spectral sequence constructed by Bousfield. In particular we consider a variant of the space of long knots in higher dimensional Euclidean space, and…
We determine the rational homology of the space of long knots in R^d for $d\geq4$. Our main result is that the Vassiliev spectral sequence computing this rational homology collapses at the E^1 page. As a corollary we get that the homology of long knots (modulo immersions) is the Hochschild homology of the Poisson algebras operad with a bracket of degree d-1, which can be obtained as the homology of an explicit graph complex and is in theory completely computable. Our proof is a combination of a relative version of Kontsevich's formality of the little d-disks operad and of Sinha's cosimplicial …
We show that the Connes-Moscovici cyclic cohomology of a Hopf algebra equipped with a character has a Lie bracket of degree -2. More generally, we show that a "cyclic operad with multiplication" is a cocyclic module whose cohomology is a Batalin-Vilkovisky algebra and whose cyclic cohomology is a graded Lie algebra of degree -2. This explain why the Hochschild cohomology algebra of a symmetric algebra is a Batalin-Vilkovisky algebra.
Let $M$ be a closed, oriented manifold of dimension $d$. Let $LM$ be the space of smooth loops in $M$. Chas and Sullivan recently defined a product on the homology $H_*(LM)$ of degree $-d$. They then investigated other structure that this product induces, including a Batalin -Vilkovisky structure, and a Lie algebra structure on the $S^1$ equivariant homology $H_*^{S^1}(LM)$. These algebraic structures, as well as others, came under the general heading of the "string topology" of $M$. In this paper we will describe a realization of the Chas - Sullivan loop product in terms of a ring spectrum st…
We study general properties of Hodge-type decompositions of cyclic and Hochschild homology of universal enveloping algebras of (DG) Lie algebras. Our construction generalizes the operadic construction of cyclic homology of Lie algebras due to Getzler and Kapranov. We give a topological interpretation of such Lie Hodge decompositions in terms of $S^1$-equivariant homology of the free loop space of a simply connected topological space. We prove that the canonical derived Poisson structure on a universal enveloping algebra arising from a cyclic pairing on the Koszul dual coalgebra preserves the H…
We show under what conditions the complex computing general Ext-groups carries the structure of a cyclic operad such that Ext becomes a Batalin-Vilkovisky algebra. This is achieved by transferring cyclic cohomology theories for the dual of a (left) Hopf algebroid to the complex in question, which asks for the notion of contramodules introduced along with comodules by Eilenberg-Moore half a century ago. Another crucial ingredient is an explicit formula for the inverse of the Hopf-Galois map on the dual, by which we illustrate recent categorical results and answer a long-standing open question. …
