arxiv: 2604.20808 · v2 · submitted 2026-04-22 · 🧮 math.AT · math.GR

Recognition: unknown

Equivariant formality and the cohomology of subgroups of right-angled Coxeter groups

Steven Amelotte, Vladimir Gorchakov

Pith reviewed 2026-05-09 22:20 UTC · model grok-4.3

classification 🧮 math.AT math.GR

keywords right-angled Coxeter groupscoabelian subgroupsequivariant formalitymoment-angle complexesclassifying spacesgroup cohomologyBorel cohomologygraph-theoretic criteria

0 comments

The pith

Coabelian subgroups of right-angled Coxeter groups have classifying spaces modeled as homotopy orbits of moment-angle complexes, with a graph criterion for equivariant formality.

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

The paper develops models for the classifying spaces of coabelian subgroups within right-angled Coxeter groups by expressing them as homotopy orbit spaces of real moment-angle complexes. This approach generalizes existing models for the full groups and their commutator subgroups. By doing so, it links the cohomology of these subgroups to the Borel equivariant cohomology arising from actions of elementary abelian 2-groups on certain cubical subcomplexes inside a cube. The characterization of when these actions are equivariantly formal provides a straightforward graph-theoretic condition that determines when the cohomology is free as a module over the cohomology of the quotient by the commutator subgroup.

Core claim

We construct models for the classifying spaces of coabelian subgroups of right-angled Coxeter groups as homotopy orbit spaces of real moment-angle complexes, generalizing well-known models for the classifying space of a right-angled Coxeter group and its commutator subgroup. This identifies the cohomology of these groups with the Borel equivariant cohomology of elementary abelian 2-group actions on cubical subcomplexes of a cube [-1,1]^m. We then characterize equivariant formality for these actions, leading to a simple graph-theoretic criterion for when the cohomology of a coabelian subgroup is free as a module over the cohomology of the quotient by the commutator subgroup of the right-anged

What carries the argument

Homotopy orbit space models of real moment-angle complexes for classifying spaces, which equate group cohomology to Borel equivariant cohomology of elementary abelian 2-group actions on cubical subcomplexes and allow characterization of equivariant formality via graph properties.

If this is right

The cohomology of coabelian subgroups can be studied through equivariant cohomology techniques on cubical complexes.
A graph-theoretic test determines whether the cohomology module is free over the base ring from the quotient group.
This generalizes known results for right-angled Coxeter groups and their commutator subgroups to a broader class of subgroups.
Equivariant formality holds exactly when the defining graph satisfies the identified conditions.

Where Pith is reading between the lines

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

This criterion could be used to compute explicit cohomology rings for new families of subgroups by checking graph properties.
Similar modeling techniques might apply to other classes of subgroups in Coxeter groups or related geometric groups.
The connection to moment-angle complexes suggests potential links to toric topology and other equivariant constructions in algebraic topology.

Load-bearing premise

The homotopy orbit space models and the equivariant formality characterization apply to coabelian subgroups defined by the given graphs without additional restrictions.

What would settle it

Computation of the cohomology for a specific coabelian subgroup where the graph criterion indicates freeness, but the module is found not to be free, or the reverse case.

read the original abstract

We construct models for the classifying spaces of coabelian subgroups of right-angled Coxeter groups as homotopy orbit spaces of real moment-angle complexes, generalizing well-known models for the classifying space of a right-angled Coxeter group and its commutator subgroup. This identifies the cohomology of these groups with the Borel equivariant cohomology of elementary abelian $2$-group actions on cubical subcomplexes of a cube $[-1,1]^m$. We then characterize equivariant formality for these actions, leading to a simple graph-theoretic criterion for when the cohomology of a coabelian subgroup is free as a module over the cohomology of the quotient by the commutator subgroup of the right-angled Coxeter group.

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.

Desk Editor's Note private letter to a colleague

The paper generalizes the real moment-angle models to coabelian subgroups of right-angled Coxeter groups and reduces equivariant formality to a graph-theoretic criterion.

read the letter

This paper takes the familiar real moment-angle complex models for the classifying space of a right-angled Coxeter group and its commutator subgroup and extends them to coabelian subgroups. The classifying spaces are realized as homotopy orbit spaces under elementary abelian 2-group actions on cubical subcomplexes of the cube. The group cohomology is then identified with the Borel equivariant cohomology of those actions, which is a direct consequence of the orbit-space construction.

Referee Report

0 major / 3 minor

Summary. The manuscript constructs models for the classifying spaces of coabelian subgroups of right-angled Coxeter groups as homotopy orbit spaces of real moment-angle complexes. These generalize the standard models for the classifying spaces of right-angled Coxeter groups and their commutator subgroups. The constructions identify the cohomology of the coabelian subgroups with the Borel equivariant cohomology of elementary abelian 2-group actions on associated cubical subcomplexes of the cube [-1,1]^m. The paper then characterizes equivariant formality for these actions and derives a graph-theoretic criterion determining when the cohomology of the coabelian subgroup is free as a module over the cohomology of the quotient by the commutator subgroup.

Significance. If the results hold, this work extends the toric-topology framework for right-angled Coxeter groups to a larger class of subgroups, supplying explicit orbit-space models and a combinatorial criterion for module freeness. The graph-theoretic criterion is a clear strength: it converts an equivariant-formality question into a checkable condition on the defining graph, which should facilitate explicit cohomology computations and further applications in equivariant cohomology. The systematic generalization from the known RACG and commutator cases demonstrates a coherent approach that may extend to related classes of groups.

