pith. sign in

arxiv: 2402.17519 · v2 · submitted 2024-02-27 · 🧮 math.AT

Chromatic defect, Wood's theorem, and higher real K-theories

Pith reviewed 2026-05-24 03:47 UTC · model grok-4.3

classification 🧮 math.AT
keywords chromatic defectWood equivalenceAdams-Novikov towersRavenel Thom spectrumReal Johnson-Wilson spectraMorava E-theory fixed pointscomplex orientabilityconnective image of J
0
0 comments X

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.

The paper defines chromatic defect as a measure, via Ravenel's Thom spectrum X(n), of how far a given spectrum lies from being complex-orientable. It computes the defect for finite spectra, Real Johnson-Wilson spectra, fixed points of Morava E-theories under finite stabilizer subgroups, and the connective image of J, and supplies an obstruction theory that detects when the defect is finite. Finite defect is shown to be equivalent, in a wide range of cases, to the existence of generalized Wood equivalences. These equivalences are then used to build Z-indexed Adams-Novikov towers for the spectra in question.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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

Figures reproduced from arXiv: 2402.17519 by Christian Carrick.

Figure 1
Figure 1. Figure 1: The E1-page of the May SS for T(1) at p = 2 Proposition 3.4. In the May SS for T(1) at p = 2, we have the following differ￾entials d1(h3,0) = h1,0h2,1 d1(h4,0) = h1,0h3,1 + h2,0h2,2 d2(h 2 3,0 ) = h 2 1,0h2,2 The May SS for T(n) in general exhibits a similar pattern. The following comes by a degree check on the generators of the E1-page, and the differential follows from the coproduct formula. Proposition … view at source ↗
Figure 2
Figure 2. Figure 2: The E2-page of the Adams SS for T(1) at p = 2 The May differential d1(hn+2,0) = h1,0hn+1,1 follows from the coproduct formula ∆(ξn+2) = ξn+2 ⊗ 1 + 1 ⊗ ξn+2 + ξ 2 n+1 ⊗ ξ1 + nX +1 j=2 ξ 2 j n+2−j ⊗ ξj so that, in the cobar complex, d([ξn+2]) = [ξ 2 n+1|ξ1] modulo higher May filtration terms. □ Corollary 3.6. The first nonzero odd homotopy group of T(n) is π2pn+1−3T(n) = Z/p A generator is detected by hn+1,1… view at source ↗
Figure 3
Figure 3. Figure 3: The ANSS for ko. −8−6−4−2 0 2 4 6 8 10 12 14 16 18 20 −8 −6 −4 −2 0 2 4 6 8 [PITH_FULL_IMAGE:figures/full_fig_p051_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: The Z−ANSS for ko. Proof. If the claimed differential does not happen in ANSS(ko), then the spectral sequence collapses on E2. Indeed if d3(u 2 ) = 0, then u 2 is a permanent cycle for degree reasons, as is clear from [PITH_FULL_IMAGE:figures/full_fig_p051_4.png] view at source ↗
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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

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] §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.
  2. [§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

0 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 1 axioms · 1 invented entities

The paper rests on standard background in chromatic homotopy theory plus the new definition of chromatic defect; no free parameters or invented entities with independent evidence are apparent from the abstract.

axioms (1)
  • standard math Standard properties of Ravenel's Thom spectrum X(n) and the Morava stabilizer group
    Invoked to define chromatic defect and perform computations for fixed points of Morava E-theories
invented entities (1)
  • chromatic defect no independent evidence
    purpose: Measures distance of a spectrum from being complex-orientable
    Newly defined concept introduced in the paper; no independent evidence outside the definition itself

pith-pipeline@v0.9.0 · 5644 in / 1446 out tokens · 28183 ms · 2026-05-24T03:47:23.478634+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

63 extracted references · 63 canonical work pages · 2 internal anchors

  1. [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. [2]

    Angelini-Knoll, C

    G. Angelini-Knoll, C. Ausoni, and J. Rognes.Algebraic K-theory of real topo- logical K-theory. 2023. arXiv:2309.11463 [math.AT]

  3. [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. [4]

    K-theory and reality

    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

  5. [5]

    project authors

    S. project authors. The Stacks project. https://stacks.math.columbia. edu. 2024

  6. [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. [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. [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. [9]

    Beardsley and T

    J. Beardsley and T. Lawson.Skeleta and categories of algebras. 2021. arXiv: 2110.09595 [math.AT]

  10. [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,

  11. [11]

    doi: 10.1016/j.aim.2021.108020

    issn: 0001-8708. doi: 10.1016/j.aim.2021.108020

  12. [12]

    M. Behrens. Topological modular and automorphic forms. 2019. arXiv:1901. 07990 [math.AT]

  13. [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)

  14. [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. [15]

    Carrick and M

    C. Carrick and M. A. Hill.On higher realK-theories and finite spectra. 2025

  16. [16]

    Carrick, M

    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. [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

  18. [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. [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

  20. [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. [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

  22. [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. [23]

    Z. Duan, G. Li, and X. D. Shi.Vanishing lines in chromatic homotopy theory

  24. [24]

    arXiv: 2204.08600 [math.AT]

  25. [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

  26. [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

  27. [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]

  28. [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. [29]

    M. A. Hill, M. J. Hopkins, and D. C. Ravenel.The homotopy ofEO2(p−1)

  30. [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. [31]

    M. J. Hopkins. Complex-oriented cohomology theories and the language of stacks

  32. [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–

  33. [33]

    doi: 10.1090/conm/158/01454

    isbn: 0-8218-5165-9. doi: 10.1090/conm/158/01454

  34. [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

  35. [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

  36. [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. [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. [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

  39. [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–

  40. [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

  41. [41]

    J. Lurie. Chromatic homotopy theory. 2010

  42. [42]

    Brown-ComenetzdualityandtheAdamsspectral sequence

    M.MahowaldandC.Rezk.“Brown-ComenetzdualityandtheAdamsspectral sequence”.Amer. J. Math.121.6 (1999), pp. 1153–1177.issn: 0002-9327,1080- 6377

  43. [43]

    The homology of tmf

    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. [44]

    A. Mathew. Torus actions on stable module categories, Picard groups, and localizing subcategories. 2015. arXiv:1512.01716 [math.RT]

  45. [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

  46. [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. [47]

    Unitedelliptichomology

    L.Meier.“Unitedelliptichomology”.PhDthesis.RheinischeFriedrich-Wilhelms- Universität Bonn, 2012

  48. [48]

    Meier, X

    L. Meier, X. D. Shi, and M. Zeng. A stratification of the equivariant slice filtration. 2023. arXiv:2310.12105 [math.AT]

  49. [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-

  50. [50]

    doi: 10.1016/0022-4049(81)90104-3

  51. [51]

    On relations between Adams spectral sequences, with an appli- cation to the stable homotopy of a moore space

    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. [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. [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. [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

  55. [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. [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

  57. [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

  58. [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–

  59. [59]

    doi: 10.1017/S0305004100054712

    issn: 0305-0041. doi: 10.1017/S0305004100054712

  60. [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. [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

  62. [62]

    BanachalgebrasandBottperiodicity

    R.Wood.“BanachalgebrasandBottperiodicity”. Topology4.4(1966),pp.371–

  63. [63]

    doi: https : / / doi

    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