Pith. sign in

REVIEW 3 major objections 5 minor 10 references

The Omega spectrum for mod 2 KO-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 The mod 2 homology Hopf algebras of all eight spaces in the KR(1) Omega spectrum are computed explicitly.

desk verdict A genuinely new computation of the mod 2 homology Hopf algebras for the KR(1) spaces, with an exhaustive 98-map appendix, but the proof leans on 'because we know the answer' enough that a referee should push for derivations. read the letter →

arxiv 1908.01437 v1 pith:7ID5NJQ3 submitted 2019-08-05 math.AT

W Stephen Wilson This is my paper · ORCID
classification math.AT MSC 55N2055P4755T20
keywords mod2KO-theoryrealMoravaK-theoryhomologyHopfalgebrasOmegaspectrumVerschiebungbarspectralsequenceMoorespace8-periodicity
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

The paper establishes that the 8-periodic spectrum obtained from KO-theory smashed with the mod 2 Moore space is the same as the real first Morava K-theory, and that the mod 2 homology Hopf algebras of its eight constituent spaces can be written down exactly. For each connected component $KR(1)^i$, Theorem 1.2 lists the homology as a tensor product of polynomial, exterior, and truncated-polynomial algebras with explicit Verschiebung operators; when the Verschiebung is not listed it is zero. The same computation yields the homology maps for all 98 maps connecting the $KR(1)$ spaces to the $KO$, $KU$, and $K(1)$ spaces, together with the associated spectral sequences and homotopy long exact sequences. The result gives a complete space-level description of a periodic family of infinite loop spaces lying between real and complex K-theory, and supplies the height-one case of real Morava K-theory in full Hopf-algebraic detail.

What carries the argument

The load-bearing mechanism is the Borel structure theorem for graded Hopf algebras over $\mathbb{Z}/2$, which says every such Hopf algebra is a tensor product of polynomial algebras $P(x)$, exterior algebras $E(x)$, and truncated polynomial algebras $TP_{2^j}(x)$; the Frobenius $F$ and its dual Verschiebung $V$ satisfy $2_* = F V = V F$ and encode the coalgebra structure. Around this the paper uses the bar spectral sequence for fibrations and the Eilenberg-Moore spectral sequence, computing Tor over the Hopf algebra of a fiber to deduce the homology of the base or total space. The computation proceeds space by space: the known homologies of $KO_i$, $KU_i$, and $K(1)_i$ feed through fibrations such as $KO_i \to KR(1)_i \to KO_{i+1}$ and $KR(1)_i \to * \to KR(1)_{i+1}$, and the 'because we know the answer' principle forces the unique differentials and extension solutions consistent with the pieces already established.

What would settle it

Compute the spectral sequence for the fibration $KR(1)_0 \to * \to KR(1)_1$ directly and check the asserted differential $d_3(\gamma_4(w_k)) \neq 0$: if it fails, the surviving $E_\infty$ term has extra exterior generators and $H_*(KR(1)_1)$ is strictly larger than $P(x_{2k+1}) \otimes P(y_{4k+2})$. A complementary check is to compute $H_*(KR(1)_2)$ from the short exact sequence $KO_2 \to KR(1)_2 \to KO_3$ alone and test whether the extension $(y_{4i+3})^2 = x_{8i+6}$ is forced without invoking the later spectral sequence.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.2: for $i = 0, \ldots, 7$ the homology of the connected component of $KR(1)^i$, with $\mathbb{Z}/2$ coefficients, is the stated Hopf algebra, with all Verschiebung operators specified when they are nonzero. For instance $H_*(KR(1)_0) = E(x_k) \otimes P(y_{4k+2})$ with $V(x_{2k}) = x_k$, while $H_*(KR(1)_6) = \otimes_k TP_4(x_k)$ with $V(x_{2k}) = x_k$. These spaces are simultaneously the mod 2 KO-theory of the Moore space and the real first Morava K-theory, so the theorem is a complete homology computation for that $\Omega$ spectrum. The paper further shows that the maps $KO_i \to KR(1)_i \to KO_{i+1}$ are exact in the category of Hopf algebras at the middle term, a short exact sequence for $i = 1, 2, 5, 6$ and a longer exact sequence for $i = 0$, and it records every map, spectral sequence, and homotopy long exact sequence among the 20 spaces involved.

Load-bearing premise

The load-bearing premise is that at every step where the text forces a differential or extension solution 'because we know the answer,' that answer is genuinely already established by an independent part of the argument, such as a short exact sequence of Hopf algebras proved earlier, rather than by the very homology being computed.

