arxiv: 2604.25005 · v1 · submitted 2026-04-27 · 🧮 math.AT

Recognition: unknown

Rational Sp(2)-equivariant cohomology theories I: dominant subgroups

John Greenlees

Pith reviewed 2026-05-07 17:04 UTC · model grok-4.3

classification 🧮 math.AT

keywords rational equivariant cohomologySp(2)Quillen equivalencespectral spacesubgroup conjugacy classesabelian categorydifferential graded objects

0 comments

The pith

The category of rational Sp(2)-spectra is Quillen equivalent to the differential graded objects of an abelian category A(Sp(2)) built from the conjugacy classes of subgroups.

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

This paper assembles earlier results in the series to give an algebraic model for all rational Sp(2)-equivariant cohomology theories. It first maps out the spectral space of conjugacy classes of subgroups of Sp(2), showing it breaks into finitely many blocks each dominated by one subgroup, with explicit counts of blocks by dimension and equipped with sheaves of polynomial rings plus component structures. These data define the abelian category A(Sp(2)) that is designed to mirror the structure of the cohomology theories. The central result is that rational Sp(2)-spectra are Quillen equivalent to the differential graded objects over this category, turning geometric questions into algebraic ones.

Core claim

The spectral space of conjugacy classes of subgroups of Sp(2) is a disjoint union of finitely many blocks, each dominated by a subgroup: 26 blocks of dimension 1, 6 of dimension 2, and the remainder isolated points. Each block carries a sheaf of polynomial rings and a component structure. These ingredients define the abelian category A(Sp(2)). Assembling results from earlier papers shows that the category of rational Sp(2)-spectra is Quillen equivalent to the category of differential graded objects of A(Sp(2)).

What carries the argument

The abelian category A(Sp(2)), constructed from sheaves of polynomial rings and component structures on the blocks of the spectral space of conjugacy classes of subgroups of Sp(2).

If this is right

Rational Sp(2)-equivariant cohomology theories reduce to algebraic computations in the differential graded objects of A(Sp(2)).
The fine structure of A(Sp(2)) can be made explicit and used for concrete calculations in the sequel.
Any invariant that factors through the Quillen equivalence can be computed using the block decomposition and the polynomial sheaves.
The model supplies a complete algebraic classification of rational Sp(2)-equivariant spectra up to equivalence.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same block-and-sheaf construction may extend to other compact Lie groups, yielding algebraic models for their rational equivariant theories.
Localizing calculations to individual blocks could simplify explicit computations of cohomology rings for specific Sp(2)-spaces.
The component structures on the blocks may correspond to indecomposable summands that appear in geometric examples such as representation spheres.

Load-bearing premise

The spectral space of conjugacy classes of subgroups of Sp(2) decomposes into finitely many blocks each dominated by a subgroup, with the stated dimension counts and equipped with sheaves of polynomial rings and component structures.

What would settle it

A concrete rational Sp(2)-spectrum whose cohomology theory cannot be realized as the homology of any differential graded object in A(Sp(2)), or a new block in the conjugacy-class space that lacks a dominating subgroup or the required sheaf data.

read the original abstract

We give a general description of the spectral space of conjugacy classes of subgroups of Sp(2): it is a disjoint union of finitely many blocks, each dominated by a subgroup: of these blocks, 26 are of dimension 1, 6 are of dimension 2 and the remainder are isolated points. On each of these blocks there is a sheaf of polynomial rings and a component structure. These are the ingredients for constructing an abelian category A(Sp(2)) designed to reflect the structure of rational Sp(2)-equivariant cohomology theories. We assemble the results from earlier papers in the series to show that the category of rational Sp(2)-spectra is Quillen equivalent to the category of differential graded objects of A(Sp(2)). In the sequel we will make the fine structure of A(Sp(2)) explicit, and make calculations based upon it.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Greenlees supplies the explicit block decomposition of Sp(2) subgroups to define A(Sp(2)) and glue in the Quillen equivalence from his earlier papers.

read the letter

