Chromatic Redshift John Rognes Department of Mathematics University of Oslo, Norway MSRI/January 2014 John Rognes (UiO) Chromatic Redshift MSRI/January 2014 1 / 54 Outline 1 K-Theoretical Redshift Iteration, Height and Nesting Redshift in Algebraic K-Theory Spectral Lichtenbaum–Quillen Conjectures 2 Topological Cyclic Redshift The Cyclotomic Trace Map Circle-Equivariant Redshift Beyond Elliptic Cohomology 3 Variations Waldhausen’s Localization Tower Infinite Complexity Higher Redshift John Rognes (UiO) Chromatic Redshift MSRI/January 2014 2 / 54 Outline 1 K-Theoretical Redshift Iteration, Height and Nesting Redshift in Algebraic K-Theory Spectral Lichtenbaum–Quillen Conjectures 2 Topological Cyclic Redshift The Cyclotomic Trace Map Circle-Equivariant Redshift Beyond Elliptic Cohomology 3 Variations Waldhausen’s Localization Tower Infinite Complexity Higher Redshift John Rognes (UiO) Chromatic Redshift MSRI/January 2014 3 / 54 Iterated Modulation R, +, × commutative ring Mod(R), ⊕, ⊗ bipermutative category Mod(Mod(R)) ring-like 2-category ... Mod(n) (R) ring-like n-category ... John Rognes (UiO) Chromatic Redshift MSRI/January 2014 4 / 54 Iterated K-Theory B commutative S-algebra K (B) algebraic K -theory spectrum K (K (B)) double algebraic K -theory ... K (n) (B) n-fold algebraic K -theory ... John Rognes (UiO) Chromatic Redshift MSRI/January 2014 5 / 54 Height of Formal Group Laws Hesselholt–Madsen ’97: Chromatic filtration of iterated topological cyclic homology? Chromatic filtration of iterated algebraic K -theory? Formal coproduct on K (n) (B)∗ (CP ∞ )? F (x1 , x2 ) = x1 + x2 + . . . n . [p]F (x) = x p + . . . John Rognes (UiO) formal group law height n Chromatic Redshift MSRI/January 2014 6 / 54 Redshift B K 7−→ K (B) ring spectrum ring spectrum FGL of height n FGL of height n + 1 vn -periodic vn+1 -periodic |vn | = 2pn − 2 < |vn+1 | = 2pn+1 − 2 longer wavelength, less energy John Rognes (UiO) Chromatic Redshift MSRI/January 2014 7 / 54 (Co-)Homological Incarnation Nested Hopf subalgebras 0 ⊂ · · · ⊂ E (n) = E(Q0 , . . . , Qn ) ⊂ · · · in Steenrod algebra A = H ∗ (H). Nested A∗ -comodule subalgebras A∗ ⊃ · · · ⊃ (A //E (n))∗ = P(ξ¯k | k ≥ 1) ⊗ E(τ̄k | k > n) ⊃ · · · invariant under Dyer–Lashof operations on A∗ = H∗ (H). John Rognes (UiO) Chromatic Redshift MSRI/January 2014 8 / 54 Outline 1 K-Theoretical Redshift Iteration, Height and Nesting Redshift in Algebraic K-Theory Spectral Lichtenbaum–Quillen Conjectures 2 Topological Cyclic Redshift The Cyclotomic Trace Map Circle-Equivariant Redshift Beyond Elliptic Cohomology 3 Variations Waldhausen’s Localization Tower Infinite Complexity Higher Redshift John Rognes (UiO) Chromatic Redshift MSRI/January 2014 9 / 54 K of Finite Fields Finite field k , characteristic p > 0 Theorem (Quillen ’72) Hi (BGL(k̄ ); Fp ) = 0 for i > 0. K (k̄ )p ' HZp π∗ K (k )p = π∗ K (k̄ )phGk for ∗ ≥ 0 K (k )p ' HZp Mult. by p injective on π∗ K (k̄ )p and π∗ K (k )p p ∈ π0 S lifts v0 ∈ π0 BP. John Rognes (UiO) Chromatic Redshift MSRI/January 2014 10 / 54 Lichtenbaum Conjecture Separably closed field F̄ , characteristic 6= p Conjecture (Lichtenbaum) πt K (F̄ )p = Zp for t ≥ 0 even, 0 for t odd. Proved by Suslin ’84 K (F̄ )p ' kup L̂1 K (F̄ ) ' KUp where L̂n = LK (n) Mult. by u ∈ π2 kup bijective on π∗ K (F̄ )p for ∗ ≥ 0. John Rognes (UiO) Chromatic Redshift MSRI/January 2014 11 / 54 K of Number Rings Number field F , ring of S-integers A /F O AO Z John Rognes (UiO) / Z[1/p] Chromatic Redshift /Q MSRI/January 2014 12 / 54 Quillen Conjecture Conjecture (Quillen ’75) −s 2 Es,t = Hét (Spec A; Zp (t/2)) =⇒ πs+t K (A)p converging for s + t ≥ 1. Zp (t/2) = πt K (F̄ )p π∗ K (F )p = π∗ K (F̄ )phGF for ∗ ≥ 1 Mult. by β ∈ π2p−2 (S/p) bijective on π∗ (K (A); Z/p), for ∗ ≥ 1 β lifts u p−1 ∈ π∗ (ku; Z/p) and v1 ∈ π∗ BP. John Rognes (UiO) Chromatic Redshift MSRI/January 2014 13 / 54 Partial and Full Verifications Thomason ’85: π∗ (K (F ); Z/p)[1/β] = π∗ (K (F̄ )hGF ; Z/p) for ∗ ≥ 2. Waldhausen ’84: Is K (A) → L1 K (A) a p-adic equivalence in high degrees, where Ln = LE(n) ? Bökstedt–Madsen ’94, ’95, R. ’99, Hesselholt–Madsen ’03: Confirmed for local number fields. Voevodsky ’03, ’11: Confirmed for (global number) fields by proof of Milnor and Bloch–Kato conjectures. John Rognes (UiO) Chromatic Redshift MSRI/January 2014 14 / 54 K of Topological K-Theory Adams summand L = E(1) of KU(p) , conn. cover ` = BPh1i Theorem (Ausoni-R. ’02) h V (1)∗ K (`p ) = P(v2 ) ⊗ E(λ1 , λ2 , ∂) ⊕ E(λ2 ) ⊗ Fp {λ1 t d | 0 < d < p} i ⊕ E(λ1 ) ⊗ Fp {λ2 t dp | 0 < d < p} in degrees ≥ 2p − 2, where (. . . ). John Rognes (UiO) Chromatic Redshift MSRI/January 2014 15 / 54 K of Topological K-Theory, II Adams summand L = E(1) of KU(p) , conn. cover ` = BPh1i Theorem (Ausoni-R. ’02, Ausoni ’10) V (1)∗ K (`p ) = (. . . ) and V (1)∗ K (kup ) = (. . . ). V (1) = S/(p, v1 ) = S ∪p e1 ∪α1 e2p−1 ∪p e2p Blumberg–Mandell ’08: Also V (1)∗ K (Lp ) and V (1)∗ K (KUp ) Mult. by v2 ∈ π2p2 −2 V (1) bijective on each answer, for ∗ ≥ 2p − 2 v2 lifts v2 ∈ π∗ BP. John Rognes (UiO) Chromatic Redshift MSRI/January 2014 16 / 54 Outline 1 K-Theoretical Redshift Iteration, Height and Nesting Redshift in Algebraic K-Theory Spectral Lichtenbaum–Quillen Conjectures 2 Topological Cyclic Redshift The Cyclotomic Trace Map Circle-Equivariant Redshift Beyond Elliptic Cohomology 3 Variations Waldhausen’s Localization Tower Infinite Complexity Higher Redshift John Rognes (UiO) Chromatic Redshift MSRI/January 2014 17 / 54 Quillen Conjecture, II `p -algebra of S-integers B Conjecture (à la Quillen/Voevodsky) −s 2 Es,t = Hmot (Spec B; Fp2 (t/2)) =⇒ V (1)s+t K (B) converging for s + t 0. ∗ (−) motivic cohomology for commutative S-algebras? Hmot Fp2 (t/2) = V (1)t E2 , where π∗ E2 = WFp2 [[u1 ]][u ±1 ] Need Fp2 due to sign in Ausoni’s relation bp−1 = −v2 . John Rognes (UiO) Chromatic Redshift MSRI/January 2014 18 / 54 `p -Algebra of Integers Definition (`p -algebra of integers B) A connected commutative `p -algebra over a Galois extension of Lp [1/p], semi-finite as `p -module. /M O BO G `p / Lp / Lp [1/p] Examples!? For S-integers, allow localizations. John Rognes (UiO) Chromatic Redshift MSRI/January 2014 19 / 54 `p -Algebraic Integers Definition (`p -algebraic integers Ω1 ) p-completed homotopy colimit of all such B. ΩO 1 /M O BO G `p / Lp O / Lp [1/p] Jp John Rognes (UiO) Chromatic Redshift MSRI/January 2014 20 / 54 Schloß Ringberg ’99 Conjecture Conjecture (à la Lichtenbaum/Suslin) Mult. by v2 bijective on V (1)∗ K (B) for ∗ 0. V (1)∗ K (Ω1 ) = V (1)∗ E2 for ∗ 0. L̂2 K (Ω1 ) ' E2 . For G-Galois B → Ω1 , expect V (1)∗ K (B) = V (1)∗ K (Ω1 )hG for ∗0 Ring spectrum map K (ku) → E2 ? John Rognes (UiO) Chromatic Redshift MSRI/January 2014 21 / 54 en -Algebra of Integers Lubin–Tate spectrum En , connective cover en Definition (en -algebra of integers B) A connected commutative en -algebra over a Galois extension of En [1/p], semi-finite as en -module. /M O BO G en John Rognes (UiO) / En / En [1/p] Chromatic Redshift MSRI/January 2014 22 / 54 en -Algebraic Integers Definition (en -algebraic integers Ωn ) p-completed homotopy colimit of all such B. ΩO n /M O BO G en / En O / En [1/p] L̂n S John Rognes (UiO) Chromatic Redshift MSRI/January 2014 23 / 54 Finite Localizations Hopkins–Smith ’98: Finite p-local spectrum F , with vn+1 self map v : Σd F → F . Miller ’92: Finite localization Lfn+1 annihilates finite E(n+1)-acyclic spectra. F∗ Lfn+1 X = F∗ X [1/v ] for any X . John Rognes (UiO) Chromatic Redshift MSRI/January 2014 24 / 54 Schloß Ringberg ’99 Conjecture, II en → B → Ωn and (F , v ) as above Conjecture Mult. by v bijective on F∗ K (B) for ∗ 0. K (B) → Lfn+1 K (B) a p-adic equivalence in high degrees. F∗ K (Ωn ) = F∗ En+1 for ∗ 0. L̂n+1 K (Ωn ) ' En+1 . John Rognes (UiO) Chromatic Redshift MSRI/January 2014 25 / 54 Outline 1 K-Theoretical Redshift Iteration, Height and Nesting Redshift in Algebraic K-Theory Spectral Lichtenbaum–Quillen Conjectures 2 Topological Cyclic Redshift The Cyclotomic Trace Map Circle-Equivariant Redshift Beyond Elliptic Cohomology 3 Variations Waldhausen’s Localization Tower Infinite Complexity Higher Redshift John Rognes (UiO) Chromatic Redshift MSRI/January 2014 26 / 54 Topological Hochschild Homology B commutative S-algebra ∼ functions on X THH(B) = B ⊗ S 1 topological Hochschild homology ∼ functions on free loop space L X 1 1 1 , THH(B))S homotopy fixed points THH(B)hS = F (ES+ 1 ∧ ∼ functions on Borel construction ES+ S1 L X 1 1 1 f ∧ F (ES 1 , THH(B))]S Tate construction THH(B)tS = [ES + ∼ functions on periodicized Borel construction. John Rognes (UiO) Chromatic Redshift MSRI/January 2014 27 / 54 Trace Maps THH(B)hCpn 8 K (B) O / THH(B)Cpn & / THH(B) tCpn+1 THH(B) John Rognes (UiO) Chromatic Redshift MSRI/January 2014 28 / 54 Trace Maps, II THH(B)hS p 9 K (B) O / THH(B) / TF (B; p) % THH(B)tS p John Rognes (UiO) 1 1 Chromatic Redshift MSRI/January 2014 29 / 54 Traces of Redshift No redshift in THH(B). 1 All redshift yet seen in K (B) also visible in THH(B)tS . Detectable in A∗ -coaction on homology. John Rognes (UiO) Chromatic Redshift MSRI/January 2014 30 / 54 Outline 1 K-Theoretical Redshift Iteration, Height and Nesting Redshift in Algebraic K-Theory Spectral Lichtenbaum–Quillen Conjectures 2 Topological Cyclic Redshift The Cyclotomic Trace Map Circle-Equivariant Redshift Beyond Elliptic Cohomology 3 Variations Waldhausen’s Localization Tower Infinite Complexity Higher Redshift John Rognes (UiO) Chromatic Redshift MSRI/January 2014 31 / 54 Homological Approach en -algebra of integers B Ho E(n) O / En O BPhni / en /B H∗ (en ) awkward for n ≥ 2 H∗ (BPhni) = P(ξ¯k | k ≥ 1) ⊗ E(τ̄k | k > n) Subalgebra of A∗ = P(ξ¯k | k ≥ 1) ⊗ E(τ̄k | k ≥ 0) H∗ (B) commutative H∗ (BPhni)-algebra John Rognes (UiO) Chromatic Redshift MSRI/January 2014 32 / 54 vn -Periodic Input Adams spectral sequence E2s,t (B) = Exts,t A∗ (Fp , H∗ (B)) =⇒ πt−s (B) algebra over E2∗,∗ = P(v0 , . . . , vn ) converging to π∗ BPhnip = Zp [v1 , . . . , vn ] generating vn -periodicity in π∗ (B). John Rognes (UiO) Chromatic Redshift MSRI/January 2014 33 / 54 Add Circle Action Circle action gives suspension operator σ. Bökstedt spectral sequence 2 Es,t (B) = HHs (H∗ (B))t =⇒ Hs+t (THH(B)) algebra over 2 E∗,∗ = H∗ (BPhni) ⊗ E(σ ξ¯k | k ≥ 1) ⊗ Γ(στ̄k | k > n) converging to H∗ (THH(BPhni)). John Rognes (UiO) Chromatic Redshift MSRI/January 2014 34 / 54 Differentials and Extensions Dyer–Lashof operations k Q p (τ̄k ) = τ̄k +1 imply multiplicative extensions (στ̄k )p = στ̄k +1 and differentials . d p−1 (γj στ̄k ) = σ ξ¯k +1 · γj−p στ̄k p ∞ converging to for k > n, j ≥ p, leaving E∗,∗ = E∗,∗ H∗ (THH(BPhni)) = H∗ (BPhni) ⊗ E(σ ξ¯1 , . . . , σ ξ¯n+1 ) ⊗ P(στ̄n+1 ) . John Rognes (UiO) Chromatic Redshift MSRI/January 2014 35 / 54 Remove Circle Action Homological Tate spectral sequence 1 2 c Es,t (B) = Ĥ −s (S 1 ; Ht (THH(B))) =⇒ Hs+t (THH(B)tS ) algebra over 2 E∗,∗ = P(t ±1 ) ⊗ H∗ (THH(BPhni)) 1 converging to H∗c (THH(BPhni)tS ). John Rognes (UiO) Chromatic Redshift MSRI/January 2014 36 / 54 Differentials, II Circle invariance gives differentials d 2 (t i · x) = t i+1 · σx leaving p 3 = P(t ±1 ) ⊗ P(ξ¯1p , . . . , ξ¯n+1 , ξ¯k | k > n+1) E∗,∗ p−1 ¯ σ ξn+1 ) ⊗ E(τk0 | k > n+1) ⊗ E(ξ¯1p−1 σ ξ¯1 , . . . , ξ¯n+1 where τk0 = τ̄k − τ̄k −1 (στ̄k −1 )p−1 for k > n+1. John Rognes (UiO) Chromatic Redshift MSRI/January 2014 37 / 54 (E 2 , d 2 )-Charts O t · ξ¯kp−1 σ ξ¯k O t · (στ̄n+1 )p ck ξ¯kp t · σ ξ¯k g τ̄n+1 (στ̄n+1 )p−1 , τ̄n+2 t · στ̄n+1 g ξ¯ k 1 τ̄n+1 1 1≤k ≤n+1 John Rognes (UiO) Chromatic Redshift MSRI/January 2014 38 / 54 Extensions, II Bruner–R. ’05: Often collapses at E 3 = E ∞ . Lunøe-Nielsen–R. ’11, ’12, Knut Berg: Often A∗ -comodule extensions combining copies of p P(ξ¯1p , . . . , ξ¯n+1 , ξ¯k | k > n+1) ⊗ E(τk0 | k > n+1) to P(ξ¯k | k ≥ 1) ⊗ E(τk0 | k > n+1) ∼ = H∗ (BPhn+1i) . Lose τ̄n+1 to kill στ̄n+1 . John Rognes (UiO) Chromatic Redshift MSRI/January 2014 39 / 54 vn+1 -Periodic Output 1 1 H∗c (THH(B)tS ) algebra over H∗c (THH(BPhni)tS ), typically with associated graded P(t ±p n+1 ) ⊗ H∗ (BPhn+1i) ⊗ E(ν1 , . . . , νn+1 ) . Limit of Adams spectral sequences 1 s,t (Fp , H∗c (THH(B)tS )) =⇒ πt−s THH(B)tS E2s,t (B) = ExtA ∗ 1 algebra over E2∗,∗ (BPhni), containing factors like ∗,∗ ExtA (Fp , H∗ (BPhn+1i)) = P(v0 , . . . , vn , vn+1 ) . ∗ John Rognes (UiO) Chromatic Redshift MSRI/January 2014 40 / 54 State of Affairs Room for differentials due to exterior factor E(ν1 , . . . , νn+1 ). Might truncate the periodic vn+1 -action. Empirically this does not happen. A general explanation is currently lacking. John Rognes (UiO) Chromatic Redshift MSRI/January 2014 41 / 54 Outline 1 K-Theoretical Redshift Iteration, Height and Nesting Redshift in Algebraic K-Theory Spectral Lichtenbaum–Quillen Conjectures 2 Topological Cyclic Redshift The Cyclotomic Trace Map Circle-Equivariant Redshift Beyond Elliptic Cohomology 3 Variations Waldhausen’s Localization Tower Infinite Complexity Higher Redshift John Rognes (UiO) Chromatic Redshift MSRI/January 2014 42 / 54 Hyperelliptic Cohomology Topological modular forms tmf . π∗ (tmf ) is v2 -periodic. 1 Do π∗ K (tmf ) and π∗ THH(tmf )tS detect v3 -periodic families in π∗ S? Work in progress for p = 2 with Bruner ’08. John Rognes (UiO) Chromatic Redshift MSRI/January 2014 43 / 54 Outline 1 K-Theoretical Redshift Iteration, Height and Nesting Redshift in Algebraic K-Theory Spectral Lichtenbaum–Quillen Conjectures 2 Topological Cyclic Redshift The Cyclotomic Trace Map Circle-Equivariant Redshift Beyond Elliptic Cohomology 3 Variations Waldhausen’s Localization Tower Infinite Complexity Higher Redshift John Rognes (UiO) Chromatic Redshift MSRI/January 2014 44 / 54 Chromatic and Telescopic Localizations EO n KUp O Z× p Gn Jp L̂nO S O HQ O ' S(p) / ... / Lf S n / Lf n−1 S / ... / Lf S 1 / Lf S 0 ' Ravenel’s Telescope Conjecture ’84: Lfn S −→ Ln S ? True for n ≤ 1. Mahowald–Ravenel–Shick ’01: Probably false for n ≥ 2. John Rognes (UiO) Chromatic Redshift MSRI/January 2014 45 / 54 K-Theory Localization Tower Theorem (Waldhausen ’84, trading Ln for Lfn ) Tower of fiber sequences for n ≥ 1 K (S(p) ) / ... K (Cn , wn ) ... / K (Lf S) n / K (Lf S) n−1 / ... / K (Q) Cn category of finite spectra of type ≥ n wn subcategory of E(n)-equivalences John Rognes (UiO) Chromatic Redshift MSRI/January 2014 46 / 54 Monochromatic K-Theory Knsm category of small K (n)-local spectra Endf category of En -module spectra with each πi finite Proposition (Hovey–Strickland ’99) (Cn , wn ) → (Knsm , h) is an idempotent completion. πi K (Cn , wn ) ∼ = πi K (Knsm ) for i > 0. Base change along L̂n S → En takes Knsm to Endf . Conjecture (à la wishful thinking) K (Knsm ) −→ K (Endf )hGn close to an equivalence. John Rognes (UiO) Chromatic Redshift MSRI/January 2014 47 / 54 Broken Dévissage Express K (Endf ) using K of En and localizations. n = 1 for simplicity. Barwick: Fiber sequence K (E1df ) −→ K (KUp ) −→ K (KUp [1/p]) . Ausoni–R. ’12: Transfer map K (KU/p) −→ K (E1df ) is far from an equivalence. John Rognes (UiO) Chromatic Redshift MSRI/January 2014 48 / 54 Congregation K (Endf ) O / K (En ) Gn K (Cn , wn ) / K (K sm ) n ... & / K (Lf S) n / K (Lf S) n−1 / ... K (En ) governs change in K -theory along Lfn S → Lfn−1 S. John Rognes (UiO) Chromatic Redshift MSRI/January 2014 49 / 54 Outline 1 K-Theoretical Redshift Iteration, Height and Nesting Redshift in Algebraic K-Theory Spectral Lichtenbaum–Quillen Conjectures 2 Topological Cyclic Redshift The Cyclotomic Trace Map Circle-Equivariant Redshift Beyond Elliptic Cohomology 3 Variations Waldhausen’s Localization Tower Infinite Complexity Higher Redshift John Rognes (UiO) Chromatic Redshift MSRI/January 2014 50 / 54 K of the Sphere Spectrum Waldhausen et al.: K (S) geometrically important. R. ’02: Compute A -module H ∗ (K (S)) for p = 2. R. ’03: Compute A -module H ∗ (K (S)) for p regular, up to an extension. Gives π∗ K (S)p in a range. As complicated as π∗ S. John Rognes (UiO) Chromatic Redshift MSRI/January 2014 51 / 54 K of Complex Bordism S → MU → H halfway house. S is totalization of cosimplicial spectrum [q] 7→ MU ∧ MU ∧q . Is K (S) close to totalization of [q] 7→ K (MU ∧ MU ∧q ) ? Seek conceptual understanding of K (S) by Hopf–Galois descent from K (MU). Pursued by Bruner–R. ’05, R. ’08, R. ’09 and Lunøe-Nielsen–R. ’11. John Rognes (UiO) Chromatic Redshift MSRI/January 2014 52 / 54 Outline 1 K-Theoretical Redshift Iteration, Height and Nesting Redshift in Algebraic K-Theory Spectral Lichtenbaum–Quillen Conjectures 2 Topological Cyclic Redshift The Cyclotomic Trace Map Circle-Equivariant Redshift Beyond Elliptic Cohomology 3 Variations Waldhausen’s Localization Tower Infinite Complexity Higher Redshift John Rognes (UiO) Chromatic Redshift MSRI/January 2014 53 / 54 Higher Redshift B commutative S-algebra, G Lie group of rank k . Study B 7−→ (B ⊗ G)hG or Tate-like construction. Expect shift from vn - to vn+k -periodicity. Carlsson–Dundas et al. ’10, ’11: G = T k . R. ’11: General G. R. ’08, Torleif Veen ’13: Partial verifications. John Rognes (UiO) Chromatic Redshift MSRI/January 2014 54 / 54