An algebraic model for rational U(2)-spectra

J.P.C.Greenlees

REVIEW 3 major objections 6 minor 1 cited by

An algebraic model for rational U(2)-spectra

T0 review · 3 major / 6 minor · reviewed 2026-08-09 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Rational U(2)-spectra are equivalent to an explicit algebraic category of sheaves assembled from seven blocks, giving a complete calculable model.

desk verdict A careful and useful assembly of the U(2) model from prior work, but the advertised Quillen equivalence is not proved in the paper—the two hardest blocks rest on in-preparation papers. read the letter →

arxiv 2502.00959 v1 pith:GI74LZEK submitted 2025-02-02 math.AT

J.P.C.Greenlees This is my paper · ORCID

classification math.AT MSC 55P9155P4255N91

keywords rationalequivariantspectraU(2)algebraicmodelQuillenequivalenceBurnsideringtoralgroupssubgroupconjugacyspacesblockdecomposition

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's central claim is that rational $U(2)$-equivariant spectra have a complete algebraic description: the whole category is Quillen equivalent to differential graded objects in an explicit abelian category $A(U(2))$ of sheaves of modules over the space of conjugacy classes of closed subgroups. The proof strategy is to split the problem into seven blocks using idempotents of the Burnside ring, with the block structure inherited from the known seven-block decomposition of $SO(3)$ via the central quotient $U(2) \to PU(2) \cong SO(3)$. Five blocks are one-dimensional and are handled by known 'Type 1' models; two are two-dimensional, dominated by the maximal torus and its normalizer, and require careful fusion and Weyl-group data. The payoff is a concrete, calculable test case for the general conjecture that rational $G$-spectra always admit an algebraic model, and it supplies the hardest blocks needed for the analogous model of $SU(3)$.

What carries the argument

The load-bearing object is the seven-block partition of the space $X_{U(2)} = \mathrm{Sub}(U(2))/U(2)$ of conjugacy classes of closed subgroups, obtained by pulling back the seven-block partition of $X_{SO(3)}$ along the central quotient map $p: U(2) \to PU(2) \cong SO(3)$. Each block is a Zariski clopen set closed under cotoral specialization, so the associated idempotent in the rational Burnside ring splits the category of spectra into a product of seven pieces. Within each piece the model is one of two standard constructions: a 'Type 1' model $A(K, \mathbb{Q}[c], W)$, a category of modules over a product of polynomial rings localized by a multiplicatively closed set $E$, with the one-point compactification $K^\#$ of a countable set of subgroup conjugacy classes and finite component groups; or, for the two two-dimensional blocks, a diagram of modules over a sheaf of rings satisfying quasicoherence and extendedness, with the subgroup lattice of the maximal torus described by Pontrjagin-dual lattices in $\mathbb{Z}W$ and Weyl-group orbits. The fusion and Weyl-group computations decide how the seven algebraic pieces are assembled.

What would settle it

Enumerate the conjugacy classes of full subgroups of $p^{-1}(A_4)$ inside $U(2)$, as Lemma 5.1 does, and check the predicted counts: $a(H)=3$ classes in $p^{-1}(A_4)$ meeting the centre in $C_{2s}$ for each $s$, collapsing to $b(H)=2$ classes in $U(2)$, with the Weyl group $C_2$ acting transitively on the non-canonical classes. A single $s$ where the counts differ, or where the component group acts nontrivially on the ring $\mathbb{Q}[c]$, would falsify the five-easy-pieces model. Alternatively, compute the rational Burnside-ring idempotents for the seven blocks and verify that they sum to the identity; a failure of the idempotent sum would break the product decomposition at the spectral level.

Watch

Extended reading notes

Core claim

