On the K-Theory of Local Fields

On the K-Theory of Local Fields

Annals of Mathematics, 158 (2003), 1–113 On the K-theory of local fields By Lars Hesselholt and Ib Madsen* Contents Introduction 1. Topological Hochschild homology and localization 2. The homotopy groups of T (A|K) · 3. The de Rham-Witt complex and TR∗(A|K; p) 4. Tate cohomology and the Tate spectrum 5. The Tate spectral sequence for T (A|K) · v 6. The pro-system TR∗(A|K; p, Z/p ) Appendix A. Truncated polynomial algebras References Introduction In this paper we establish a connection between the Quillen K-theory of certain local fields and the de Rham-Witt complex of their rings of integers with logarithmic poles at the maximal ideal. The fields K we consider are complete discrete valuation fields of characteristic zero with perfect residue field k of characteristic p>2. When K contains the pv-th roots of unity, the relationship between the K-theory with Z/pv-coefficients and the de Rham- Witt complex can be described by a sequence ···→ Z v → ∗ ⊗ 1−→−F ∗ ⊗ −→∂ · · · K∗(K, /p ) Wω(A,M) SZ/pv (µpv ) Wω(A,M) SZ/pv (µpv ) ≥ O ∗ which is exact in degrees 1. Here A = K is the valuation ring and Wω(A,M) is the de Rham-Witt complex of A with log poles at the maximal ideal. The v factor SZ/pv (µpv )isthe symmetric algebra of µpv considered as a Z/p -module located in degree two. Using this sequence, we evaluate the K-theory with Z/pv-coefficients of K. The result, which is valid also if K does not con- ∗ The first named author was supported in part by NSF Grant and the Alfred P. Sloan Founda- tion. The second named author was supported in part by The American Institute of Mathematics. 2 LARS HESSELHOLT AND IB MADSEN tain the pv-th roots of unity, verifies the Lichtenbaum-Quillen conjecture for K, [26], [38]: Theorem A. There are natural isomorphisms for s ≥ 1, Z v 0 ⊗s ⊕ 2 ⊗(s+1) K2s(K, /p )=H (K, µpv ) H (K, µpv ), Z v 1 ⊗s K2s−1(K, /p )=H (K, µpv ). The Galois cohomology on the right can be effectively calculated when k is finite, or equivalently, when K is a finite extension of Qp, [42]. For m prime to p, Ki(K, Z/m)=Ki(k, Z/m) ⊕ Ki−1(k, Z/m) by Gabber-Suslin, [44], and for k finite, the K-groups on the right are known by Quillen, [36]. Forany linear category with cofibrations and weak equivalences in the sense of [48], one has the cyclotomic trace tr: K(C) → TC(C; p) from K-theory to topological cyclic homology, [7]. It coincides in the case of the exact category of finitely generated projective modules over a ring with the original definition in [3]. The exact sequence above and Theorem A are v based upon calculations of TC∗(C; p, Z/p ) for certain categories associated with the field K. Let A = OK be the valuation ring in K, and let PA be the category of finitely generated projective A-modules. We consider three b P categories with cofibrations and weak equivalences: the category Cz( A)of bounded complexes in PA with homology isomorphisms as weak equivalences, b P q the subcategory with cofibrations and weak equivalences Cz( A) of complexes b P whose homology is torsion, and the category Cq ( A)ofbounded complexes in PA with rational homology isomorphisms as weak equivalences. One then has a cofibration sequence of K-theory spectra b P q −→i! b P −→j b P −→∂ b P q K(Cz( A) ) K(Cz( A)) K(Cq ( A)) ΣK(Cz( A) ), and by Waldhausen’s approximation theorem, the terms in this sequence may be identified with the K-theory of the exact categories Pk, PA and PK . The associated long-exact sequence of homotopy groups is the localization sequence of [37], i! j∗ ∂ ...→ Ki(k) −→ Ki(A) −→ Ki(K) −→ Ki−1(k) → ... The map ∂ is a split surjection by [15]. We show in Section 1.5 below that one has a similar cofibration sequence of topological cyclic homology spectra b P q −→i! b P −→j b P −→∂ b P q TC(Cz( A) ; p) TC(Cz( A); p) TC(Cq ( A); p) ΣTC(Cz( A) ; p), ON THE K-THEORY OF LOCAL FIELDS 3 and again Waldhausen’s approximation theorem allows us to identify the first two terms on the left with the topological cyclic homology of the exact cate- gories Pk and PA. But the third term is different from the topological cyclic homology of PK .Wewrite | b P TC(A K; p)=TC(Cq ( A); p), and we then have a map of cofibration sequences i! j∗ ∂ K(k) −→ K(A) −→ K(K) −→ ΣK(k) tr tr tr ↓ tr j∗ TC(k; p) −→i! TC(A; p) −→ TC(A|K; p) −→∂ ΣTC(k; p). By [19, Th. D], the first two vertical maps from the left induce isomorphisms of homotopy groups with Z/pv-coefficients in degrees ≥ 0. It follows that the remaining two vertical maps induce isomorphisms of homotopy groups with Z/pv-coefficients in degrees ≥ 1, v ∼ v tr: Ki(K, Z/p ) −→ TCi(A|K; p, Z/p ),i≥ 1. It is the right-hand side we evaluate. The spectrum TC(C; p)isdefined as the homotopy fixed points of an operator called Frobenius on another spectrum TR(C; p); so there is a natural cofibration sequence − TC(C; p) → TR(C; p) 1−→F TR(C; p) → Σ TC(C; p). The spectrum TR(C; p), in turn, is the homotopy limit of a pro-spectrum · TR (C; p), its homotopy groups given by the Milnor sequence → 1 · C → C → · C → 0 lim←− TRs+1( ; p) TRs( ; p) lim←− TRs( ; p) 0, R R and there are maps of pro-spectra F :TRn(C; p) → TRn−1(C; p), V :TRn−1(C; p) → TRn(C; p). The spectrum TR1(C; p)isthe topological Hochschild homology T (C). It has an action by the circle group T and the higher levels in the pro-system by definition are the fixed sets of the cyclic subgroups of T of p-power order, C − TRn(C; p)=T (C) pn 1 . The map F is the obvious inclusion and V is the accompanying transfer. The structure map R in the pro-system is harder to define and uses the so-called cyclotomic structure of T (C); see Section 1.1 below. 4 LARS HESSELHOLT AND IB MADSEN · The homotopy groups TR∗(A|K; p)ofthis pro-spectrum with its various operators have a rich algebraic structure which we now describe. The descrip- tion involves the notion of a log differential graded ring from [24]. A log ring (R, M)isaring R with a pre-log structure, defined as a map of monoids α: M → (R, · ), and a log differential graded ring (E∗,M)isadifferential graded ring E∗,a pre-log structure α: M → E0 and a map of monoids d log: M → (E1, +) which satisfies d ◦ d log = 0 and dα(a)=α(a)d log a for all a ∈ M. There is a universal log differential graded ring with underlying log ring (R, M): the de ∗ Rham complex with log poles ω(R,M). 1 The groups TR∗(A|K; p) form a log differential graded ring whose under- lying log ring is A = OK with the canonical pre-log structure given by the inclusion α: M = A ∩ K× → A. We show that the canonical map ∗ → 1 | ω(A,M) TR∗(A K; p) is an isomorphism in degrees ≤ 2 and that the left-hand side is uniquely di- visible in degrees ≥ 2. We do not know a natural description of the higher homotopy groups, but we do for the homotopy groups with Z/p-coefficients. The Bockstein 1 | Z −→∼ 1 | TR2(A K; p, /p) pTR1(A K; p) is an isomorphism, and we let κ be the element on the left which corresponds to 1 the class d log(−p)onthe right. The abstract structure of the groups TR∗(A; p) was determined in [27]. We use this calculation in Section 2 below to show: Theorem B. There is a natural isomorphism of log differential graded rings ∗ ⊗ { } −→∼ 1 | Z ω(A,M) Z SFp κ TR∗(A K; p, /p), where dκ = κd log(−p). n The higher levels TR∗ (A|K; p) are also log differential graded rings. The underlying log ring is the ring of Witt vectors Wn(A) with the pre-log structure α M −→ A → Wn(A), where the right-hand map is the multiplicative section an =(a, 0,...,0). The maps R, F and V extend the restriction, Frobenius and Verschiebung of Witt vectors. Moreover, n n−1 F :TR∗ (A|K; p) → TR∗ (A|K; p) ON THE K-THEORY OF LOCAL FIELDS 5 is a map of pro-log graded rings, which satisfies ∈ ∩ × Fdlogn a = d logn−1 a, for all a M = A K , p−1 ∈ Fdan = an−1dan−1, for all a A, · and V is a map of pro-graded modules over the pro-graded ring TR∗(A|K; p), ∗ n−1 n V : F TR∗ (A|K; p) → TR∗ (A|K; p). Finally, FdV = d, F V = p. The algebraic structure described here makes sense for any log ring (R, M), and we show that there exists a universal example: the de Rham-Witt pro- ∗ complex with log poles W· ω(R,M).For log rings of characteristic p>0, a different construction has been given by Hyodo-Kato, [23].

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    113 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us