On the equivariant $KU_G$-local sphere for finite abelian groups

Yingxin Li

arxiv: 2605.30285 · v2 · pith:ECBR4PTAnew · submitted 2026-05-28 · 🧮 math.AT

On the equivariant KU_G-local sphere for finite abelian groups

Yingxin Li This is my paper

Pith reviewed 2026-06-28 23:43 UTC · model grok-4.3

classification 🧮 math.AT

keywords equivariant stable homotopyKU-local sphereMorava K-theoryMackey functorsfinite abelian groupsBousfield classeshomotopy fixed pointsSylow subgroups

0 comments

The pith

For finite abelian G the KU_G/p-local sphere equals homotopy fixed points of a p-complete KO_{N_p} module and a wedge of equivariant Morava K-theory spheres.

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

The paper proves that when G is finite abelian with Sylow p-subgroup N_p, the KU_G/p-local sphere spectrum is equivalent to the homotopy fixed points of a p-complete KO_{N_p}-module spectrum. It computes the integer-graded homotopy Mackey functors of the KU_G-local sphere, extending earlier results that held only for p-groups. By comparing Bousfield classes, it further shows the local sphere decomposes as a wedge of G-equivariant Morava K-theory localized spheres and gives the full RO(G)-graded homotopy Mackey functors. These identifications matter because they turn abstract localizations into concrete, computable objects built from familiar spectra.

Core claim

Given a finite abelian group G and a Sylow p-subgroup N_p, the KU_G/p-local sphere spectrum is equivalent to the homotopy fixed points of a p-complete KO_{N_p}-module spectrum. The Z-graded homotopy Mackey functors of the KU_G-local sphere spectrum are computed. By comparing the Bousfield classes of KU_G/p and G-equivariant Morava K-theory, the KU_G/p-local sphere spectrum is equivalent to a wedge sum of equivariant Morava K-theory localized sphere spectra, and the RO(G)-graded homotopy Mackey functors of the KU_G/p-local sphere spectrum are described.

What carries the argument

Comparison of Bousfield classes of KU_G/p and G-equivariant Morava K-theory, which produces the wedge decomposition and allows transfer of homotopy calculations.

If this is right

The Z-graded homotopy Mackey functors of the KU_G-local sphere become explicitly computable via the fixed-point equivalence.
The RO(G)-graded homotopy Mackey functors of the KU_G/p-local sphere are given by the summands in the Morava K-theory wedge.
The earlier computations for finite p-groups with odd prime extend immediately to all finite abelian groups.
The KU_G/p-local sphere is built from spectra whose homotopy is already understood outside the equivariant setting.

Where Pith is reading between the lines

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

If similar Bousfield-class comparisons can be established, the same decomposition may apply when G is non-abelian.
The fixed-point description offers a route to import non-equivariant KO and Morava K-theory calculations into the equivariant category for abelian groups.
The results indicate that height-1 chromatic phenomena in equivariant homotopy theory reduce to data controlled by Sylow subgroups.

Load-bearing premise

The comparison of Bousfield classes of KU_G/p and G-equivariant Morava K-theory is sufficient to establish the wedge sum equivalence.

What would settle it

A direct calculation of the RO(G)-graded homotopy Mackey functors of the KU_G/p-local sphere that fails to match the corresponding functors of any wedge of equivariant Morava K-theory localized spheres.

read the original abstract

Given a finite abelian group $G$ and a Sylow $p$-subgroup $N_p$, we prove that the $KU_G/p$-local sphere spectrum is equivalent to the homotopy fixed points of a $p$-complete $KO_{N_p}$-module spectrum. Then we compute the $\mathbb{Z}$-graded homotopy Mackey functors of the $KU_G$-local sphere spectrum. This result generalizes the computation of arXiv:2303.12271 for finite $p$-groups, where $p$ is an odd prime. Finally, by comparing the Bousfield classes of $KU_G/p$ and $G$-equivariant Morava $K$-theory, we prove that the $KU_G/p$-local sphere spectrum is equivalent to a wedge sum of equivariant Morava $K$-theory localized sphere spectra, and describe the $RO(G)$-graded homotopy Mackey functors of the $KU_G/p$-local sphere spectrum.

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

Extends p-group KU_G-local sphere computations to finite abelian groups via Sylow subgroups, with homotopy fixed point and Morava K-theory wedge equivalences plus graded Mackey functors.

read the letter

The paper generalizes the KU_G/p-local sphere computation from finite p-groups to finite abelian groups. It shows the local sphere is equivalent to homotopy fixed points of a p-complete KO_{N_p}-module spectrum, computes the Z-graded homotopy Mackey functors of the KU_G-local sphere, and then gives a wedge decomposition into equivariant Morava K-theory localized spheres together with RO(G)-graded Mackey functor descriptions.