Hi, the main thing to know is that this paper works out the structure of conjugacy classes of subgroups for Sp(2) in concrete terms: a disjoint union of 26 blocks of dimension 1, 6 of dimension 2, and the rest isolated points, each carrying a sheaf of polynomial rings plus component data. That data is used to build the abelian category A(Sp(2)), after which the paper cites the general results from the series to conclude that rational Sp(2)-spectra are Quillen equivalent to dg-objects in A(Sp(2)). The sequel is promised to spell out the fine structure and run calculations. The new material is the specific counts and sheaf assignments for this group. It turns the abstract framework into something that can actually be used for Sp(2), which is honest incremental progress in the rational equivariant setting. The description itself reads as independent of the prior papers and shows no internal contradictions or unsupported steps. The equivalence claim is just an application of the general theory once the blocks are supplied, so it stands or falls with the earlier work. The soft spot is exactly that dependence: almost everything beyond the subgroup classification is assembled rather than reproved here, and there are no examples or small verifications in this installment. This is for readers already inside the rational equivariant homotopy program who need the Sp(2) case filled in. It has enough concrete new data to deserve a serious referee rather than a desk reject, even if the overall program is specialized.

Referee Report

0 major / 3 minor

Summary. The paper describes the spectral space of conjugacy classes of subgroups of Sp(2) as a disjoint union of finitely many blocks each dominated by a subgroup (26 of dimension 1, 6 of dimension 2, remainder isolated points). On each block it equips a sheaf of polynomial rings together with a component structure; these data are used to define the abelian category A(Sp(2)). By assembling theorems from earlier papers in the series the authors conclude that the category of rational Sp(2)-spectra is Quillen equivalent to the category of differential graded objects in A(Sp(2)). The sequel is announced to make the fine structure of A(Sp(2)) explicit and to perform calculations.

Significance. If the block decomposition and the cited results from the series are valid, the work supplies the concrete structural ingredients needed to realize an algebraic model for rational Sp(2)-equivariant cohomology theories. The explicit enumeration of blocks and the setup of sheaves and components constitute a clear advance within the general framework developed in the series, and the announced sequel calculations will test the model’s utility.

minor comments (3)

The abstract and introduction state the block counts and the Quillen equivalence without a short roadmap indicating which prior theorems are invoked for each step of the assembly; adding such a paragraph would make the dependence on the series transparent.
The definition of the abelian category A(Sp(2)) is described only at the level of ingredients (sheaves and component structures); a single sentence recalling how these data determine the objects and morphisms of A(Sp(2)) would improve readability for readers who have not internalized the general construction.
The manuscript refers to “the spectral space of conjugacy classes” without a brief reminder of the topology or the precise meaning of “dominated by a subgroup”; a one-sentence gloss in §1 would prevent minor confusion.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending minor revision. The report accurately captures the main results: the block decomposition of the spectral space of conjugacy classes of subgroups of Sp(2), the associated sheaves and component structures used to define A(Sp(2)), and the Quillen equivalence obtained by assembling theorems from the series. No specific major comments requiring point-by-point rebuttal were raised.

Circularity Check

1 steps flagged

Central equivalence relies on self-citation to prior papers in series

specific steps

self citation load bearing [Abstract]
"We assemble the results from earlier papers in the series to show that the category of rational Sp(2)-spectra is Quillen equivalent to the category of differential graded objects of A(Sp(2))."

The Quillen equivalence, presented as the main theorem, is justified only by reference to prior work in the author's own series rather than a derivation or verification contained in the present paper; the new material (block decomposition and sheaves) supplies inputs to that prior general theory but does not independently establish the equivalence.

full rationale

The paper supplies an original description of the spectral space of Sp(2) conjugacy classes as a finite collection of blocks with associated polynomial sheaves and component structures, which are then used to define the abelian category A(Sp(2)). However, the load-bearing central claim—the Quillen equivalence between rational Sp(2)-spectra and differential graded objects in A(Sp(2))—is obtained exclusively by assembling results from earlier papers in the same series by the same author. This matches the self-citation load-bearing pattern for the primary result, though the classification work itself remains independent and the paper does not exhibit self-definitional, fitted-prediction, or ansatz-smuggling circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

No numerical free parameters appear. The work relies on standard axioms of Lie group theory, compact Lie group actions, and the model-category axioms for spectra. The category A(Sp(2)) is an invented mathematical structure whose definition depends on the block decomposition.

axioms (2)

