THH and base-change for Galois extensions of ring spectra

DOI10.2140/AGT.2017.17.693MaRDI QIDQ518810zbMATH OpenOpenAlexFDO

Authors Akhil Mathew

Publication date 30 March 2017

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1501.06612

zbMATH Keywords

Galois extensions: structured ring spectratopological Hochschild homology

Mathematics Subject Classification ID

(Co)homology of commutative rings and algebras (e.g., Hochschild, André-Quillen, cyclic, dihedral, etc.) (13D03) Stable homotopy theory, spectra (55P42) Spectra with additional structure ((E_infty), (A_infty), ring spectra, etc.) (55P43)

Abstract: We treat the question of base-change in $THH$ for faithful Galois extensions of ring spectra in the sense of Rognes. Given a faithful Galois extension $AoB$ of ring spectra, we consider whether the map $THH(A)otime{s}_{A}BoTHH(B)$ is an equivalence. We reprove and extend positive results of Weibel-Geller and McCarthy-Minasian and offer new examples of Galois extensions for which base-change holds. We also provide a counterexample where base-change fails.

Review text

\textit{C. A. Weibel} and \textit{S. C. Geller} [Comment. Math. Helv. 66, No. 3, 368--388 (1991; Zbl 0741.19007)] have shown that Hochschild homology for commutative rings satisfies an étale base-change result. Motivated by this fact, the author considers the following general question on the topological Hochschild homology \(\text{THH}(A)\) of an \({\mathbb E}_\infty\)-ring spectrum \(A\): Question. Let \(A \to B\) be a morphism of \({\mathbb E}_\infty\)-ring spectra. When is the natural map \(\text{THH}(A)\otimes_AB \to \text{THH}(B)\) an equivalence? One of the two main results in the paper gives an answer to the question stating that for an \({\mathbb E}_\infty\)-ring \(R\) and an étale morphism \(A \to B\) of \({\mathbb E}_\infty\)-\(R\)-algebras (possibly nonconnective), the map \(\text{THH}^R(A)\otimes_AB \to \text{THH}^R(B)\) is an equivalence. Here the étaleness of the map \(A\to B\) is defined so that the natural map \(\pi_*(A)\otimes_{\pi_0(A)}\pi_0(B) \to \pi_*(B)\) is an isomorphism and \(\pi_0(A) \to \pi_0(B)\) is étale. The key to proving the theorem is that the construction of \(\text{THH}\) can be interpreted as tensoring with \(S^1\) by \textit{R. McCarthy} and \textit{V. Minasian} [J. Pure Appl. Algebra 185, No. 1--3, 239--258 (2003; Zbl 1051.55005)]. Another theorem asserts that there exists a faithful \(G\)-Galois extension \(A\to B\) of \({\mathbb E}_\infty\)-ring spectra for \(G\) a finite group such that the map in the question above is not an equivalence. The degree-\(p\) map from \(S^1\) to itself gives rise to the counterexample.

Recommendations

• \(THH(R) \cong R \otimes S^ 1\) for \(E_ \infty\) ring spectra
• Topological Hochschild homology and cohomology of \(A_{\infty }\) ring spectra
• Topological Hochschild homology of and ko
• Commutative ring spectra
• Units of ring spectra and their traces in algebraic K-theory
• Operads and Γ-homology of commutative rings
• Galois extensions of structured ring spectra. Stably dualizable groups
• On the multiplicative structure of topological Hochschild homology
• HKR theorem for smooth \(S\)-algebras.
• Publication:4934310

Cited in

(14)

• Hyperdescent and étale K-theory
• Thom spectra, higher THH and tensors in \(\infty\)-categories
• Higher topological Hochschild homology of periodic complex K-theory
• On the relationship between logarithmic TAQ and logarithmic THH
• Splittings and calculational techniques for higher THH
• scientific article; zbMATH DE number 1390045 (Why is no real title available?)
• Cartier modules and cyclotomic spectra
• Detecting and describing ramification for structured ring spectra
• Extension DGAs and topological Hochschild homology
• Homotopy theory. Abstracts from the workshop held August 6--11, 2023
• The May filtration on THH and faithfully flat descent
• Relative Loday constructions and applications to higher \(\mathsf{THH}\)-calculations
• Adjunction of roots, algebraic K-theory and chromatic redshift
• Higher Hochschild cohomology of the Lubin-Tate ring spectrum

This page was built for publication: THH and base-change for Galois extensions of ring spectra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q518810)