Hypergraph matching complexes and Quillen complexes of symmetric groups.

DOI10.1016/J.JCTA.2004.03.002MaRDI QIDQ1826947zbMATH OpenOpenAlexFDO

Authors John Shareshian

Publication date 6 August 2004

Published in Journal of Combinatorial Theory. Series A (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jcta.2004.03.002

zbMATH Keywords

hypergraph matching complexesposets of partitionsQuillen complexessimplicial complexessymmetric groups

Mathematics Subject Classification ID

Topological lattices (06B30) Symmetric groups (20B30) Series and lattices of subgroups (20D30) Homological methods in group theory (20J05) Homology and cohomology theories in algebraic topology (55N99) Classification of homotopy type (55P15)

Review text

Consider the symmetric group \(S_n\). Given a prime \(p\), the Quillen complex of \(S_n\) at \(p\) is a simplicial complex formed by taking the order complex of the poset of non-trivial elementary Abelian \(p\)-subgroups of \(S_n\). The goal of this paper is to study the homotopy and homology of such Quillen complexes building on work done by \textit{R. Ksontini} [Propriétés homotopiques du complexe de Quillen du group symétrique, Thèse de doctorat, Université de Lausanne (2000)]. The basic strategy is to relate the topology of the Quillen complex to that of two other simplicial complexes: the \(p\)-cycle complex and the hypergraph matching complex. The face poset of the \(p\)-cycle complex consists of those elementary Abelian \(p\)-subgroups generated by \(p\)-cycles. And the face poset of the hypergraph matching complex consists of the poset of partitions of \([n]\) into subsets of size \(1\) and \(p\). Ksontini showed that when \(n<p^2\), the Quillen complex is homotopy equivalent to the \(p\)-cycle complex. For \(p^2\leq n<p^2+p\), one must add a wedge of one-spheres. In this work, the author extends these results. The first case considered is when \(n=3p\) for \(p>3\). It is shown that the Quillen complex is again homotopy equivalent to the \(p\)-cycle complex, and the homotopy type is precisely identified as a wedge of two-spheres and one-spheres. Next, the author considers the case when \(p^2 +p\leq n<2p^2\) for \(p\geq 3\). Here the results are less precise. The Quillen complex is homotopy equivalent to the \(p\)-cycle complex wedged with the join of the \(p\)-cycle complex for \(S_{n-p^2}\) (rather than \(S_n\)) with a wedge of one-spheres. When \(n-p^2\) is sufficiently small, this additional factor can be more precisely identified. A general consequence of this homotopy equivalence is the fact that the homology of the \(p\)-cycle complex is a summand of the homology of the Quillen complex. In certain cases the homology of the \(p\)-cycle complex can be identified as a sum of homologies of hypergraph matching complexes. Thanks to a computer computation of J.-G. Dumas of homology for hypergraph matching complexes, this leads to the quite interesting existence of a torsion class in the second cohomology of the Quillen complex for \(S_{13}\) at \(p=3\). As noted by the author, this seems to be the first known example of a torsion element and it would be nice to have a formal proof of the existence of this class.

Recommendations

• Top homology of hypergraph matching complexes, p-cycle complexes and Quillen complexes of symmetric groups.
• Torsion in the matching complex and chessboard complex
• The fundamental group of the Quillen complex of the symmetric group
• Simple connectivity of the Quillen complex of the symmetric group.
• On the homotopy type of the Quillen complex of finite soluble groups

Cites work

• Chessboard Complexes and Matching Complexes
• Decompositions and connectivity of matching and chessboard complexes
• Euler characteristics of discrete groups and G-spaces
• Euler characteristics of groups: The \(p\)-fractional part
• Homology of certain sets of 2-subgroups of symmetric groups
• Homotopy properties of the poset of nontrivial p-subgroups of a group
• scientific article; zbMATH DE number 1563402 (Why is no real title available?)
• scientific article; zbMATH DE number 863503 (Why is no real title available?)
• scientific article; zbMATH DE number 894528 (Why is no real title available?)
• Simple connectivity of \(p\)-group complexes
• Simple connectivity of the Quillen complex of the symmetric group.
• Some results about Quillen complex of \(\text{Sp}_{2n}(q)\)
• The homology of ``\(k\)-equal manifolds and related partition lattices
• The Quillen complex of groups of symplectic type: the characteristic 2 case.
• Topology of matching, chessboard, and general bounded degree graph complexes
• Topology of subgroup lattices of symmetric and alternating groups.

Cited in

(13)

• Top homology of hypergraph matching complexes, p-cycle complexes and Quillen complexes of symmetric groups.
• Simple connectivity of the Quillen complex of the symmetric group.
• On the homotopy type of the Quillen complex of finite soluble groups
• The fundamental group of the Quillen complex of the symmetric group
• More torsion in the homology of the matching complex
• The fundamental group of the \(p\)-subgroup complex
• Endotrivial modules for finite groups via homotopy theory
• Conjugate \(p\)-elements of full support that generate the wreath product \(C_p \wr C_p\)
• Elementary Abelian subgroups in \(p\)-groups with a cyclic derived subgroup.
• Spherical p-group complexes arising from finite groups of Lie type
• Finite groups, fusion systems and applications. Abstracts from the workshop held March 16--21, 2025
• Exact sequences for the homology of the matching complex
• The clique operator on matching and chessboard graphs

This page was built for publication: Hypergraph matching complexes and Quillen complexes of symmetric groups.

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