Pith. sign in

REVIEW 3 major objections 5 minor 16 references

An Orientation Map for Height p-1 Real E Theory

T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Every sphere bundle over the Wilson space $Y_{4p-4}$ is EO-orientable at every odd prime.

desk verdict A serious answer to a Hovey-Ravenel question via a clean sparsity criterion; the main risk is the imported HFPSS/Massey-point in Prop 5.9, which deserves careful referee scrutiny. read the letter →

arxiv 1908.11496 v1 pith:GWTNN4AL submitted 2019-08-30 math.AT

Hood Chatham This is my paper · ORCID
classification math.AT MSC 55P4255N2255T1555R25
keywords EOtheoryMoravaE-theoryThomspectraorientationsWilsonspaceshomotopyfixedpointspectralsequencealgebraicEO-modulesP(1)-comodules
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves that, for every odd prime $p$, every sphere bundle over the Wilson space $Y_{4p-4}$ is orientable for $EO$, the $C_p$-fixed points of height $p-1$ Morava $E$-theory. The proof produces a unital map $MY_{4p-4} \to EO$ from the associated Thom spectrum that factors the unit map $S^0 \to EO$, settling a question that had been open since the 1990s after an Adams-Novikov computation for $MY_{4p-4}$ suggested several copies of $EO$'s homotopy fixed point spectral sequence. The engine is a general splitting theorem: any connective spectrum whose mod $p$ homology is concentrated in degrees divisible by $2(p-1)$ has algebraic $EO$ theory, meaning $EO \wedge Z$ splits into standard pieces determined by the $P^1$ coaction on its mod $p$ homology. Because $Y_{4p-4}$ is sparse in this sense and sufficiently connected, the Thom class of any sphere bundle over it has trivial $P^1$ action, so every such bundle is orientable.

What carries the argument

The load-bearing objects are the spectra $X_l$: for each $1\le l\le p$, the unique $l$-cell complex with one cell in each degree $2k(p-1)$, $0\le k<l$, and all attaching maps given by $\alpha_1$, the first nonzero $p$-primary stable homotopy class. They form the odd-prime analogue of the pieces in the $p=2$ classification of $KO$-modules; $E_*(X_l)/\mathfrak{m}$ is the length-$l$ indecomposable $K_*[C_p]$-representation, and $E_*(X_p)$ is free, which yields $EO\wedge X_p \simeq E^{hC_{n_2}}$. A spectrum has algebraic $EO$ theory when $EO\wedge Z$ is a wedge of suspensions of these $X_l$'s. The main mechanism is Theorem 5.13, proved by cellular induction from Proposition 5.9, a sparsity statement about the Hurewicz image of $EO_*$: in stems $2k(p-1)-1$ the only nonzero Hurewicz image is $\alpha_1$ in degree $2p-3$. On the homology side, the sub-Hopf algebra $P(1)_* = \mathbb{F}_p[\xi_1]/(\xi_1^p)$ generated by $P^1$ controls the cell attachments and determines the splitting.

What would settle it

Run the comparison between the Adams-Novikov spectral sequence and the homotopy fixed point spectral sequence for $EO$ at $p=3$ and $p=5$ in the stems $2k(p-1)-1$: the claim predicts that the Hurewicz image of the sphere is zero for $k\neq 1$ and spanned by $\alpha_1$ for $k=1$, so one surviving nonzero permanent cycle in any other such stem would refute Proposition 5.9 and with it the splitting theorem behind the orientation.

Watch

Extended reading notes

Core claim

The central discovery is Theorem 1.1: for any map $f\colon Y_{4p-4} \to BGL_1(S)$, there is an equivalence of $EO$-modules $EO \wedge M_f \simeq EO \wedge (Y_{4p-4})_+$, and consequently a unital map $M_f \to EO$ factoring the unit. This is the odd-prime analogue of the classical $MSU$ orientation of $KO$ at $p=2$, and it answers the motivating question posed by the earlier Adams-Novikov computation of $MY_{4p-4}$. Underlying it is Theorem 5.13: every connective $(2p-2)$-sparse spectrum has algebraic $EO$ theory, meaning $EO \wedge Z \simeq EO \wedge \bigvee \Sigma^{s_i} X_{l_i}$, where $X_l$ is the unique $l$-cell complex with cells in degrees $2k(p-1)$ and $\alpha_1$ attaching maps. The structural content is that the mod $p$ homology of such a spectrum, viewed as a comodule over the sub-Hopf algebra generated by $P^1$, completely determines the $EO$-module structure after smashing with $EO$.

