Chromatic defect, Wood's theorem, and higher real K-theories
Pith reviewed 2026-05-24 03:47 UTC · model grok-4.3
The pith
Spectra with finite chromatic defect admit Wood-like equivalences that construct Z-indexed Adams-Novikov towers.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Chromatic defect, introduced via Ravenel's Thom spectrum X(n), quantifies distance from complex orientability. An obstruction theory determines when this defect is finite for the listed families of spectra. Finite defect is closely related to the existence of analogues of the classical Wood equivalence; such equivalences hold in wide generality and produce Z-indexed Adams-Novikov towers.
What carries the argument
Chromatic defect, measured by Ravenel's Thom spectrum X(n), together with the associated obstruction theory that detects its finiteness and thereby guarantees generalized Wood equivalences.
If this is right
- Analogues of Wood's equivalence exist for all spectra shown to have finite chromatic defect.
- Z-indexed Adams-Novikov towers can be built for finite spectra, ER(n), fixed points of Morava E-theories, and the connective image of J.
- The obstruction theory decides finiteness of chromatic defect for additional spectra beyond the examples computed.
- The same mechanism that produces the classical Wood equivalence extends to these higher settings once defect is finite.
Where Pith is reading between the lines
- The construction may supply new computational tools for spectra whose chromatic height exceeds the range where ordinary complex orientations suffice.
- The relation between defect and Wood equivalences could be tested on further equivariant or real-oriented spectra not treated in the paper.
- If the obstruction theory extends functorially, it might classify a larger class of spectra admitting integral-indexed towers.
Load-bearing premise
The definition of chromatic defect via Ravenel's Thom spectrum X(n) correctly captures distance from complex-orientability and the obstruction theory detects finiteness without hidden dependencies on unstated properties.
What would settle it
An explicit spectrum with finite chromatic defect for which no Wood-like equivalence exists, or a spectrum with infinite defect for which such an equivalence can still be constructed.
Figures
read the original 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces the chromatic defect of a spectrum, defined using Ravenel's Thom spectrum X(n) as a measure of distance from complex-orientability. It computes the defect for finite spectra, the Real Johnson-Wilson spectra ER(n), fixed points of Morava E-theories under finite subgroups of the Morava stabilizer group, and the connective image of J. An obstruction theory for determining chromatic defect is developed. Finite chromatic defect is shown to be closely related to the existence of analogues of the classical Wood equivalence; such equivalences are established in wide generality and applied to construct Z-indexed Adams-Novikov towers.
Significance. If the results hold, the work supplies a new invariant in chromatic homotopy theory together with explicit computations for several families of spectra of current interest and a supporting obstruction theory. The link to generalized Wood equivalences and the construction of Z-indexed AN towers extend classical results in a concrete way that may be useful for studying higher real K-theories and related spectral sequences. The manuscript provides machine-checkable computations and a new obstruction theory; these are clear strengths.
minor comments (2)
- [§1] §1: the motivation for the precise normalization of chromatic defect (via the connectivity of the map from X(n)) could be expanded by one paragraph to make the subsequent computations more immediately intuitive.
- [§4] The notation for the obstruction theory in §4 occasionally re-uses symbols already employed for the defect itself; a short table of notation would improve readability.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript and for recommending minor revision. No specific major comments were provided in the report, so we have no individual points to address at this time. We are pleased that the introduction of chromatic defect, the computations for spectra such as ER(n) and fixed points of Morava E-theories, the obstruction theory, and the construction of Z-indexed Adams-Novikov towers via generalized Wood equivalences were viewed as strengths.
Circularity Check
No significant circularity identified
full rationale
The paper introduces chromatic defect as a new definition via Ravenel's X(n) Thom spectrum, computes the value on listed examples (finite spectra, ER(n), Morava E-fixed points, connective im J), develops an obstruction theory from that definition, and applies finite defect to produce generalized Wood equivalences and Z-indexed AN towers. No equation or central claim reduces by construction to a fitted input, self-citation chain, or renamed known result; the derivation is self-contained with independent definitional and computational content.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard properties of Ravenel's Thom spectrum X(n) and the Morava stabilizer group
invented entities (1)
-
chromatic defect
no independent evidence
Reference graph
Works this paper leans on
-
[1]
Modules over the Steenrod algebra
J. F. Adams and H. R. Margolis. “Modules over the Steenrod algebra”.Topol- ogy 10 (1971), pp. 271–282.issn: 0040-9383. doi: 10.1016/0040-9383(71) 90020-6
-
[2]
G. Angelini-Knoll, C. Ausoni, and J. Rognes.Algebraic K-theory of real topo- logical K-theory. 2023. arXiv:2309.11463 [math.AT]
work page internal anchor Pith review arXiv 2023
-
[3]
The Segal conjecture for topological Hochschild homology of Ravenel spectra
G. Angelini-Knoll and J. D. Quigley. “The Segal conjecture for topological Hochschild homology of Ravenel spectra”.J. Homotopy Relat. Struct.16.1 (2021), pp. 41–60.issn: 2193-8407,1512-2891. doi: 10.1007/s40062- 021- 00275-7
-
[4]
M. F. Atiyah. “K-theory and reality.” English.Q. J. Math., Oxf. II. Ser.17 (1966), pp. 367–386.issn: 0033-5606; 1464-3847/e
work page 1966
-
[5]
S. project authors. The Stacks project. https://stacks.math.columbia. edu. 2024
work page 2024
-
[6]
On the Adams spectral sequence forR-modules
A. Baker and A. Lazarev. “On the Adams spectral sequence forR-modules”. Algebr. Geom. Topol.1 (2001), pp. 173–199.issn: 1472-2747,1472-2739. doi: 10.2140/agt.2001.1.173
-
[7]
Computation of the homotopy of the spectrum tmf
T. Bauer. “Computation of the homotopy of the spectrum tmf”.Groups, homotopy and configuration spaces. Vol. 13. Geom. Topol. Monogr. Geom. Topol. Publ., Coventry, 2008, pp. 11–40.doi: 10.2140/gtm.2008.13.11
-
[8]
A theorem on multiplicative cell attachments with an appli- cation to Ravenel’sX(n) spectra
J. Beardsley. “A theorem on multiplicative cell attachments with an appli- cation to Ravenel’sX(n) spectra”.J. Homotopy Relat. Struct.14.3 (2019), pp. 611–624.issn: 2193-8407,1512-2891. doi: 10.1007/s40062-018-0222-6
-
[9]
J. Beardsley and T. Lawson.Skeleta and categories of algebras. 2021. arXiv: 2110.09595 [math.AT]
-
[10]
Models of Lubin-Tate spectra via real bordism theory
A. Beaudry, M. A. Hill, X. D. Shi, and M. Zeng. “Models of Lubin-Tate spectra via real bordism theory”.Adv. Math.392 (2021), Paper No. 108020,
work page 2021
-
[11]
doi: 10.1016/j.aim.2021.108020
issn: 0001-8708. doi: 10.1016/j.aim.2021.108020
-
[12]
M. Behrens. Topological modular and automorphic forms. 2019. arXiv:1901. 07990 [math.AT]
work page 2019
-
[13]
On the EO-orientability of vector bun- dles
P. Bhattacharya and H. Chatham. “On the EO-orientability of vector bun- dles”.Journal of Topology15 (2020)
work page 2020
-
[14]
R. R. Bruner and J. Rognes. The Adams spectral sequence for topological modular forms. Vol. 253. Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2021, pp. xix+690.isbn: 978-1-4704- 5674-0. doi: 10.1090/surv/253
-
[15]
C. Carrick and M. A. Hill.On higher realK-theories and finite spectra. 2025
work page 2025
-
[16]
C. Carrick, M. A. Hill, and D. C. Ravenel. The homological slice spectral sequence in motivic and Real bordism. 2023. arXiv:2304.01960 [math.AT]
-
[17]
C. D. Carrick. Stacks and Real-Oriented Homotopy Theory. Thesis (Ph.D.)– University of California, Los Angeles. ProQuest LLC, Ann Arbor, MI, 2022, p. 221
work page 2022
-
[18]
Descent in algebraicK- theory and a conjecture of Ausoni-Rognes
D. Clausen, A. Mathew, N. Naumann, and J. Noel. “Descent in algebraicK- theory and a conjecture of Ausoni-Rognes”.J. Eur. Math. Soc. (JEMS)22.4 (2020), pp. 1149–1200.issn: 1435-9855,1435-9863. doi: 10.4171/JEMS/942. REFERENCES 53
-
[19]
The cohomology of the spectrumbJ
D. M. Davis. “The cohomology of the spectrumbJ”.Bol. Soc. Mat. Mexicana (2) 20.1 (1975), pp. 6–11
work page 1975
-
[20]
The action of the Morava stabilizer group on the Lubin-Tate moduli space of lifts
E. S. Devinatz and M. J. Hopkins. “The action of the Morava stabilizer group on the Lubin-Tate moduli space of lifts”.Amer. J. Math.117.3 (1995), pp. 669–710.issn: 0002-9327. doi: 10.2307/2375086
-
[21]
Nilpotence and Stable Homotopy Theory I
E. S. Devinatz, M. J. Hopkins, and J. H. Smith. “Nilpotence and Stable Homotopy Theory I”.Annals of Mathematics128.2 (1988), pp. 207–241.issn: 0003486X
work page 1988
-
[22]
C. L. Douglas, J. Francis, A. G. Henriques, and M. A. Hill, eds.Topological modular forms. Vol. 201. Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2014, pp. xxxii+318.isbn: 978-1-4704- 1884-7. doi: 10.1090/surv/201
-
[23]
Z. Duan, G. Li, and X. D. Shi.Vanishing lines in chromatic homotopy theory
- [24]
-
[25]
Vanishing lines in chromatic homotopy the- ory
Z. Duan, G. Li, and X. D. Shi. “Vanishing lines in chromatic homotopy the- ory”. English.Geom. Topol.29.2 (2025), pp. 903–930.doi: 10 . 2140 / gt . 2025.29.903
work page 2025
-
[26]
Moduli spaces of commutative ring spectra
P. G. Goerss and M. J. Hopkins. “Moduli spaces of commutative ring spectra.” English. Structured ring spectra. Cambridge: Cambridge University Press, 2004, pp. 151–200.isbn: 0-521-60305-6/pbk
work page 2004
-
[27]
J. Hahn, A. Raksit, and D. Wilson. A motivic filtration on the topologi- cal cyclic homology of commutative ring spectra. 2022. arXiv: 2206 . 11208 [math.KT]
work page 2022
-
[28]
On the nonexistence of ele- ments of Kervaire invariant one
M. A. Hill, M. J. Hopkins, and D. C. Ravenel. “On the nonexistence of ele- ments of Kervaire invariant one”.Ann. of Math. (2)184.1 (2016), pp. 1–262. issn: 0003-486X,1939-8980. doi: 10.4007/annals.2016.184.1.1
-
[29]
M. A. Hill, M. J. Hopkins, and D. C. Ravenel.The homotopy ofEO2(p−1)
-
[30]
TheC2-spectrum Tmf1(3) and its invertible mod- ules
M. A. Hill and L. Meier. “TheC2-spectrum Tmf1(3) and its invertible mod- ules”.Algebr. Geom. Topol.17.4 (2017), pp. 1953–2011.issn: 1472-2747.doi: 10.2140/agt.2017.17.1953
-
[31]
M. J. Hopkins. Complex-oriented cohomology theories and the language of stacks
-
[32]
Constructions of elements in Picard groups
M. J. Hopkins, M. Mahowald, and H. Sadofsky. “Constructions of elements in Picard groups”.Topology and representation theory (Evanston, IL, 1992). Vol. 158. Contemp. Math. Amer. Math. Soc., Providence, RI, 1994, pp. 89–
work page 1992
-
[33]
isbn: 0-8218-5165-9. doi: 10.1090/conm/158/01454
-
[34]
STABLE DECOMPOSITIONS OF CERTAIN LOOP SPACES
M.J.Hopkins. STABLE DECOMPOSITIONS OF CERTAIN LOOP SPACES. Thesis (Ph.D.)–Northwestern University. ProQuest LLC, Ann Arbor, MI, 1984, p. 96
work page 1984
-
[35]
Real-oriented homotopy theory and an analogue of the Adams-Novikov spectral sequence
P. Hu and I. Kriz. “Real-oriented homotopy theory and an analogue of the Adams-Novikov spectral sequence”.Topology40.2 (2001), pp. 317–399
work page 2001
-
[36]
N. M. Katz and B. Mazur. Arithmetic moduli of elliptic curves. Vol. 108. Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 1985, pp. xiv+514.doi: 10.1515/9781400881710
-
[37]
Multiplicative structure on real Johnson-Wilson theory
N. Kitchloo, V. Lorman, and W. S. Wilson. “Multiplicative structure on real Johnson-Wilson theory”.New directions in homotopy theory. Vol. 707. Con- temp. Math. Amer. Math. Soc., [Providence], RI, 2018, pp. 31–44.isbn: 978- 1-4704-3774-9. doi: 10.1090/conm/707/14252. 54 REFERENCES
-
[38]
The second real Johnson-Wilson theory and nonimmersions ofRP n
N. Kitchloo and W. S. Wilson. “The second real Johnson-Wilson theory and nonimmersions ofRP n”.Homology Homotopy Appl.10.3 (2008), pp. 223–268. issn: 1532-0073
work page 2008
-
[39]
The second real Johnson-Wilson theory and nonimmersions of RP n. II
N. Kitchloo and W. S. Wilson. “The second real Johnson-Wilson theory and nonimmersions of RP n. II”.Homology Homotopy Appl.10.3 (2008), pp. 269–
work page 2008
-
[40]
En-spectra and Dyer-Lashof operations
T. Lawson. “En-spectra and Dyer-Lashof operations”.Handbook of homotopy theory. CRC Press/Chapman Hall Handb. Math. Ser. CRC Press, Boca Ra- ton, FL, 2020, pp. 793–849.isbn: 978-0-815-36970-7
work page 2020
-
[41]
J. Lurie. Chromatic homotopy theory. 2010
work page 2010
-
[42]
Brown-ComenetzdualityandtheAdamsspectral sequence
M.MahowaldandC.Rezk.“Brown-ComenetzdualityandtheAdamsspectral sequence”.Amer. J. Math.121.6 (1999), pp. 1153–1177.issn: 0002-9327,1080- 6377
work page 1999
-
[43]
A. Mathew. “The homology of tmf”.Homology Homotopy Appl.18.2 (2016), pp. 1–29.issn: 1532-0073,1532-0081. doi: 10.4310/HHA.2016.v18.n2.a1
-
[44]
A. Mathew. Torus actions on stable module categories, Picard groups, and localizing subcategories. 2015. arXiv:1512.01716 [math.RT]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[45]
Affineness and chromatic homotopy theory
A. Mathew and L. Meier. “Affineness and chromatic homotopy theory”.J. Topol. 8.2 (2015), pp. 476–528.issn: 1753-8416,1753-8424. doi: 10 . 1112 / jtopol/jtv005
work page 2015
-
[46]
Nilpotence and descent in equivariant stable homotopy theory
A. Mathew, N. Naumann, and J. Noel. “Nilpotence and descent in equivariant stable homotopy theory”.Adv. Math.305 (2017), pp. 994–1084.issn: 0001- 8708,1090-2082. doi: 10.1016/j.aim.2016.09.027
-
[47]
L.Meier.“Unitedelliptichomology”.PhDthesis.RheinischeFriedrich-Wilhelms- Universität Bonn, 2012
work page 2012
- [48]
-
[49]
Vanishing lines for modules over the Steenrod al- gebra
H. Miller and C. Wilkerson. “Vanishing lines for modules over the Steenrod al- gebra”.J. Pure Appl. Algebra22.3 (1981), pp. 293–307.issn: 0022-4049,1873-
work page 1981
-
[50]
doi: 10.1016/0022-4049(81)90104-3
-
[51]
H. R. Miller. “On relations between Adams spectral sequences, with an appli- cation to the stable homotopy of a moore space”.Journal of Pure and Applied Algebra 20.3 (1981), pp. 287–312.issn: 0022-4049. doi: https://doi.org/ 10.1016/0022-4049(81)90064-5
-
[52]
Finite complexes withA(n)-free cohomology
S. A. Mitchell. “Finite complexes withA(n)-free cohomology”.Topology24.2 (1985), pp. 227–246.issn: 0040-9383.doi: 10.1016/0040-9383(85)90057-6
-
[53]
On the squaring operations in the May spectral sequence
O. Nakamura. “On the squaring operations in the May spectral sequence”. Mem. Fac. Sci. Kyushu Univ. Ser. A26.2 (1972), pp. 293–308.issn: 0373- 6385,1883-2172. doi: 10.2206/kyushumfs.26.293
-
[54]
Synthetic spectra and the cellular motivic category
P. Pstragowski. “Synthetic spectra and the cellular motivic category”.Invent. Math. 232.2 (2023), pp. 553–681.issn: 0020-9910,1432-1297. doi: 10.1007/ s00222-022-01173-2
work page 2023
-
[55]
On the formal group laws of unoriented and complex cobordism theory
D. Quillen. “On the formal group laws of unoriented and complex cobordism theory”.Bull. Amer. Math. Soc.75 (1969), pp. 1293–1298.issn: 0002-9904. doi: 10.1090/S0002-9904-1969-12401-8
-
[56]
D. C. Ravenel. Complex cobordism and stable homotopy groups of spheres. Vol. 121. Pure and Applied Mathematics. Academic Press, Inc., Orlando, FL, 1986, pp. xx+413. REFERENCES 55
work page 1986
-
[57]
D. C. Ravenel. Nilpotence and periodicity in stable homotopy theory. Vol. 128. Annals of Mathematics Studies. Appendix C by Jeff Smith. Princeton Uni- versity Press, Princeton, NJ, 1992, pp. xiv+209.isbn: 0-691-02572-X
work page 1992
-
[58]
The non-existence of odd primary Arf invariant elements in stable homotopy
D. C. Ravenel. “The non-existence of odd primary Arf invariant elements in stable homotopy”.Math. Proc. Cambridge Philos. Soc.83.3 (1978), pp. 429–
work page 1978
-
[59]
doi: 10.1017/S0305004100054712
issn: 0305-0041. doi: 10.1017/S0305004100054712
-
[60]
Notes on the Hopkins-Miller theorem
C. Rezk. “Notes on the Hopkins-Miller theorem”.Homotopy theory via al- gebraic geometry and group representations (Evanston, IL, 1997). Vol. 220. Contemp. Math. Amer. Math. Soc., Providence, RI, 1998, pp. 313–366.doi: 10.1090/conm/220/03107
-
[61]
J.-P. Serre. Local fields. Vol. 67. Graduate Texts in Mathematics. Translated from the French by Marvin Jay Greenberg. Springer-Verlag, New York-Berlin, 1979, pp. viii+241.isbn: 0-387-90424-7
work page 1979
-
[62]
BanachalgebrasandBottperiodicity
R.Wood.“BanachalgebrasandBottperiodicity”. Topology4.4(1966),pp.371–
work page 1966
-
[63]
issn: 0040-9383. doi: https : / / doi . org / 10 . 1016 / 0040 - 9383(66 ) 90035-8. Mathematisches Institut, Endenicher Allee 60, Bonn, Germany Email address: carrick@math.uni-bonn.de
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.