pith. sign in

arxiv: 2604.13749 · v2 · submitted 2026-04-15 · 🧮 math.GR

Cohomology of the pure symmetric automorphisms of right-angled Artin groups

Peio Ardaiz Gal\'e This is my paper

Pith reviewed 2026-05-10 12:24 UTC · model grok-4.3

classification 🧮 math.GR
keywords cohomologyright-angled Artin groupsautomorphism groupsspectral sequencesposetsfree abelian groupsgroup presentations
0
0 comments X

The pith

The cohomology groups of the pure symmetric automorphism groups of right-angled Artin groups are free abelian, with ranks given by poset combinatorics and rings generated in degree one.

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

The paper computes the cohomology of the pure symmetric outer automorphism group of a right-angled Artin group using a spectral sequence from the group's action on an associated complex. It establishes that these cohomology groups are free abelian and gives explicit rank formulas based on the combinatorics of a poset linked to the defining graph. The same computation is carried out for the pure symmetric automorphism group by combining two spectral sequences. The cohomology rings for both groups are generated in degree one. The work also proves that a proposed presentation for one of the cohomology rings holds in dimension two.

Core claim

Using an equivariant spectral sequence arising from the action on a complex associated to the right-angled Artin group, the cohomology H^q of the pure symmetric outer automorphism group is shown to be free abelian with rank computed from the combinatorics of a certain poset. The same is done for the pure symmetric automorphism group by means of the Lyndon-Hochschild-Serre spectral sequence and the Leray-Hirsch theorem. In both cases the cohomology ring is generated in degree 1. A conjecture proposing a presentation of the cohomology of the automorphism group is proved to hold in dimension 2.

What carries the argument

An equivariant spectral sequence from the action of the automorphism group on a complex encoding the graph structure, together with the combinatorics of a poset that tracks stabilizers and orbits.

Load-bearing premise

The action of the automorphism group on the associated complex produces a spectral sequence whose convergence and terms are correctly described by the poset combinatorics of stabilizers and orbits.

What would settle it

A direct calculation of the cohomology ring for the automorphism group of the right-angled Artin group on three generators forming a triangle, checking whether the rank in degree two matches the number predicted by the poset and whether the relations hold as conjectured.

Figures

Figures reproduced from arXiv: 2604.13749 by Peio Ardaiz Gal\'e.

