pith. machine review for the scientific record. sign in

arxiv: 2604.18455 · v1 · submitted 2026-04-20 · 🧮 math.AT · math.GT

Recognition: unknown

Topological rigidity of complex and quaternionic moment--angle manifolds

Ioannis Gkeneralis

Pith reviewed 2026-05-10 03:06 UTC · model grok-4.3

classification 🧮 math.AT math.GT
keywords moment-angle manifoldsequivariant rigidityquasitoric manifoldsquoric manifoldstopological rigidityBorel conjecturelocally linear actionsequivariant homotopy
0
0 comments X

The pith

Complex moment-angle manifolds are equivariantly rigid: any locally linear manifold equivariantly homotopy equivalent to one is equivariantly homeomorphic to it.

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

The paper establishes that complex moment-angle manifolds are equivariantly rigid under locally linear actions. It reduces the classification problem to the equivariant rigidity of their quasitoric or quoric quotients together with the classification of associated principal bundles. For the complex case this yields that the equivariant homotopy type determines the equivariant homeomorphism type. In the quaternionic setting the authors obtain full rigidity when the quotients are four-dimensional and a primary statement in higher dimensions controlled by degree-4 characteristic classes. A sympathetic reader cares because the result shows these manifolds behave like equivariant strong Borel manifolds, so homotopy data alone fixes their homeomorphism type.

Core claim

The authors prove that complex moment-angle manifolds are equivariantly rigid: any locally linear manifold equivariantly homotopy equivalent to a complex moment-angle manifold is equivariantly homeomorphic to it. In the quaternionic setting they establish full equivariant rigidity for manifolds with four-dimensional quoric quotients and a primary rigidity statement for higher dimensions based on degree-4 characteristic classes. These results characterize moment-angle manifolds as equivariant strong Borel manifolds, demonstrating that their equivariant homotopy type completely determines their equivariant homeomorphism type.

What carries the argument

Reduction of the equivariant classification to the rigidity of quasitoric or quoric quotients together with classification of the associated principal bundles, all within the category of locally linear actions.

Load-bearing premise

The assumption that the classification reduces completely to the equivariant rigidity of the quasitoric or quoric quotients and the classification of the associated principal bundles under locally linear actions.

What would settle it

A single locally linear manifold that is equivariantly homotopy equivalent to a given complex moment-angle manifold but not equivariantly homeomorphic to it would falsify the rigidity claim.

read the original abstract

We investigate the equivariant topological rigidity of complex and quaternionic moment--angle manifolds. By reducing the classification to the equivariant rigidity of their quasitoric (or quoric) quotients and the classification of the associated principal bundles, we establish new rigidity results within the category of locally linear actions. We prove that complex moment-angle manifolds are equivariantly rigid: any locally linear manifold equivariantly homotopy equivalent to a complex moment--angle manifold is equivariantly homeomorphic to it. In the quaternionic setting, we establish full equivariant rigidity for manifolds with four-dimensional quoric quotients and provide a primary rigidity statement for higher dimensions based on degree-4 characteristic classes. These results characterize moment--angle manifolds as equivariant strong Borel manifolds, demonstrating that their equivariant homotopy type completely determines their equivariant homeomorphism type.

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

0 major / 3 minor

Summary. The paper investigates the equivariant topological rigidity of complex and quaternionic moment-angle manifolds. By reducing the classification problem to the equivariant rigidity of their quasitoric (or quoric) quotients together with the classification of the associated principal bundles, the authors establish that complex moment-angle manifolds are equivariantly rigid: any locally linear manifold that is equivariantly homotopy equivalent to a complex moment-angle manifold is equivariantly homeomorphic to it. In the quaternionic case, full equivariant rigidity is proved when the quoric quotient is four-dimensional, while a primary rigidity result for higher dimensions is given in terms of degree-4 characteristic classes. The results characterize these manifolds as equivariant strong Borel manifolds.

Significance. If the results hold, the paper makes a valuable contribution to equivariant topology and toric geometry by extending known rigidity theorems from quasitoric manifolds to the moment-angle setting via a clean reduction to quotient data and bundle classification. The explicit use of characteristic classes for the bundle part and the invocation of prior rigidity results for the quotients are strengths. The characterization as strong Borel manifolds provides a precise statement of how equivariant homotopy type determines homeomorphism type under the locally linear hypothesis.