Load-bearing premise

The argument stands or falls on the imported statement that $EO$ has no hidden odd-degree homotopy classes in the stems $2k(p-1)-1$ beyond $\alpha_1$ in the first stem; if that homotopy calculation missed a class, the cell-by-cell induction that builds every splitting would break.

Editorial extensions

If this is right

  • Any map $f\colon Y_{4p-4}\to BGL_1(S)$ is $EO$-orientable; in particular the Thom spectrum $MY_{4p-4}$ of the standard bundle admits a unital orientation to $EO$, answering the 1990s question.
  • An Adams-conjecture argument upgrades this to an orientation of the standard complex bundle on $MU_{2p}$: there is a unital map $M_{MU_{2p}}\to EO$.
  • Tensor products of complex vector bundles are orientable in bulk: if $V_1,\dots,V_p$ are virtual complex bundles of dimension divisible by $p$, then $V_1\otimes\cdots\otimes V_p$ is $EO$-orientable; in particular $pV$ and $V^{\otimes p}$ are orientable for any $V$.
  • For any $(2p-2)$-sparse space, $EO$-orientability of complex bundles is Chern-determined: a bundle is orientable exactly when its $(p-1)$st power-sum class $\mathbf{p}_{p-1}(V)$ vanishes mod $p$.
  • More generally, every sphere bundle over any $(2p-2)$-sparse $2p$-connective space is $EO$-orientable, so the phenomenon is not special to $Y_{4p-4}$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Because Proposition 5.19 is stated in a height-independent form, the same cellular splitting strategy should produce orientations for $E_{k(p-1)}^{hC_p}$ at higher heights whenever the analogue of the Hurewicz-image sparsity holds; a concrete next case is $k=2$.
  • A practical test of the method is to compute the $P(1)_*$-comodule structure of the mod $p$ homology of other candidate universal spaces, for example the individual Adams summands of $BU[2p]$: any summand whose $P^1$ action has no odd classes in the relevant range should carry an $EO$-orientable universal bundle.
  • The equivalence $EO\wedge X_p \simeq E^{hC_{n_2}}$ makes the module structure explicit, so for algebraic $EO$-modules the computation of homotopy groups reduces to linear algebra over $\mathbb{F}_p[\xi_1]/(\xi_1^p)$; this suggests a practical algorithm for computing $EO_*(Z)$ from a small amount of mod $p$ homology data.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper introduces the notion of algebraic EO theory for spectra: an EO-module M is algebraic if M ≃ EO ∧ ⋁Σ^{s_i}X_{l_i}, and a spectrum Z has algebraic EO theory if EO ∧ Z is algebraic. The central splitting theorem (Theorem 5.13) states that every connective (2p−2)-sparse spectrum has algebraic EO theory. The proof proceeds by cellular induction using a sparsity statement about the Hurewicz image of EO (Proposition 5.9). The main application (Theorem 1.1) asserts that for any map f: Y_{4p−4} → BGL1(S), there is an equivalence EO ∧ M_f ≃ EO ∧ (Y_{4p−4})_+ of EO-modules, giving a unital orientation M_f → EO and answering a question of Hovey and Ravenel. The paper also contains secondary applications involving MU_{2p} and the space Y_{2p}, and it proves several structural facts about the Galois extension EO → E and the associated relative Adams spectral sequence.

Significance. The main theorem, if correct, is a substantial result: it provides the first odd-primary analogue of the MSU → KO orientation, and the splitting criteria for EO-modules are likely to be useful in future work. The paper is well motivated and contains several useful computations, including the C_p-action on E_*(X_l) and the identification EO ∧ X_p ≃ E^{hC_{n_2}}. The reliance on prior work (Hopkins–Miller, Devinatz, Bujard, Wilson, Ravenel) is appropriate, and no circularity in the orientability argument was detected. However, the central proof depends on delicate spectral sequence ingredients that are not fully established in the manuscript, and one of the key comparison theorems contains an unstated torsion-freeness assumption. The paper has the potential to make an important contribution, but it needs substantial revision.