The discovery is that rational $U(2)$-spectra break into exactly seven pieces, each dominated by the inverse image under $U(2) \to SO(3)$ of one of the seven subgroups in the $SO(3)$ partition: $SO(3)$, $A_5$, $\Sigma_4$, $A_4$, $D_4$, the maximal torus $SO(2)$, and its normalizer $O(2)$. For the five totally isolated subgroups, the corresponding block is a one-dimensional Type 1 model $A(K, \mathbb{Q}[c], W)$, where $K$ is the countable set of conjugacy classes of full subgroups (those mapping onto the dominant subgroup $H$), $\mathbb{Q}[c]$ is a polynomial ring on a degree $-2$ class, and $W$ is a finite component group; the block dominated by the inverse image of $SO(3)$ is simply equivalent to rational torus spectra by passage to $SU(2)$-fixed points. The remaining two blocks are two-dimensional: the maximal-torus block is modeled by sheaves over $\mathrm{Sub}(T)/W$ with rings $H^*(B W_G(F))$ attached to cotoral flags, and the normalizer block is equivalent to $N$-spectra with full geometric isotropy, using the identification of $U(2)$-conjugacy with $N$-conjugacy for nonabelian full subgroups. Assembling these seven blocks yields the Quillen equivalence $U(2)\text{-spectra} \simeq DG\text{-}A(U(2))$.

Load-bearing premise

The load-bearing premise is that the block models imported from earlier in-preparation work—the five one-dimensional pieces from [8] and the maximal-torus-normalizer piece from [9]—are correct and apply verbatim to $U(2)$, and that the seven-block product decomposition of the algebraic categories holds.

Editorial extensions

If this is right

Every rational $U(2)$-equivariant cohomology theory is determined by an explicit object in $A(U(2))$, so computations can be carried out in the algebraic model rather than in spectra.
The five one-dimensional blocks all have the same Type 1 form; for example, the block dominated by the inverse image of $SO(3)$ is equivalent to rational torus spectra, and the block for $A_5$ is $A(K, \mathbb{Q}[c])$ with trivial component structure.
The two-dimensional blocks are governed by toral models: the maximal-torus block uses the rational toral model with a Weyl-group action, and the normalizer block is equivalent to $N$-spectra with full geometric isotropy.
The $U(2)$ model provides the two most complicated blocks used in the companion model for rational $SU(3)$-spectra, which is assembled from eighteen blocks.
The seven-block partition of $U(2)$ is exactly one dimension higher than the seven-block partition of $SO(3)$, with five one-dimensional and two two-dimensional blocks.

Reading between the lines

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

Beyond the paper: the same pullback strategy should extend to any finite central extension of a rank-2 group whose quotient has a known block decomposition, provided the fusion data can be computed.
Beyond the paper: one could test the model computationally by deriving the rationalized homology or cohomology of a standard space such as $U(2)/T$ or $U(2)/N$ from the algebraic model and comparing it with known answers.
Beyond the paper: the reliance on in-preparation results suggests a concrete verification task—extract and check the minimal lemmas needed for the five easy pieces and the normalizer block in the $U(2)$ case before treating the assembly as settled.
Beyond the paper: the product decomposition of the algebraic categories over the seven-block partition is stated without proof in Section 2.C; if it fails in an edge case, the spectral split could still hold while the algebraic model would need adjustment, and checking the idempotent sum identity in the rational Burnside ring would settle this directly.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Quick take: this is the first paper to put together the seven-block model for rational U(2)-spectra, and the new group theory is real. The fusion and Weyl computations in Sections 5, 7, 8, and 9 (Lemmas 5.1, 7.1, 7.2, 8.1, 9.2) are explicit, checkable, and look right. The organization is good, and the paper is honest about what is taken from elsewhere.

The reader's stress-test concern is on target: the main theorem is never actually stated as a theorem. Section 1.A says the "overall conclusion" is the seven-block product, but there is no theorem in the paper proving the Quillen equivalence between rational U(2)-spectra and DG-A(U(2)). The five "easy" block models are quoted as special cases of [8], and the mixed normalizer block is covered by "the arguments of [9] apply" (Section 9.B). The product decomposition of the algebraic category over the clopen partition is asserted "similarly" in Section 2.C. So the central claim is an assembly of unproved parts, not a self-contained proof.

That said, I do not see a load-bearing error. The group theory is detailed; the benchmarks (torus model, SO(3) splitting, central product structure) are consistent. There is no circularity: the paper does not assume the U(2) result. The heavy self-citation is expected in this series, not a defect. The main weakness is architectural: the paper sells itself as constructing an explicit model while deferring the two hardest inputs to companions not yet available. That is addressable—either by stating carefully what is proved here versus what is conditional, or by making [8] and [9] available and verifying their hypotheses for p^{-1}H and N.

