{"id":"204ed69e-1c8a-4c5c-b34f-e41f49c931ad","arxiv_id":"1908.01437","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The homology Hopf algebras of the spaces KR(1)_i, the real first Morava K-theory or mod 2 KO-theory, are computed explicitly for all i, with all interconnecting maps and spectral sequences.","lead":"Topologists study shapes by assigning algebraic objects to them. This paper computes those algebraic objects for eight spaces related to K-theory and lists all 98 ways the spaces are connected.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The main proof's 'known answer' differentials are not circular, but Section 11's TP_4 extension is forced by a size argument that is not fully derived; this warrants the CONDITIONAL verdict.","rationale":"The reader's verdict is CONDITIONAL, and the weakest assumption they identified is the use of 'because we know the answer' to force differentials. My stress-test confirms that this is the right thing to worry about, but for a slightly different reason than pure circularity. Reading Sections 4 through 11 in dependency order, the main proof does not use the full Hopf algebra being proved as the 'known answer.' Section 5's differential is forced by the algebra structure of H_*(KR(1)_1), which comes from a short exact sequence that was already established using only known homology of KO spaces. Section 11's hardest step uses H_*(KR(1)_7), which is computed in Section 10 without reference to H_*(KR(1)_6). Thus the dependency graph is acyclic and the central claim is not circular in a way that would invalidate it. What remains is a rigor gap: the size arguments that force differentials and extensions are asserted, not proved. In Section 11, the exclusion of the no-extension case depends on the claim that the extra Γ[z_{4i+2}] classes in Tor would survive and exceed the known Poincaré series of H_*(KR(1)_7). This is plausible and likely correct, but the paper does not show that no differential can kill those classes, nor does it explicitly justify that the only possible extension is y_i^2=x_{2i} (which is true by degree considerations but should be stated). Section 5 has a similar issue with 'must take the first possible differential.' These are exactly the kind of details that a conditional acceptance should request. No error in the stated homology is demonstrated, and the main computation appears credible, but the proof is not complete enough for a reader to verify every step without independent trust. Therefore the reader's CONDITIONAL verdict is appropriate, and I do not recommend changing it.","tokens_in":32495,"tokens_out":37978,"duration_ms":306537,"concrete_test":"Recompute the bar spectral sequence RR67 of Section 11 for the fibration KR(1)_6 -> * -> KR(1)_7 in a computer algebra system (e.g., Sage) with the two candidate Hopf algebra structures on H_*(KR(1)_6): (a) E(x_{2i})⊗E(y_i) with y_i^2=0, and (b) ⊗_i TP_4(y_i) with y_i^2=x_{2i}. For each, compute the Tor E2-term as a Hopf algebra, run all differentials compatible with the Leibniz rule and the known target H_*(KR(1)_7)=E(x_{2k})⊗P(y_{2k+1}) from Section 10, and check whether the E∞ Poincaré series matches the target in both cases. If case (a) also admits a differential pattern with the correct Poincaré series, then the extension y_i^2=x_{2i} is not forced and Theorem 1.2's i=6 entry lacks support; if only case (b) matches, the concern is settled.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is Theorem 1.2, the Hopf algebra H_*(KR(1)_i). The proof repeatedly uses the phrase 'we know the answer' to force spectral sequence differentials and extension solutions, and Appendix 13 makes this a ground rule. My review of the dependency structure in Sections 4–11 shows that the main proof is not circular: Section 5's differential d3(γ4(w_k)) is forced by the Poincaré series of H_*(KR(1)_1), which was already obtained as an algebra from the short exact sequence KO_1 -> KR(1)_1 -> KO_2; Section 11's count uses H_*(KR(1)_7), computed independently in Section 10. So the 'known answer' is, in each case, an independently established piece of the target, not the full Hopf algebra being proved. The genuine soft spot is that these size arguments are asserted rather than derived. In particular, in Section 11 the extension H_*(KR(1)_6)=⊗_k TP_4(x_k) is forced by comparing Tor of the two candidate algebra structures E(x_{2i})⊗E(y_i) and ⊗_i TP_4(y_i) against the known Poincaré series of H_*(KR(1)_7). The text says a no-extension Tor would contain Γ[z_{4i+2}] that 'must survive' but for which 'we already have enough elements in this degree.' This rules out y_i^2=0 only if the only other possible extension is y_i^2=x_{2i} and if no differentials can kill those extra Tor classes; both points are plausible but not written out. Similarly, Section 5's 'must take the first possible differential' does not explicitly exclude a different pattern of higher differentials yielding the same associated graded. These are gaps in rigor, not demonstrated errors, and they justify a conditional acceptance.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":32805,"tokens_out":15826,"duration_ms":141269,"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":[{"comment":"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.","section":"Section 11"},{"comment":"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.","section":"Section 5"},{"comment":"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.","section":"Appendix, Section 13"}],"minor_comments":[{"comment":"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.","section":"Section 11"},{"comment":"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.","section":"Section 3"},{"comment":"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.","section":"Section 2, Theorem 2.4"},{"comment":"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.","section":"Introduction"},{"comment":"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.","section":"Appendix, Section 22"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThis is the first computation of H_*(KR(1)_i) for i=0..7, the spaces in the Omega spectrum for KO-theory of the mod 2 Moore space, also known as real first Morava K-theory. That alone is worth something. Wilson also corrects an error in his earlier K(1) computation, and the appendix listing all 98 maps and spectral sequences is a useful reference. The main theorem is plausible and, as far as I can tell, correct; the internal dependencies are not circular. For example, the differential in Section 5 is forced by the Poincaré series of H_*(KR(1)_1), which is already derived from a short exact sequence, and the Section 11 count uses H_*(KR(1)_7), computed independently in Section 10.\n\nThe soft spot is real, though. The paper repeatedly says 'because we know the answer' to fix differentials and extension solutions. Appendix Section 13 makes this an explicit ground rule. In each instance the 'known answer' is a piece of the target already obtained by other means, so it is not circular in the logical sense. But the size arguments are asserted rather than written out. In Section 11, for instance, the extension H_*(KR(1)_6) = ⊗_k TP_4(x_k) is forced by ruling out the exterior alternative because the Tor would have extra classes for which 'we already have enough elements in this degree.' That is plausible, but a referee will want to see that the alternative extensions are the only possible ones and that no differentials can kill those extra classes. Similarly, Section 5's 'must take the first possible differential' does not explicitly rule out a pattern of higher differentials yielding the same associated graded. These are gaps in rigor, not demonstrated errors.\n\nI could not verify every one of the 98 spectral sequences. The appendix is exhausting and self-consistent, but the sheer volume makes a full check a serious task. The identification with real Morava K-theory is cited to Hu-Kriz, not proved here; that is fine for a computation paper.\n\nWho should read this? People working on Morava K-theory, real oriented theories, and the chromatic story. It is a technical tool paper, not a conceptual breakthrough, but the computations are genuinely new and likely useful. If I were an editor, I would send it to peer review, not desk reject it. A referee with spectral sequence stamina should ask the author to expand the 'we know the answer' steps into explicit arguments. The central claim appears to hold up, and the corrections to the earlier K(1) result are important.\n\nRecommendation: engage with it, but require the proof style to be tightened before publication.","headline":"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.","tokens_in":33420,"tokens_out":3986,"would_cite":true,"duration_ms":34883,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["55N20","55P47","55T20"],"pacs":[],"model":"deepseek-v4-flash","headline":"The mod 2 homology Hopf algebras of all eight spaces in the KR(1) Omega spectrum are computed explicitly.","keywords":["mod 2 KO-theory","real Morava K-theory","homology Hopf algebras","Omega spectrum","Verschiebung","bar spectral sequence","Moore space","8-periodicity"],"falsifier":"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.","tokens_in":32245,"feed_emoji":"🌀","tokens_out":12997,"duration_ms":109478,"temperature":0.7,"pith_summary":"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.","feed_headline":"Mod 2 KO-theory's eight homologies are now explicit","feed_subtitle":"The same spaces describe the real first Morava K-theory, connecting classical KO to the broader K(n) family.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Identifies the mod 2 Moore-space KO-theory with the real first Morava K-theory and computes the homotopy of the real Morava K(n) spectra.","marker":"[HK01]"},{"why":"Supplies the Hopf ring names for the known homology of KO and KU used as input.","marker":"[CS02]"},{"why":"Gives the alternative Hopf ring description for the homology of KO used here.","marker":"[KW07]"},{"why":"Provides the computation of the homology of the first Morava K-theory spaces, with the p = 2 corrections applied here.","marker":"[Wil84]"},{"why":"States the homology bar spectral sequence for fibrations of infinite loop spaces used as the main computational tool.","marker":"[Moo60]"},{"why":"Introduces Hopf algebras into the bar spectral sequence framework that the paper applies.","marker":"[RS65]"},{"why":"Originates the cohomology spectral sequence for fibrations used to compute fiber homology.","marker":"[EM66]"},{"why":"The computational reference for Hopf-algebra techniques inside these spectral sequences.","marker":"[Smi70]"},{"why":"Proves the structure theorem classifying Hopf algebras over Z/2 that determines the allowed tensor factors.","marker":"[MM65]"}],"fun_headline_variants":["All 8 homologies of mod 2 KO-theory computed","Mod 2 KO-theory's Omega spectrum: all homologies explicit","Exact Hopf algebras for mod 2 KO-theory's eight spaces","98 maps, 8 homologies: mod 2 KO-theory fully computed","Real first Morava K-theory homologies now fully known"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["All 8 homologies of mod 2 KO-theory computed","Mod 2 KO-theory's Omega spectrum: all homologies explicit","Exact Hopf algebras for mod 2 KO-theory's eight spaces","98 maps, 8 homologies: mod 2 KO-theory fully computed","Real first Morava K-theory homologies now fully known"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000742,"raw_usage":{"total_tokens":3321,"prompt_tokens":964,"completion_tokens":2357,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":580,"completion_tokens_details":{"reasoning_tokens":2261}},"tokens_in":580,"tokens_out":2357,"duration_ms":16184,"temperature":1.0,"reasoning_tokens":2261,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:13:37.028190+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}