On the ring of cooperations for real hermitian K-theory
Pith reviewed 2026-05-19 08:41 UTC · model grok-4.3
The pith
The ring of cooperations for real Hermitian K-theory is fully described in terms of Brown-Gitler comodules after the motivic Adams spectral sequence collapses.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The ring of cooperations π^R_{**}(kq ⊗ kq) in SH(R) is given by a direct sum of Brown-Gitler comodules. The description is obtained by first decomposing the E2-page of the motivic Adams spectral sequence using algebraic Atiyah-Hirzebruch spectral sequences that converge to the individual summands, followed by a proof that the spectral sequence collapses at this page.
What carries the argument
The decomposition of the E2-page of the motivic Adams spectral sequence by algebraic Atiyah-Hirzebruch spectral sequences, which permits the subsequent collapse argument and identification with Brown-Gitler comodules.
If this is right
- Maps between copies of kq in SH(R) are classified by the resulting comodule structure.
- Homotopy groups of kq and related spectra over the reals become more accessible via this explicit ring.
- The splitting result for ksp supplies a direct sum decomposition usable in further motivic computations over fields of characteristic not two.
- The same decomposition technique applies to the E2-pages for other very effective covers in real motivic homotopy.
Where Pith is reading between the lines
- Explicit calculations of the homotopy groups of kq over the reals may now be feasible by filtering through the comodule description.
- The methods could extend to Hermitian K-theory without the very effective cover or to other base schemes beyond the reals.
- Comparisons with the classical Adams spectral sequence might reveal how motivic cooperations relate to their topological counterparts.
Load-bearing premise
The algebraic Atiyah-Hirzebruch spectral sequences converge to the correct summands and support the collapse argument inside the real stable motivic homotopy category.
What would settle it
A nonzero differential appearing on the E2-page of the motivic Adams spectral sequence for kq ⊗ kq or the discovery of a summand in the cooperations ring not captured by the Brown-Gitler comodule decomposition.
read the original abstract
Let kq denote the very effective cover of the motivic Hermitian K-theory spectrum. We analyze the ring of cooperations $\pi^\mathbb{R}_{**}(\text{kq} \otimes \text{kq})$ in the stable motivic homotopy category $\text{SH}(\mathbb{R})$, giving a full description in terms of Brown--Gitler comodules. To do this, we decompose the $E_2$-page of the motivic Adams spectral sequence and show that it must collapse. The description of the $E_2$-page is accomplished by a series of algebraic Atiyah--Hirzebruch spectral sequences which converge to the summands of the $E_2$-page. Along the way, we prove a splitting result for the very effective symplectic K-theory ksp over any base field of characteristic not two.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to give a complete algebraic description of the cooperations ring π^R_{**}(kq ⊗ kq) in SH(R) as a ring of Brown-Gitler comodules. The argument proceeds by decomposing the E2-page of the motivic Adams spectral sequence for kq ⊗ kq via a sequence of algebraic Atiyah-Hirzebruch spectral sequences, establishing a splitting of the very effective symplectic K-theory spectrum ksp over any base field of characteristic not 2, and then proving that the resulting Adams spectral sequence collapses.
Significance. If the convergence statements for the algebraic Atiyah-Hirzebruch spectral sequences hold without hidden filtration issues or extensions that obstruct the collapse, the result would supply an explicit, computable model for cooperations in real motivic Hermitian K-theory. This would be a useful addition to the literature on motivic Adams spectral sequences and Brown-Gitler comodules, particularly for calculations over the real numbers.
major comments (2)
- [§4] §4 (decomposition of the E2-page): the argument that the algebraic Atiyah-Hirzebruch spectral sequences converge to the precise summands of the motivic Adams E2-page, including those arising from the ksp splitting, requires a more explicit statement of the filtration and convergence theorem used in SH(R). The current outline does not address possible differentials or extensions that could mix the summands before the collapse is invoked.
- [§5] §5 (collapse argument): the claim that the motivic Adams spectral sequence collapses after the decomposition relies on the E2-page being free of certain classes; however, the verification that no hidden extensions survive from the real motivic category to the homotopy groups of kq ⊗ kq is only sketched and needs a concrete check against the known structure of the Brown-Gitler comodules.
minor comments (2)
- Notation for the bigraded homotopy groups π^R_{**} is introduced without an explicit comparison to the usual motivic bigrading conventions used in the literature on SH(R).
- The splitting result for ksp is stated for any base field of characteristic not two, but the proof sketch does not indicate whether the argument is uniform or requires separate treatment when the base is not R.
Simulated Author's Rebuttal
We thank the referee for their careful reading and constructive comments on our manuscript. The suggestions regarding greater explicitness in the treatment of filtrations, convergence, and the collapse argument are well-taken, and we have revised the paper to address them directly while preserving the core results on the cooperations ring and the ksp splitting.
read point-by-point responses
-
Referee: [§4] §4 (decomposition of the E2-page): the argument that the algebraic Atiyah-Hirzebruch spectral sequences converge to the precise summands of the motivic Adams E2-page, including those arising from the ksp splitting, requires a more explicit statement of the filtration and convergence theorem used in SH(R). The current outline does not address possible differentials or extensions that could mix the summands before the collapse is invoked.
Authors: We agree that the original exposition in §4 was somewhat schematic and would benefit from additional detail. In the revised manuscript we have inserted a new paragraph that explicitly identifies the filtration on the motivic Adams E2-page as the one induced by the weight filtration in SH(R) together with the algebraic Atiyah-Hirzebruch spectral sequence associated to the Postnikov tower of kq. We now state the relevant convergence theorem (a motivic analogue of the classical Atiyah-Hirzebruch convergence for connective spectra) with a precise reference to the bidegree bounds that guarantee convergence in each fixed stem. Regarding possible mixing of summands, we add a short lemma showing that any differential or extension crossing between the ksp summand and the remaining Brown-Gitler summands would have to raise weight by a positive amount while preserving the Adams filtration; such maps are ruled out by the explicit bidegrees of the generators appearing after the ksp splitting. These additions make the separation of summands rigorous without changing the stated results. revision: yes
-
Referee: [§5] §5 (collapse argument): the claim that the motivic Adams spectral sequence collapses after the decomposition relies on the E2-page being free of certain classes; however, the verification that no hidden extensions survive from the real motivic category to the homotopy groups of kq ⊗ kq is only sketched and needs a concrete check against the known structure of the Brown-Gitler comodules.
Authors: The referee is correct that the original sketch of the collapse in §5 left the absence of hidden extensions somewhat implicit. We have expanded the argument to include an explicit case-by-case check against the known generators and relations of the Brown-Gitler comodules over the real numbers. Concretely, we list the possible extension classes in bidegrees (s,t) where s is the Adams filtration and t the stem, and show that each such class would either contradict the freeness of the E2-page over the subalgebra generated by the image of the ksp splitting or would violate the multiplicative structure already computed in the cooperations ring. This verification is now written out in full, using the explicit description of the Brown-Gitler comodules given earlier in the paper and standard facts about their Ext groups. The revised text therefore supplies the concrete check requested. revision: yes
Circularity Check
No circularity: derivation uses independent spectral sequence arguments
full rationale
The paper decomposes the E2-page of the motivic Adams spectral sequence via algebraic Atiyah-Hirzebruch spectral sequences that converge to summands, then shows collapse to obtain the Brown-Gitler comodule description of the cooperations ring. This chain relies on standard convergence and splitting results (including a new splitting for ksp) rather than any self-definitional reduction, fitted parameter renamed as prediction, or load-bearing self-citation. The central claim has independent mathematical content from the spectral sequence manipulations and is not forced by its own inputs or prior author work by construction. No quoted equations or steps reduce to tautology.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard properties and convergence behavior of the motivic Adams spectral sequence and algebraic Atiyah-Hirzebruch spectral sequences in SH(R).
- domain assumption The base field has characteristic not equal to two for the ksp splitting result.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We decompose the E2-page of the motivic Adams spectral sequence and show that it must collapse. The description of the E2-page is accomplished by a series of algebraic Atiyah–Hirzebruch spectral sequences which converge to the summands of the E2-page.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.