pith. sign in

arxiv: 2604.15462 · v1 · submitted 2026-04-16 · 🧮 math.GT · math.AT

Remarks on Topological Rigidity of Real Moment-Angle Manifolds

Ioannis Gkeneralis This is my paper

Pith reviewed 2026-05-10 09:14 UTC · model grok-4.3

classification 🧮 math.GT math.AT
keywords moment-angle manifoldsBorel conjecturetopological rigidityflag simplicial complexesCAT(0) metricsFarrell-Jones conjectureDavis constructionsurgery theory
0
0 comments X

The pith

Real moment-angle manifolds associated to flag complexes satisfy the Borel conjecture in dimensions five and higher.

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

The paper examines topological rigidity for real moment-angle manifolds built from flag simplicial complexes. It shows that in dimensions at least five these spaces satisfy the Borel conjecture, so any homotopy equivalence to another manifold sharing the same fundamental group is homotopic to a homeomorphism. The argument proceeds by identifying the universal cover with the Davis complex, endowing it with a CAT(0) metric from its cubical structure, deducing that the fundamental group satisfies the Farrell-Jones conjecture, and then invoking surgery theory. The same rigidity does not hold for the corresponding complex or quaternionic moment-angle complexes.

Core claim

Real moment-angle manifolds of dimension at least five associated to flag simplicial complexes satisfy the Borel Conjecture, because their universal covers are CAT(0) spaces via the Davis construction and their fundamental groups therefore satisfy the Farrell-Jones conjecture.

What carries the argument

The Davis construction applied to flag simplicial complexes, which supplies a cubical structure on the universal cover making it a CAT(0) space.

If this is right

  • The fundamental group of these manifolds satisfies the Farrell-Jones conjecture.
  • Surgery theory implies that homotopy equivalences are homotopic to homeomorphisms.
  • The rigidity result is specific to the real moment-angle case and does not extend to complex or quaternionic versions.

Where Pith is reading between the lines

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

  • The result supplies a new family of examples where the Borel conjecture is verified through combinatorial cubulations rather than classical negative curvature.
  • The failure in the complex and quaternionic cases indicates that the cubical Davis geometry is essential to obtaining the CAT(0) metric.
  • Analogous cubulation techniques might be tested on other combinatorially defined manifolds to produce further Borel examples.

Load-bearing premise

The universal cover of the real moment-angle manifold can be identified with the Davis complex and equipped with a CAT(0) metric using cubical geometry for flag simplicial complexes.

What would settle it

An explicit real moment-angle manifold of dimension five or higher, built from a flag complex, that is homotopy equivalent but not homeomorphic to another manifold with the same fundamental group.

read the original abstract

We study topological rigidity of real moment-angle manifolds associated to flag simplicial complexes. Using the cubical geometry arising from the Davis construction, we identify the universal cover with the Davis complex and deduce that it admits a CAT(0) metric. As a consequence, its fundamental group satisfies the Farrell--Jones conjecture. Applying surgery theory, we deduce that real moment-angle manifolds of dimension at least five associated to flag complexes satisfy the Borel Conjecture. We also explain why this rigidity phenomenon is specific to the real case and fails for complex and quaternionic moment-angle complexes.

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 manuscript claims that real moment-angle manifolds Z_R(K) associated to flag simplicial complexes K, when of dimension at least 5, satisfy the Borel conjecture. The argument identifies the universal cover of Z_R(K) with the Davis complex Σ_K via the cubical structure from the Davis construction, endows it with a CAT(0) metric, deduces that π_1(Z_R(K)) is a CAT(0) group (hence satisfies the Farrell-Jones conjecture), and applies surgery theory to obtain the Borel conjecture. The paper also explains the failure of this rigidity for complex and quaternionic moment-angle complexes.

Significance. If the central identifications hold, the result supplies a new infinite family of examples verifying the Borel conjecture in dimensions ≥5, distinguished by the real moment-angle construction and the CAT(0) geometry of flag-complex Davis complexes. The reliance on standard theorems (CAT(0) structure for flag complexes, Farrell-Jones for CAT(0) groups, and the surgery exact sequence for aspherical manifolds) is a strength, as is the explicit contrast with the non-real cases. This contributes concrete instances to the literature on topological rigidity of polyhedral products.