Editorial extensions

If this is right

  • Every space in the 8-periodic Omega spectrum for mod 2 KO-theory now has an explicit mod 2 homology Hopf algebra, including all Verschiebung operators, so the coalgebra structure is fully determined.
  • All 98 maps among the KO, KU, K(1), and KR(1) spaces are described on homology, which determines the behavior of all 98 associated spectral sequences.
  • The homotopy long exact sequences associated with the fibrations are tabulated, giving an explicit record of the homotopy groups of the KR(1) spaces.
  • Because KR(1) is the real first Morava K-theory, the computation supplies the height-one case of the real Morava K-theory homology program in complete detail.
  • The exactness results give Hopf-algebra short exact sequences relating KO_i, KR(1)_i, and KO_{i+1} for i = 1, 2, 5, 6, which can be used to transfer structure between the three theories.

Reading between the lines

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

  • The 'because we know the answer' forcing strategy could be made algorithmic: in each spectral sequence the asserted differentials are the unique ones that make the $E_\infty$ term have the predicted size, so an independent verification of any single $H_*(KR(1)_i)$ would certify the entire chain.
  • The explicit maps between KR(1) and K(1) suggest a route to computing space-level $v_1$-periodic phenomena, such as the homology of the fibers of the $\eta$ maps, refining the classical homotopy computations recorded in the appendix.
  • If the pattern extends to higher heights, the homology Hopf algebras for real Morava K-theory KR(n) may be built from truncated polynomial factors with periodicity $2^{n+1}$, a testable conjecture once the relevant homotopy fixed-point spectra are computed.
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 identifies the 8-periodic cohomology theory coming from the KO-theory of the mod 2 Moore space with the real first Morava K-theory, and computes the mod 2 homology Hopf algebras H_*(KR(1)_i) for i=0,...,7, with explicit generators and Verschiebung (Theorem 1.2). It also states the exactness relations between H_*(KO_i), H_*(KR(1)_i), and H_*(KO_{i+1}) (Theorems 1.4 and 2.4), and provides an appendix listing all 98 maps and associated spectral sequences among the spectra KO, KU, K(1), and KR(1), together with homotopy long exact sequences. The main computations proceed by bar and Eilenberg-Moore spectral sequences for the relevant fibrations, solving extension problems by degree, Hopf algebra, and size arguments.

Significance. If the computations are correct, Theorem 1.2 gives a complete and explicit description of the homology of the spaces in the Omega spectrum for mod 2 KO-theory, a natural object connecting real K-theory and the first Morava K-theory. The paper is a useful reference, and the appendix's systematic enumeration of 98 maps and spectral sequences represents a substantial organizational effort. The author is also honest about a correction to a previous computation of H_*(K(1)_0). The main theorems are stated with enough precision that they could, in principle, be verified by independent machine computation, although the proofs are not formalized. The identification with real Morava K-theory via Hu-Kriz is a valuable conceptual point. The strength of the paper is its computational completeness; its weakness is that several load-bearing spectral sequence differentials and extension solutions are justified by appeal to the known answer rather than by fully explicit size or degree arguments.

major comments (3)
  1. [Section 11] The proof that the extension in H_*(KR(1)_6) is (y_i)^2 = x_{2i}, giving H_*(KR(1)_6) ≅ ⊗_k TP_4(x_k), rests on the assertion that after considering the alternative (y_{2i})^2 = 0 the resulting extra Γ[z_{4i+2}] 'must survive, but we already have enough elements in this degree.' This is the central computational step for the i=6 case of Theorem 1.2, but the size comparison is not carried out. The text does not give the Poincaré series of H_*(KR(1)_7) (computed in Section 10) nor the dimension in degrees 4i+2, and it does not explicitly rule out mixed extension patterns (some y_i^2 = 0 and others y_i^2 = x_{2i}) or differentials that could kill the extra divided-power classes. Please replace the appeal with an explicit count: compute the Poincaré series of the E_2 term for both candidate algebra structures, compare with the known Poincaré series of H_*(KR(1)_7) in each degree, and show that the extra classes cannot be killed by differentials because their degree and filtration force them to survive.
  2. [Section 5] The nonzero differential d3(γ4(w_k)) in the spectral sequence KR(1)_0 → * → KR(1)_1 is forced by the sentence 'This is way too big. Remember, we know the answer here.' To make the proof of H_*(KR(1)_1) non-circular, please make the size argument explicit. In particular: (a) state that d1 and d2 vanish because their targets in filtration 0 are only in degree 0; (b) compute the Poincaré series of the E_2 term Γ[w_k] ⊗ E(ww_{4k+3}) and of the known algebra P(x_{2k+1}) ⊗ P(y_{4k+2}), which was already obtained from the short exact sequence in this same section, showing that exactly one d3 on each γ4(w_k) is required; (c) verify that either of the two degree-(4k−1) filtration-1 targets yields the correct E∞ associated graded. This would replace the appeal to the final answer with a structurally necessary differential.
  3. [Appendix, Section 13] The stated ground rule that differentials and extension solutions will be 'asserted ... because we know the answer' makes many of the 98 spectral sequence computations in the appendix unverifiable as written. Since the appendix is presented as a complete description of all 98 maps and spectral sequences, please specify for each asserted differential or extension which independently known object supplies the 'known answer' (for example, H_*(KR(1)_i) as proved in the main paper, or H_*(KO_i), H_*(KU_i), H_*(K(1)_i) from the literature). Where the assertion is not derived from such an independent source, mark it explicitly and provide the missing derivation. This is particularly important for the remark after RKR557, which admits that a later spectral sequence is needed to correct an extension that the current one cannot see.