Who is this for: specialists in equivariant homotopy theory, especially those working on the algebraic model program. They will learn the U(2) block decomposition and the fusion data, and they will use them when the series is complete. I would not yet cite this as the proof of the U(2) model, but I would cite it for the group theory and the assembly strategy.

My recommendation: do not desk reject. Send it to a serious referee, but with the expectation that acceptance should be conditional. The author should either state the main theorem precisely with explicit pointers to proofs and dependencies, or complete and make available the companion papers [8] and [9], or both. The current version is a useful progress report, but it is not yet a standalone proof of its headline claim.

Referee Report

3 major / 6 minor

Summary. This paper claims to construct an explicit algebraic model for rational U(2)-spectra by assembling seven blocks obtained from the quotient map U(2)/Z ≅ SO(3). The author gives a detailed analysis of the space of conjugacy classes of subgroups, fusion, and Weyl groups, and describes models for each block: five 1-dimensional blocks for inverse images of totally isolated subgroups, a 2-dimensional block dominated by the maximal torus, and a 2-dimensional block dominated by the maximal torus normalizer. The proofs of the central Quillen equivalence and of the models for the hardest blocks are deferred to companion papers, two of which are listed as in preparation.

Significance. The paper is a useful and explicit contribution to the programme of constructing abelian models for rational equivariant spectra. Its strengths are the concrete group-theoretic calculations (Lemmas 5.1, 5.3, 7.1, 7.2, 8.1, 9.2), the transparent seven-block decomposition, and the careful treatment of fusion. If the deferred results in [8] and [9] are correct and applicable, the assembled model would be a genuine advance for the rank-2 case. However, because the main theorem is not stated or proved here, the paper as it stands is an announcement of a conditional assembly rather than a complete proof.

major comments (3)

[Section 1.A and Section 2.C] The central claim — a Quillen equivalence between rational U(2)-spectra and DG-A(U(2)) — is never stated as a theorem, and the paper does not prove it. The product decomposition A(G) = ∏ A(G|V_i) in Section 2.C is asserted 'Similarly' without proof, yet it is load-bearing for the assembly. The paper needs to state the main theorem precisely and either prove the decomposition for U(2) or give a reference that covers this case.
[Proposition 5.7] Parts (i)–(ii) are the models for the five 1-dimensional blocks, and they are justified by saying they are 'special cases of the results of [8]' (where [8] is listed as in preparation). This is the core of the five easy pieces, and no proof or detailed verification of the hypotheses of [8] for the groups p^{-1}H is included. The paper should supply these arguments or explicitly mark the result as conditional on [8].
[Section 9.B] The block dominated by the normalizer of the maximal torus is described only schematically: the diagram N is given, but the full definition of the abelian category A(U(2)|V_N), including its DG structure and the Quillen equivalence, is not provided; the text says 'the arguments of [9] apply.' This is one of the two 2-dimensional blocks and a central part of the model, so this gap is load-bearing.

minor comments (6)

[Abstract and Section 1.A] The phrase 'an explicit and calculable models' is ungrammatical; it should be 'an explicit and calculable model.'
[Example 3.2] The example is titled 'Type 1 model' but, from the definitions in Section 3.D, it should be a 'Type 0 model.'
[Section 2.G] The final sentence states 'This therefore gives a partition of the Zariski space XU(2) into seven Zariski clopen pieces'; this appears to be a typo, as the partition described is for X_{SO(3)}, and the transfer to X_U(2) is done later in Section 4.
[Lemma 5.1] There is a typo: 'full subgoups' should be 'full subgroups.'
[Section 6.A] The word 'Pontrjyagin' should be 'Pontrjagin' or 'Pontryagin.'
[Section 9.B] The commutative diagram (with entries like 'd57' and 'd102') is not rendered properly in the text; it should be typeset as a proper diagram with named arrows.

Circularity Check

2 steps flagged · score 4.0 of 10

The five 1-dimensional blocks and the mixed 2-dimensional block are delegated to in-preparation self-citations [8] and [9], making the central equivalence partly a self-citation chain; the assembly and fusion arguments are independent.

self citation load bearing [Section 5.C, Proposition 5.7 (proof); see also Section 5.A]
"there is an off the shelf model A( ˜H×C2 Z | full) for full subgroups of the toral group ˜H×C2 Z [8]. ... Parts (i) and (ii) are special cases of the results of [8]."