This directly extends the cited arXiv:2303.12271 result by handling the abelian case through Sylow subgroups and adds the fixed-point equivalence and the wedge form, neither of which appeared in the p-group work.

The explicit descriptions and the organization of these local spectra are the parts that could be useful for further equivariant calculations.

The soft spot is the step from Bousfield class comparison to the explicit wedge sum. Equal Bousfield classes mean the same acyclics, but the decomposition into a wedge of the individual local spheres still needs the summands to be orthogonal or the localization to commute with the wedge in the equivariant setting. The abstract presents this as following from the class comparison, so the full text needs to show that the extra step holds without hidden assumptions.

The citation pattern is clean and the argument is not circular. The work is formally grounded enough to be worth referee time.

This is for specialists in equivariant stable homotopy theory who need concrete descriptions of these local spheres or their graded homotopy. A reader working on related localizations or Mackey functor computations will get direct value.

Recommendation: send it to peer review.

Referee Report

1 major / 1 minor

Summary. The paper claims that for finite abelian G with Sylow p-subgroup N_p, the KU_G/p-local sphere spectrum is equivalent to the homotopy fixed points of a p-complete KO_{N_p}-module spectrum. It computes the Z-graded homotopy Mackey functors of the KU_G-local sphere spectrum, generalizing arXiv:2303.12271 from p-groups (p odd). By comparing Bousfield classes of KU_G/p and G-equivariant Morava K-theory, it further claims the KU_G/p-local sphere is equivalent to a wedge of equivariant Morava K-theory localized spheres and describes the RO(G)-graded homotopy Mackey functors of the KU_G/p-local sphere.

Significance. If the equivalences and computations hold, the work extends explicit descriptions of local spheres and their homotopy Mackey functors from p-groups to finite abelian groups. This provides concrete tools for equivariant chromatic homotopy theory and could support further calculations involving equivariant K-theory localizations.

major comments (1)

[Abstract] Abstract, final paragraph: the claim that Bousfield class comparison between KU_G/p and G-equivariant Morava K-theory suffices to establish the wedge-sum equivalence KU_G/p-local sphere ≃ ∨ L_{K_i} S requires explicit verification that the summands are orthogonal (or that localization commutes with wedges in the equivariant setting). Equal Bousfield classes ensure the same localization functor on S but do not automatically yield an explicit wedge decomposition without additional arguments.

minor comments (1)

[Abstract] The abstract states the generalization is from arXiv:2303.12271 for odd p but does not clarify whether the new results cover p=2 or require separate treatment.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive feedback on the manuscript. We address the single major comment below.

read point-by-point responses

Referee: [Abstract] Abstract, final paragraph: the claim that Bousfield class comparison between KU_G/p and G-equivariant Morava K-theory suffices to establish the wedge-sum equivalence KU_G/p-local sphere ≃ ∨ L_{K_i} S requires explicit verification that the summands are orthogonal (or that localization commutes with wedges in the equivariant setting). Equal Bousfield classes ensure the same localization functor on S but do not automatically yield an explicit wedge decomposition without additional arguments.

Authors: We agree that the comparison of Bousfield classes alone does not automatically produce an explicit wedge decomposition, and that orthogonality of the summands (or commutation of localization with wedges) must be verified in the equivariant setting. The manuscript body contains the Bousfield-class comparison, but the step from equal Bousfield classes to the stated wedge equivalence is not spelled out with the required detail. In the revised version we will insert a short additional argument establishing the needed orthogonality (or citing the appropriate equivariant localization result) before claiming the wedge decomposition. revision: yes

Circularity Check

0 steps flagged

Minor self-citation to prior p-group result; central derivations independent

full rationale

The paper generalizes its computation from arXiv:2303.12271 (p-groups) to finite abelian groups via Sylow subgroups, but the new results on homotopy fixed points equivalence, Z-graded Mackey functors, and the Bousfield class comparison for the wedge decomposition are presented as independent proofs within this manuscript. The self-citation is not load-bearing for the abelian case claims. No self-definitional reductions, fitted inputs renamed as predictions, or ansatzes smuggled via citation are exhibited in the provided abstract or described chain.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no identifiable free parameters, axioms, or invented entities; ledger left empty pending full text.

pith-pipeline@v0.9.1-grok · 5688 in / 1245 out tokens · 32000 ms · 2026-06-28T23:43:09.256486+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

9 extracted references · 7 canonical work pages · 2 internal anchors

