Free Circle Actions on the Product of Three Spheres

Dimpi; Hemant Kumar Singh

REVIEW 4 major objections 6 minor 19 references

Free Circle Actions on the Product of Three Spheres

T0 review · 4 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read For a free circle action on a space with the rational cohomology of a product of three spheres, the orbit space's rational cohomology ring must be one of ten explicitly listed algebras.

desk verdict Natural next case, but the central spectral sequence computation violates the Leibniz rule and the theorem statements contain undefined half-integer powers; the classification is not established. read the letter →

arxiv 2505.21993 v2 pith:AOKC7IKL submitted 2025-05-28 math.AT

Dimpi , Hemant Kumar Singh This is my paper

classification math.AT MSC 57S1757S25

keywords freecircleactionfinitisticspaceLeray-SerrespectralsequenceorbitrationalcohomologyproductofthreespheresBorsuk-Ulamtheoremtransgressivedifferential

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

This paper attempts to classify the rational cohomology rings of orbit spaces of free circle actions on spaces that are rationally indistinguishable from a product of three spheres. The central claim is that, for a free $S^{1}$ action on a finitistic space (one satisfying a mild finiteness condition on open covers) with H^*(X;Q) isomorphic to H^*(S^n × S^m × S^l;Q), the ring H^*(X/G;Q) is always one of ten explicitly listed graded commutative algebras, determined by the degrees n ≤ m ≤ l and by which of the three sphere generators supports a nonzero differential in the Borel spectral sequence. Such products of spheres occur naturally as the rational cohomology of concrete spaces, including complex Stiefel manifolds and SU(3) × $S^{{2l+1}}$, so the classification constrains the orbit spaces of free circle actions on those examples. The paper also derives Borsuk-Ulam type nonexistence theorems for equivariant maps to odd-dimensional spheres.

What carries the argument

The machinery is the Leray-Serre spectral sequence of the Borel fibration X → X_G → BG, where G = $S^{1}$. Because the action is free, X_G is homotopy equivalent to the orbit space X/G, so the spectral sequence computes H^*(X/G;Q). The E_2 page is H^*(BG;Q) ⊗ H^*(X;Q) = Q[t] ⊗ Q[a,b,c]/($a^{2}$,$b^{2}$,$c^{2}$), with deg t = 2 and deg a = n, deg b = m, deg c = l. The argument enumerates which differentials d_r on 1⊗a, 1⊗b, and 1⊗c can be nonzero, together with their parity conditions; each nonzero differential kills a generator and makes the sequence collapse at a controlled stage. The Leibniz rule then propagates each differential to products, and the permanent cocycles on the E_∞ page become the generators x, y, w, z of H^*(X/G;Q). Translating the resulting total complex back through the edge homomorphism gives the stated relations I_j.

What would settle it

Run the Leray-Serre spectral sequence for a free $S^{1}$ action on a finitistic space with rational cohomology Q[a,b,c]/($a^{2}$,$b^{2}$,$c^{2}$) and find a nonzero differential on one of the three generators at an index or parity not listed in Section 3; the resulting orbit-space ring would then lie outside the ten algebras of Theorems 3.1–3.3, refuting the classification.

Watch

Extended reading notes

Core claim

The paper's central discovery is that, for a free $S^{1}$ action on a finitistic space X with H^*(X;Q) ≅ H^*(S^n × S^m × S^l;Q), 1 ≤ n ≤ m ≤ l, the algebra H^*(X/G;Q) is isomorphic to one of ten explicit graded commutative algebras. Theorems 3.1, 3.2, and 3.3 divide the possibilities according to whether the first nonzero transgressive differential acts on the degree-n generator a, then on the degree-m generator b, or only on the degree-l generator c. In every case the orbit-space ring is generated by four elements x, y, w, z of specified degrees, with relations of the form I_j = 0 whose coefficients lie in Q and are subject to vanishing conditions when certain degree inequalities hold. The proof runs through the Leray-Serre spectral sequence of the Borel fibration and uses the freeness of the action to identify the Borel space with the orbit space. The final section derives Borsuk-Ulam type nonexistence theorems for equivariant maps to odd spheres, using the index bounds obtained from the spectral sequence.

Load-bearing premise

The completeness of the differential enumeration in Section 3 is the load-bearing premise: the paper assumes that the only possible nonzero differentials on the three generators are the listed ones with the stated parity conditions, and that the spectral sequence collapses at the claimed stage once these differentials are applied.

