A computational reduction for many base cases in profinite telescopic algebraic $K$-theory
Abstract
For primes $p\geq 5 $, $K(KU_p)$ -- the algebraic $K$-theory spectrum of $(KU)^{\wedge}_p$, Morava $K$-theory $K(1)$, and Smith-Toda complex $V(1)$, Ausoni and Rognes conjectured (alongside related conjectures) that $L_{K(1)}S^0 \mspace{-1.5mu}\xrightarrow{\mspace{-2mu}\text{unit} \, i}~\mspace{-7mu}(KU)^{\wedge}_p$ induces a map $K(L_{K(1)}S^0) \wedge v_2^{-1}V(1) \to K(KU_p)^{h\mathbb{Z}^\times_p} \wedge v_2^{-1}V(1)$ that is an equivalence. Since the definition of this map is not well understood, we consider $K(L_{K(1)}S^0) \wedge v_2^{-1}V(1) \to (K(KU_p) \wedge v_2^{-1}V(1))^{h\mathbb{Z}^\times_p}$, which is induced by $i$ and also should be an equivalence. We show that for any closed $G < \mathbb{Z}^\times_p$, $\pi_\ast((K(KU_p) \wedge v_2^{-1}V(1))^{hG})$ is a direct sum of two pieces given by (co)invariants and a coinduced module, for $K(KU_p)_\ast(V(1))[v_2^{-1}]$. When $G = \mathbb{Z}^\times_p$, the direct sum is, conjecturally, $K(L_{K(1)}S^0)_\ast(V(1))[v_2^{-1}]$ and, by using $K(L_p)_\ast(V(1))[v_2^{-1}]$, where $L_p = ((KU)^{\wedge}_p)^{h\mathbb{Z}/((p-1)\mathbb{Z})}$, the summands simplify. The Ausoni-Rognes conjecture suggests that in \[(-)^{h\mathbb{Z}^\times_p} \wedge v_2^{-1}V(1) \simeq (K(KU_p) \wedge v_2^{-1}V(1))^{h\mathbb{Z}^\times_p},\] $K(KU_p)$ fills in the blank; we show that for any $G$, the blank can be filled by $(K(KU_p))^\mathrm{dis}_\mathcal{O}$, a discrete $\mathbb{Z}^\times_p$-spectrum built out of $K(KU_p)$.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2021
- DOI:
- 10.48550/arXiv.2101.11205
- arXiv:
- arXiv:2101.11205
- Bibcode:
- 2021arXiv210111205D
- Keywords:
-
- Mathematics - Algebraic Topology;
- Mathematics - K-Theory and Homology;
- 19D55;
- 55N15;
- 55P42;
- 55T25
- E-Print:
- 20 pages