major comments (3)
  1. [§5.3, Proposition 5.9] The l=1 case of Proposition 5.9 is the core of the induction in Theorem 5.13, but its proof is incomplete. The assertion that “the only element of the Novikov 1-line in the degree of α v^j is α_{np^k+1}” is not justified as stated for all j: for example, when p=3 and n=2, the degree of α v^j corresponds to s=1+6j on the Novikov 1-line, and α_13 (j=2) is an element not of the form α_{2·3^k+1}. A complete argument must either show that the listed elements are the only ones that can survive to the E∞ page of the map from the Adams–Novikov spectral sequence to the homotopy fixed point spectral sequence, or prove directly that every α_s with s>1 maps to zero in the Hurewicz image. As written, the Massey-product argument only addresses a subsequence of the relevant j’s, and the indeterminacy/sparsity reasoning is not fully spelled out. Because Proposition 5.9 is the load-bearing input for the cellular induction in Theorem 5.13 and hence for Theorem 1.1, this gap must be repaired before the main theorem can be accepted.
  2. [§5.1, Theorem 5.6] Theorem 5.6 is stated for an arbitrary spectrum Z with algebraic EO theory, but the proof explicitly assumes that Z is torsion-free. The proof begins by choosing an integral lift of the mod p homology decomposition, and later says “Because Z is torsion free, the shortest possible Atiyah–Hirzebruch differential is d_{2n};” neither step is justified without a torsion-freeness hypothesis. For a general spectrum with algebraic EO theory, the integral homology may have torsion and the required integral lift need not exist. This is not a cosmetic issue: Corollary 5.7 and Proposition 5.19 depend on Theorem 5.6, so the main orientation theorem relies on this step. The theorem should either be reproved under a torsion-free hypothesis that covers the applications, or the lifting step should be justified in the stated generality.
  3. [§6, Theorem 6.1] The proof of Theorem 6.1 does not establish the theorem as stated. The theorem claims that any Z with HF_p^*(Z) ≅ HF_p^*(Y_{2p}) as P(1)*-comodules has algebraic EO theory, but the proof only analyzes EO ∧ Y_{2p} itself. The final paragraph suddenly introduces MY_{2p}, M_f, and Y_{4p−4}, which are irrelevant to the statement and appear to be a misplaced excerpt from the proof of Theorem 1.1. Moreover, the assertion that the trivial summands generated by (c_{p+pnk_1}⋯c_{p+pnk_i})^p lie in degrees congruent to 0 mod 2p is false in general: for p=3, (c_3)^p has degree 9, which is 3 mod 6. Thus the claimed splitting into free and 2p-sparse summands is not obtained. Corollary 6.2 depends on this theorem, so it is currently unsupported; this does not affect the main theorem, since the paper states that the material after Section 5.4 is not needed for the introduction’s results.
minor comments (5)
  1. [§5.2 and §5.3] The HFPSS class of bidegree (2pn^2,0) is called u in Section 5.2 and v in Proposition 5.9 and Theorem 5.14; please unify the notation.
  2. [§5.5, Proposition 5.21] The proof of Proposition 5.21 cites “By Proposition 5.19” for the splitting; the correct reference appears to be Proposition 5.20, and the surrounding cross-references should be checked.
  3. [§5.3, Lemma 5.10] The statement of Lemma 5.10 contains garbled notation, specifically the expression “Y(2nk)^{(2nk)}”; the intended subquotient should be written out clearly.
  4. [§4, Not A Corollary 4.10] The label “Not A Corollary 4.10” is confusing: the statement is attributed to Devinatz and is later used in the proof of Proposition 4.11, so it should be formatted as a cited theorem rather than as an uncorroborated remark.
  5. [§6, proof of Theorem 6.1] The proof of Theorem 6.1 contains a paragraph beginning “On the other hand, HF_p^*(MY_{2p}) ≅ HF_p^*(Y_{2p}) as P(1)*-representations…” that appears to be a misplaced excerpt from the proof of Theorem 1.1; it should be removed or moved to its proper location.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation found: the orientation theorem is supported by independent external computations rather than by its own conclusion.

full rationale

