The pure symmetric automorphisms of a free group form a duality group
For the free group \(\Sigma_n\) on a fixed set of \(n\) generators, the pure symmetric automorphism group \(P\Sigma_n\) is the group of automorphisms taking each generator to a conjugate of itself. Its quotient by the inner automorphisms is denoted \(OP\Sigma_n\). The main results of this paper are that \(OP\Sigma_n\) is a duality group of dimension \(n-2\), and that \(P\Sigma_n\) is a duality group of dimension \(n-1\).NEWLINENEWLINENEWLINEThe starting point of the proof is an action of \(P\Sigma_n\) on a contractible simplicial complex constructed by the fourth-named author and the reviewer. The action has a (strong) fundamental domain which is the geometric realization of a finite poset \(W_n\) of labeled bipartite trees. The main results are reduced to showing that \(W_n\) is Cohen-Macaulay, a certain homological condition on the links of simplices of its realization. Using a technique of A. Björner and M. Wachs, it is shown that a poset closely related to \(W_n\) admits a recursive atom ordering, which implies that it and consequently \(W_n\) are Cohen-Macaulay.NEWLINENEWLINENEWLINEIn a final section, the authors discuss open questions related to \(P\Sigma_n\). In particular, they note that the symmetric automorphism group of \(\Sigma_n\) can be regarded as the group of motions of the trivial \(n\)-component link in the \(3\)-sphere, and ask whether the motion group of any \(n\)-component link is a virtual duality group.
- Finiteness properties for a subgroup of the pure symmetric automorphism group.
- Anisotropica posteriori error estimate for an optimal control problem governed by the heat equation
- Notes on the structure of \(\text{P}\Sigma_n\).
- Cohomological dimension and symmetric automorphisms of a free group
- The symmetries of McCullough-Miller space.
- Cohomological dimension and symmetric automorphisms of a free group
- Groups with homological duality generalizing Poincaré duality
- scientific article; zbMATH DE number 3935317 (Why is no real title available?)
- scientific article; zbMATH DE number 3556332 (Why is no real title available?)
- Improper actions and higher connectivity at infinity
- Normal Forms for Basis-Conjugating Automorphisms of a Free Group
- On Lexicographically Shellable Posets
- Shellable and Cohen-Macaulay Partially Ordered Sets
- Symmetric automorphisms of free products
- The Bieri-Neumann-Strebel invariant for basis-conjugating automorphisms of free groups
- The theory of motion groups
- The topology at infinity of \(\text{Out} (F_n)\)
- Automorphisms of free groups with boundaries.
- Symmetric automorphisms of free groups, BNSR-invariants, and finiteness properties
- Finiteness properties for a subgroup of the pure symmetric automorphism group.
- Representations of pure symmetric automorphism groups of RAAGs
- Action of the symmetric groups on the homology of the hypertree posets
- Euler classes and Bredon cohomology for groups with restricted families of finite subgroups.
- The integral cohomology of the group of loops.
- Steinberg representations and duality properties of arithmetic groups, mapping class groups, and outer automorphism groups of free groups.
- Representation stability for the cohomology of the pure string motion groups.
- The integral tree representation of the symmetric group
- A note on virtual duality and automorphism groups of right-angled Artin groups
This page was built for publication: The pure symmetric automorphisms of a free group form a duality group
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5957540)