minor comments (3)
  1. The introduction should include a brief explicit definition or reference for the term 'quoric quotient' (the quaternionic analog of a quasitoric manifold) to aid readers who may not be familiar with the construction.
  2. Notation for the moment-angle manifold and its associated torus or quaternionic torus action is introduced in §2 but used with minor variations in later sections; a single consistent notation table or reminder would improve readability.
  3. The reference list omits a citation to the foundational work of Buchstaber-Panov on moment-angle manifolds; adding this would provide better context for the reduction strategy employed in §3.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work on the equivariant topological rigidity of complex and quaternionic moment-angle manifolds. We appreciate the recognition of our reduction to the rigidity of quasitoric (or quoric) quotients together with the classification of principal bundles, as well as the characterization of these manifolds as equivariant strong Borel manifolds. The recommendation for minor revision is noted, and we will incorporate any necessary clarifications or corrections in the revised manuscript.

Circularity Check

0 steps flagged

No significant circularity: derivation reduces to independent external results on quotients and bundles

full rationale

The paper's central claim is established by reducing equivariant homotopy equivalence of the moment-angle manifold to matching data on the quasitoric/quoric quotient plus isomorphism class of the associated principal bundle, under the locally linear hypothesis. This reduction invokes standard tools of equivariant homotopy theory and bundle classification together with known rigidity results for the quotients; none of these inputs are defined in terms of the target rigidity statement, fitted from the same data, or justified solely by self-citation chains. The derivation is therefore self-contained against external benchmarks and does not reduce any prediction or first-principles result to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard background axioms of algebraic topology and manifold theory; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Equivariant homotopy equivalence and homeomorphism are well-defined in the category of locally linear actions on manifolds.
    Invoked when reducing the rigidity question to quotients and bundles.
  • domain assumption Principal bundles over quasitoric or quoric manifolds admit a classification that interacts well with equivariant homotopy data.
    Used to complete the reduction step described in the abstract.

pith-pipeline@v0.9.0 · 5436 in / 1323 out tokens · 42732 ms · 2026-05-10T03:06:02.501739+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

