{"id":"27f26181-b1f2-4ea8-84b2-ab914932d1b9","arxiv_id":"1908.11496","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Every connective spectrum with mod p homology in degrees divisible by 2p-2 has algebraic EO theory, yielding an EO-orientation for MY_{4p-4} and answering Hovey and Ravenel's question.","lead":"For odd primes p, this paper proves that every sphere bundle over the Wilson space Y_{4p-4} admits an orientation toward the higher real K-theory spectrum EO, answering a question of Hovey and Ravenel. The proof works by showing that spectra whose mod p homology is concentrated in degrees divisible by 2p-2 split cleanly after smashing with EO.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 5.9's Hurewicz-image sparsity is the load-bearing assumption for Theorem 5.13 and hence Theorem 1.1; it rests on an imported HFPSS computation and a delicate Massey-product vanishing not independently verified in the paper.","rationale":"The paper's main theorem is a substantial positive result, and much of the architecture (the X_l complexes, the 'algebraic EO-module' notion, the splitting lemmas) is coherent. The proof of Theorem 1.1 reduces to Theorem 5.13, and Theorem 5.13's cellular induction is sound provided the Hurewicz-image sparsity of Proposition 5.9 holds. That sparsity is the true load-bearing assumption: it is used to show every attaching map in a 2n-sparse complex is EO-null except the first alpha_1 map. The paper does not give a fully self-contained proof of the l=1 sparsity; it relies on a cited HFPSS computation and a Massey product vanishing in the Novikov E2 page. Both are checkable, but they are not machine-checked and are exactly where an imported error or a hidden indeterminacy could invalidate the induction. I do not see an internal inconsistency in the argument, and the paper's self-report 'We wanted to prove that EO to E is Galois, but failed to do so. We cite Devinatz' is honest and not fatal, since Devinatz's theorem supplies the needed input. The garbled final paragraph of Theorem 6.1 does not affect Theorem 1.1 because Section 6 is explicitly an application. For these reasons the reader's CONDITIONAL verdict is appropriate; my review does not move it.","tokens_in":28958,"tokens_out":19988,"duration_ms":181800,"concrete_test":"Independently verify Proposition 5.9 at l=1 for p=3 using published EO_* computations (e.g. Nave or Rezk). Check that alpha_k maps to zero in EO_{4k-1} for k>1 and that the only permanent cycle on the 1-line of the HFPSS in degree -1 mod 2n is alpha v^0. Also recompute the Novikov E2 Massey products alpha_{np^k+1} = for k=1,2 and confirm they map to zero in the HFPSS E2 page. If alpha_2 or alpha_3 is nonzero in EO_*, or any alpha v^j (j>0) is in the unit image, Proposition 5.9 fails and the orientation theorem collapses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central orientation theorem 1.1 is obtained from Proposition 5.19, which applies Theorem 5.13 to the 2n-sparse Thom spectrum and base space, and then Corollary 5.7. Theorem 5.13 is proved by cellular induction: at each cell attachment in degree 2nk-1, the attaching map must be null after smashing with EO, and Lemma 5.10 and Lemma 5.11 reduce this to the statement that the Hurewicz image HI_{2nk-1}(EO) is zero for k>1 and spanned by alpha_1 for k=1. That is exactly Proposition 5.9. The l=1 case of Proposition 5.9 is established by a Massey product argument in the Novikov E2 page (alpha_{np^k+1} = ) combined with the HFPSS computation reviewed in Section 5.2. Both ingredients are delicate. The HFPSS E2 page description F_p[alpha, beta, v^{pm}] in positive filtration and the differentials d_{2n}(v)=alpha beta^n, d_{2n^2+1}(alpha v^n)=beta^{n^2+1} are imported from [12]; if any additional permanent cycle in degree -1 mod 2n exists, then HI_{2nk-1}(EO) would be larger. The Massey product argument also assumes the indeterminacy in the HFPSS E2 page in those stems is trivial and that sparsity forces alpha_{np^k} to map to zero; a failure there would leave alpha_{np^k+1} alive in the Hurewicz image. Either failure would make the induction in Theorem 5.13 collapse: a 2n-sparse cell complex with a nontrivial attaching map in degree 4n-1 or higher would not split as EO wedge sum Sigma^{s_i} X_{l_i}, and the Thom equivalence EO wedge M_f iso EO wedge Y_+ would not follow. This is a correctness risk in the paper's own argument, independent of whether the HFPSS computation is accepted.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":29327,"tokens_out":22173,"duration_ms":188847,"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":[{"comment":"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.","section":"§5.3, Proposition 5.9"},{"comment":"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.","section":"§5.1, Theorem 5.6"},{"comment":"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.","section":"§6, Theorem 6.1"}],"minor_comments":[{"comment":"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.","section":"§5.2 and §5.3"},{"comment":"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.","section":"§5.5, Proposition 5.21"},{"comment":"The statement of Lemma 5.10 contains garbled notation, specifically the expression “Y(2nk)^{(2nk)}”; the intended subquotient should be written out clearly.","section":"§5.3, Lemma 5.10"},{"comment":"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.","section":"§4, Not A Corollary 4.10"},{"comment":"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.","section":"§6, proof of Theorem 6.1"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is ambitious and the main idea is attractive, but the central chain of arguments currently has two load-bearing gaps: the proof of Proposition 5.9 is incomplete, and Theorem 5.6 assumes torsion-freeness without stating it. In addition, the proof of Theorem 6.1 appears to contain a copy-paste error and a degree miscalculation. These issues are likely repairable, so I recommend major revision rather than rejection; the author should be asked to provide a complete proof of Proposition 5.9, to clarify the hypotheses of Theorem 5.6, and to rewrite Section 6. I do not see grounds to doubt the overall approach, but the technical details must be nailed down."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper proves the odd-primary analogue of MSU-oriented KO: any sphere bundle over the Wilson space Y_{4p-4} is orientable for EO, the height p-1 real E-theory. That answers a Hovey-Ravenel question, and the main new tool is a clean criterion—a connective spectrum with mod p homology concentrated in degrees 2k(p-1) has algebraic EO theory, meaning EO smash X splits as a wedge of standard EO-modules EO wedge X_l. The proof is a cellular induction, and the hard part is controlling the Hurewicz image of EO in degrees congruent to -1 mod 2(p-1). That control is Proposition 5.9.\n\nThe paper does several things well. The overall structure is clear, and it is unusually honest about what is imported: the Hopkins-Miller HFPSS computation, Devinatz's Galois and convergence results, and the detailed identification of the Adams summand. The author explicitly says he tried to prove EO -> E is Galois and failed, then cites Devinatz. That is the right way to treat a borderline result. The closedness theorems for algebraic EO-modules under smash products and symmetric powers are also useful and not just window dressing.\n\nNow the soft spots. The load-bearing point is Proposition 5.9, which asserts that the Hurewicz image of EO in stems 2kn-1 is zero for k>1 and spanned by alpha_1 for k=1. This rests on the HFPSS computation summarized in 5.2 and a Massey product in the Novikov E2 page. Both are imported or handled briefly. If an exotic permanent cycle sits in one of those stems, the induction collapses. That's a real dependency, but not an obvious error; it is the place I'd ask a referee to re-derive carefully. The integral lift in Theorem 5.6 is only justified in the torsion-free case; the theorem as stated for arbitrary spectra overreaches, though the application to Y_{4p-4} is torsion-free. The proof of Theorem 6.1 is muddled near the end—there is a paragraph about M_f and Y_{4p-4} that seems out of place—but that section is not needed for the main results.\n\nOverall, this is a serious paper with a new theorem, a new method, and a transparent report of its dependencies. I would send it to a top stable homotopy theorist for a careful read, especially of Section 5.3. It should not be desk-rejected; with the dependencies verified, it is a solid contribution.","headline":"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.","tokens_in":29881,"tokens_out":3110,"would_cite":true,"duration_ms":29313,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["55P42","55N22","55T15","55R25"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every sphere bundle over the Wilson space $Y_{4p-4}$ is EO-orientable at every odd prime.","keywords":["EO theory","Morava E-theory","Thom spectra","orientations","Wilson spaces","homotopy fixed point spectral sequence","algebraic EO-modules","P(1)-comodules"],"falsifier":"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.","tokens_in":28715,"feed_emoji":"🧭","tokens_out":17120,"duration_ms":140626,"temperature":0.7,"pith_summary":"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.","feed_headline":"Every sphere bundle over Y_{4p-4} is EO-orientable at odd primes","feed_subtitle":"The resulting Thom orientation MY_{4p-4} → EO answers a question open since the 1990s.","key_machinery":"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