Reformulation of the stable Adams conjecture

Abstract

We revisit methods of proof of the Adams Conjecture in order to correct and supplement earlier efforts to prove analogous conjectures in the stable homotopy category. We utilize simplicial schemes over an algebraically closed field of positive characteristic and a rigid version of Artin-Mazur étale homotopy theory. Consideration of special $\mathcal{F}$-spaces and together with Bousfield-Kan $\mathbb{Z}/\ell$-completion enables us to employ an "étale functor" which commutes up to homotopy with products of simplicial schemes. In order to prove the Stable Adams Conjecture, we construct the universal $\mathbb{Z}/\ell$-completed $X$-fibrations for various pointed simplicial sets $X$. Thus, two maps from a given $\mathcal{F}$-space $\underline{\mathcal{B}}$ to the base $\mathcal{F}$-space of the universal $\mathbb{Z}/\ell$-completed $X$-fibration $\ddot{I}{€}_{X,\ell }:\underline{\mathcal{B}}(G_{\ell }(X),X_{\ell })\to \underline{\mathcal{B}}{G}_{\ell }(X)$ determine homotopy equivalent maps of spectra if and only they correspond via pull-back of $\ddot{I}{€}_{X,\ell }$ to fiber homotopy equivalent $\mathbb{Z}/\ell$-completed $X$-fibrations over $\underline{\mathcal{B}}$. For the proof of the Stable Adams Conjecture, we consider maps of $\mathcal{F}$-spaces $\underline{\mathcal{B}}\to \underline{\mathcal{B}}{G}_{\ell }(S^2)$ where $\underline{\mathcal{B}}$ is an $\mathcal{F}$-space model of connective $\ell$-completed connective $K$-theory.

New formulation, new definitions, changes in exposition