A construction of some objects in many base cases of an Ausoni-Rognes conjecture

Abstract

Let $p$ be a prime, $n\ge 1$, $K(n)$ the $n$th Morava $K$-theory spectrum, ${\mathbb{G}}_n$ the extended Morava stabilizer group, and $K(A)$ the algebraic $K$-theory spectrum of a commutative $S$-algebra $A$. For a type $n+1$ complex $V_n$, Ausoni and Rognes conjectured that (a) the unit map $i_n:L_{K(n)}(S^0)\to E_n$ from the $K(n)$-local sphere to the Lubin-Tate spectrum induces a map \[K(L_{K(n)}(S^0)) \wedge v_{n+1}^{-1}V_n \to (K(E_n))^{h\mathbb{G}_n} \wedge v_{n+1}^{-1}V_n\] that is a weak equivalence, where (b) since ${\mathbb{G}}_n$ is profinite, $(K(E_n){)}^{h{\mathbb{G}}_n}$ denotes a continuous homotopy fixed point spectrum, and (c) ${\pi }_{\ast }(-)$ of the target of the above map is the abutment of a homotopy fixed point spectral sequence. For $n=1$, $p\ge 5$, and $V_1=V(1)$, we give a way to realize the above map and (c), by proving that $i_1$ induces a map \[K(L_{K(1)}(S^0)) \wedge v_{2}^{-1}V_1 \to (K(E_1) \wedge v_{2}^{-1}V_1)^{h\mathbb{G}_1},\] where the target of this map is a continuous homotopy fixed point spectrum, with an associated homotopy fixed point spectral sequence. Also, we prove that there is an equivalence \[(K(E_1) \wedge v_{2}^{-1}V_1)^{h\mathbb{G}_1} \simeq (K(E_1))^{\widetilde{h}\mathbb{G}_1} \wedge v_2^{-1}V_1,\] where $(K(E_1){)}^{\tilde{h}{\mathbb{G}}_1}$ is the homotopy fixed points with ${\mathbb{G}}_1$ regarded as a discrete group.

32 pages; submitted for publication; updated description of status of $(K(E_n){)}^{h{\mathbb{G}}_n}$ by adding Remark 1.5 and modifying the paragraph that precedes it (and removing description of status from abstract); sharpened the writing in various places

References in corpus (1)

• Towards solid abelian groups: A formal proof of Nöbeling's theorem

Cited by in corpus (1)

• A computational reduction for many base cases in profinite telescopic algebraic $K$-theory