Symmetric spectra were introduced by Jeff Smith as a symmetric monoidal category of spectra. In this paper, a detection functor is defined which detects stable equivalences of symmetric spectra. This detection functor is useful because the classic stable homotopy groups do not detect stable equivalences in symmetric spectra.
One of the advantages of a symmetric monoidal category of spectra is that one can define topological Hochschild homology on ring spectra simply by mimicking the Hochschild complex from algebra. Using the detection functor mentioned above, this definition of topological Hochschild homology is shown to agree with Bokstedt's original definition. In particular, this shows that Bokstedt's definition is correct even for non-connective non-convergent symmetric ring spectra.
In this paper we analyze the higher topological Hochschild homology of commutative Thom S-algebras. This includes the case of the classical cobordism spectra MO, MSO, MU, etc. We consider the homotopy orbits of the torus action on iterated topological Hochschild homology and we describe the relationship to topological Andre-Quillen homology.
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 compute the component group of the derived $G$-geometric fixed points of the real topological Hochschild homology of a ring with anti-involution, where $G$ denotes the Galois group Gal($\mathbb{C}$/$\mathbb{R}$) of order 2.
We generalize a spectral sequence of Brun for the computation of topological Hochschild homology. The generalized version computes the $E$-homology of $THH(A;B)$, where $E$ is a ring spectrum, $A$ is a commutative $S$-algebra and $B$ is a connective commutative $A$-algebra. The input of the spectral sequence are the topological Hochschild homology groups of $B$ with coefficients in the $E$-homology groups of $B \wedge_A B$. The mod $p$ and $v_1$ topological Hochschild homology of connective complex $K$-theory has been computed by Ausoni and later again by Rognes, Sagave and Schlichtkrull. We p…
Motivated by a result from string topology, we prove a duality in topological Hochschild homology (THH). The duality relates the THH of an E_1-algebra spectrum and the THH of its derived Koszul dual algebra under certain compactness conditions. The result relies on results about module categories which may be of interest on their own. Finally, we relate this result to topological field theories and outline some future work.
We determine higher topological Hochschild homology of rings of integers in number fields with coefficients in suitable residue fields. We use the iterative description of higher THH for this and Postnikov arguments that allow us to reduce the necessary computations to calculations in homological algebra, starting from the results of Bökstedt and Lindenstrauss-Madsen on (ordinary) topological Hochschild homology.
We describe the topological Hochschild homology of ring spectra that arise as Thom spectra for loop maps f: X->BF, where BF denotes the classifying space for stable spherical fibrations. To do this, we consider symmetric monoidal models of the category of spaces over BF and corresponding strong symmetric monoidal Thom spectrum functors. Our main result identifies the topological Hochschild homology as the Thom spectrum of a certain stable bundle over the free loop space L(BX). This leads to explicit calculations of the topological Hochschild homology for a large class of ring spectra, includin…
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.
In this short note we study the topological Hoschschild homology of Eilenberg-MacLane spectra for finite cyclic groups. In particular, we show that the Eilenberg-MacLane spectrum H(Z/p^k) is a Thom spectrum for any prime p (except, possibly, when p=k=2) and we also compute its topological Hoschshild homology. This yields a short proof of the results obtained by Brun, and by Pirashvili except for the anomalous case p=k=2.
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.
The classical trace map is a highly non-trivial map from algebraic K-theory to topological Hochschild homology (or topological cyclic homology) introduced by Bökstedt, Hsiang and Madsen. It led to many computations of algebraic K-theory of rings. Hesselholt and Madsen recently introduced a Z/2-equivariant version of Waldhausen S-construction for categories with duality. The output is a certain spectrum with involution, called the real K-theory spectrum KR, and associated bigraded groups analogous to Atiyah's real (topological) K-groups. This thesis develops a theory of topological Hochschild h…
We extend Torleif Veen's calculation of higher topological Hochschild homology ${\sf THH}^{[n]}_*(\mathbb{F}_p)$ from $n\leq 2p$ to $n\leq 2p+2$ for $p$ odd, and from $n=2$ to $n\leq 3$ for $p=2$. We calculate higher Hochschild homology ${\sf HH}_*^{[n]}(k[x])$ over $k$ for any integral domain $k$, and ${\sf HH}_*^{[n]}(\mathbb{F}_p[x]/x^{p^\ell})$ for all $n>0$. We use this and étale descent to calculate ${\sf HH}_*^{[n]}(\mathbb{F}_p[G])$ for all $n>0$ for any cyclic group $G$, and therefore also for any finitely generated abelian group $G$. We show a splitting result for higher ${\sf THH}$ …
We study the C_p-equivariant Tate construction on the topological Hochschild homology THH(B) of a symmetric ring spectrum B by relating it to a topological version R_+(B) of the Singer construction, extended by a natural circle action. This enables us to prove that the fixed and homotopy fixed point spectra of THH(B) are p-adically equivalent for B = MU and BP. This generalizes the classical C_p-equivariant Segal conjecture, which corresponds to the case B = S.
We develop a theory of R-module Thom spectra for a commutative symmetric ring spectrum R and we analyze their multiplicative properties. As an interesting source of examples, we show that R-algebra Thom spectra associated to the special unitary groups can be described in terms of quotient constructions on R. We apply the general theory to obtain a description of the R-based topological Hochschild homology associated to an R-algebra Thom spectrum.
Let $A$ be a commutative algebra over the field ${\mathbb F}_2 = {\mathbb Z}/2$. We show that there is a natural algebra homomorphism $\ell (A) \to HC^-_*(A)$ which is an isomorphism when $A$ is a smooth algebra. Thus, the functor $\ell$ can be viewed as an approximation of negative cyclic homology and ordinary cyclic homology $HC_*(A)$ is a natural $\ell (A)$-module. In general, there is a spectral sequence $E^2 = L_*(\ell )(A) \Rightarrow HC_*^- (A)$. We find associated approximation functors $\ell^+$ and $\ell^{per}$ for ordinary cyclic homology and periodic cyclic homology, and set up thei…
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 describe the topological Hochschild homology of the periodic complex $K$-theory spectrum, $THH(KU)$, as a commutative $KU$-algebra: it is equivalent to $KU[K(\mathbb{Z},3)]$ and to $F(ΣKU_{\mathbb{Q}})$, where $F$ is the free commutative $KU$-algebra functor on a $KU$-module. Moreover, $F(ΣKU_{\mathbb{Q}})\simeq KU \vee ΣKU_{\mathbb{Q}}$, a square-zero extension. In order to prove these results, we first establish that topological Hochschild homology commutes, as an algebra, with localization at an element. Then, we prove that $THH^n(KU)$, the $n$-fold iteration of $THH(KU)$, i.e. $T^n\otim…
We give a new proof, independent of Lin's theorem, of the Segal conjecture for the cyclic group of order two. The key input is a calculation, as a Hopf algebroid, of the Real topological Hochschild homology of $\mathbb{F}_2$. This determines the $\mathrm{E}_2$-page of the descent spectral sequence for the map $\mathrm{N}\mathbb{F}_2 \to \mathbb{F}_2$, where $\mathrm{N}\mathbb{F}_2$ is the $C_2$-equivariant Hill--Hopkins--Ravenel norm of $\mathbb{F}_2$. The $\mathrm{E}_2$-page represents a new upper bound on the $RO(C_2)$-graded homotopy of $\mathrm{N}\mathbb{F}_2$, from which the Segal conject…
We show that Ravenel's spectrum $X(2)$ is the versal $E_1$-$S$-algebra of characteristic $η$. This implies that every $E_1$-$S$-algebra $R$ of characteristic $η$ admits an $E_1$-ring map $X(2)\to R$, i.e. an $\mathbb{A}_\infty$ complex orientation of degree 2. This implies that $R^\ast(\mathbb{C}P^2)\cong R_\ast[x]/x^3$. Additionally, if $R$ is an $\mathbb{E}_2$-ring Thom spectrum admitting a map (of homotopy ring spectra) from $X(2)$, e.g. $X(n)$, its topological Hochschild homology has a simple description.
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, under a flatness assumption, that this makes the Boekstedt spectral sequence converging to the mod p homology of THH(R) into a Hopf algebra spectral sequence. We then apply this additional structure to the study of some interesting examples, including the commutative S-algebras ku, ko, tmf, ju and j, and to calculate the homotopy groups of THH(ku) and THH(ko) af…
We compute topological Hochschild homology mod $p$ and $v_1$ of the connective cover of the $K(1)$-local sphere spectrum for all primes $p\ge 3$. This is accomplished using a May-type spectral sequence in topological Hochschild homology constructed from a filtration of a commutative ring spectrum.
We show the topological Hochschild homology spectrum of a twisted group algebra $\THH(A^τ[G])$ is the Thom spectrum associated to a parametrized orthogonal spectrum $E(A,G)$. We then analyze the structure of the parametrized orthogonal spectrum $E(A,G)$ and show that it is locally trivial.
Let $K(\mathbb{F}_q)$ be the algebraic $K$-theory spectrum of the finite field with $q$ elements and let $p \geq 5$ be a prime number coprime to $q$. In this paper we study the mod $p$ and $v_1$ topological Hochschild homology of $K(\mathbb{F}_q)$, denoted $V(1)_*THH(K(\mathbb{F}_q))$, as an $\mathbb{F}_p$-algebra. The computations are organized in four different cases, depending on the mod $p$ behaviour of the function $q^n-1$. We use different spectral sequences, in particular the Bökstedt spectral sequence and a generalization of a spectral sequence of Brun developed in an earlier paper. We…
Hochschild (co)homology and Pirashvili's higher order Hochschild (co)homology are useful tools for a variety of applications including deformations of algebras. When working with higher order Hochschild (co)homology, we can consider the (co)homology of any commutative algebra with symmetric coefficient bimodules, however traditional Hochschild (co)homology is able to be computed for any associative algebra with not necessarily symmetric coefficient bimodules. In a previous paper, the author generalized higher order Hochschild cohomology for multimodule coefficients (which need not be symmetric…
We show that an important classical fixed point invariant, the Reidemeister trace, arises as a topological Hochschild homology transfer. This generalizes a corresponding classical result for the Euler characteristic and is a first step in showing the Reidemeister trace is in the image of the cyclotomic trace. The main result follows from developing the relationship between shadows, topological Hochschild homology, and Morita invariance in bicategorical generality.
We study the logarithmic topological Hochschild homology of ring spectra with logarithmic structures and establish localization sequences for this theory. Our results apply, for example, to connective covers of periodic ring spectra like real and complex topological K-theory.
Higher Hochschild homology is the analog of the homology of spaces, where the context for the coefficients -- which usually is that of abelian groups -- is that of commutative algebras. Two spaces that are equivalent after a suspension have the same homology. We show that this is not the case for higher Hochschild homology, providing a counterexample to a behavior so far observed in stable homotopy theory.
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 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.
We study the homological algebra of bimodules over involutive associative algebras. We show that Braun's definition of involutive Hochschild cohomology in terms of the complex of involution-preserving derivations is indeed computing a derived functor: the Z/2-invariants intersected with the center. We then introduce the corresponding involutive Hochschild homology theory and describe it as the derived functor of the pushout of Z/2-coinvariants and abelianization.
We show that Connes' B-operator on a cyclic differential graded k-module M is a model for the canonical circle action on the geometric realization of M. This implies that the negative cyclic homology and the periodic cyclic homology of a differential graded category can be identified with the homotopy fixed points and the Tate fixed points of the circle action on its Hochschild complex.
In this paper we continue our study of logarithmic topological Hochschild homology. We show that the inclusion of the connective Adams summand into the p-local complex connective K-theory spectrum, equipped with suitable log structures, is a formally log THH-etale map, and compute the V(1)-homotopy of their logarithmic topological Hochschild homology spectra. As an application, we recover Ausoni's computation of the V(1)-homotopy of the ordinary THH of ku.
We show that the Hochschild-Pirashvili homology on any suspension admits the so called Hodge splitting. For a map between suspensions $f\colon ΣY\to ΣZ$, the induced map in the Hochschild-Pirashvili homology preserves this splitting if $f$ is a suspension. If $f$ is not a suspension, we show that the splitting is preserved only as a filtration. As a special case, we obtain that the Hochschild-Pirashvili homology on wedges of circles produces new representations of $Out(F_n)$ that do not factor in general through $GL(n,Z)$. The obtained representations are naturally filtered in such a way that …
The cyclic bar construction in symmetric spectra and Bökstedt's original construction are two possible ways to define the topological Hochschild homology of a symmetric ring spectrum. In this short note we explain how to correct an error in Shipley's original comparison of these two approaches.
We construct localization cofiber sequences for the topological Hochschild homology (THH) and topological cyclic homology (TC) of spectral categories. Using a global construction of the THH and TC of a scheme in terms of the perfect complexes in a spectrally enriched version of the category of unbounded complexes, the sequences specialize to localization cofiber sequences associated to the inclusion of an open subscheme. These are the targets of the cyclotomic trace from the localization sequence of Thomason-Trobaugh in K-theory. We also deduce versions of Thomason's blow-up formula and the pr…
Twisted topological Hochschild homology of $C_n$-equivariant spectra was introduced by Angeltveit, Blumberg, Gerhardt, Hill, Lawson, and Mandell, building on the work of Hill, Hopkins, and Ravenel on norms in equivariant homotopy theory. In this paper we introduce tools for computing twisted THH, which we apply to computations for Thom spectra, Eilenberg-MacLane spectra, and the real bordism spectrum $MU_{\mathbb{R}}$. In particular, we construct an equivariant version of the Bökstedt spectral sequence, the formulation of which requires further development of the Hochschild homology of Green f…
We define a functorial spectrum-level filtration on the topological Hochschild homology of any commutative ring spectrum $R$, and more generally the factorization homology $R \otimes X$ for any space $X$, echoing algebraic constructions of Loday and Pirashvili. We investigate the properties of this filtration and show that it breaks THH up into common eigenspectra of the Adams operations.
We calculate the topological Hochschild homology groups of a maximal order in a central algebra over the rationals. Since the positive-dimensional THH groups consist only of torsion, we do this one prime ideal at a time for all the nonzero prime ideals in the center of the maximal order. This allows us to reduce the problem to studying the THH groups of maximal orders A in simple algebras over Q_p. We show that the topological Hochschild homology of A/(p) splits as the tensor product of its Hochschild homology and the topological Hochschild homology of F_p. We use this result in Brun's spectra…
We give a general method for constructing explicit and natural operations on the Hochschild complex of algebras over any PROP with $A_\infty$--multiplication---we think of such algebras as $A_\infty$--algebras "with extra structure". As applications, we obtain an integral version of the Costello-Kontsevich-Soibelman moduli space action on the Hochschild complex of open TCFTs, the Tradler-Zeinalian action of Sullivan diagrams on the Hochschild complex of strict Frobenius algebras, and give applications to string topology in characteristic zero. Our main tool is a generalization of the Hochschil…
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…
