Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userAlgebraic chromatic homotopy theory for $BP_*BP$-comodules
101
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
In this paper, we study the global structure of an algebraic avatar of the derived category of ind-coherent sheaves on the moduli stack of formal groups. In analogy with the stable homotopy category, we prove a version of the nilpotence theorem as well as the chromatic convergence theorem, and construct a generalized chromatic spectral sequence. Furthermore, we discuss analogs of the telescope conjecture and chromatic splitting conjecture in this setting, using the local duality techniques established earlier in joint work with Valenzuela.
rate research
Read More
In previous work, we used an $infty$-categorical version of ultraproducts to show that, for a fixed height $n$, the symmetric monoidal $infty$-categories of $E_{n,p}$-local spectra are asymptotically algebraic in the prime $p$. In this paper, we prove the analogous result for the symmetric monoidal $infty$-categories of $K_{p}(n)$-local spectra, where $K_{p}(n)$ is Morava $K$-theory at height $n$ and the prime $p$. This requires $infty$-categorical tools suitable for working with compactly generated symmetric monoidal $infty$-categories with non-compact unit. The equivalences that we produce here are compatible with the equivalences for the $E_{n,p}$-local $infty$-categories.
For a finite Galois extension of fields L/k with Galois group G, we study a functor from the G-equivariant stable homotopy category to the stable motivic homotopy category over k induced by the classical Galois correspondence. We show that after completing at a prime and eta (the motivic Hopf map) this results in a full and faithful embedding whenever k is real closed and L = k[i]. It is a full and faithful embedding after eta-completion if a motivic version of Serres finiteness theorem is valid. We produce strong necessary conditions on the field extension L/k for this functor to be full and faithful. Along the way, we produce several results on the stable C_2-equivariant Betti realization functor and prove convergence theorems for the p-primary C_2-equivariant Adams spectral sequence.
We define an unstable equivariant motivic homotopy category for an algebraic group over a Noetherian base scheme. We show that equivariant algebraic $K$-theory is representable in the resulting homotopy category. Additionally, we establish homotopical purity and blow-up theorems for finite abelian groups.
The family of Thom spectra $y(n)$ interpolate between the sphere spectrum and the mod two Eilenberg-MacLane spectrum. Computations of Mahowald, Ravenel, and Shick and the authors show that the $E_1$ ring spectrum $y(n)$ has chromatic complexity $n$. We show that topological periodic cyclic homology of $y(n)$ has chromatic complexity $n+1$. This gives evidence that topological periodic cyclic homology shifts chromatic height at all chromatic heights, supporting a variant of the Ausoni--Rognes red-shift conjecture. We also show that relative algebraic K-theory, topological cyclic homology, and topological negative cyclic homology of $y(n)$ at least preserve chromatic complexity.
For each prime $p$, we define a $t$-structure on the category $widehat{S^{0,0}}/tautext{-}mathbf{Mod}_{harm}^b$ of harmonic $mathbb{C}$-motivic left module spectra over $widehat{S^{0,0}}/tau$, whose MGL-homology has bounded Chow-Novikov degree, such that its heart is equivalent to the abelian category of $p$-completed $BP_*BP$-comodules that are concentrated in even degrees. We prove that $widehat{S^{0,0}}/tautext{-}mathbf{Mod}_{harm}^b$ is equivalent to $mathcal{D}^b({{BP}_*{BP}text{-}mathbf{Comod}}^{{ev}})$ as stable $infty$-categories equipped with $t$-structures. As an application, for each prime $p$, we prove that the motivic Adams spectral sequence for $widehat{S^{0,0}}/tau$, which converges to the motivic homotopy groups of $widehat{S^{0,0}}/tau$, is isomorphic to the algebraic Novikov spectral sequence, which converges to the classical Adams-Novikov $E_2$-page for the sphere spectrum $widehat{S^0}$. This isomorphism of spectral sequences allows Isaksen and the second and third authors to compute the stable homotopy groups of spheres at least to the 90-stem, with ongoing computations into even higher dimensions.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