Figure 1
Figure 1. Figure 1: A graph Γ for Example 4.2 Definition 3.2. A vertex τ in Whn is essential if for each based partition τj of τ we have that: 1) If xj = x1, the only petal that can be split to yield a new vertex type is the one containing x2. 2) If xj ̸= x1, the only petal that can be split to yield a new vertex type is the one containing x1. 4. Choosing the basis for ΣPOut(AΓ) From now on we fix an order in the elements in … view at source ↗
Figure 2
Figure 2. Figure 2: The graph Γ consequence, WhΓ will have some similarities with Wh4 (a representation of Wh4 can be found at [PITH_FULL_IMAGE:figures/full_fig_p012_2.png] view at source ↗
read the original abstract

We compute the cohomology groups of the pure symmetric outer automorphism group $\Sigma$POut$(A_\Gamma)$ and the pure symmetric automorphism group $\Sigma$PAut$(A_\Gamma)$ of a right-angled Artin group $A_\Gamma$. Using the equivariant spectral sequence arising from the action of $\Sigma$POut$(A_\Gamma)$ on the generalized McCullough-Miller complex MM$_\Gamma$, we show that $H^q(\Sigma$POut$(A_\Gamma))$ is free abelian and we compute its rank in terms of the combinatorics of certain poset. Applying the Lyndon-Hochschild-Serre spectral sequence and the Leray-Hirsch theorem we do the same for $H^q(\Sigma$PAut$(A_\Gamma))$. In both cases the cohomology ring is generated in degree 1. Finally, we introduce the Generalized Brownstein-Lee Conjecture, proposing a presentation of $H^*(\Sigma$PAut$(A_\Gamma))$, and prove that it holds in dimension $2$.

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

3 major / 2 minor

Summary. The paper computes the cohomology groups of the pure symmetric outer automorphism group ΣPOut(A_Γ) and the pure symmetric automorphism group ΣPAut(A_Γ) of a right-angled Artin group A_Γ. Using the equivariant spectral sequence arising from the action of ΣPOut(A_Γ) on the generalized McCullough-Miller complex MM_Γ, it shows that H^q(ΣPOut(A_Γ)) is free abelian and computes its rank in terms of the combinatorics of a certain poset. Applying the Lyndon-Hochschild-Serre spectral sequence and the Leray-Hirsch theorem, the same is done for H^q(ΣPAut(A_Γ)). In both cases the cohomology ring is generated in degree 1. The paper introduces the Generalized Brownstein-Lee Conjecture proposing a presentation of H^*(ΣPAut(A_Γ)) and proves that it holds in dimension 2.

Significance. If the contractibility of MM_Γ, properness of the action, and correctness of the poset identification hold, the paper delivers explicit combinatorial rank formulas for these cohomology groups and a low-dimensional verification of a new conjecture. This advances the computation of cohomology for automorphism groups of RAAGs using standard spectral sequence tools applied to a generalized complex, providing concrete, falsifiable predictions in terms of graph combinatorics.

major comments (3)
  1. [Section describing the equivariant spectral sequence and MM_Γ action] The equivariant spectral sequence argument (central to all rank formulas and the ring generation claim) requires explicit confirmation that MM_Γ is contractible with the claimed ΣPOut(A_Γ)-action and that the action is cellular/proper so the spectral sequence converges to the group cohomology. The manuscript appears to invoke this without a self-contained verification or convergence check for arbitrary Γ.
  2. [Section on poset combinatorics and orbit-stabilizer data] The explicit rank formulas rest on identifying stabilizers and orbits with the combinatorics of the poset. A detailed argument or proposition establishing that this identification is bijective and exhaustive for every graph Γ is needed; without it the combinatorial expressions are not justified.
  3. [Section proving the conjecture in dimension 2] The proof that the Generalized Brownstein-Lee Conjecture holds in dimension 2 uses the same spectral sequence and poset data; clarify whether this proof is independent of the full convergence or if it inherits the same verification gap.
minor comments (2)
  1. [Abstract] The abstract refers to 'certain poset' without naming it; a one-sentence description of the poset would improve readability.
  2. [Introduction and notation sections] Notation for the groups (ΣPOut vs. ΣPAut) and the complex (MM_Γ) should be introduced once with consistent usage; minor inconsistencies appear in the provided text.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments. We address each major comment below, providing clarifications and committing to revisions where appropriate to strengthen the manuscript.

read point-by-point responses

  1. Referee: [Section describing the equivariant spectral sequence and MM_Γ action] The equivariant spectral sequence argument (central to all rank formulas and the ring generation claim) requires explicit confirmation that MM_Γ is contractible with the claimed ΣPOut(A_Γ)-action and that the action is cellular/proper so the spectral sequence converges to the group cohomology. The manuscript appears to invoke this without a self-contained verification or convergence check for arbitrary Γ.

    Authors: We agree that additional explicit verification would improve clarity. The contractibility of MM_Γ is established via a generalization of the original McCullough-Miller argument, detailed in the cited reference [our prior work on the complex]; the action is cellular by construction (as a simplicial complex with simplices corresponding to marked graphs) and proper because stabilizers are finite (as subgroups of the pure symmetric automorphism group). Convergence of the equivariant spectral sequence follows from the standard theory for proper actions on contractible complexes. In the revision we will insert a dedicated subsection (new Section 3.2) that assembles these facts self-containedly for arbitrary Γ, including an explicit check that the spectral sequence converges to the group cohomology. revision: yes

  2. Referee: [Section on poset combinatorics and orbit-stabilizer data] The explicit rank formulas rest on identifying stabilizers and orbits with the combinatorics of the poset. A detailed argument or proposition establishing that this identification is bijective and exhaustive for every graph Γ is needed; without it the combinatorial expressions are not justified.

    Authors: We will add a new Proposition (in the revised Section 4) that explicitly constructs the bijection between ΣPOut(A_Γ)-orbits on the simplices of MM_Γ and the chains in the poset, together with the corresponding stabilizer identifications. The proof proceeds by induction on the number of vertices of Γ and uses the recursive structure of the poset; it holds for every finite graph Γ. This proposition will directly justify the combinatorial rank formulas. revision: yes

  3. Referee: [Section proving the conjecture in dimension 2] The proof that the Generalized Brownstein-Lee Conjecture holds in dimension 2 uses the same spectral sequence and poset data; clarify whether this proof is independent of the full convergence or if it inherits the same verification gap.

    Authors: The dimension-2 case of the conjecture is proved using only the E_2-page of the spectral sequence in total degrees ≤2. Because MM_Γ is 1-connected in low dimensions and the action is proper, the relevant low-degree terms converge independently of higher-dimensional behavior. We will add a short paragraph in the revised Section 6 explicitly separating the low-degree convergence from the full spectral sequence, thereby showing that the dimension-2 verification stands on its own. revision: partial

Circularity Check

0 steps flagged

No circularity: derivation uses standard spectral sequences on independently constructed complex with combinatorial rank formulas

full rationale

The central computation applies the equivariant spectral sequence to the ΣPOut(A_Γ)-action on the generalized McCullough-Miller complex MM_Γ (whose contractibility and stabilizer data are taken as given from prior constructions), then uses the Lyndon-Hochschild-Serre spectral sequence plus Leray-Hirsch to pass to ΣPAut(A_Γ). The resulting ranks are expressed directly in terms of the combinatorics of the poset of stabilizers/orbits; this is an explicit counting argument, not a fit or renaming. The ring-generation statement and the dimension-2 case of the new conjecture follow from the same spectral-sequence filtrations without any self-definitional loop or load-bearing self-citation that reduces the claim to its own inputs. All steps remain self-contained against external topological and combinatorial benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The computation rests on standard properties of spectral sequences and the homotopy type or contractibility properties of the McCullough-Miller complex, which are drawn from prior literature rather than new axioms introduced here.

axioms (2)
  • domain assumption The equivariant spectral sequence arising from the action on MM_Γ converges to the group cohomology.
    Invoked in the abstract to compute H^q(ΣPOut(A_Γ)).
  • standard math The Lyndon-Hochschild-Serre spectral sequence and Leray-Hirsch theorem apply to the extension relating PAut and POut.
    Used to transfer results from outer to full automorphism group.

pith-pipeline@v0.9.0 · 5480 in / 1484 out tokens · 26983 ms · 2026-05-10T12:24:08.594537+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

19 extracted references · 19 canonical work pages

  1. [1]

    Ardaiz-Gale, C

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

    work page arXiv 2025

  2. [2]

    D. J. Benson,Representations and Cohomology: Volume II. Cambridge University Press, Cambridge, 1991

    work page 1991

  3. [3]

    R. Boyd, C. Bregman,Embedding spaces of split links. Preprint, arXiv:2207.00619, 2022

    work page arXiv 2022

  4. [4]

    K. S. Brown,Cohomology of groups. Graduate Texts in Mathematics 87, Springer, New York, 1994

    work page 1994

  5. [5]

    Brownstein, R

    A. Brownstein, R. Lee,Cohomology of the group of motions of n strings in 3–space. Mapping class groups and moduli spaces of Riemann surfaces (Göttingen, 1991/Seattle, WA, 1991), Contemp. Math. 150, Amer. Math. Soc., Providence, RI (1993) 51–61

    work page 1991

  6. [6]

    M. B. Day,Symplectic structures on right-angled Artin groups: between the mapping class group and the symplectic group. Geom. Topol., 13(2):857 899, 2009

    work page 2009

  7. [7]

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

    work page 2015

  8. [8]

    Cambridge University Press, Cambridge, 2002

    A Hatcher,Algebraic topology. Cambridge University Press, Cambridge, 2002

    work page 2002

  9. [9]

    C. A. Jensen, J. McCammond, J. Meier,The integral cohomology of the group of loops. Geometry & Topology, 10(2), 759-784, 2006

    work page 2006

  10. [10]

    Koban, A

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

    work page 2014

  11. [11]

    Koberda,Geometry and combinatorics via right-angled Artin groups

    T. Koberda,Geometry and combinatorics via right-angled Artin groups. In the tradition of Thurston, vol. 2, K. Ohshika and A. Papadopoulos eds., Springer, Cham, 475-518, 2022

    work page 2022

  12. [12]

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

    work page 1995

  13. [13]

    McCammond and J

    J. McCammond and J. Meier,The hypertree poset and theℓ2-Betti numbers of the motion group of the trivial link. Mathematische Annalen, 328(4), 633-, 2004

    work page 2004

  14. [14]

    Martínez-Pérez, L

    C. Martínez-Pérez, L. Mendonça,Pure symmetric automorphisms, extensions of RAAGS, and Koszulness. arXiv:2512.16039, 2025

    work page arXiv 2025

  15. [15]

    McCullough, A

    D. McCullough, A. Miller,Symmetric Automorphisms of Free Products, Memoirs of the AMS. 582, 1996

    work page 1996

  16. [16]

    Toinet,A finitely presented subgroup of the automorphism group of a right-angled Artin group

    E. Toinet,A finitely presented subgroup of the automorphism group of a right-angled Artin group. J. Group Theory 15, 2012

    work page 2012

  17. [17]

    Wade,Symmetries of Free and Right-Angled Artin Groups

    R. Wade,Symmetries of Free and Right-Angled Artin Groups. PhD thesis, Oxford University, UK, 2012

    work page 2012

  18. [18]

    C. A. Weibel,An introduction to homological algebra. Cambridge studies in advanced mathematics 38, Cambridge University Press, 1994

    work page 1994

  19. [19]

    Wiedmer,Right-angled Artin groups as finite-index subgroups of their outer automorphism groups.Bull

    M. Wiedmer,Right-angled Artin groups as finite-index subgroups of their outer automorphism groups.Bull. London Math. Soc., 56: 945-958, 2024 20

    work page 2024