Walking the claimed derivation chain from Theorem 1.1 back through Proposition 5.19, Corollary 5.7, Theorem 5.13, and Proposition 5.9, I find no step where an output is reused as an input. The main theorem is deduced from the splitting theorem for 2n-sparse spectra; that theorem is proved by cellular induction whose inductive hypothesis is the algebraic-EO-theory splitting of the lower skeleton, not the orientability of the final Thom spectrum. The critical sparsity fact, Proposition 5.9, is a statement about the Hurewicz image of EO_* itself, and its proof is anchored in the external Hopkins-Miller/Nave HFPSS computation (E_2 page F_p[alpha,beta,v^{pm}] with the stated differentials) and a Massey product in the ANSS of the sphere. None of these inputs mention Y_{4p-4}, Thom spectra, or orientations. The paper is explicit about which Galois facts it does not reprove: 'We wanted to prove that EO -> E is Galois, but failed to do so. We cite Devinatz for this.' All other imported results (Wilson's splittings, Bujard's finite-subgroup classification, Hughes-Kemper symmetric-power formulas) are external, not self-citations by the author. A skeptical concern about whether the HFPSS computation or Massey indeterminacy is correct is a correctness risk, not circularity, because a failure there would make Theorem 5.13 false rather than tautologically true. The definition of 'algebraic EO theory' is a working notion used to formulate the splitting theorem, and it is not a restatement of Theorem 1.1. Hence score 0.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The paper introduces no fitted constants and no new entities. Its central claims rest on a chain of prior theorems: Hopkins-Miller, Bujard, Devinatz, the HFPSS computation, the Adams conjecture, Wilson's splitting, and modular representation symmetric power formulas. These are external inputs, not assumptions tuned to force the result.

assumptions (7)
  • standard math Hopkins-Miller theorem: there is an E-infinity Morava E-theory E(k,Gamma) functorial in the pair (k,Gamma), with Aut(Gamma) acting by E-infinity ring maps.
    Invoked at the start of Section 3 to make E and the stabilizer action available. Not proved in the paper.
  • domain assumption Bujard's classification: a maximal finite subgroup of the Morava stabilizer group at height p-1 containing an element of order p is unique up to conjugacy and abstractly isomorphic to Cp semidirect C_{n^2}.
    Used in Section 3 to fix G and define EO = E^{hG}. Cited to [5].
  • domain assumption Hopkins-Miller computation of HFPSS: H_G^*(E_*) implies EO_* with E2 = F_p[alpha,beta,u^pm] in positive filtration and differentials d_{2n+1}(u)=alpha beta^n and d_{2n^2+1}(alpha u^n)=beta^{n^2+1}.
    Section 5.2 and Figure 1; the Hurewicz image sparsity in Proposition 5.9 depends on this computation, cited to [12].
  • domain assumption Devinatz's theorems: EO is E-nilpotent and the E-based Adams spectral sequence for any EO-module M converges with E2 = H_G^*(E_* wedge_EO M).
    Propositions 4.6 and 4.11 cite [6, Theorem 3.1 and 3.3]. The paper explicitly says it failed to prove the related Galois statement, labeled Not A Corollary 4.10.
  • domain assumption Wilson's splitting of MU_{2p}: MU_{2p} is a product of suspensions of Wilson spaces Y_{2k}.
    Used in the proof of Theorem 1.4 to decompose MU_{2p} into components A and B. Cited to [16].
  • domain assumption Adams conjecture for BGL1(S) with Adams operations: the composite BU -> BU -> BGL1(S) induced by a primitive (p-1)-st root of unity is null.
    Theorem 1.2, used in Corollary 1.3 and Theorem 1.4.
  • standard math Hughes-Kemper and Renaud formulas for tensor and symmetric powers of F_p[C_p]-modules and P(1)*-comodules.
    Appendix A uses [14] and [10] to transfer splitting formulas from modular representations to P(1)*-comodules.

how reviews work

0 comments
Cite this review

Pith. "Pith review of An Orientation Map for Height p-1 Real E Theory." pith.science (2026). https://pith.science/paper/GWTNN4AL

@misc{pith2026190811496,
  author       = {Pith},
  title        = {Pith review of: An Orientation Map for Height p-1 Real E Theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GWTNN4AL}},
  note         = {Machine review of arXiv:1908.11496}
}
abstract

