We explore two constructions in homotopy category with algebraic precursors in the theory of noncommutative rings and homological algebra, namely the Hochschild cohomology of ring spectra and Morita theory. The present paper provides an extension of the algebraic theory to include the case when $M$ is not necessarily a progenerator. Our approach is complementary to recent work of Dwyer and Greenlees and of Schwede and Shipley. A central notion of noncommutative ring theory related to Morita equivalence is that of central separable or Azumaya algebras. For such an Azumaya algebra A, its Hochschild cohomology HH^*(A,A) is concentrated in degree 0 and is equal to the center of A. We introduce a notion of topological Azumaya algebra and show that in the case when the ground S-algebra R is an Eilenberg-Mac Lane spectrum of a commutative ring this notion specializes to classical Azumaya algebras. A canonical example of a topological Azumaya R-algebra is the endomorphism R-algebra F_R(M,M) of a finite cell R-module. We show that the spectrum of mod 2 topological K-theory KU/2 is a nontrivial topological Azumaya algebra over the 2-adic completion of the K-theory spectrum widehat{KU}_2. This leads to the determination of THH(KU/2,KU/2), the topological Hochschild cohomology of KU/2. As far as we know this is the first calculation of THH(A,A) for a noncommutative S-algebra A.
We present a study of the homological algebra of bimodules over $A_\infty$-algebras endowed with an involution. Furthermore we introduce a derived description of Hochschild homology and cohomology for involutive $A_\infty$-algebras.
We give a method for computing factorization homology of $\oper{E}_n$-algebra using as an input an algebraic version of higher Hochschild homology due to Pirashvili. We then show how to compute higher Hochschild homology and cohomology when the algebra is étale in a sense that we make precise. As an application, we compute higher Hochschild cohomology of the Lubin-Tate ring spectrum.
We determine the algebra structure of the Hochschild cohomology of the singular cochain algebra with coefficients in a field on a space whose cohomology is a polynomial algebra. A spectral sequence calculation of the Hochschild cohomology is also described. In particular, when the underlying field is of characteristic two, we determine the associated bigraded Batalin-Vilkovisky algebra structure on the Hochschild cohomology of the singular cochain on a space whose cohomology is an exterior algebra.
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…
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$.
This paper investigates if a differential graded algebra can have more than one $A_\infty$-structure extending the given differential graded algebra structure. We give a sufficient condition for uniqueness of such an $A_\infty$-structure up to quasi-isomorphism using Hochschild cohomology. We then extend this condition to Sagave's notion of derived $A_\infty$-algebras after introducing a notion of Hochschild cohomology that applies to this.
Let A be an A_\infty ring spectrum. We use the description from [2] of the cyclic bar and cobar construction to give a direct definition of topological Hochschild homology and cohomology of A using the Stasheff associahedra and another family of polyhedra called cyclohedra. This construction builds the maps making up the A_\infty structure into THH(A), and allows us to study how THH(A) varies over the moduli space of A_\infty structures on A. As an example, we study how topological Hochschild cohomology of Morava K-theory varies over the moduli space of A_\infty structures and show that in the…
We identify Morita cohomology, which is a categorification of the cohmology of a topological space X, with the category of homotopy locally constant sheaves of perfect complexes on X.
We transport Steenrod's cup-i products from the singular cochains on the free loop space Maps(S^1, BG) to Hochschild's original cochain complex Hom (k[G]^*, k[G]) defining Hochschild cohomology. Here G is a discrete group, k an arbitrary coefficient ring, and BG the classifying space of G. For cochains supported on BG, we prove that Gerstenhaber's cup product agrees with the simplicial cup product and Gerstenhaber's pre-Lie product agrees with Steenrod's cup-one product. As a consequence, for cocycles f and g supported on BG, the Gerstenhaber bracket [f, g] = 0 in Hochschild cohomology. This i…
We define the Hochschild complex and cohomology of a ring object in a monoidal category enriched over abelian groups. We interpret the cohomology groups and prove that the cohomology ring is graded-commutative.
We give explicit formulae for operations in Hochschild cohomology which are analogous to the operations in the homology of double loop spaces. As a corollary we obtain that any brace algebra in finite characteristic is always a restricted Lie 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 consider two categorifications of the cohomology of a topological space X by taking coefficients in the category of differential graded categories. We consider both derived global sections of a constant presheaf and singular cohomology and find the resulting dg-categories are quasi-equivalent and moreover quasi-equivalent to representations in perfect complexes of chains on the loop space of X.
This paper expands further on a category theoretical formulation of Hochschild cohomology for monoid objects in monoidal categories enriched over abelian groups, which has been studied in arXiv:1605.00842. This topic was also presented at ISCRA, Isfahan, Iran, April 2019. The present paper aims to provide a more intuitive formulation of the Hochschild cochain complex and extend the definition to Hochschild cohomology with values in a bimodule object. In addition, an equivalent formulation of the Hochschild cochain complex in terms of a cosimplicial object in the category of abelian groups is p…
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.
We perform Hochschild homology calculations in the algebro-geometric setting of motives. The motivic Hochschild homology coefficient ring contains torsion classes which arise from the mod-$p$ motivic Steenrod algebra and from generating functions on the natural numbers with finite non-empty support. Under the Betti realization, we recover Bökstedt's calculation of the topological Hochschild homology of finite prime fields.
When studying deformations of an $A$-module $M$, Laudal and Yau showed that one can consider 1-cocycles in the Hochschild cohomology of $A$ with coefficients in the bi-module $End_k(M).$ With this in mind, the use of higher order Hochschild (co)homology, presented by Pirashvili and Anderson, to study deformations seems only natural though the current definition allows only symmetric bi-module coefficients. In this paper we present an extended definition for higher order Hochschild cohomology which allows multi-module coefficients (when the simplicial sets $X_{\bullet}$ are accommodating) which…
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…
Given a differential graded (dg) symmetric Frobenius algebra $A$ we construct an unbounded complex $\mathcal{D}^{*}(A,A)$, called the Tate-Hochschild complex, which arises as a totalization of a double complex having Hochschild chains as negative columns and Hochschild cochains as non-negative columns. We prove that the complex $\mathcal{D}^*(A,A)$ computes the singular Hochschild cohomology of $A$. We construct a cyclic (or Calabi-Yau) $A$-infinity algebra structure, which extends the classical Hochschild cup and cap products, and an $L$-infinity algebra structure extending the classical Gers…