The models for the five 1-dimensional U(2)-blocks—half of the seven blocks in the claimed Quillen equivalence—are not proved here. They are asserted to be special cases of [8], an in-preparation paper by the same author. Thus Proposition 5.7 reduces to an unverified self-citation: if [8] is absent or inapplicable, the block equivalences A(U(2)|V_{p^{-1}H}) = A(K,Q[c])[W_G(H)] have no support in this paper. This is load-bearing because these block models are essential inputs to the assembled global model.
self citation load bearing [Section 9.B]
"For the mixed component, the category of spectra and the algebraic model are minor adaptions of those for the torus normalizer itself. Accordingly, the arguments of [9] apply to show this gives a model."

The remaining 2-dimensional block, dominated by the normalizer of the maximal torus, is the other hard part of the decomposition. The model and Quillen equivalence for N-spectra with full geometric isotropy are taken from [9, Section 2], and applicability to U(2) is justified by saying that the arguments of [9] apply. Since [9] is also an in-preparation paper by the same author, this block derivation reduces to the author's own unpublished work. Together with the [8]-dependent blocks, the global equivalence U(2)-spectra ≃ DG-A(U(2)) rests on a self-citation chain.

full rationale

The paper is not circular in the self-definitional or fitted-input sense: A(U(2)) is not defined in terms of the U(2)-spectra equivalence, no parameters are fitted, and the paper contains independent content, notably the explicit fusion/Weyl-group analysis, Lemma 5.5 (passage to SU(2)-fixed points), and Theorem 9.1 (restriction equivalence between U(2)- and N-spectra). However, the central claim is not proved as a theorem in this paper; the headline equivalence is assembled from block equivalences. Five of the seven blocks are delegated to the in-preparation self-citation [8] (Proposition 5.7: 'Parts (i) and (ii) are special cases of the results of [8]') and the mixed normalizer block is delegated to the in-preparation self-citation [9] ('the arguments of [9] apply'). These citations are load-bearing and are not independent evidence under the usual criteria: they are not published, not machine-checked, and are by the same author. In addition, the algebraic product decomposition A(G)=∏A(G|V_i) asserted in Section 2.C is stated without proof, so the reduction of the global model to blocks is itself an unproved premise. The net effect is a conditional assembly: if [8] and [9] prove their advertised models and the sheaf-category product split holds, the U(2) model follows; the current text does not supply the full derivation. That is a self-citation-chain weakness rather than a by-construction circularity, so the score is moderate.

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

The ledger is empty of free parameters and invented entities: the paper fits no numbers and postulates no new fundamental objects. Its axioms are the background theorems of equivariant stable homotopy theory plus the correctness of several prior papers, some in preparation.

assumptions (7)

standard math The stable homotopy category of rational G-spectra and Quillen model structures exist as assumed, with the tom Dieck isomorphism and the Borel-Hsiang-Quillen localization theorem.
Invoked in Section 2.B to construct idempotents from h-clopen sets closed under cotoral specialization.
standard math The Balmer spectrum of rational G-spectra is X_G with the Zariski topology.
Used in Lemma 4.1 to lift the partition from SO(3) to U(2); cited to [6].
domain assumption The decomposition of G-spectra and of A(G) into components over a clopen partition holds as stated.
Section 2.C asserts product decompositions without proof; the general dominance result is deferred to [12], which is in preparation.
domain assumption The algebraic models for 1-dimensional blocks A(K,Q[c],W) from [8] apply to the five easy blocks of U(2).
Proposition 5.7 states the models are special cases of the results of [8], which is in preparation.
domain assumption The model for N-spectra with full geometric isotropy from [9] applies to the block dominated by the normalizer.
Section 9.B says the arguments of [9] apply; [9] is in preparation.
domain assumption The toral model A(N|full) equivalent to A(T)[W] and the retract property for A(G|V_T^G) from [5, Corollary 7.11] hold.
Section 8 quotes these as already shown in published work [5] and [2].
domain assumption The classification of W-invariant subgroups and full subgroups of toral groups summarized in Section 6 from [7] is correct.
Section 6 states it is a summary of constructions from [7], and the later block models depend on this classification.

how reviews work

0 comments

