Pith. sign in

REVIEW 3 minor 35 references

Actions with a strong fundamental domain and Sigma invariants of groups

T0 review · 0 major / 3 minor · reviewed 2026-06-25 · grok-4.3

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

Pith's one-line read If a group acts on a contractible CW-complex with a contractible strong fundamental domain and suitable stabilizers, its homological Sigma invariants are either empty or dense in the character sphere.

desk verdict The paper gives a general criterion for homological Sigma invariants to be empty or dense under actions with contractible strong fundamental domains, and applies it to get the result for pure symmetric automorphisms of RAAGs. read the letter →

arxiv 2606.26033 v1 pith:J3JNAHXJ submitted 2026-06-24 math.GR

Peio Ardaiz Galé , Marcos Escartín Ferrer , Conchita Martínez Perez This is my paper · ORCID
classification math.GR
keywords SigmainvariantshomologicalgroupactionsstrongfundamentaldomainCW-complexcharactersphereright-angledArtingroups
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

The paper proves a criterion linking group actions to the behavior of homological Sigma invariants. Under the condition that the action has a contractible strong fundamental domain on a contractible CW-complex and stabilizers meet certain properties, the Sigma invariants turn out to be either empty or dense in the character sphere. This generalizes known results for right-angled Artin groups and pure symmetric automorphisms of free groups. It also applies the criterion to pure symmetric automorphisms of right-angled Artin groups, showing how such actions can determine the invariants for new families of groups.

What carries the argument

The contractible strong fundamental domain in the action on the contractible CW-complex, which transfers the properties of the stabilizers to control the density of the homological Sigma invariants.

What would settle it

A counterexample would be a group that admits such an action with stabilizers satisfying the properties, yet whose homological Sigma invariants are neither empty nor dense in the character sphere.

Watch

Extended reading notes

Core claim

If a group G acts on a contractible CW-complex with a contractible strong fundamental domain and the stabilizers of the action satisfy certain properties, then the homological Sigma invariants of the group are either empty or dense in the character sphere. This was previously known for several families of groups and is now shown in general under these action hypotheses.

Load-bearing premise

The stabilizers of the action satisfy certain properties that enable the density conclusion for the Sigma invariants.

Editorial extensions

If this is right

  • The Sigma invariants are dense or empty for right-angled Artin groups under this framework.
  • The result extends to pure symmetric automorphisms of free groups.
  • It applies to pure symmetric automorphisms of right-angled Artin groups as an application.
  • Groups admitting such actions have their Sigma invariants determined up to density.

Reading between the lines

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

  • This approach could be used to study Sigma invariants in other groups that admit contractible actions with fundamental domains, such as certain hyperbolic groups.
  • Density of the invariants might relate to the group's finiteness properties in ways not explored here.
  • Similar criteria might exist for other invariants like the Bieri-Neumann-Strebel invariants in higher dimensions.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 3 minor

Summary. The paper proves that if a group G acts on a contractible CW-complex with a contractible strong fundamental domain and the stabilizers satisfy certain properties, then the homological Sigma invariants of G are either empty or dense in the character sphere. This recovers known results for right-angled Artin groups and pure symmetric automorphisms of free groups, and extends the conclusion to pure symmetric automorphisms of right-angled Artin groups.

Significance. If the main theorem holds, the result supplies a general geometric criterion for the density (or emptiness) of homological Sigma invariants, unifying several previously known families and yielding a new application. The use of contractible strong fundamental domains as a hypothesis is a concrete strength that may be verifiable in additional examples.

minor comments (3)
  1. [Abstract] Abstract: the phrase 'the stabilizers of the action satisfy certain properties' is too vague for a summary statement; a one-sentence indication of the required stabilizer conditions (e.g., their own Sigma invariants being dense) would improve readability without lengthening the abstract.
  2. [Introduction] The manuscript should include an explicit comparison, in §2 or the introduction, between the 'strong fundamental domain' notion used here and the ordinary fundamental domain, to make the technical advance precise.
  3. Notation for the character sphere and the homological Sigma invariants should be fixed at the first appearance and used consistently; occasional switches between Σ^h and Σ_1^h risk confusion for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. No major comments appear in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; general conditional theorem from explicit hypotheses

full rationale

The central result is a conditional implication: given an action on a contractible CW-complex with contractible strong fundamental domain plus stabilizer properties, the homological Sigma invariants are empty or dense. This is derived as a general statement that recovers prior cases (RAAGs, pure symmetric automorphisms) and extends to new ones (pure symmetric automorphisms of RAAGs). No self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations appear; the stabilizer condition is an explicit hypothesis rather than a concealed reduction. The derivation chain is self-contained against the stated assumptions.

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

Pure mathematics result relying on standard background; no free parameters, new entities, or ad-hoc axioms introduced in the abstract statement.

