pith. sign in

arxiv: 2605.26334 · v1 · pith:TWTSYSQ4new · submitted 2026-05-25 · 🧮 math.AT

A Hurewicz Theorem for RO(C₂)-graded Equivariant Homology Governed by Vector Fields on Spheres

Manyi Guo , Guchuan Li , Yunze Lu , Sihao Ma , Yuchen Wu , Zhouli Xu , Albert Jinghui Yang , Shangjie Zhang This is my paper

Pith reviewed 2026-06-29 19:09 UTC · model grok-4.3

classification 🧮 math.AT
keywords RO(C2)-graded homotopyequivariant Hurewicz theoremvector fields on spheresC2-equivariant Adams spectral sequenceMackey functorsEilenberg-MacLane spectranegative cone
0
0 comments X

The pith

An element in the RO(C2)-graded homotopy of H F2 lies in the Hurewicz image if and only if S^n admits k linearly independent vector fields.

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

The paper computes the RO(C2)-graded Hurewicz images of the C2-equivariant Eilenberg-MacLane spectra with constant F2, constant Z, and Burnside Mackey functor coefficients. The computation produces an explicit if-and-only-if criterion that ties membership in the image to a classical question in differential topology. Specifically, the element theta over rho to the k times tau to the n in the negative cone of the F2 coefficient homotopy is hit by the Hurewicz map precisely when the n-sphere admits k linearly independent vector fields. The same techniques also produce nonzero Adams differentials of arbitrary length supported on filtration-zero classes in the genuine C2-equivariant Adams spectral sequence.

Core claim

The RO(C2)-graded Hurewicz images of H underline F2, H underline Z and H underline A are determined explicitly. The element theta / (rho^k tau^n) lies in the Hurewicz image if and only if S^n admits k linearly independent vector fields. The Generalized Leibniz Rule and Generalized Mahowald Trick yield nonzero Adams differentials of arbitrary length supported by filtration-zero elements.

What carries the argument

The explicit correspondence identifying membership of theta / (rho^k tau^n) in the Hurewicz image with the existence of k linearly independent vector fields on S^n.

If this is right

  • The vector field number for each sphere S^n is recoverable from the Hurewicz image in the corresponding RO(C2) degree.
  • The genuine C2-equivariant Adams spectral sequence contains nonzero differentials of arbitrary length on filtration-zero classes.
  • The same Hurewicz images are obtained for the constant integer and Burnside coefficient spectra.

Where Pith is reading between the lines

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

  • The result supplies a homotopy-theoretic reformulation of the classical vector field problem.
  • If the generalized rules extend to other gradings or groups, analogous Hurewicz theorems would follow.
  • The link between equivariant stable homotopy and differential topology on spheres becomes computable in both directions.

Load-bearing premise

The Generalized Leibniz Rule and Generalized Mahowald Trick apply to the RO(C2)-graded homotopy groups with these Mackey functor coefficients.

What would settle it

A direct computation for some n and k that places theta / (rho^k tau^n) inside or outside the Hurewicz image in a way that contradicts the known maximum number of linearly independent vector fields on S^n.

Figures

Figures reproduced from arXiv: 2605.26334 by Albert Jinghui Yang, Guchuan Li, Manyi Guo, Shangjie Zhang, Sihao Ma, Yuchen Wu, Yunze Lu, Zhouli Xu.

