Chromatic homotopy theory is algebraic when \(p > n^2 + n + 1\) (Q2232708)

Chromatic homotopy theory is an attempt to study stable homotopy theory `one prime at a time'. By the chromatic convergence theorem of Hopkins and Ravenel [\textit{D. C. Ravenel}, Nilpotence and periodicity in stable homotopy theory. Princeton, NJ: Princeton University Press (1992; Zbl 0774.55001)], any finite \(p\)-local spectrum \(X\) is equivalent to the limit of the localizations of \(X\) at the Johnson-Wilson \(E\)-theories, \(L_nX\). In particular, \(\pi_\ast X\) is recoverable from \(\pi_\ast L_nX\) for every \(n \geq 0\). However, as the height grows, (i.e., as \(n\) increases) \(\pi_\ast L_nX\) becomes more and more complicated (i.e., non-algebraic) via Mahowald's uncertainty principle. As the prime increases, various results indicate that the \(E\)-local homotopy theory simplifies for any height \(n\) Landweber exact homology theory. For instance, if \(2p-2 >n^{2} +n\), the \(E\)-local Adams-Novikov spectral sequence collapses, and in the same range, the only invertible \(E\)-local spectra are the spheres, [\textit{M. Hovey} and \textit{H. Sadofsky}, J. Lond. Math. Soc., II. Ser. 60, No. 1, 284--302 (1999; Zbl 0947.55013)]. In this article, the author proves a global statement on the algebraicity of chromatic homotopy theory, in particular, if \(p > n^{2}+n+1\), then the homotopy category of \(E\)-local spectra is equivalent to the homotopy category of differential \(E_\ast E\)-comodules. It is worth noting that at \(n=1\) and \(p>2\), the author's result recovers a classical result of Bousfield, [\textit{A. K. Bousfield}, Am. J. Math. 107, 895--932 (1985; Zbl 0585.55004)]. \textit{J. Franke} [``Uniqueness theorems for certain triangulated categories possessing an Adams spectral sequence'', Preprint] attempted a generalization of Bousfield's result to all heights, but an error was later found by Patchkoria, [\textit{I. Patchkoria}, Algebr. Geom. Topol. 12, No. 4, 2329--2388 (2012; Zbl 1264.18017)]. Moreover, it is necessary to pass to the homotopy categories, see [\textit{T. Barthel} et al., Invent. Math. 220, No. 3, 737--845 (2020; Zbl 1442.55002)], hence the author's main result is the first example of an ``exotic equivalence'' (one which does not preserve all the higher homotopical information) where the homological dimension of the abelian category is greater than \(3\), [\textit{I. Patchkoria}, Bull. Lond. Math. Soc. 49, No. 6, 1085--1099 (2017; Zbl 1388.55008)].