Connectivity of partial basis complexes of freely decomposable groups

DOI10.1112/BLMS.70197MaRDI QIDQ6879306zbMATH OpenFDO

Authors Benjamin Brück, Kevin Iván Piterman

Publication date 2 January 2026

Published in Bulletin of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1112/BLMS.70197

zbMATH Keywords

Cohen-Macaulay complexconnectivityfree factor systemfree productpartial basis complex

Mathematics Subject Classification ID

Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Geometric group theory (20F65) Topological methods in group theory (57M07)

Review text

The paper under review studies simplicial complexes naturally associated with free groups and more generally, with finitely generated freely decomposable groups. The central object is the complex \(\mathcal C_n\) of partial bases of the free group \(F_n\), whose vertices are conjugacy classes of primitive elements and whose simplices correspond to subsets that can be completed to a basis.\N\NThe main result, Theorem~1.1, shows that \(\mathcal C_n\) is Cohen-Macaulay of dimension \(n-1\). In particular, \(\mathcal C_n\) is \((n-2)\)-connected, confirming a conjecture by \textit{M.~Day} and \textit{A.~Putman} [Geom. Dedicata 164, 139--153 (2013; Zbl 1294.20041)]. The proof proceeds via a more general result for free products. For a finitely generated freely decomposable group \(A\) with free factor system \(\mathcal G\), Theorem~1.2 establishes that the poset \(\mathcal{FF}(A,\mathcal G)\) is \(c\)-connected, where \(c=\max\{\mathrm{crk}(\mathcal G)+|\mathcal G|-4,\mathrm{crk}(\mathcal G)-2\}\).\N\NA key intermediate object is the frame complex \(\mathcal{PC}(A,\mathcal G)\), defined as a subposet of \(\mathcal{FF}(A,\mathcal G)\) consisting of free factor systems whose non-peripheral factors are infinite cyclic. Theorem~1.3 establishes that \(\mathcal{PC}(A,\mathcal G)\) is Cohen-Macaulay of dimension \(\mathrm{crk}(\mathcal G)-1\). Theorem~1.1 is then deduced by observing that \(\mathcal{PC}(F_n,\emptyset)\) is an inflation of \(\mathcal C_n\).

Cites work

• An infinite presentation of the Torelli group
• Apartment classes of integral symplectic groups
• Between buildings and free factor complexes: A Cohen–Macaulay complex for Out(RAAGs)
• Buildings
• Cohen-Macaulay complexes, duality groups, and the dualizing module of out F_N
• Corners and arithmetic groups (Appendice: Arrondissement des varietes a coins par A. Douady et L. Herault)
• Homological stability for automorphism groups of free groups
• Homotopy properties of the poset of nontrivial p-subgroups of a group
• Homotopy type of the complex of free factors of a free group
• scientific article; zbMATH DE number 1267618 (Why is no real title available?)
• Integrality in the Steinberg module and the top-dimensional cohomology of \(\mathrm{SL}_n \mathcal{O} _{ K }\)
• Local structure of some Out(F_n)-complexes
• Moduli of graphs and automorphisms of free groups
• On the homology and cohomology of congruence subgroups
• Poset fiber theorems
• Posets arising from decompositions of objects in a monoidal category
• Stability of the homology of the mapping class groups of orientable surfaces
• The complex of partial bases for \(F_n\) and finite generation of the Torelli subgroup of \(\Aut(F_n)\).
• The complex of partial bases of a free group
• The Free Factor Complex and the Dualizing Module for the Automorphism Group of a Free Group
• The outer space of a free product

This page was built for publication: Connectivity of partial basis complexes of freely decomposable groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6879306)