31 extracted references

  1. [1]

    (answers to)Classification of SU(2)principal fibre bundles over four-dimensional manifolds, Mathoverflow URL (version: 2015-02-04):https://mathoverflow.net/q/195592

    Michael Albanese, Tim Perutz and Qiaochu Yuan. (answers to)Classification of SU(2)principal fibre bundles over four-dimensional manifolds, Mathoverflow URL (version: 2015-02-04):https://mathoverflow.net/q/195592

    2015

  2. [2]

    Bahri, M

    A. Bahri, M. Bendersky, F.R. Cohen, S. Gitler,The polyhedral product functor: A method of decomposition for moment-angle complexes, arrangements and related spaces, Advances in Mathematics, Volume 225, Issue 3, 2010, Pages 1634-1668

    2010

  3. [3]

    Annals of Global Analysis and Geometry, volume 69, 1 (2026)

    Batakidis, P., and Gkeneralis, I.Tetraplectic structures compatible with local quater- nionic toric actions. Annals of Global Analysis and Geometry, volume 69, 1 (2026)

    2026

  4. [4]

    46, Academic Press, New York (1972)

    Bredon, G.E.,Introduction to compact transformation groups, Pure and Applied Mathematics, vol. 46, Academic Press, New York (1972)

    1972

  5. [5]

    V M Buchstaber and T E PanovToric TopologyMathematical Surveys and Mono- graphs, 204, American Mathematical Society, Providence, RI, 2015

    2015

  6. [6]

    V M Buchstaber and T E PanovTorus actions and the combinatorics of polytopes. Tr. Mat. Inst. Steklova, 225(Solitony Geom. Topol. na Perekrest.):96–131, 1999

    1999

  7. [7]

    V M Buchstaber and T E PanovTorus actions, combinatorial topology, and homo- logical algebra2000 Russ. Math. Surv. 55 825

  8. [8]

    Diarmuid Crowley and Sebastian Goette.Kreck-Stolz invariants for quaternionic line bundles, Trans. Amer. Math. Soc. 365 (2013), 3193-3225. REFERENCES37

    2013

  9. [9]

    Princeton University Press, Princeton, NJ, 2008

    Davis, Michael W.The geometry and topology of Coxeter groups, volume 32 of London Mathematical Society Monographs Series. Princeton University Press, Princeton, NJ, 2008

    2008

  10. [10]

    Davis, Michael W.,When are two Coxeter orbifolds diffeomorphic?, Michigan Math. J. 63, 2014

    2014

  11. [11]

    and Januszkiewicz, Tadeusz.Convex polytopes, Coxeter orbifolds and torus actions

    Davis, Michael W. and Januszkiewicz, Tadeusz.Convex polytopes, Coxeter orbifolds and torus actions. Duke Mathematical Journal, 62(2):417–451, 1991

    1991

  12. [12]

    Dold, A.Partitions of unity in the theory of fibrations. Ann. Math. (2) 78, 223–255 (1963)

    1963

  13. [13]

    Dold and H

    A. Dold and H. Whitney,Classification of oriented sphere bundles over a 4-complex, Ann. Math. 69 (1959), no. 3, 667–677

    1959

  14. [14]

    Feder and S

    S. Feder and S. Gitler, Mappings of quaternionic projective spaces, Bol. Soc. Mat. Mex. 34 (1975) 12-18

    1975

  15. [15]

    Russian Mathematical Surveys, 71 (2), 185-251

    Grbic, Jelena and Theriault, Stephen (2016) Homotopy theory in toric topology. Russian Mathematical Surveys, 71 (2), 185-251

    2016

  16. [16]

    Colloquium Mathematicum, vol.179 (1), 1-19, 2025

    Gkeneralis, Ioannis and Prassidis, Stratos.Topological rigidity of quoric manifolds. Colloquium Mathematicum, vol.179 (1), 1-19, 2025

    2025

  17. [17]

    Granja Gustavo,On quaternionic line bundles, PhD thesis, MIT, 1999

    1999

  18. [18]

    Available at https://pi.math.cornell.edu/˜hatcher/VBKT/VBpage.html

    Hatcher, Allen.Vector Bundles and K-Theory (version 2.2), 2017. Available at https://pi.math.cornell.edu/˜hatcher/VBKT/VBpage.html

    2017

  19. [19]

    PhD thesis, University of Manchester, 2012

    Hopkinson, Jeremy.Quoric Manifolds. PhD thesis, University of Manchester, 2012

    2012

  20. [20]

    Pure and Applied Mathematics Quarterly, 5(3), 873-914, 2009

    Kreck, M., and L¨ uck, W.Topological rigidity for non-aspherical manifolds. Pure and Applied Mathematics Quarterly, 5(3), 873-914, 2009

    2009

  21. [21]

    PhD thesis, University of Manchester, 2008

    Laughton, Craig Matthew.Quasitoric Manifolds and Cobordism Theory. PhD thesis, University of Manchester, 2008

    2008

  22. [22]

    In Handbook of K-theory

    Wolfgang L¨ uck and Holger Reich.The Baum-Connes and the Farrell-Jones conjec- tures in K- and L-theory. In Handbook of K-theory. Vol. 1 and 2, pages 703–842. Berlin: Springer, 2005

    2005

  23. [23]

    Wolfgang L¨ uck.Survey on the Farrell-Jones conjecture, Bulletin of the AMS, 63, 2026, 79 - 117

    2026

  24. [24]

    Metaftsis, Vassilis and Prassidis, Stratos,Topological rigidity of quasitoric manifolds. Math. Scand. 122 (2018), no. 2, 179-196

    2018

  25. [25]

    J.; University of Tokyo Press, Tokyo, 1974, Annals of Mathematics Studies, No

    Milnor, J.W., Stasheff, J.D.: Characteristic classes, Princeton University Press, Princeton, N. J.; University of Tokyo Press, Tokyo, 1974, Annals of Mathematics Studies, No. 76

    1974

  26. [26]

    Mitchell,Notes on principal bundles(2011), Lecture Notes

    Stephen A. Mitchell,Notes on principal bundles(2011), Lecture Notes. University of Washington, 2011.https://sites.math.washington.edu/ ˜mitchell/ Notes/prin.pdf

    2011

  27. [27]

    Transactions of the American Mathematical Society, vol

    Notbohm Dietrich.Vector bundles over Davis-Januszkiewicz spaces with prescribed characteristic classes. Transactions of the American Mathematical Society, vol. 364, no. 6, 2012, pp. 3217–39. REFERENCES38

    2012

  28. [28]

    Princeton University Press, Princeton, NJ, 1999, Reprint of the 1957 edition, Princeton Paperbacks

    Steenrod, N.:The Topology of Fibre Bundles, Princeton Landmarks in Mathemat- ics. Princeton University Press, Princeton, NJ, 1999, Reprint of the 1957 edition, Princeton Paperbacks

    1999

  29. [29]

    E. B. Vinberg, Discrete linear groups generated by reflections, Math. USSR-Izv. 5 (1971), 1083–1119

    1971

  30. [30]

    Michael Wiemeler,Smooth classification of locally standardT k-manifolds, Osaka J. Math. 59 (2022), no. 3, 549-557

    2022

  31. [31]

    Ad- vances in Mathematics, 227:1914–1955, 2011

    Yoshida, Takahiko.Local torus actions modeled on the standard representation. Ad- vances in Mathematics, 227:1914–1955, 2011

    1914