Editorial extensions

If this is right

If the classification is correct, the rational cohomology ring of the orbit space is determined entirely by the degrees n, m, l and the pattern of nonzero differentials, with no further information about the action needed.
When the lowest-degree generator transgresses first, the orbit ring has one of two shapes; when the middle generator transgresses first, one of four shapes; and when only the top generator transgresses, one of four shapes.
Each listed orbit ring is generated by four elements, so the rational cohomology of any such orbit space has a tightly restricted multiplicative structure.
The Volovikov index of X is forced to one of seven explicit values, yielding numerical obstructions to equivariant maps into odd spheres.
The Borsuk-Ulam type theorems give explicit degree bounds: no equivariant map S^{2k+1} → X exists for k > (r−1)/2 with r in the stated list, and no equivariant map X → S^{2k+1} exists when 2k+1 < i(X)−1.

Reading between the lines

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

Editorial inference: the same differential-enumeration strategy would presumably extend to products of four or more spheres, but the number of transgressive differential patterns grows combinatorially, and the paper does not treat that case.
Editorial inference: the ten listed algebras raise a realizability question the paper leaves open, namely whether each listed algebra actually occurs as H^*(X/G;Q) for some free S^1 action and with which parameters.
Editorial inference: the Borsuk-Ulam bounds could be sharpened or tested on concrete examples, such as the complex Stiefel manifold V_{n,n−3} or SU(3) × S^{2l+1}, which carry the three-sphere rational cohomology type and admit explicit free circle actions.

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

The paper takes up a natural next case in an established program: free S1 actions on finitistic spaces with rational cohomology of Sn × Sm × Sl, building on Dotzel et al. for two spheres and the authors' earlier work for involutions on three spheres. The question is legitimate and the spectral sequence setup is the right tool. The Borsuk-Ulam applications are routine consequences of the orbit-ring computation, so the value of the paper depends entirely on the classification in Theorems 3.1–3.3. That computation does not hold up.

The clearest problem is in the proof of Theorem 3.2, Case (i), first branch. The proof sets dm−n+1(1⊗b) = c0 t^{(m−n+1)/2}⊗a and then, at a later page, asserts dm+n−l+1(1⊗ab) = c1 t^{(n+m−l+1)/2}⊗c. In a multiplicative Leray-Serre spectral sequence over Q, once b carries a nonzero differential at page r, b is zero in all later pages, so the class ab is zero and cannot support a later differential. This directly contradicts the Leibniz rule. It is not a typo; it is the basis for possibility (1) of Theorem 3.2. The same proof later uses relations like x^{n/2} y without excluding odd n, so the expressions are undefined. Theorem 3.2 (1) lists monomials with the same defect. These are not isolated slips; they mean the theorems, as written, are not established.

What is worth preserving is the framing and the honest engagement with prior work. The authors correctly identify a gap in the literature and use standard tools. But the execution is far from correct: the central spectral sequence pages are wrong, and the printed algebras do not match the proofs. A corrected computation might salvage the classification, but this version would send a referee down a long path of checking every differential, most of which will fail.

This paper is for specialists in transformation groups who might use the orbit-ring classification. Given the load-bearing flaw, I would not send it to a journal for peer review in its current form. The authors should redo the spectral sequence computation carefully and resubmit. If they do, it could be a useful contribution; as it stands, it is not.

Referee Report

4 major / 6 minor

Summary. The paper studies free circle actions on finitistic spaces whose rational cohomology is that of a product of three spheres, S^n × S^m × S^l with 1 ≤ n ≤ m ≤ l. The authors use the Leray-Serre spectral sequence of the Borel fibration to classify, in Theorems 3.1–3.3, the possible rational cohomology rings of the orbit space X/G, according to which of the transgressive differentials on the three spherical generators is nonzero. They also derive Borsuk-Ulam type nonexistence results for equivariant maps in Section 4. The central claim is the completeness of the four-case classification in each theorem and the correctness of the associated E∞-page computations.

Significance. If the classification were correct, it would be a natural and useful extension of the two-sphere results of Dotzel, Singh, and Tripathi, and it would provide concrete orbit-space rings that could be used in equivariant mapping problems. The spectral sequence method is appropriate for the problem, and the paper does not rely on fitted parameters or circular reasoning. However, the significance is heavily conditional: the main theorems are only as strong as the spectral-sequence computations behind them, and those computations contain a load-bearing contradiction. The Borsuk-Ulam applications inherit this fragility, since they are derived directly from the Section 3 classification.

