The slice spectral sequence for the C₄ analog of real K-theory

DOI10.1515/FORUM-2016-0017MaRDI QIDQ516949zbMATH OpenOpenAlexWikidataFDO

Authors Michael A. Hill, Michael J. Hopkins, Douglas C. Ravenel

Publication date 15 March 2017

Published in Forum Mathematicum (Search for Journal in Brave)

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

zbMATH Keywords

equivariant stable homotopy theoryKervaire invariantMackey functorslice spectral sequence

Mathematics Subject Classification ID

Stable homotopy theory, spectra (55P42) Stable homotopy groups (55Q10) Equivariant homotopy groups (55Q91) Homology and homotopy of (Bmathrm{O}) and (Bmathrm{U}); Bott periodicity (55R45) Spectral sequences in algebraic topology (55T99)

Abstract: We describe the slice spectral sequence of a 32-periodic $C_4$-spectrum $K_{[2]}$ related to the $C_4$ norm $$ of the real cobordism spectrum $$. We will give it as a spectral sequence of Mackey functors converging to the graded Mackey functor $underline{pi}_{\ast }{K}_{[2]}$, complete with differentials and exotic extensions in the Mackey functor structure. The slice spectral sequence for the 8-periodic real $K$-theory spectrum $$ was first analyzed by Dugger. The $C_8$ analog of $K_{[2]}$ is 256-periodic and detects the Kervaire invariant classes $het{a}_j$ in the stable homotopy groups of spheres. A partial analysis of its slice spectral sequence led to the solution to the Kervaire invariant problem, namely the theorem that $het{a}_j$ does not exist for $jgeq7$.

Review text

In their important and influential paper [Ann. Math. (2) 184, No. 1, 1--262 (2016; Zbl 1366.55007)], the authors of the paper under review solved the Kervaire invariant problem in all dimensions except 126. In the present paper, they analyze the equivariant homotopy groups of a 32-periodic \(C_4\)-equivariant spectrum \(K_{[2]}\) which is related to the spectrum that was used to detect the Kervaire invariant elements. The authors' motivation for considering the spectrum \(K_{[2]}\) is that it is part of a family of spectra \(K_{[n]}\) which arise in the following way. The complex cobordism spectrum MU can be viewed as a \(C_2\)-equivariant spectrum. By a norm construction, it gives rise to a \(C_{2^n}\)-equivariant spectrum \(N^{2^n}_2\)MU whose underlying non-equivariant spectrum is a smash power of MU. Then \(k_{[n]}\) is defined to be the \(C_{2^n}\)-equivariant spectrum obtained by killing all polynomial generators in the homotopy groups of \(N^{2^n}_2\)MU above degree \(2\). The spectrum \(K_{[n]}\) is the mapping telescope of \(k_{[n]}\) formed with respect to a certain equivariant homotopy class \(D\), and the spectrum KO\(_{[n]}\) is defined to be the fixed point spectrum of \(K_{[n]}\). The interest in these spectra comes from the fact that the \(C_2\)-equivariant spectrum \(K_{[1]}\) is Atiyah's real \(K\)-theory spectrum \(K_{\mathbb R}\) and KO\(_{[1]}\) is the ordinary real \(K\)-theory spectrum KO, while KO\(_{[3]}\) shares important properties of the spectrum \(\Omega\) considered in [loc. cit.] and can be used to detect Kervaire invariant elements. The last open case of the Kervaire invariant problem draws attention to the 126-stem of the spectrum KO\(_{[3]}\), whose computation is currently out of reach. The paper under review addresses the easier computation of the equivariant homotopy groups of the \(C_4\)-equivariant spectrum \(K_{[2]}\), and the authors hope that some of the techniques developed here may become relevant for the analysis of \(K_{[3]}\) and KO\(_{[3]}\). The body of the paper is concerned with setting up and analyzing the slice spectral sequences for \(k_{[2]}\) and \(K_{[2]}\), including its differentials and exotic Mackey functor extensions. These computations turn out to be considerably more complicated than the corresponding results for \(K_{[1]}\) established by \textit{D. Dugger} [\(K\)-Theory 35, No. 3--4, 213--256 (2005; Zbl 1109.14024)].

Recommendations

• Klein four 2-slices and the slices of \(\Sigma^{\pm n}H\underline{\mathbb{Z}}\)
• The Slice Spectral Sequence of a 𝐶₄-Equivariant Height-4 Lubin–Tate Theory
• The slice spectral sequence for certain \(RO(C_{p^n})\)-graded suspensions of \(H\underline{\mathbb{Z}}\)
• The localized slice spectral sequence, norms of real bordism, and the Segal conjecture
• Hurewicz images of real bordism theory and real Johnson-Wilson theories

Cites work

• K-THEORY AND REALITY
• An Atiyah-Hirzebruch spectral sequence for KR-theory
• scientific article; zbMATH DE number 3881486 (Why is no real title available?)
• scientific article; zbMATH DE number 3984103 (Why is no real title available?)
• scientific article; zbMATH DE number 4096404 (Why is no real title available?)
• scientific article; zbMATH DE number 3484889 (Why is no real title available?)
• scientific article; zbMATH DE number 937403 (Why is no real title available?)
• The slice spectral sequence for certain \(RO(C_{p^n})\)-graded suspensions of \(H\underline{\mathbb{Z}}\)
• The Structure of Mackey Functors

Cited in

(23)

• Slice filtration of certain \(C_{pq}\)-spectra
• The localized slice spectral sequence, norms of real bordism, and the Segal conjecture
• Klein four 2-slices and the slices of \(\Sigma^{\pm n}H\underline{\mathbb{Z}}\)
• Models of Lubin-Tate spectra via real bordism theory
• Generalized \(\mathbb{Z}\)-homotopy fixed points of \(C_n\) spectra with applications to norms of \(MU_{\mathbb{R}}\)
• Invertible \(K(2)\)-local \(E\)-modules in \(C_4\)-spectra
• Four approaches to cohomology theories with reality
• Computing equivariant homotopy with a splitting method
• Freeness and equivariant stable homotopy
• The \(\mathrm{RO}(C_4)\) cohomology of the infinite real projective space
• The Slice Spectral Sequence of a 𝐶₄-Equivariant Height-4 Lubin–Tate Theory
• Total power operations in spectral sequences
• RO(G)-graded homotopy fixed point spectral sequence for height 2 Morava E-theory
• The slices of quaternionic Eilenberg-Mac Lane spectra
• Equivariant cohomology of projective spaces
• On the structure of the \(RO(G)\)-graded homotopy of \(H \underline{M}\) for cyclic \(p\)-groups
• A stratification of the equivariant slice filtration
• On MU-homology of connective models of higher real K-theories
• The \(RO(C_{2^n})\)-graded homotopy of \(H\underline{\mathbb{Z}}\) through generalized Tate squares
• Vanishing lines in chromatic homotopy theory
• The \(RO(C_{2^n})\)-graded homotopy of \(H\underline{\mathbb{F}_2}\)
• The Galois-equivariant K-theory of finite fields
• Real orientations of Lubin-Tate spectra

This page was built for publication: The slice spectral sequence for the \(C_{4}\) analog of real \(K\)-theory

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