Ambidexterity and height (Q2032936): Difference between revisions

\textit{Stable homotopy theory} had developed considerably for the two decades since the late 1960s. Periodic phenomena based on the connections to formal group theory through complex cobordism theory \(MU\) and the Adams-Novikov spectral sequence were discovered on the computational side, while the localization techniques of Bousfield provided a means to classify generalized cohomology theories according to their relative strength on the structural side. These two strands of ideas were combined into a global version of stable homotopy theory as stratified by different levels of periodicity in [\textit{D. C. Ravenel}, Am. J. Math. 106, 351--414 (1984; Zbl 0586.55003)]. \textit{E. S. Devinatz} et al. [Ann. Math. (2) 128, No. 2, 207--241 (1988; Zbl 0673.55008)] together with \textit{M. J. Hopkins} [Lond. Math. Soc. Lect. Note Ser. 117, 73--96 (1987; Zbl 0657.55008)] established the nilpotence theorem as a settlement and an improvement of the most central of Ravenel's seven conjectures. \textit{Chromatic homotopy theory} is a subfield of stable homotopy theory that has sprung from the deep and astonishing connection between the \(\infty \)-category of spectra and the stack of formal groups, the height fibration on the latter being mirrored by the \textit{chromatic height fibration} on the former. The localizations \(\mathrm{Sp}_{T\left( n\right) }\)\ and \(\mathrm{Sp} _{K\left( n\right) }\)\ are known to possess several remarkable properties, among which are the vanishing of the Tate construction for finite group actions [\textit{D. Clausen} and \textit{A. Mathew}, Proc. Am. Math. Soc. 145, No. 12, 5413--5417 (2017; Zbl 1378.55005); \textit{J. P. C. Greenlees} and \textit{H. Sadofsky}, Math. Z. 222, No. 3 (1996; Zbl 0849.55005); \textit{M. Hovey} and \textit{H. Sadofsky}, Proc. Am. Math. Soc. 124, No. 11, 3579--3585 (1996; Zbl 0866.55011); \textit{N. J. Kuhn}, Invent. Math. 157, No. 2, 345--370 (2004; Zbl 1069.55007)]. Hopkins and Lurie [http://people.math.harvard.edu/\symbol{126} lurie/papers/Ambidexterity.pdf] reinterpreted this Tate vanishing property as \(1\)\textit{-semiadditivity}, showing that the \(\infty\)-categories \(\mathrm{Sp}_{K\left( n\right) }\)\ are \(\infty\)\textit{-semiadditive}, which was in turn exploited to get new structural results. The authors [``Ambidexterity in chromatic homotopy theory'', Preprint, \url{arXiv:1811.02057}] have classified all the higher semiadditive localizations of \(\mathrm{Sp}\)\ with respect to homotopy rings, showing that, among localizations of spectra with respect to homotopy rings, the higher semiadditive property singles out precisely the monochromatic \ localizations, which are parameterized by the chromatic height. This paper introduces a natural notion of \textit{semiadditive height} for higher semiadditive \(\infty\)-categories, reproducing the usual chromatic height \(n\), in the examples \(\mathrm{Sp}_{T\left( n\right) }\)\ and \(\mathrm{Sp}_{K\left( n\right) }\), without appealing to the theory of formal groups. It is shown that the semiadditive height is a fundamental invariant of a higher semiadditive \(\infty\)-category, controlling many facets of its higher semiadditive structure and the behavior of of local systems on the \(\pi \)-finite spaces valued in it. It is also shown that the semiadditive height exhibits a compelling form of the ''redshift principle'', categorification increasing the height exactly by one. Restricting to \textit{stable} \(\infty \)-categories, the authors demonstrate that higher semiadditive \(\infty \)-categories decompose completely according to the semiadditive height, which accounts for the monochromatic nature of the higher semiadditive localizations of \(\mathrm{Sp}\). Building on the work of \textit{Y. Harpaz} [Proc. Lond. Math. Soc. (3) 121, No. 5, 1121--1170 (2020; Zbl 1479.55031)], the authors introduce and investigate universal constructions of stable \(\infty \)-semiadditive \(\infty\)-categories of height \(n\), comparing them with the chromatic examples. This paper should be viewed as part of a more extensive program aiming to place chromatic phenomena within the categorical context of interaction between higher semiadditivity and stability. A synopsis of the paper, consisting of five sections, goes as follows. \begin{itemize} \item \S 2 collects general facts regarding the notion of \textit{ambidexterity} and its implications. \item \S 3 addresses the main notion of the paper, that of height in a higher semiadditive \(\infty\)-category, defined in terms of the cardinalities of Eilenberg-MacLane spaces. It is shown (Theorem 3.2.7) that the higher semiadditive structure trivializes above the height. It is also shown (Theorem 3.3.2) that the higher semiadditive structure exhibits a redshift principle of increasing by one under categorification. \item \S 4 studies semiadditivity and height for \textit{stable} \(\infty \)-categories. It is shown (Theorem 4.2.7) that a stable higher semiadditive \(\infty\)-category splits as a product according to height. Interested in local systems valued in a stable higher semiadditive \(\infty\)-category of height \(n\), it is shown (Theorem 4.3.2) how the notion of height is related to the phenomenon of semisimplicity of local systems. It is finally shown, by using nil-conservative functors, that semiadditive and chromatic heights coincide for monochromatic localizations of spectra. \item \S 5 is concerned with the theory of \textit{modes}. The theory of modes allows not only of analyzing the implication of certain properties of presentable \(\infty\)-categories, but also of enforcing them in a universal way so that for every mode \(\mathcal{M}\) and a presentable \(\infty\)-category \(\mathcal{C}\), one can view \(\mathcal{M}\otimes\mathcal{C}\)\ as the universal approximation of \(\mathcal{C}\)\ by a presentable \(\infty\)-category obeying the properties classified by \(\mathcal{M}\). It is shown how algebraic operations on modes, such as tensor product and localization, translate into operations on the properties of presentable \(\infty\)-categories classified by them. It is also shown (e.g. Theorem 5.3.6) that semiadditivity and height, together with the more classical notion of chromatic height, are all encoded in modes. Using this theory, the authors study the interaction between the chromatic and the semiadditive height through the interaction between the corresponding modes, to get Theorem 5.4.10 concerning with \(1\)-semiadditivity decomposition, from which Theorem 5.5.17 as a partial result in the direction of [\textit{G. Angelini-Knoll} and \textit{J. D. Quigley}, ``Chromatic complexity of the algebraic K-theory of \(y(n)\), Preprint, \url{arXiv:1908.09164}, Conjecture 1.1.5] is deduced. \end{itemize}