major comments (4)

[§3, proof of Theorem 3.2, case (i), first branch] The asserted differential d_{m+n-l+1}(1⊗ab) = c_1 t^{(n+m-l+1)/2}⊗c cannot be nonzero. In that branch the proof has d(a)=0 and d_{m-n+1}(b)=c_0 t^{(m-n+1)/2}⊗a. By the Leibniz rule, at any stage r, d_r(ab)=d_r(a)b ± a d_r(b) = ± a d_r(b), since d_r(a)=0. If r=m-n+1, this equals ±c_0 t^{(m-n+1)/2}⊗a^2 = 0. If r<m-n+1, then both a and b are cycles at E_r, so d_r(ab)=0. If r>m-n+1, then b, and hence ab, is already zero in E_r because b is not a cycle at the earlier stage. Thus the product differential used to build the E∞ page behind Theorem 3.2(1) is impossible. This is not a cosmetic mismatch; it removes the support for the stated orbit-space ring in that branch.
[§3, Theorem 3.2(1)] The statement of Theorem 3.2(1) does not match the proof. In the proof of the first branch of case (i), the total complex contains the relation x^{(m+n-l+1)/2} v, and the displayed orbit-space ring includes x^{(m+n-l+1)/2} w; this relation is omitted from the theorem statement's list of relations. In addition, in the j'=0 branch the proof imposes the condition b_4=0 when l is odd or l>n+m-1 in the relation I_2, but the theorem statement imposes no such condition on a_4. Consequently the theorem as stated is not equivalent to what is proved, even setting aside the Leibniz-rule issue.
[§3, Theorems 3.2 and 3.3] Several of the displayed algebras are not well-defined as graded commutative algebras because they contain monomials x^{q/2} for odd or negative q with no accompanying vanishing condition. For example, in Theorem 3.3(1), the relation I_1 contains a_3 x^{(2n-m)/2} w; when m>2n the exponent is negative, and when 2n-m is odd it is a half-integer, yet no condition forces a_3=0 in those cases. Similarly, in the j'=0 branch of Theorem 3.2(1), I_2 contains a_4 x^{l/2} w with no condition a_4=0 when l is odd. Since the coefficients a_i are arbitrary rational parameters, these are not merely typographical issues: the asserted quotient rings may fail to be graded rings.
[§3, preamble differential enumeration] The list of possible nonzero differentials on a, b, and c is asserted without proof. For a classification theorem, completeness of this list is load-bearing: if an omitted transgressive differential exists, the list of orbit-space rings is incomplete. The later product-differential contradiction shows that the enumeration is not merely unproved but internally inconsistent with the Leibniz rule. The proofs therefore cannot be accepted as a complete derivation of the E∞ pages on which Theorems 3.1–3.3 rest.

minor comments (6)

[§3, proof of Theorem 3.3, case (iii)] The displayed E∞ page says 'E^{p,q}_∞ ∼= Z2' but should be Q, since all coefficients throughout the paper are rational.
[§3, proof of Theorem 3.3, case (iii)] In the sentence 'we must have d_{n+l+1}(1⊗ac)=c_1 t^{m+l+1}⊗1', the exponent should be (n+l+1)/2, not m+l+1.
[§3, Theorem 3.2(3)] The statement says 'deg x = n+l' where it should read 'deg z = n+l'.
[§3, Theorem 3.3 displays] Several displayed rings contain the typo 'Q[x,y,w.z]' instead of 'Q[x,y,w,z]', for example in case (i) and case (iv) of the proof.
[§4, Theorem 4.1] The word 'equivarient' should be 'equivariant'.
[§4, applications] The text asserts that Section 3 gives the largest integer s=(r-1)/2 for which w^s≠0, but it does not identify which theorem or branch supplies each value of r; the Borsuk-Ulam conclusions are therefore not derived case-by-case from the classification.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the spectral-sequence classification is conditional on differential assumptions and does not reduce to a fit, a self-citation, or a definitional equivalence.

full rationale

