The nilpotence theorem for the algebraic \(K\)-theory of the sphere spectrum (Q2405504)

Algebraic \(K\)-theory is defined as homotopy theory of \(K\)-theory spectrum. \(K(\mathbb Z)\) and \(K(\mathbb S)\) are \(E_\infty\) ring spectra and the graded \(K\)-theory ring \(K_*(\mathbb S) = \pi_*K(\mathbb S)\) and \(K_*(\mathbb Z)= \pi_*K(\mathbb Z)\) are commutative. In the paper the authors proved that in the graded commutative ring \(K_*(\mathbb S)\), the positive degree elements are multiplicatively nilpotent (Theorem 1) and similarly for \(K_*(\mathbb Z)\) and topological cyclic homology \(TC_*(\mathbb S)\) (Theorem 2). The authors showed that \(K_{n(p-1)}(\mathbb Z) \otimes \mathbb Z_{(p)} = 0\) for all odd prime \(p\) and \(n>0\). In the topological cyclic homology all the nonzero degree elements of \(\pi_*TC(\mathbb S)^\wedge_p\) are nilpotent (Theorem 2.3). From this Theorem 1 is easily deduced (Lemma 1).