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

arXiv2005.04190MaRDI QIDQ6340316FDOQ6340316

Authors: Daniel G. Davis 

Publication date: 8 May 2020

Abstract: Let $p$ be a prime, $ngeq1$, $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)o{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 o (K(E_n))^{hmathbb{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){)}^{hmathbb{G}_n}$ denotes a continuous homotopy fixed point spectrum, and (c) $p{i}_{a}st(-)$ of the target of the above map is the abutment of a homotopy fixed point spectral sequence. For $n=1$, $pgeq5$, 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 o (K(E_1) wedge v_{2}^{-1}V_1)^{hmathbb{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)^{hmathbb{G}_1} simeq (K(E_1))^{widetilde{h}mathbb{G}_1} wedge v_2^{-1}V_1,] where $(K(E_1){)}^{widetildehmathbb{G}_1}$ is the homotopy fixed points with $mathbb{G}_1$ regarded as a discrete group.

Mathematics Subject Classification ID

(K)-theory and homology; cyclic homology and cohomology (19D55) Stable homotopy theory, spectra (55P42) Spectral sequences in algebraic topology (55T99) Topological (K)-theory (55N15)

This page was built for publication: A construction of some objects in many base cases of an Ausoni-Rognes conjecture

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