minor comments (5)
  1. [Section 11] The sentence 'This solves the extension problem for all yi with i odd' appears to be a typo: the surrounding equations (y_{2i})^2 = x_{4i} and x_{2i} = V F(y_{2i}) = F V(y_{2i}) = F(y_i) = (y_i)^2 solve (y_i)^2 = x_{2i} for every i, not only odd i. Please clarify the indexing.
  2. [Section 3] The statement 'any even degree element in filtrations 0 or 1 must survive' is used repeatedly; it would help to state explicitly that this follows because differentials lower filtration, so a class in filtration 0 or 1 can only be hit from filtration ≥2, but all generators in filtration ≥2 have even degree and targets of nonzero differentials must be odd-degree primitives.
  3. [Section 2, Theorem 2.4] The table in Theorem 2.4 uses notation such as 'zz4j+2→ (w2j+1)2' without explicit superscript formatting; please ensure all squares and Verschiebung formulas are typeset unambiguously, since several are easy to misread in the current version.
  4. [Introduction] The statement 'the experts informed me that they were known in the 1960s to Mahowald and that there wasn’t a reference because everyone already knew them' is informal and does not give a citable source for the homotopy groups of KR(1)_i. Please either add a precise reference or state that these groups are folklore and list them in the appendix for completeness.
  5. [Appendix, Section 22] The homotopy long exact sequence tables would benefit from a brief explanation of the conventions used for the arrows (e.g., which arrows are boundary maps and which are induced by η or multiplication by 2), since several entries are not self-explanatory.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the 'we know the answer' differentials are anchored to independent short-exact-sequence/algebra data, and the appendix's ground rule explicitly sources its answers from the already-proved main theorem.

full rationale

The main theorem is a computation of eight Hopf algebras from known KO, KU, and K(1) data. The apparently circular phrase 'because we know the answer' (Sections 5, 11, and 13) is not used to bootstrap Theorem 1.2. In Section 5, the 'size' that forces the differential d3(gamma_4(w_k)) is the algebra P(x_{2k+1}) (x) P(y_{4k+2}) already obtained from the collapsing spectral sequence for KO_1 -> KR(1)_1 -> KO_2; the remaining problem is only the Verschiebung, which is then solved by Frobenius injectivity. In Section 11, the forced extension (ww_{4i})^2 = ww_{8i} is compared with H_*(KR(1)_7), which was computed independently in Section 10; the same section's exclusion of y_i^2 = 0 compares against the already-known degree counts of H_*(KR(1)_7). Appendix Section 13 explicitly states that 'relying on the main paper, we do know H_*(KR(1)_i)' and uses that knowledge to organize maps and spectral sequences; this is a reuse of the main result, not a premise for it. The author's self-citations ([Wil84], [KW07], [RW77]) supply inputs (H_*(K(1)), H_*(KO), H_*(KU)) that are not the target Hopf algebras and are corrected where needed, e.g. the missed square in [Wil84]. Proof gaps, such as the asserted uniqueness of 'the first possible differential' or the not-fully-written-out size comparison in Section 11, are correctness and rigor concerns, not circular reductions: no conclusion is made true by assuming itself. I therefore find no significant circularity.

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

The central claim rests on standard spectral sequence theory, Hopf algebra classification, and quoted homologies of KO, KU, and K(1). No free parameters are fitted, and no new entities are postulated. The identification with real Morava K-theory is taken from the literature.