Figure 1
Figure 1. Figure 1: depicts the additive structure of HF2∗,∗ , where each black dot represents a copy of F2. • = F2 s w 0 2 4 6 -2 -4 2 4 -4 -2 • θ • • • • • θ ρ θ ρ2 θ ρ3 θ ρ4 θ ρ5 • • • • • • • • • • • • • • • θ τ θ τ 2 θ τ 3 θ τ 4 θ τ 5 • • • • • • ρ ρ 2 ρ 3 ρ 4 ρ 5 • • • • • • • • • • • • • • • τ τ 2 τ 3 τ 4 τ 5 [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The Hurewicz image of HF2 in the negative cone denote the n-th Radon–Hurwitz number [Eck43]; in particular, Adams proved that the maximal number of continuous linearly independent vector fields on S n−1 is ψ(n) − 1 in [Ada62]. We list the first few values of ψ(n) for reference. n = 2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 32 ψ(n) 2 4 2 8 2 4 2 9 2 4 2 8 2 4 2 10 The Hurewicz image of HF2 can be described a… view at source ↗
Figure 3
Figure 3. Figure 3: Genuine C2-ASS Borel C2-ASS Classical ASS of RP ∞n vector fields on spheres differentials [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: The genuine C2-equivariant Adams spectral sequence at coweight s − w and filtration 0 The discussion in Section 4 indicates that, for a fixed coweight s − w ≤ −2, when s is the largest, the initial differentials supported by the filtration-0 elements are always d2-differentials; as s becomes smaller, longer differentials begin to appear. An illustrative diagram for the general pattern of the genuine C2-equ… view at source ↗
Figure 5
Figure 5. Figure 5: HZs,w and HAs,w (1) The RO(C2)-graded Hurewicz image of HZ consists of im(ιHZ)s,w =    Z{1} if s = w = 0, Z{ θ τ 2k−2 } if s = 0 and w = 2k for k > 0, Z{2τ 2k} if s = 0 and w = −2k for k > 0, F2{ρ −s} if s = w < 0, F2{ θ ρsτw−s−2 } if 0 ≤ s < ψ(w − s − 1) and s − w = 2k − 1 for k ≤ −1, 0 otherwise. (2) The RO(C2)-graded Hurewicz image of HA consists of im(ιHA)s,w =   … view at source ↗
Figure 6
Figure 6. Figure 6: The Hurewicz image of HZs,w and HAs,w (1) Since the Hurewicz map ιHF2 factors through ιHZ, Theorem 3.5 forces the result as claimed, with exceptional cases only in degrees (s, w) for s = 0 and w even. If w > 0, the generators ω−k ∈ π C2 0,2k that detects θ τ 2k−2 are torsion-free [BXZ24], and since its image in HF2∗,∗ is nontrivial, it must have nontrivial image in HZ∗,∗ . If w < 0, τ 2k ∈ HZ0,−2k satisfie… view at source ↗
read the original abstract

We determine the $RO(C_2)$-graded Hurewicz images of the $C_2$-equivariant Eilenberg--MacLane spectra $H\underline{\mathbb F_2}$, $H\underline{\mathbb Z}$ and $H\underline{A}$, where $\underline{\mathbb F_2}$ and $\underline{\mathbb Z}$ denote the constant Mackey functors with values in $\mathbb F_2$ and $\mathbb Z$, respectively, and $\underline A$ denotes the Burnside Mackey functor. Surprisingly, the answer is closely tied to the problem of vector fields on spheres: the element $\frac{\theta}{\rho^k\tau^n}$ in the negative cone of the homotopy groups of $H\underline{\mathbb F_2}$ lies in the Hurewicz image if and only if $S^n$ admits $k$ linearly independent vector fields. Moreover, using the Generalized Leibniz Rule and the Generalized Mahowald Trick introduced by arXiv:2412.10879, we show that there are nonzero Adams differentials of arbitrary length supported by filtration-$0$ elements in the genuine $C_2$-equivariant Adams spectral sequence.

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.

Referee Report

1 major / 1 minor

Summary. The paper determines the RO(C_2)-graded Hurewicz images of the C_2-equivariant Eilenberg-MacLane spectra H, HZ, and HA (with constant Mackey functors  and Z, and the Burnside Mackey functor A). It asserts that the element θ/ρ^k τ^n in the negative cone of the homotopy groups of H lies in the Hurewicz image if and only if S^n admits k linearly independent vector fields. Using the Generalized Leibniz Rule and Generalized Mahowald Trick from arXiv:2412.10879, it further establishes the existence of nonzero Adams differentials of arbitrary length supported by filtration-0 elements in the genuine C_2-equivariant Adams spectral sequence.

Significance. If the central identification holds, the result supplies a direct and falsifiable link between RO(C_2)-graded equivariant homotopy and the classical vector-field problem on spheres, providing external grounding via an independent topological fact. The explicit determination of Hurewicz images for these specific Mackey-functor coefficients and the construction of arbitrarily long Adams differentials would constitute a substantial advance in the computational toolkit for genuine C_2-equivariant stable homotopy theory.

major comments (1)
  1. [derivation of the Hurewicz image (abstract and main theorem)] The iff statement equating membership of θ/ρ^k τ^n in the Hurewicz image to the existence of k vector fields on S^n is derived by invoking the Generalized Leibniz Rule and Generalized Mahowald Trick from arXiv:2412.10879. The manuscript does not explicitly verify that the constant Mackey functor  satisfies the flatness, projectivity, or other hypotheses required by those results when applied in the RO(C_2)-graded setting; without this check, extra terms or vanishing obstructions could appear and alter the precise identification of the image.
minor comments (1)
  1. [abstract] The abstract states the main result without indicating the length or location of the supporting calculations; a parenthetical reference to the relevant section would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their thorough review and for highlighting the need for explicit verification of the hypotheses from arXiv:2412.10879. We address the major comment below and will incorporate the necessary clarification in the revised manuscript.

read point-by-point responses

  1. Referee: [derivation of the Hurewicz image (abstract and main theorem)] The iff statement equating membership of θ/ρ^k τ^n in the Hurewicz image to the existence of k vector fields on S^n is derived by invoking the Generalized Leibniz Rule and Generalized Mahowald Trick from arXiv:2412.10879. The manuscript does not explicitly verify that the constant Mackey functor  satisfies the flatness, projectivity, or other hypotheses required by those results when applied in the RO(C_2)-graded setting; without this check, extra terms or vanishing obstructions could appear and alter the precise identification of the image.

    Authors: We agree that the manuscript invokes the Generalized Leibniz Rule and Generalized Mahowald Trick without an explicit check that the constant Mackey functor F_2 satisfies the required flatness and projectivity hypotheses in the RO(C_2)-graded setting. While the constant Mackey functors are known to be projective (hence flat) in the category of Mackey functors, and the relevant smash-product and homotopy constructions preserve this in the equivariant context, the absence of an explicit verification leaves open the possibility of overlooked obstructions. In the revised manuscript we will add a short lemma (or subsection in Section 3) confirming that F_2, Z and A meet the hypotheses of the cited results when applied to RO(C_2)-graded homotopy groups; this will ensure the stated identification of the Hurewicz image remains valid without extra terms. revision: yes

Circularity Check

0 steps flagged

No significant circularity; equivalence grounded in independent classical fact

full rationale

The paper's central result equates a specific Hurewicz image condition in the RO(C2)-graded homotopy of H underline F2 to the classical existence of k linearly independent vector fields on S^n. This equivalence is externally grounded by a well-known independent theorem in differential topology rather than reducing to any input by construction. The supporting Adams differentials rely on the Generalized Leibniz Rule and Generalized Mahowald Trick from the cited arXiv:2412.10879, but the overall identification is not self-definitional, does not rename a fitted parameter as a prediction, and does not rest on a load-bearing self-citation chain whose validity is presupposed without external check. The derivation remains self-contained against the external benchmark of vector field theory.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract alone supplies no identifiable free parameters, axioms, or invented entities; full text would be needed to audit the derivation for fitted quantities or background assumptions.

pith-pipeline@v0.9.1-grok · 5775 in / 1114 out tokens · 38713 ms · 2026-06-29T19:09:18.345106+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

10 extracted references · 6 canonical work pages

  1. [1]

    [BCK+66] A

    arXiv:2404.10062. [BCK+66] A. K. Bousfield, E. B. Curtis, D. M. Kan, D. G. Quillen, D. L. Rector, and J. W. Schlesinger. The mod-plower central series and the Adams spectral sequence.Topology, 5:331–342,

    work page arXiv

  2. [2]

    Bruner and John Rognes.The Adams spectral sequence for topological modular forms, volume 253 ofMathematical Surveys and Monographs

    [BR21] Robert R. Bruner and John Rognes.The Adams spectral sequence for topological modular forms, volume 253 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, [2021]©2021. [BR22] Robert R. Bruner and John Rognes. The Adams spectral sequence for the image-of-J spectrum. Trans. Amer. Math. Soc., 375(8):5803–5827,

    2021

  3. [3]

    An Atiyah-Hirzebruch spectral sequence forKR-theory.K-Theory, 35(3-4):213–256 (2006),

    A HUREWICZ THEOREM FOR EQUIV ARIANT HOMOLOGY BY VECTOR FIELDS ON SPHERES 31 [Dug05] Daniel Dugger. An Atiyah-Hirzebruch spectral sequence forKR-theory.K-Theory, 35(3-4):213–256 (2006),

    2006

  4. [4]

    [Gre88] J

    arxiv: 2404.14627. [Gre88] J. P. C. Greenlees. Stable maps into freeG-spaces.Trans. Amer. Math. Soc., 310(1):199–215,

    work page arXiv

  5. [5]

    [Gre90] J. P. C. Greenlees. The power of modp Borel homology. InHomotopy theory and related topics (Kinosaki, 1988), volume 1418 ofLecture Notes in Math., pages 140–151. Springer, Berlin,

    1988

  6. [6]

    Gaunce Lewis, Jr

    [Lew88] L. Gaunce Lewis, Jr. TheRO(G)-graded equivariant ordinary cohomology of complex projective spaces with linearZ/pactions. InAlgebraic topology and transformation groups (Göttingen, 1987), volume 1361 ofLecture Notes in Math., pages 53–122. Springer, Berlin,

    1987

  7. [7]

    [LSWX19] Guchuan Li, XiaoLin Danny Shi, Guozhen Wang, and Zhouli Xu

    arxiv: 2602.20184. [LSWX19] Guchuan Li, XiaoLin Danny Shi, Guozhen Wang, and Zhouli Xu. Hurewicz images of real bordism theory and real Johnson-Wilson theories.Adv. Math., 342:67–115,

    work page arXiv

  8. [8]

    [LWX25b] Weinan Lin, Guozhen Wang, and Zhouli Xu

    arxiv: 2412.10876. [LWX25b] Weinan Lin, Guozhen Wang, and Zhouli Xu. On the last Kervaire invariant problem,

    work page arXiv

  9. [9]

    [Ma24] Sihao Ma

    arxiv: 2412.10879. [Ma24] Sihao Ma. A proof of the generalized geometric boundary theorem using filtered spectra. Topology Appl., 355:Paper No. 109006, 12,

    work page arXiv

  10. [10]

    [Mah70] Mark Mahowald

    arxiv: 2208.12883. [Mah70] Mark Mahowald. The order of the image of theJ-homomorphisms.Bull. Amer. Math. Soc., 76:1310–1313,

    work page arXiv