On the algebraic \(K\)-theory of the complex \(K\)-theory spectrum (Q967637): Difference between revisions

Let \(p\geq 5\) be a prime number, denote by \(\mathbb{Z}_p\) the \(p\)-adic integers and let \(ku_p\) denote the \(p\)-completed connective \(K\)-theory spectrum with coefficients \(ku_{p_*}=\mathbb{Z}_p[u]\) where \(|u|=2\). Let \(\ell_p\) be the Adams summand of \(ku_p\) with coefficients \(\ell_{p_*}=\mathbb{Z}_p[v_1]\) with \(v_1=u^{p-1}\). Furthermore, let \(V(1)_*K(\ell_p)\) be the \(\text{mod}(p,v_1)\) algebraic \(K\)-theory of the \(S\)-algebra \(\ell_p\). The author defines a higher Bott element \(b\in V(1)_*K(ku_p)\) of degree \(2p+2\) and proves the following theorem 1.1: The higher Bott element \(b\) is non-nilpotent and satisfies the relation \[ b^{p-1}=-v_2. \] Let \(P(b)\) denote the polynomial \(\mathbb{F}_p\)-sub-algebra of \(V(1)_*K(ku_p)\) generated by \(b\). Then there is a short exact sequence of graded \(P(b)\)-modules \[ 0\to \Sigma^{2p-3}\mathbb{F}_p\to V(1)_*K(ku_p)\to F\to 0, \] where \(\Sigma^{2p-3}\mathbb{F}_p\) is the sub-module of \(b\)-torsion elements and \(F\) is a free \(P(b)\)-module on \(8+4(p-1)\) generators. On the other hand, the author studies the tamely ramified extension \(\ell_p\to ku_p\) of commutative \(S\)-algebras and proves the following proposition 1.2: Let \(i_*:V(1)_*K(\ell_p)\to V(1)_*K(ku_p)\) be the induced homomorphism. {\parindent5mm \begin{itemize}\item[1)] The homomorphism \(i_*\) factors through an isomorphism \[ V(1)_*K(\ell_p)\cong (V(1)_*K(ku_p))^\Delta \subset V(1)_*K(ku_p) \] onto the classes fixed by the Galois group. The higher Bott element \(b\) is not fixed under the action of \(\Delta\). \item[2)] The homomorphism \[ \mu:P(b)\otimes_{P(v_2)} V(1)_*K(\ell_p)\to V(1)_*K(ku_p) \] induced by \(i_*\) and the \(P(b)\)-action, has finite kernel and cokernel, and is an isomorphism in degrees larger that \(2p^2-4\). This becomes an isomorphism when localizing away from \(b\). \end{itemize}}