Let $p$ be an odd prime and let $\mathit{EO} = E_{p-1}^{hC_p}$ be the $C_p$ fixed points of height $p-1$ Morava $E$ theory. We say that a spectrum $X$ has algebraic $\mathit{EO}$ theory if the splitting of $K_*(X)$ as an $K_*[C_p]$-module lifts to a topological splitting of $\mathit{EO} \wedge X$. We develop criteria to show that a spectrum has algebraic $\mathit{EO}$ theory, in particular showing that any connective spectrum with mod $p$ homology concentrated in degrees $2k(p - 1)$ has algebraic $\mathit{EO}$ theory. As an application, we answer a question posed by Hovey and Ravenel by producing a unital orientation $\mathit{MY}_{4p-4}\to \mathit{EO}$ analogous to the $\mathit{MSU}$ orientation of $\mathit{KO}$ at $p=2$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

  1. [1]

    Baker and A

    A. Baker and A. Lazarev. On the Adams spectral sequence forR-modules.ArXiv Mathematics e-prints, May 2001

    work page 2001

  2. [2]

    Towards the $K(2)$-local homotopy groups of $Z$

    Prasit Bhattacharya and Philip Egger. Towards theK(2)-local homotopy groups ofZ.ArXiv preprint arXiv:1706.06170, 2017

    work page Pith review arXiv 2017

  3. [3]

    The localization of spectra with respect to homology.Topology, 18(4):257–281, 1979

    Aldridge K Bousfield. The localization of spectra with respect to homology.Topology, 18(4):257–281, 1979

    work page 1979

  4. [4]

    A classification of K-local spectra.Journal of Pure and Applied Algebra, 66(2):121–163, 1990

    Aldridge K Bousfield. A classification of K-local spectra.Journal of Pure and Applied Algebra, 66(2):121–163, 1990

    work page 1990

  5. [5]

    Finite subgroups of extended morava stabilizer groups.ArXiv e-prints, 2012

    C Bujard. Finite subgroups of extended morava stabilizer groups.ArXiv e-prints, 2012

    work page 2012

  6. [6]

    TransactionsoftheAmer- ican Mathematical Society, 357(1):129–150, 2005

    EthanDevinatz.ALyndon-Hochschild-Serrespectralsequenceforcertainhomotopyfixedpointspectra. TransactionsoftheAmer- ican Mathematical Society, 357(1):129–150, 2005. AN ORIENTATION MAP FOR HEIGHTp−1 REALE THEORY 29

    work page 2005

  7. [7]

    On the nonexistence of elements of Kervaire invariant one.Annals of Mathematics, 184(1):1–262, 2016

    Michael A Hill, Michael J Hopkins, and Douglas C Ravenel. On the nonexistence of elements of Kervaire invariant one.Annals of Mathematics, 184(1):1–262, 2016

    work page 2016

  8. [8]

    Mark A. Hovey. n-elements in ring spectra and applications to bordism theory.Duke Math. J., 88(2):327–356, 06 1997

    work page 1997

Show all 16 references
  1. [9]

    The 7-connected cobordism ring atp = 3

    Mark A Hovey and Douglas C Ravenel. The 7-connected cobordism ring atp = 3. Transactions of the American Mathematical Society, 347(9):3473–3502, 1995

    1995

  2. [10]

    Communications in Algebra, 28(4):2059–2088, 2000

    IanHughesandGregorKemper.Symmetricpowersofmodularrepresentations,Hilbertseriesanddegreebounds. Communications in Algebra, 28(4):2059–2088, 2000

    2000

  3. [11]

    Relatively freeTMF -modules

    Lennart Meier. Relatively freeTMF -modules. 2012

    2012

  4. [12]

    The Smith-Toda complexV((p+1)∕2) does not exist.Annals of Mathematics, pages 491–509, 2010

    Lee S Nave. The Smith-Toda complexV((p+1)∕2) does not exist.Annals of Mathematics, pages 491–509, 2010

    2010

  5. [13]

    The non-existence of odd primary Arf invariant elements in stable homotopy

    Douglas C Ravenel. The non-existence of odd primary Arf invariant elements in stable homotopy. InMathematical Proceedings of the Cambridge Philosophical Society, volume 83, pages 429–443. Cambridge University Press, 1978

    1978

  6. [14]

    Journalof Algebra, 58(1):1–11, 1979

    J-CRenaud.Thedecompositionofproductsinthemodularrepresentationringofacyclicgroupofprimepowerorder. Journalof Algebra, 58(1):1–11, 1979

    1979

  7. [15]

    American Mathematical Soc., 2008

    John Rognes.Galois Extensions of Structured Ring Spectra / Stably Dualizable Groups, volume 192. American Mathematical Soc., 2008

    2008

  8. [16]

    TheΩ-spectrum for Brown-Peterson cohomology part II.American Journal of Mathematics, 97(1):101–123, 1975

    W Stephen Wilson. TheΩ-spectrum for Brown-Peterson cohomology part II.American Journal of Mathematics, 97(1):101–123, 1975. E-mail address: hood@mit.edu

    1975

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.