assumptions (1)
  • standard math Standard properties of CW-complexes, contractibility, and group actions on them
    Invoked directly in the theorem statement regarding the action and fundamental domain.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Actions with a strong fundamental domain and Sigma invariants of groups." pith.science (2026). https://pith.science/paper/J3JNAHXJ

@misc{pith2026260626033,
  author       = {Pith},
  title        = {Pith review of: Actions with a strong fundamental domain and Sigma invariants of groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/J3JNAHXJ}},
  note         = {Machine review of arXiv:2606.26033}
}
abstract

We show that if a group $G$ acts on a contractible $CW$-complex with a contractible strong fundamental domain and the stabilizers of the action satisfy certain properties, then the homological Sigma invariants of the group are either empty or dense in the character sphere. This was known for several families of groups like right-angled Artin groups and pure symmetric automorphisms of free groups. We also exhibit some applications including the generalization of the previous fact to pure symmetric automorphisms of right-angled Artin groups.

Figures

Figures reproduced from arXiv: 2606.26033 by the authors.

Figure 1
Figure 1. SIL pair {v, a} with shared components C1 and C2 By [12, Proposition 2.9], if L is a connected component of the support graph ∆v, then the image of the partial conjugation C v L in SPOut(A) is central. This has strong consequences because of Lemma 5.13 as we shall see next. Proposition 6.2. Assume that there is a vertex v ∈ Γ such that its support graph ∆v has at least 2 connected components. Then |Wh0 Γ | is contra… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

35 extracted references · 3 canonical work pages

  1. [1]

    Preprint, arXiv:2506.03377, 2025

    Peio Ardaiz-Gale, Conchita Martinez-Perez, The McCullough-Miller complex for right-angled Artin groups. Preprint, arXiv:2506.03377, 2025

    work page arXiv 2025

  2. [2]

    Robert Bieri and Ross Geoghegan, Sigma invariants of direct products of groups, Groups, Geometry, and Dynamics, 4 (2), 251–261, 2010

    2010

  3. [3]

    Kochloukova, The Sigma invariants of Thompson’s group F, Groups Geom

    Robert Bieri, Ross Geoghegan, Dessislava H. Kochloukova, The Sigma invariants of Thompson’s group F, Groups Geom. Dyn. 4 (2), 263–273, 2010

    2010

  4. [4]

    Robert Bieri, Burkhardt Renz, Valuations on Free Resolutions and Higher Geometric Invariants of Groups, Commentarii Mathematici Helvetici, 63, 464-497, 1988

    1988

  5. [5]

    The pure symmetric automorphisms of a free group form a duality group

    Noel Brady, Jon McCammond, John Meier, and Andy Miller. The pure symmetric automorphisms of a free group form a duality group. J. Algebra, 246(2):881–896, 2001

    2001

  6. [6]

    Bridson, André Häfliger, Metric Spaces of Non-Positive Curvature, Springer Science and Business Media, Berlin, 2011

    Martin R. Bridson, André Häfliger, Metric Spaces of Non-Positive Curvature, Springer Science and Business Media, Berlin, 2011

    2011

  7. [7]

    Kenneth S. Brown. Cohomology of groups. Springer Science & Business Media, 2012

    2012

  8. [8]

    Kenneth S. Brown. Finiteness properties of groups, Journal of Pure and Applied Algebra 44 (1-3), 45-75, 1987

    1987