[1]

Equivalences of the form Σ V X≃Σ W Xin equivariant stable homotopy theory

[Bal23] William Balderrama. Equivalences of the form Σ V X≃Σ W Xin equivariant stable homotopy theory. arXiv preprint arXiv:2306.11000,

work page arXiv
[2]

On theKU G-local equivariant sphere

[BGS22] Peter J Bonventre, Bertrand J Guillou, and Nathaniel J Stapleton. On theKU G-local equivariant sphere. arXiv preprint arXiv:2204.03797,

work page arXiv
[3]

arXiv preprint arXiv:2411.00421,

[BHZ24] William Balderrama, Yueshi Hou, and Shangjie Zhang.C pn-Mahowald invariants and v1,0-self maps. arXiv preprint arXiv:2411.00421,

work page arXiv
[4]

The equivariantJ-homomorphism for finite groups at certain primes

[Fre09] Christopher P French. The equivariantJ-homomorphism for finite groups at certain primes. Algebraic & Geometric Topology, 9(4):1885–1949,

1949
[5]

[Gre88] J

[GI24] Bertrand J Guillou and Daniel C Isaksen.C 2-equivariant stable stems. arXiv preprint arXiv:2404.14627,

work page arXiv
[6]

$C_3$-equivariant stable stems

[HZ25] Yueshi Hou and Shangjie Zhang.C 3-equivariant stable stems. arXiv preprint arXiv:2505.10745,

work page internal anchor Pith review Pith/arXiv arXiv
[7]

[Mah70] Mark Mahowald

[Ma22] Sihao Ma. The Borel and genuineC 2-equivariant Adams spectral sequences. arXiv preprint arXiv:2208.12883,

work page arXiv
[8]

Lectures on equivariant stable homotopy theory

[Sch19] Stefan Schwede. Lectures on equivariant stable homotopy theory. Lecture notes, Available on the author’s website: http://www. math. uni-bonn. de/people/schwede/(July 19, 2018),

2018
[9]

Algebraic redshift in the $C_2$-equivariant Adams spectral sequence

[Shi26] Paul Shick. Algebraic redshift in theC 2-equivariant Adams spectral sequence. arXiv preprint arXiv:2604.15548,

work page internal anchor Pith review Pith/arXiv arXiv

[1] [1]

Equivalences of the form Σ V X≃Σ W Xin equivariant stable homotopy theory

[Bal23] William Balderrama. Equivalences of the form Σ V X≃Σ W Xin equivariant stable homotopy theory. arXiv preprint arXiv:2306.11000,

work page arXiv

[2] [2]

On theKU G-local equivariant sphere

[BGS22] Peter J Bonventre, Bertrand J Guillou, and Nathaniel J Stapleton. On theKU G-local equivariant sphere. arXiv preprint arXiv:2204.03797,

work page arXiv

[3] [3]

arXiv preprint arXiv:2411.00421,

[BHZ24] William Balderrama, Yueshi Hou, and Shangjie Zhang.C pn-Mahowald invariants and v1,0-self maps. arXiv preprint arXiv:2411.00421,

work page arXiv

[4] [4]

The equivariantJ-homomorphism for finite groups at certain primes

[Fre09] Christopher P French. The equivariantJ-homomorphism for finite groups at certain primes. Algebraic & Geometric Topology, 9(4):1885–1949,

1949

[5] [5]

[Gre88] J

[GI24] Bertrand J Guillou and Daniel C Isaksen.C 2-equivariant stable stems. arXiv preprint arXiv:2404.14627,

work page arXiv

[6] [6]

$C_3$-equivariant stable stems

[HZ25] Yueshi Hou and Shangjie Zhang.C 3-equivariant stable stems. arXiv preprint arXiv:2505.10745,

work page internal anchor Pith review Pith/arXiv arXiv

[7] [7]

[Mah70] Mark Mahowald

[Ma22] Sihao Ma. The Borel and genuineC 2-equivariant Adams spectral sequences. arXiv preprint arXiv:2208.12883,

work page arXiv

[8] [8]

Lectures on equivariant stable homotopy theory

[Sch19] Stefan Schwede. Lectures on equivariant stable homotopy theory. Lecture notes, Available on the author’s website: http://www. math. uni-bonn. de/people/schwede/(July 19, 2018),

2018

[9] [9]

Algebraic redshift in the $C_2$-equivariant Adams spectral sequence

[Shi26] Paul Shick. Algebraic redshift in theC 2-equivariant Adams spectral sequence. arXiv preprint arXiv:2604.15548,

work page internal anchor Pith review Pith/arXiv arXiv