\(K\)-theoretic Tate-Poitou duality and the fiber of the cyclotomic trace (Q785928)

From MaRDI portal
scientific article
Language Label Description Also known as
English
\(K\)-theoretic Tate-Poitou duality and the fiber of the cyclotomic trace
scientific article

    Statements

    \(K\)-theoretic Tate-Poitou duality and the fiber of the cyclotomic trace (English)
    0 references
    0 references
    0 references
    12 August 2020
    0 references
    Tate-Poitou duality relates the étale cohomology of \(S\)-integers in number fields to the étale cohomology of their completions at certain primes and can be phrased in the form of a nine-term exact sequence in which the relative terms are given by Pontryagin duals of étale cohomology groups of the ring of integers. The present article lifts this exact sequence to a spectrum-level statement. The starting point is a theorem of Thomason which describes the relevant étale cohomology groups of the \(S\)-integers and their completions as the homotopy groups of the \(K(1)\)-localisation of the respective algebraic \(K\)-theory spectra. Using Brown-Comenetz or Anderson duality also allows to give a spectrum-level model of the relative terms. Having identified spectrum-level models of the relevant terms, the main theorem asserts that these spectra fit into a cofibre sequence which provides the desired lifting. Using the theorem of Dundas-Goodwillie-McCarthy, results of Hesselholt-Madsen [9] on the compatibility of topological cyclic homology with \(p\)-adic completions and the Quillen-Lichtenbaum conjecture, they identify for every odd prime the connective cover of the homotopy fibre of the cyclotomic trace map \(K(\mathbb{S})^\wedge_p \to \mathrm{TC}(\mathbb{S})^\wedge_p\) with the connective cover of \(\Sigma^{-1}I_{\mathbb{Z}^\wedge_p}(L_{K(1)}K(\mathbb{Z}))\), where \(L_{K(1)}\) denotes \(K(1)\)-localisation and \(I_{\mathbb{Z}^\wedge_p}\) indicates the Anderson dual. They also show that a similar statement holds for odd primes and rings of integers in arbitrary number fields.
    0 references
    Tate-Poitou duality
    0 references
    \(K(1)\)-localization
    0 references
    algebraic \(K\)-theory of the sphere spectrum
    0 references

    Identifiers