Residue fields for a class of rational E_-rings and applications

. We prove an analog of the nilpotence theorem for these residue fields. As a result, we are able to give a complete algebraic description of the Galois theory of

A

and of the thick subcategories of perfect

A

-modules. We also obtain partial information on the Picard group of

A

.

Review text

The author develops various results about the homotopy theory of ``rational \(E_{\infty}\)-rings which are noetherian in a sense explained below. The rational \(E_{\infty}\)-rings considered here are equivalent to unbounded commutative differential algebras over the rationals or to commutative structured ring spectra over \(H\mathbb Q\), the Eilenberg-Mac Lane spectrum of the rationals.NEWLINENEWLINEA rational \(E_{\infty}\)-ring \(A\) is defined to be noetherian if the ring of even degree homotopy groups \(\pi_{\mathrm{even}}(A)\) is noetherian and if the odd degree homotopy groups \(\pi_{\mathrm{odd}}(A)\) form a finitely generated module over \(\pi_{\mathrm{even}}(A)\). The first main result is that every rational noetherian \(E_{\infty}\)-ring \(A\) with a unit in degree 2 admits residue fields. That is, for every prime ideal \(\mathfrak p\) in \(\pi_0(A)\) there exists a unique \(E_{\infty}\)-algebra \(\kappa(\mathfrak p)\) under \(A\) which is even periodic and which induces the reduction \(\pi_0(A) \to \pi_0(A)_{\mathfrak p}/{\mathfrak p}\pi_0(A)_{\mathfrak p}\) on \(\pi_0\).NEWLINENEWLINEOne application of the existence of fraction fields is a nilpotence theorem that is analogous to (but easier to prove than) the important Hopkins-Smith nilpotence theorem. It states that if \(A\) is as above and \(B\) is an \(A\)-algebra, an element in \(\pi_*(B)\) is nilpotent if and only if for every prime ideal \(\mathfrak p \subset \pi_0(A)\) its image in \(\pi_*(B \otimes_A \kappa(\mathfrak p))\) is nilpotent. Another application is a thick subcategory theorem that provides a classification of thick subcategories of the category of perfect \(A\)-modules in terms of NEWLINEspecialization-closed subsets of the collection of homogeneous prime ideals of \(\pi_{\mathrm{even}}(A)\).NEWLINENEWLINEIn earlier work [Adv. Math. 291, 403--541 (2016; Zbl 1338.55009)], the author defined the Galois group of a stable homotopy theory (or, more precisely, of a suitable symmetric monoidal stable \(\infty\)-category). Another result proved in the present paper is that the Galois group of the category of \(A\)-modules admits a purely algebraic description if \(A\) is a noetherian rational \(E_{\infty}\)-ring. The author also shows that for such \(A\), the cokernel of the map of Picard groups \(\mathrm{Pic}(\pi_*(A)) \to \mathrm{Pic}(A)\) is torsion-free.NEWLINENEWLINEIn the last section, the author discusses examples of non-noetherian rational \(E_{\infty}\)-rings that illustrate the failure of various of the above results in the non-noetherian case. The examples include a Galois extension (in the sense of \textit{J. Rognes} [Mem. Am. Math. Soc. 898, 137 p. (2008; Zbl 1166.55001)]) of rational ring spectra which is not of algebraic origin.

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Residue fields for a class of rational \(\mathbf E_{\infty}\)-rings and applications

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