domain assumption Sp(2) is a compact Lie group whose conjugacy classes of closed subgroups form a spectral space that decomposes into finitely many blocks dominated by subgroups.
This is the foundational geometric input stated in the abstract and used to define the sheaves and the category A(Sp(2)).
standard math Rational Sp(2)-equivariant spectra admit a model category structure whose homotopy category can be compared via Quillen equivalence to dg-objects in an abelian category built from subgroup data.
Standard background from equivariant homotopy theory and model categories, invoked when assembling the equivalence.

invented entities (1)

A(Sp(2)) no independent evidence
purpose: Abelian category whose differential graded objects model rational Sp(2)-equivariant cohomology theories
Constructed from the sheaves of polynomial rings and component structures on the blocks of the subgroup space.

pith-pipeline@v0.9.0 · 5440 in / 1703 out tokens · 122804 ms · 2026-05-07T17:04:56.545891+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

17 extracted references · 8 canonical work pages

[1]

Balchin, T

S. Balchin, T. Barthel, and J. P. C. Greenlees. Prismatic decompositions and rationalG-spectra.AJM (to appear), 59pp, arXiv 2311.18808, 2025

work page arXiv 2025
[2]

Greenlees, and Magdalena K¸ edziorek

David Barnes, J.P.C. Greenlees, and Magdalena K¸ edziorek. An algebraic model for rational toralG- spectra.Algebr. Geom. Topol., 19(7):3541–3599, 2019

2019
[3]

Br¨ ocker and T

T. Br¨ ocker and T. tom Dieck.Representations of compact Lie groups, volume 98 ofGraduate Texts in Mathematics. Springer-Verlag, New York, 1995. Translated from the German manuscript, Corrected reprint of the 1985 translation. 21

1995
[4]

J. P. C. Greenlees. An abelian model for rationalG-spectra for a compact Lie groupG.In preparation, 27pp
[5]

J. P. C. Greenlees. An algebraic model for rationalG-spectra for finite central extensions of a torus.In preparation, 18pp
[6]

J. P. C. Greenlees. Triangulated categories of rational equivariant cohomology theories.Oberwolfach Reports, pages 480–488, 2006. (cit. on p. 2), 2006

2006
[7]

J. P. C. Greenlees. The Balmer spectrum of rational equivariant cohomology theories.J. Pure Appl. Algebra, 223(7):2845–2871, 2019

2019
[8]

J. P. C. Greenlees. An algebraic model for rationalSU(3)-spectra.Preprint, 14pp, arXiv: 2502.06017, 2025

work page arXiv 2025
[9]

J. P. C. Greenlees. An algebraic model for rationalU(2)-spectra.Preprint, 18pp, arXiv: 2502.00959, 2025

work page arXiv 2025
[10]

J. P. C. Greenlees. Algebraic models for one-dimensional categories of rationalG-spectra.Preprint, 28pp, arXiv:2501.11200, 2025

work page arXiv 2025
[11]

J. P. C. Greenlees. RationalG-spectra for components with finite Weyl groups.Preprint, 27pp, arXiv:2508.07752, 2025

work page arXiv 2025
[12]

J. P. C. Greenlees. RationalG-spectra for rank 2 toral groups of mixed type.In preparation, 24pp, arXiv:2501.15584, 2025

work page arXiv 2025
[13]

J. P. C. Greenlees. Spaces of subgroups of toral groups.Preprint, 38pp, arXiv:2501.06914, 2025

work page arXiv 2025
[14]

J. P. C. Greenlees. The spectral space of conjugacy classes of subgroups of a compact lie group.Preprint, 21pp, arXiv: 2509.19409, 2025

work page arXiv 2025
[15]

J. P. C. Greenlees. An algebraic model for rationalSp(2)-spectra II: fine structure.In preparation, 2026?

2026
[16]

J. P. C. Greenlees and B. Shipley. An algebraic model for free rationalG-spectra.Bull. Lond. Math. Soc., 46(1):133–142, 2014

2014
[17]

G. A. Miller, H. F. Blichfeldt, and L. E. Dickson.Theory and applications of finite groups. Dover Publications, Inc., New York, 1961. Mathematics Institute, Zeeman Building, Coventry CV4, 7AL, UK Email address:john.greenlees@warwick.ac.uk 22

1961