skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Topological Cyclic Homology Via the Norm
We describe a construction of the cyclotomic structure on topological Hochschild homology (THH) of a ring spectrum using the Hill-Hopkins-Ravenel multiplicative norm. Our analysis takes place entirely in the category of equivariant orthogonal spectra, avoiding use of the Bökstedt coherence machinery. We are also able to define two relative versions of topological cyclic homology (TC) and TR-theory: one starting with a ring C_n-spectrum and one starting with an algebra over a cyclotomic commutative ring spectrum A. We describe spectral sequences computing the relative theory over A in terms of TR over the sphere spectrum and vice versa. Furthermore, our construction permits a straightforward definition of the Adams operations on TR and TC.  more » « less
Award ID(s):
1810575
PAR ID:
10112392
Author(s) / Creator(s):
; ; ; ; ;
Date Published:
Journal Name:
Documenta mathematica
Volume:
23
ISSN:
1431-0635
Page Range / eLocation ID:
2101-2163
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. The topological Hochschild homology of a ring (or ring spectrum) R is an S1-spectrum, and the fixed points of THH(R) for subgroups C_n of S1 have been widely studied due to their use in algebraic K-theory computations. Hesselholt and Madsen proved that the fixed points of topological Hochschild homology are closely related to Witt vectors. Further, they defined the notion of a Witt complex, and showed that it captures the algebraic structure of the homotopy groups of the fixed points of THH. Recent work defines a theory of twisted topological Hochschild homology for equivariant rings (or ring spectra) that builds upon Hill, Hopkins and Ravenel's work on equivariant norms. In this paper, we study the algebraic structure of the equivariant homotopy groups of twisted THH. In particular, drawing on the definition of equivariant Witt vectors by Blumberg, Gerhardt, Hill and Lawson, we define an equivariant Witt complex and prove that the equivariant homotopy of twisted THH has this structure. Our definition of equivariant Witt complexes contributes to a growing body of research in the subject of equivariant algebra. 
    more » « less
  2. Let p ∈ Z p\in {\mathbb {Z}} be an odd prime. We show that the fiber sequence for the cyclotomic trace of the sphere spectrum S {\mathbb {S}} admits an “eigensplitting” that generalizes known splittings on K K -theory and T C TC . We identify the summands in the fiber as the covers of Z p {\mathbb {Z}}_{p} -Anderson duals of summands in the K ( 1 ) K(1) -localized algebraic K K -theory of Z {\mathbb {Z}} . Analogous results hold for the ring Z {\mathbb {Z}} where we prove that the K ( 1 ) K(1) -localized fiber sequence is self-dual for Z p {\mathbb {Z}}_{p} -Anderson duality, with the duality permuting the summands by i ↦ p − i i\mapsto p-i (indexed mod p − 1 p-1 ). We explain an intrinsic characterization of the summand we call Z Z in the splitting T C ( Z ) p ∧ ≃ j ∨ Σ j ′ ∨ Z TC({\mathbb {Z}})^{\wedge }_{p}\simeq j \vee \Sigma j’\vee Z in terms of units in the p p -cyclotomic tower of Q p {\mathbb {Q}}_{p} . 
    more » « less
  3. Let p∈Z be an odd prime. We prove a spectral version of Tate–Poitou duality for the algebraic K-theory spectra of number rings with p inverted. This identifies the homotopy type of the fiber of the cyclotomic trace K(OF)∧p→TC(OF)∧p after taking a suitably connective cover. As an application, we identify the homotopy type at odd primes of the homotopy fiber of the cyclotomic trace for the sphere spectrum in terms of the algebraic K-theory of Z. 
    more » « less
  4. Several authors have studied homomorphisms from first homology groups of modular curves to$$K_2(X)$$, with$$X$$either a cyclotomic ring or a modular curve. These maps send Manin symbols in the homology groups to Steinberg symbols of cyclotomic or Siegel units. We give a new construction of these maps and a direct proof of their Hecke equivariance, analogous to the construction of Siegel units using the universal elliptic curve. Our main tool is a$$1$$-cocycle from$$\mathrm {GL}_2(\mathbb {Z})$$to the second$$K$$-group of the function field of a suitable group scheme over$$X$$, from which the maps of interest arise by specialization. 
    more » « less
  5. null (Ed.)
    We construct a stable homotopy refinement of quantum annular homology, a link homology theory introduced by Beliakova, Putyra and Wehrli. For each $$r\geq ~2$$ we associate to an annular link $$L$$ a naive $$\mathbb {Z}/r\mathbb {Z}$$ -equivariant spectrum whose cohomology is isomorphic to the quantum annular homology of $$L$$ as modules over $$\mathbb {Z}[\mathbb {Z}/r\mathbb {Z}]$$ . The construction relies on an equivariant version of the Burnside category approach of Lawson, Lipshitz and Sarkar. The quotient under the cyclic group action is shown to recover the stable homotopy refinement of annular Khovanov homology. We study spectrum level lifts of structural properties of quantum annular homology. 
    more » « less