The paper's central derivation is the Leray-Serre spectral sequence analysis in Section 3: given the hypotheses that one or more of d(1⊗a), d(1⊗b), d(1⊗c) are nonzero, the authors compute E∞ pages and read off the rational cohomology rings of the orbit space. No parameter is fitted to a data subset and then renamed as a prediction; the constants c_i and a_i are free coefficients in the algebra relations, not determined by the input. The only self-citation is [6], which concerns free S0-actions on mod 2 cohomology products of three spheres; it is cited as motivation in the abstract and introduction and is not used in any proof of Theorems 3.1-3.3. The external references [7], [10], and [19] supply standard spectral-sequence facts, the two-sphere case, and the index notion, respectively, and these are independent of the paper's own conclusions. The enumeration of possible differentials in Section 3 is asserted rather than proved, and the proof of Theorem 3.2 contains the Leibniz-rule issue identified by the skeptic; but an unsupported or erroneous differential computation is a correctness risk, not circularity. Because none of the seven circularity patterns is present, the appropriate score is 0.

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

The paper introduces no new entities. The computation relies on standard spectral sequence facts plus an unproved completeness assertion about the differentials. The coefficients a_i in the classified algebras are output parameters of the family, not fitted inputs.

assumptions (5)

standard math The Leray-Serre spectral sequence of the Borel fibration has simple local coefficients and E_2 = H^*(BS^1;Q) tensor H^*(X;Q).
Invoked via Propositions 2.1 and 2.2, cited to [10], and used throughout Section 3.
standard math For a free S^1 action, the Borel space X_G is homotopy equivalent to the orbit space X/G.
Proposition 2.3, cited to [3]; this identifies the target of the spectral sequence with H^*(X/G;Q).
standard math If H^i(X;Q)=0 for all i>N, then H^i(X/G;Q)=0 for all i>N.
Proposition 2.4, cited to [3]; used to force the spectral sequence to be nondegenerate and to justify that at least one generator differential is nonzero.
domain assumption The enumeration of possible nonzero differentials on the generators a, b, and c in Section 3 is complete, and all later differentials vanish once the listed ones are applied.
This load-bearing assertion is stated as bullets before Theorem 3.1 but is not proved in the text; every case split in Theorems 3.1-3.3 depends on it.
standard math A finitistic space with rational cohomology of S^n x S^m x S^l has the graded algebra Q[a,b,c]/(a^2,b^2,c^2) with deg a=n, deg b=m, deg c=l.
Stated in Section 2; follows from the Kunneth formula and graded commutativity.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Free Circle Actions on the Product of Three Spheres." pith.science (2026). https://pith.science/paper/AOKC7IKL

@misc{pith2026250521993,
  author       = {Pith},
  title        = {Pith review of: Free Circle Actions on the Product of Three Spheres},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AOKC7IKL}},
  note         = {Machine review of arXiv:2505.21993}
}

read the original abstract

The orbit spaces of free S^0-actions on the mod 2 cohomology product of three spheres, S^n x S^m x S^l, 1 <= n <= m <= l have been determined in [6]. In this paper, we extend these findings to free S^1-actions on the rational cohomology product of three spheres. This extension also builds upon the work of Dotzel et al. [7], who studied free circle actions on the rational cohomology product of two spheres. Additionally, we establish Borsuk-Ulam type theorems.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

[1]

A. Adem, J. F. Davis and ¨O. ¨Unlu, Fixity and free group actions on products of spheres,Comment. Math. Helv., 79 (2004), 758-778

work page 2004
[2]

Borel, Sur la cohomologie des espaces fibr` es principaux et des espaces homog` enes de groupes de Lie compacts , Ann

A. Borel, Sur la cohomologie des espaces fibr` es principaux et des espaces homog` enes de groupes de Lie compacts , Ann. of Math. 57 (2) (1953), 115-207

work page 1953
[3]

G. E. Bredon, Introduction to Compact Transformation Groups, Academic Press, New York, (1972). 22 HEMANT KUMAR SINGH AND DIMPI

work page 1972
[4]

F. R. C. Coelho, D. de Mattos and E. L. dos Santos, On the existence of G-equivariant maps, Bull. Braz. Math. Soc., 43 (2012), 407-421

work page 2012
[5]

P. E. Conner, E. E. Floyd, Fixed point free involutions and equivariant maps, Bull. Amer. Math. Soc., 66 (1960), 416-441

work page 1960
[6]

Dimpi and H. K. Singh, Orbit Spaces of Free Involutions on The Product of Three spheres, Quaest. Math., 47(6)(2024), MR4760437, 1213 -1238

work page 2024
[7]