assumptions (5)
  • standard math Borel structure theorem for graded Hopf algebras over Z/2 (Milnor-Moore [MM65])
    Used throughout to classify Hopf algebras as tensor products of polynomial, exterior, and truncated polynomial algebras (e.g., Section 3).
  • standard math Moore/Rothenberg-Steenrod and Eilenberg-Moore spectral sequences for fibrations of infinite loop spaces
    Proposition 3.1 states the two spectral sequences used for all computations; convergence and Tor formulas are taken as background.
  • domain assumption Known homology Hopf algebras of KO_i, KU_i, and K(1)_i from [CS02], [KW07], [RW77], [Wil84]
    The paper quotes these as inputs (Theorems 2.1, 2.2, 2.3) and does not reprove them.
  • domain assumption Identification of KR(1) with the real first Morava K-theory from [HK01, Theorem 3.32]
    Used to call KR(1)_i the spaces of the real first Morava K-theory and to state the abstract's identification.
  • domain assumption The stable maps 2, eta, rho, delta induce infinite loop space fibrations as diagram (1.1)
    The diagram (1.1) is the starting point for all fibrations; its derivation from smashing with connective K-theory is assumed.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Omega spectrum for mod 2 KO-theory." pith.science (2026). https://pith.science/paper/7ID5NJQ3

@misc{pith2026190801437,
  author       = {Pith},
  title        = {Pith review of: The Omega spectrum for mod 2 KO-theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7ID5NJQ3}},
  note         = {Machine review of arXiv:1908.01437}
}
read the original abstract

The 8-periodic theory that comes from the KO-theory of the mod 2 Moore space is the same as the real first Morava K-theory obtained from the homotopy fixed points of the Z/(2) action on the first Morava K-theory. The first Morava K-theory, K(1), is just mod 2 KU-theory. We compute the homology Hopf algebras for the spaces in this Omega spectrum. There are a lot of maps into and out of these spaces and the spaces for KO- theory, KU-theory and the first Morava K-theory. For every one of these 98 maps (counting suspensions) there is a spectral sequence. We describe all 98 maps and spectral sequences. 48 of these maps involve our new spaces and 56 of the spectral sequences do. In addition, the maps on homotopy are all written down.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

  1. [1]

    Cowen and N

    D.S. Cowen and N. Strickland. The Hopf rings for KO and KU . Journal of Pure and Applied Algebra , 166(3):247--265, 2002

    work page 2002

  2. [2]

    Samuel Eilenberg and John C. Moore. Homology and fibrations. I . C oalgebras, cotensor product and its derived functors. Comment. Math. Helv. , 40:199--236, 1966

    work page 1966

  3. [3]

    Hu and I

    P. Hu and I. Kriz. Real-oriented homotopy theory and an analogue of the Adams - Novikov spectral sequence. Topology , 40(2):317--399, 2001

    work page 2001

  4. [4]

    Kitchloo and W

    N. Kitchloo and W. S. Wilson. On the Hopf ring for ER(n) . Topology and its A pplications , 154:1608--1640, 2007

    work page 2007

  5. [5]

    J. W. Milnor and J. C. Moore. On the structure of Hopf algebras. Annals of Mathematics , 81(2):211--264, 1965

    work page 1965

  6. [6]

    J. C. Moore. Algèbre homologique et homologie des espaces classifiants. In Périodicité des Groupes d'Homotopie Stables des Groupes Classiques, d'après Bott , volume 12 of Seminaire Henri Cartan , chapter 7, pages 1--37. Secretariat mathematique, Paris, 1959-1960

    work page 1959

  7. [7]

    Rothenberg and N

    M. Rothenberg and N. E. Steenrod. The cohomology of classifying spaces of H -spaces. Bull. Amer. Math. Soc. , 71:872--875, 1965

    work page 1965

  8. [8]

    D. C. Ravenel and W. S. Wilson. The Hopf ring for complex cobordism. Journal of Pure and Applied Algebra , 9:241--280, 1977

    work page 1977

Show all 10 references
  1. [9]

    L. Smith. Lectures on the Eilenberg-Moore spectral sequence , volume 134 of Lecture Notes in Mathematics . Springer-Verlag, 1970

    1970

  2. [10]

    W. S. Wilson. The Hopf ring for Morava K -theory. Publications of Research Institute of Mathematical Sciences, Kyoto University , 20:1025--1036, 1984

    1984

Pith tools

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