minor comments (3)
  1. The abstract and introduction should include a brief explicit reference to the theorem establishing that flag complexes yield CAT(0) Davis complexes (e.g., the relevant result of Davis or subsequent citations) to make the logical chain self-contained for readers.
  2. In the section discussing the failure for complex and quaternionic cases, clarify whether the obstruction arises from the absence of a CAT(0) structure, the failure of Farrell-Jones, or the surgery step; this would strengthen the contrast claimed in the abstract.
  3. Notation for the real moment-angle manifold (Z_R(K)) and the Davis complex (Σ_K) should be introduced once and used consistently; any ad-hoc notation for the cubical structure should be defined before its first use.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. The report accurately captures the main results and their context within the literature on topological rigidity.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper identifies the universal cover of Z_R(K) for flag K with the Davis complex Sigma_K via the standard cubical structure, endows it with the CAT(0) metric from the Davis construction, deduces that pi_1 is a CAT(0) group (hence satisfies Farrell-Jones by known results), and applies surgery theory to obtain the Borel conjecture in dimension >=5. This chain relies on external, established facts about flag complexes yielding CAT(0) Davis complexes, CAT(0) groups satisfying FJ, and FJ plus asphericity implying Borel via the surgery exact sequence; no step reduces by definition, fitted input, or self-citation chain to the paper's own inputs. The derivation is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard background results in geometric group theory and surgery theory rather than introducing new free parameters or invented entities.

axioms (2)
  • standard math Groups acting properly and cocompactly on CAT(0) spaces satisfy the Farrell-Jones conjecture
    Invoked after identifying the universal cover as a CAT(0) Davis complex.
  • standard math Surgery theory applies to deduce the Borel conjecture for aspherical manifolds whose fundamental groups satisfy Farrell-Jones
    Used in the final step for dimension at least five.

pith-pipeline@v0.9.0 · 5381 in / 1292 out tokens · 35386 ms · 2026-05-10T09:14:13.310301+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

17 extracted references · 17 canonical work pages

  1. [1]

    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

    work page 2010

  2. [2]

    Arthur Bartels and Wolfgang L¨ uck,The Borel conjecture for hyperbolic and CAT(0)-groups, Ann. of Math. (2) 175 (2012), no. 2, 631–689, DOI 10.4007/an- nals.2012.175.2.5. MR2993750

    work page doi:10.4007/an- 2012

  3. [3]

    Bridson and A

    M. Bridson and A. Haefliger,Metric Spaces of Non-positive Curvature, Springer- Verlag, New York, 1999

    work page 1999

  4. [4]

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

    work page 2015

  5. [5]

    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

    work page 1991

  6. [6]

    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

    work page 2008

  7. [7]

    Right-angularity, flag complexes, asphericity

    Davis, M.W. Right-angularity, flag complexes, asphericity. Geom Dedicata 159, 239–262 (2012).https://doi.org/10.1007/s10711-011-9654-4

    work page doi:10.1007/s10711-011-9654-4 2012

  8. [8]

    Gromov,Hyperbolic Groups, In Gersten, S.M

    M. Gromov,Hyperbolic Groups, In Gersten, S.M. (ed.). Essays in Group The- ory. Mathematical Sciences Research Institute Publications, vol 8. New York, NY: Springer. pp. 75–263

    work page

  9. [9]

    PhD thesis, University of Manchester, 2012

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

    work page 2012

  10. [10]

    Foundations

    Wolfgang L¨ uck and Tibor Macko.Surgery theory. Foundations. With contributions by Diarmuid Crowley, volume 362 of Grundlehren Math. Wiss. Cham: Springer, 2024

    work page 2024

  11. [11]

    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

    work page 2005

  12. [12]

    Moussong,Hyperbolic Coxeter groups, Ph.D

    G. Moussong,Hyperbolic Coxeter groups, Ph.D. thesis, The Ohio State University, 1988

    work page 1988

  13. [13]

    Transactions of the American Mathematical Society 352, no

    Prassidis, Stratos, and Barry Spieler.Rigidity of Coxeter Groups. Transactions of the American Mathematical Society 352, no. 6 (2000): 2619–42

    work page 2000

  14. [14]

    Transactions of the American Mathematical Society 308 (1988): 837-848

    Rosas, E..Rigidity theorems for right angled reflection groups. Transactions of the American Mathematical Society 308 (1988): 837-848

    work page 1988

  15. [15]

    Proceedings of the American Mathematical Society (2016)

    Stark, Emily.Topological rigidity fails for quotients of the Davis complex. Proceedings of the American Mathematical Society (2016). REFERENCES11

    work page 2016

  16. [16]

    C. T. C. Wall.Surgery on compact manifolds, volume 1 of Lond. Math. Soc. Monogr. Academic Press, London, 1970

    work page 1970

  17. [17]

    Geom Dedicata 217, 82 (2023).https://doi.org/10.1007/s10711-023-00819-6

    Wu, Y.A topologically rigid set of quotients of the Davis complex. Geom Dedicata 217, 82 (2023).https://doi.org/10.1007/s10711-023-00819-6

    work page doi:10.1007/s10711-023-00819-6 2023