Chromatic defect, Wood's theorem, and higher real $K$-theories
Christian Carrick
TL;DR
The paper introduces chromatic defect as a quantitative measure of how far a spectrum is from being complex-orientable, using Ravenel's X(n) filtration and a flexible orientability notion that extends beyond ring spectra. It develops obstruction theory via the elements $\chi_{m+1}$ and links finite chromatic defect to Wood-type phenomena, providing both algebraic criteria (via $\mathcal{A}(n)_*$ and $\mathcal{E}(n)_*$ Ext) and algebro-geometric criteria (Hopkins' stacks) for descent along Ravenel's filtration. The authors compute chromatic defect for key families such as the Real Johnson–Wilson theories $\mathrm{ER(n)}$, the Hopkins–Miller higher real K-theories $\mathrm{EO}_n(G)$, and related fp spectra, establishing explicit defect formulas like $\Phi(\mathrm{ER(n)})=2^n$ and $\Phi(\mathrm{EO}_n(G))=p^{N(G)}$. They also develop a $\mathbb{Z}$-indexed Adams–Novikov framework that parallels Tate cohomology and apply it to KO, TMF, and related cases, clarifying how Wood-type structure governs the ANSS and enabling more tractable computations. Overall, the work connects chromatic defects, Wood-type phenomena, and stack-theoretic descent to yield concrete tools for understanding when and how stable homotopy data can be recovered from structured, finite-stage decompositions, with implications for fixed-point theories and higher real K-theories."
Abstract
Using Ravenel's Thom spectrum $X(n)$, we introduce the concept of chromatic defect, which measures how far a spectrum is from being complex-orientable. We compute the chromatic defect of various examples of interest, such as finite spectra, the Real Johnson--Wilson spectra $ER(n)$, fixed points of Morava $E$-theories (with respect to finite subgroups of the Morava stabilizer group), and the connective image of $J$ spectrum. Moreover, an obstruction theory is developed for determining chromatic defect. Having finite chromatic defect is closely related to the existence of analogues of the classical Wood equivalence. We show that such equivalences exist in a wide generality and use them to construct $\mathbb{Z}$-indexed Adams--Novikov towers.