R. M. Dotzel, T. B. Singh and S. P. Tripathi, The cohomology rings of the orbit spaces of free transformation groups of the product of two spheres, Proc. Amer. Math. Soc., 129 (3) (2001), 921–930

work page 2001
[8]

P. Dey, M. Singh, Free actions of some compact groups on Milnor manifolds, Glasg. Math. J., 61 (2019), 727-742

work page 2019

Show all 19 references

[9]

Kumari, H

A. Kumari, H. K. Singh, Fixed point free actions of spheres and equivarient maps, Topology Appl., 305 (2022), 107886

2022
[10]

McCleary, A user’s guide to spectral sequences, Cambridge Studies in Advanced Mathematics, Cambridge University Press, IInd edition, 58 (2001)

J. McCleary, A user’s guide to spectral sequences, Cambridge Studies in Advanced Mathematics, Cambridge University Press, IInd edition, 58 (2001)

2001
[11]

A. M. M. Morita, D. De Mattos and P. L. Q. Pergher, The cohomology ring of orbit spaces of free Z2 actions on some Dold manifolds, Bull. Aust. Math. Soc., 97 (2018), 340-348

2018
[12]

Singh, Orbit spaces of free involutions on the product of two projective spaces, Results Math., 57(1) (2010), 53-67

M. Singh, Orbit spaces of free involutions on the product of two projective spaces, Results Math., 57(1) (2010), 53-67

2010
[13]

G. R. Livesay, Fixed point free involutions on the 3-sphere, Ann. of Math., 72(2) (1960), 603–611

1960
[14]

Ozeki, F

H. Ozeki, F. Uchida, Principal circle actions on a product of spheres, Osaka J. Math., 9 (1972), 379–390

1972
[15]

P. M. Rice, Free actions of Z4 on S3, Duke Math. J., 36 (1969), 749–751

1969
[16]

J. H. Rubinstein, Free actions of some finite groups on S3. I, Math. of Ann., 240 (2) (1979), 165–175

1979
[17]

G. X. Ritter, Free actions of cyclic groups of order 2n on S1 × S2, Proc. Amer. Math. Soc., 46 (1974), 137-140

1974
[18]

Math., 14 (1962), 145-152

Tao, Y.: On fixed point free involutions on S1 × S2, Osaka J. Math., 14 (1962), 145-152

1962
[19]

Volovikov, On the index of G-spaces, Sb

A.Yu. Volovikov, On the index of G-spaces, Sb. Math., 191 (9–10) (2000), 1259–1277. Hemant Kumar Singh Department of Mathematics University of Delhi Delhi – 110007, India. Email address : hemantksingh@maths.du.ac.in Dimpi Department of Mathematics University of Delhi Delhi – 1...

2000

Pith tools

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

[1] [1]

A. Adem, J. F. Davis and ¨O. ¨Unlu, Fixity and free group actions on products of spheres,Comment. Math. Helv., 79 (2004), 758-778

work page 2004

[2] [2]

Borel, Sur la cohomologie des espaces fibr` es principaux et des espaces homog` enes de groupes de Lie compacts , Ann

A. Borel, Sur la cohomologie des espaces fibr` es principaux et des espaces homog` enes de groupes de Lie compacts , Ann. of Math. 57 (2) (1953), 115-207

work page 1953

[3] [3]

G. E. Bredon, Introduction to Compact Transformation Groups, Academic Press, New York, (1972). 22 HEMANT KUMAR SINGH AND DIMPI

work page 1972

[4] [4]

F. R. C. Coelho, D. de Mattos and E. L. dos Santos, On the existence of G-equivariant maps, Bull. Braz. Math. Soc., 43 (2012), 407-421

work page 2012

[5] [5]

P. E. Conner, E. E. Floyd, Fixed point free involutions and equivariant maps, Bull. Amer. Math. Soc., 66 (1960), 416-441

work page 1960

[6] [6]

Dimpi and H. K. Singh, Orbit Spaces of Free Involutions on The Product of Three spheres, Quaest. Math., 47(6)(2024), MR4760437, 1213 -1238

work page 2024

[7] [7]

R. M. Dotzel, T. B. Singh and S. P. Tripathi, The cohomology rings of the orbit spaces of free transformation groups of the product of two spheres, Proc. Amer. Math. Soc., 129 (3) (2001), 921–930

work page 2001

[8] [8]

P. Dey, M. Singh, Free actions of some compact groups on Milnor manifolds, Glasg. Math. J., 61 (2019), 727-742

work page 2019