Show all 35 references
  1. [9]

    The automorphism group of a graph product with no SIL

    Ruth Charney, Kim Ruane, Nathaniel Stambaugh, and Anna Vijayan. The automorphism group of a graph product with no SIL. Illinois Journal of Mathematics, 54(1), 249-262, 2010

    2010

  2. [10]

    Harold S. M. Coxeter, The Complete Enumeration of Finite Groups of the Formr2 i = (r irj)Ki,j= 1, Journal of the London Mathematical Society, 10 (1), 21–25, 1935

    1935

  3. [11]

    Davis, Buildings are CAT(0), Cambridge University Press, 108-123, 1998

    Michael W. Davis, Buildings are CAT(0), Cambridge University Press, 108-123, 1998

    1998

  4. [12]

    Day, Richard D

    Matthew B. Day, Richard D. Wade, Subspace arrangements, BNS invariants and pure symmetric outer automorphisms of right-angled Artin groups, Groups, Geometry and Dynamics, 18, 173-206, 2015. 22

    2015

  5. [13]

    Mikhail Ershov, Matthew C. B. Zaremsky, Dense and empty BNSR-invariants of the McCool groups. Preprint, arXiv:2505.18826

  6. [14]

    Marcos Escartín-Ferrer, Cconchita Martínez-Perez, On theΣ-invariants of Artin groups satisfying theK(π,1)-conjecture, Journal of the London mathematical society, 109 (1), 2024

    2024

  7. [15]

    Marcos Escartín-Ferrer, On theℓ2-Betti numbers and algebraic fibring of the (outer) automorphism group of a right-angled Artin group, to appear in Groups Geometry and Dynamics

  8. [16]

    Improved algebraic fibrings

    Sam Fisher. Improved algebraic fibrings. Compositio Mathematica 160, no. 9, 2203-2227, 2024

    2024

  9. [17]

    Gilbert, Presentations of the automorphism group of a free product, Proceedings of the London Mathematical Society, 3 (1), 115-140, 1987

    Nick D. Gilbert, Presentations of the automorphism group of a free product, Proceedings of the London Mathematical Society, 3 (1), 115-140, 1987

    1987

  10. [18]

    Eddy Godelle, Luis Paris,K(π,1)-and Word Problems for Infinite Type Artin-Tits Groups, and Applications to Virtual Braid Groups, Mathematische Zeitschrift, 272 (3), 1339-1364, 2012

    2012

  11. [19]

    Elisabeth Green, Graph products of groups, PhD Thesis, University of Leeds, 1990

    1990

  12. [20]

    Griffin, Diagonal complexes and the integral homology of the automorphism group of a free product, Proceedings of the London Mathematical Society, 106 (5), 1087–1120, 2013

    James T. Griffin, Diagonal complexes and the integral homology of the automorphism group of a free product, Proceedings of the London Mathematical Society, 106 (5), 1087–1120, 2013

    2013

  13. [21]

    On the automorphisms of a graph product of abelian groups." Groups, Geometry, and Dynamics 6 (1), 125-153, 2012

    Mauricio Gutierrez, Adam Piggott, and Kim Ruane. On the automorphisms of a graph product of abelian groups." Groups, Geometry, and Dynamics 6 (1), 125-153, 2012

    2012

  14. [22]

    Philip Hall, Finiteness Conditions for Soluble Groups, Proceedings of the London Mathematical Society, 3-4 (1), 419-436, 1954

    1954

  15. [23]

    Journal of the American Mathematical Society 33 (2), 451-486, 2020

    Dawid Kielak, Residually finite rationally solvable groups and virtual fibring. Journal of the American Mathematical Society 33 (2), 451-486, 2020

    2020

  16. [24]

    Illinois J

    Nic Koban, Adam Piggott, The Bieri-Neumann-Strebel invariant of the pure symmetric automorphisms of a right-angled Artin group. Illinois J. Math. 58, 2014

    2014

  17. [25]

    Laurence, A generating set for the automorphism group of a graph group, J

    Michael R. Laurence, A generating set for the automorphism group of a graph group, J. London Math. Soc. 52 (2), 318-334, 1995

    1995

  18. [26]

    John Meier, Holger Meinert, Leonard VanWyk, Higher Generation Subgroup Sets and theΣ-Invariants of Graph Groups, Commentarii Mathematici Helvetici, 73 (1), 22-44, 1998

    1998

  19. [27]

    John Meier, Holger Meinert, Leonard VanWyk, On theΣ-Invariants of Artin Groups, Topology and its Applications, 110, 71-81, 2001

    2001

  20. [28]

    582, 1996

    Darryl McCullough, Andy Miller, Symmetric Automorphisms of Free Products, Memoirs of the AMS. 582, 1996

    1996

  21. [29]

    Luis Paris,K(π,1)Conjecture for Artin Groups, Annales de la Faculté des Sciences de Toulouse: Mathématiques, 23 (2), 2014

    2014

  22. [30]

    in Math, 28, 101-128, 1978

    Daniel Quillen, Homotopy properties of the poset of nontrivialp-subgroups of a group, Adv. in Math, 28, 101-128, 1978

    1978

  23. [31]

    Burkhardt Renz, Geometrische Invarianten und Endlichkeitseigenschaften von Gruppen, PhD thesis, Frankfurt, 1988

    1988

  24. [32]

    Algebra 126, 34–60, 1989

    Herman Servatius, Automorphisms of graph groups, J. Algebra 126, 34–60, 1989

    1989

  25. [33]

    Ralph Strebel, Notes on the Sigma Invariants, Preprint, arXiv:1204.0214, 2012

    2012 arXiv

  26. [34]

    thesis, Nijmegen, 1983

    Harm Van der Lek, The Homotopy Type of Complex Hyperplane Complements, Ph.D. thesis, Nijmegen, 1983

    1983

  27. [35]

    Bulletin of the London Mathematical Society: Volume 56, Issue 3, 945-958, 2024

    Maanuel Wiedmer, Right-angled artin groups as finite-index subgroups of their outer automorphism groups. Bulletin of the London Mathematical Society: Volume 56, Issue 3, 945-958, 2024. 23

    2024

Pith tools

Reviewed June 25, 2026 · model on record in the stance chip above.