Cite this review

Pith. "Pith review of An algebraic model for rational U(2)-spectra." pith.science (2026). https://pith.science/paper/GI74LZEK

@misc{pith2026250200959,
  author       = {Pith},
  title        = {Pith review of: An algebraic model for rational U(2)-spectra},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GI74LZEK}},
  note         = {Machine review of arXiv:2502.00959}
}

read the original abstract

We construct an explicit and calculable models for rational U(2)-spectra. This is obtained by assembling seven blocks obtained in previous work: the toral part and earlier work on small toral groups. The assembly process requires detailed input on fusion and Weyl groups.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Rational SU(3)-equivariant cohomology theories
math.AT 2025-02 conditional novelty 6.0 of 10

Rational SU(3)-equivariant spectra are Quillen equivalent to differential graded objects of an explicitly constructed abelian category A(SU(3)).

Reference graph

Works this paper leans on

16 extracted references · 5 canonical work pages · cited by 1 Pith paper

[8]

J. P. C. Greenlees. Algebraic models for one-dimensional catego ries of rational G-spectra. In preparation, 28pp, arXiv:2501.11200, 2025

arXiv 2025
[9]

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

arXiv 2025
[1]

Balchin, T

S. Balchin, T. Barthel, and J. P. C. Greenlees. Prismatic decompo sitions and rational G-spectra. Preprint, 59pp, arXiv 2311.18808 , 2023

arXiv 2023
[2]

Greenlees, and Magdalena K¸ edziorek

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

2019
[3]

J. P. C. Greenlees. Rational SO(3)-equivariant cohomology the ories. In Homotopy methods in alge- braic topology (Boulder, CO, 1999) , volume 271 of Contemp. Math. , pages 99–125. Amer. Math. Soc., Providence, RI, 2001

work page 1999
[4]

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

2006
[5]

J. P. C. Greenlees. Rational equivariant cohomology theories wit h toral support. Algebr. Geom. Topol., 16(4):1953–2019, 2016

1953
[6]

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

2019

Show all 16 references

[7]

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

2025
[10]

J. P. C. Greenlees. An algebraic model for rational SU (3)-spectra. In preparation, 11pp , 2025

2025
[11]

J. P. C. Greenlees. Rational G-spectra for components with ﬁnite Weyl groups. In preparation, 4pp , 2025

2025
[12]

J. P. C. Greenlees. An abelian model for rational G-spectra for a compact Lie group G. In preparation, 27pp
[13]

J. P. C. Greenlees. An algebraic model for rational G-spectra for ﬁnite central extensions of a torus. In preparation, 18pp
[14]

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

2014
[15]

J. P. C. Greenlees and B. Shipley. An algebraic model for rationa l torus-equivariant spectra. J. Topol., 11(3):666–719, 2018

2018
[16]

An algebraic model for rational SO(3)-spectra

Magdalena K¸ edziorek. An algebraic model for rational SO(3)-spectra. Algebr. Geom. Topol., 17(5):3095– 3136, 2017. Mathematics Institute, Zeeman Building, Coventry CV4, 7AL , UK Email address : john.greenlees@warwick.ac.uk 18

2017

Pith tools

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

[1] [8]

J. P. C. Greenlees. Algebraic models for one-dimensional catego ries of rational G-spectra. In preparation, 28pp, arXiv:2501.11200, 2025

arXiv 2025

[2] [9]

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

arXiv 2025

[3] [1]

Balchin, T

S. Balchin, T. Barthel, and J. P. C. Greenlees. Prismatic decompo sitions and rational G-spectra. Preprint, 59pp, arXiv 2311.18808 , 2023

arXiv 2023

[4] [2]

Greenlees, and Magdalena K¸ edziorek

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

2019

[5] [3]

J. P. C. Greenlees. Rational SO(3)-equivariant cohomology the ories. In Homotopy methods in alge- braic topology (Boulder, CO, 1999) , volume 271 of Contemp. Math. , pages 99–125. Amer. Math. Soc., Providence, RI, 2001

work page 1999

[6] [4]

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

2006

[7] [5]

J. P. C. Greenlees. Rational equivariant cohomology theories wit h toral support. Algebr. Geom. Topol., 16(4):1953–2019, 2016

1953

[8] [6]

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

2019