Recognition: unknown
Gyration Stability for Products
Pith reviewed 2026-05-07 17:10 UTC · model grok-4.3
The pith
A product of Poincaré duality complexes is gyration stable whenever one factor is.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that a product N×M of two Poincaré Duality complexes is gyration stable when one of the product terms is itself gyration stable, and provide some examples of interest.
What carries the argument
The gyration operation, defined via surgery on the product with a sphere parametrized by twisting, together with its compatibility under the product of Poincaré duality complexes.
Load-bearing premise
The definitions of gyration and of gyration stability are well-defined and compatible with the product operation on Poincaré duality complexes.
What would settle it
An explicit gyration stable complex N and a second complex M for which gyrations of N×M yield complexes of different homotopy types for different choices of twisting.
read the original abstract
A gyration is an operation on Poincar\'{e} Duality complexes that arises from a certain surgery on the product of a given complex $N$ and a sphere, parametrised by a chosen twisting. Of particular recent interest is the notion of gyration stability; that is, $N$ is gyration stable when all of its gyrations have the same homotopy type, regardless of the twisting used. We prove that a product $N\times M$ of two Poincar\'{e} Duality complexes is gyration stable when one of the product terms is itself gyration stable, and provide some examples of interest.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines a gyration on a Poincaré duality complex N as a surgery operation on the product N × S^k parametrized by a choice of twisting. Gyration stability is the property that all gyrations of N are homotopy equivalent, independent of the twisting. The central result is a preservation theorem: if N is gyration stable, then the product N × M is gyration stable for any Poincaré duality complex M. The manuscript also supplies examples illustrating the theorem.
Significance. If the proof is correct, the result establishes that gyration stability is closed under products with arbitrary Poincaré duality complexes when one factor is stable. This supplies a mechanism for building larger stable complexes from smaller ones and may be useful in classifying homotopy types of Poincaré duality spaces or in applications of surgery theory. The inclusion of concrete examples adds concrete value beyond the abstract statement.
minor comments (3)
- The definition of the twisting parameter in the gyration construction (likely in §2) would benefit from an explicit statement of the range of possible twistings and how they act on the sphere factor; the current wording leaves the precise algebraic or homotopy-theoretic input slightly implicit.
- In the proof of the main theorem, the reduction step that shows gyrations of N × M are determined by those of N should include a short diagram or reference to the relevant homotopy-commutative square to make the compatibility with the product structure fully transparent.
- The examples section would be strengthened by a brief comparison table or list indicating which known Poincaré duality complexes are shown to be stable via the theorem and which are treated directly.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript, including the accurate summary of the definition of gyration and gyration stability, as well as the recognition of the significance of the preservation theorem under products. We are pleased that the inclusion of examples is viewed as adding concrete value. Given the recommendation for minor revision and the absence of any specific major comments, we have no points requiring detailed rebuttal or changes at this stage.
Circularity Check
No significant circularity
full rationale
The paper states a preservation theorem: if N is gyration-stable then the product N×M is gyration-stable for any Poincaré duality complex M. Gyration is defined via surgery on the product with a sphere parametrized by twisting, and stability is defined as all such gyrations having the same homotopy type. The abstract and described structure present these as independent definitions, with the result following from compatibility of the product operation with the surgery construction. No quoted equations or steps reduce the claim to a self-definition, a fitted input renamed as prediction, or a load-bearing self-citation chain. The derivation is therefore self-contained within standard homotopy-theoretic arguments.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Poincaré duality complexes admit a well-defined notion of gyration obtained by surgery on the product with a sphere parametrized by twisting data.
- domain assumption Homotopy type is preserved under the product operation in a manner compatible with gyrations.
Reference graph
Works this paper leans on
-
[1]
Pullbacks of Sphere Fibrations over Connected Sums
[BG24] S. Basu and A. Ghosh,Sphere fibrations over highly connected manifolds, Journal of the London Mathematical Society110(2024), Paper No. e70002. [BM06] F. Bosio and L. Meersseman,Real quadrics inℂ 𝑛, complex manifolds and convex polytopes, Acta Mathematica197 (2006), no. 1, 53 –127. [CFW20] L. Chen, F. Fan, and X. Wang,The topology of moment-angle ma...
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1017/s0305004125101849 2024
-
[2]
[HT23] R. Huang and S. Theriault,Homotopy of manifolds stabilized by projective spaces, Journal of Topology16(2023), 1237–1257. [HT25a] ,Stabilization of Poincar ´e duality complexes and homotopy gyrations, arXiv:2504.09786 [math.AT] (2025). [HT25b] ,Stabilization of Poincar ´e Duality complexes and homotopy gyrations, arXiv:2504.09786 [math.AT] (2025). [...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.