minor comments (3)

The introduction would benefit from a concrete low-dimensional example (e.g., a specific graph with four or five vertices) that exhibits a coabelian subgroup, its associated cubical subcomplex, and the resulting graph-theoretic condition, before the general statements.
Notation for the cubical subcomplexes corresponding to coabelian subgroups should be introduced with an explicit comparison table or diagram that distinguishes the full RACG case, the commutator-subgroup case, and the coabelian case.
The statement of the main graph-theoretic criterion (presumably in the final section) would be easier to apply if the precise combinatorial condition on the defining graph were isolated in a separate remark or corollary immediately following the theorem.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and the recommendation for minor revision. The referee's summary accurately captures the constructions of classifying space models for coabelian subgroups via homotopy orbits of real moment-angle complexes, the identification with Borel equivariant cohomology, and the graph-theoretic criterion for equivariant formality and module freeness. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper's core constructions generalize standard real moment-angle models for right-angled Coxeter groups (RACGs) and their commutator subgroups to coabelian subgroups via homotopy orbit spaces. The identification of group cohomology with Borel equivariant cohomology follows directly from the orbit-space definition without presupposing the target result. The equivariant formality characterization reduces to a graph-theoretic criterion on the defining graph via standard spectral sequence collapse arguments in toric topology, which are independent of the present paper's fitted values or self-referential inputs. No self-citation chains, ansatzes smuggled via citation, or renamings of known results are load-bearing for the central claims. The argument is internally consistent and relies on externally established moment-angle and equivariant cohomology techniques.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on standard constructions in homotopy theory and equivariant cohomology together with the combinatorial structure of right-angled Coxeter groups. No free parameters, new postulated entities, or ad-hoc axioms are indicated in the abstract.

axioms (1)

standard math Standard axioms and results of algebraic topology, homotopy theory, and group cohomology
The models for classifying spaces, Borel equivariant cohomology, and equivariant formality rely on established background theorems in these areas.

pith-pipeline@v0.9.0 · 5415 in / 1643 out tokens · 74895 ms · 2026-05-09T22:20:29.550349+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

15 extracted references · 1 canonical work pages

[1]

Allday, M

C. Allday, M. Franz and V. Puppe, Syzygies in equivariant cohomology in positive characteristic, Forum Math. 33 (2021), 547–567

2021
[2]

Allday and V

C. Allday and V. Puppe, Cohomological methods in transformation groups, Cambridge Stud. Adv. Math. 32, Cambridge Univ. Press, Cambridge (1993)

1993
[3]

Amelotte and B

S. Amelotte and B. Briggs, Cohomology operations for moment-angle complexes and resolutions of Stanley– Reisner rings, Trans. Amer. Math. Soc. Ser. B 11 (2024), 826–862

2024
[4]

D. Biss, V. W. Guillemin, T. S. Holm, The mod 2 cohomology of fixed point sets of anti-symplectic involutions , Adv. Math. 185(2) (2004), 370–399

2004
[5]

Bonnaf´ e and M

C. Bonnaf´ e and M. Dyer,Semidirect product decomposition of Coxeter groups, Comm. Algebra 38(4) (2010), 1549–1574

2010
[6]

Brenti, V

F. Brenti, V. Reiner and Y. Roichman, Alternating subgroups of Coxeter groups , Journal of Combinatorial Theory, Series A 115(5) (2008), 845–877

2008
[7]

V. M. Buchstaber and T. E. Panov, Toric Topology, Mathematical Surveys and Monographs, 204, American Mathematical Society, Providence, RI (2015)

2015
[8]

Charney and M

R. Charney and M. W. Davis, Finite K(π, 1)s for Artin groups , Prospects in topology (Princeton, NJ, 1994), Ann. of Math. Stud., vol. 138, Princeton Univ. Press, Princeton, NJ (1995), pp. 110–124

1994
[9]

M. W. Davis and T. Januszkiewicz, Convex polytopes, Coxeter orbifolds and torus actions , Duke Math. J. 62(2) (1991), 417–451

1991
[10]

Denham, Homology of subgroups of right-angled Artin groups , arXiv:math/0612748

G. Denham, Homology of subgroups of right-angled Artin groups , arXiv:math/0612748

work page arXiv
[11]

´S. R. Gal, On normal subgroups of Coxeter groups generated by standard parabolic subgroups , Geom. Ded. 115(1) (2005), 65–78

2005
[12]

Grbi´ c, M

J. Grbi´ c, M. Intermont, I. Laude and E. Vidaurre,A homotopy theoretical generalisation of the Bestvina–Brady construction, Topology Appl. 235 (2018), 43–53

2018
[13]

I. J. Leary and M. Saadeto˘ glu, The cohomology of Bestvina–Brady groups , Groups Geom. Dyn. 5(1) (2011), 121–138

2011
[14]

T. E. Panov, N. Ray and R. Vogt, Colimits, Stanley–Reisner algebras, and loop spaces , Categorical Decom- position Techniques in Algebraic Topology (Isle of Skye, 2001), Progress in Math., vol. 215, Birkh¨ auser, Basel (2004), pp. 261–291

2001
[15]

T. E. Panov and Y. A. Veryovkin, Polyhedral products and commutator subgroups of right-angled Artin and Coxeter groups, Sb. Math. 207(11) (2016), 1582–1600. School of Mathematics and Statistics, 4302 Herzberg Laboratories, Carleton University, Ottawa, ON, K1S 5B6, Canada Email address: steven.amelotte@carleton.ca Department of Mathematics, University of W...

2016