On the 3-torsion part of the homology of the chessboard complex (Q659606): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 1203.5644 / rank | |||
Normal rank |
Revision as of 16:46, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the 3-torsion part of the homology of the chessboard complex |
scientific article |
Statements
On the 3-torsion part of the homology of the chessboard complex (English)
0 references
24 January 2012
0 references
The chessboard complex \(M_{m,n}\) is the simplicial complex of matchings in the complete bipartite graph \(K_{m,n}\). A \((p-1)\)-simplex corresponds to the placement of \(p\) nontaking rooks on an \(m\times n\) chessboard (each rook occupies an edge \((i,j)\), \(i \in \{1,\ldots,m\}\) and \(j \in \{1,\ldots,n\}\)). There is an important literature on the chessboard complex and, more generally, on matching complexes of graphs which is recalled in the paper under review. In particular, the determination of the integral homology groups remains a difficult question and, in [J. Comb. Theory, Ser. A 115, No. 8, 1504--1526 (2008; Zbl 1206.55010)], the author obtained results concerning the 3-torsion of the integral homology groups of the matching complex \(M_n\) (the simplicial complex of matchings in the complete graph \(K_{n}\)). In the present paper, he uses a similar approach for the study of the integer homology of chessboard complexes. By considering different long exact sequences involving various chessboard complexes, the author extends an earlier result of \textit{J. Shareshian} and \textit{M. L. Wachs} [Adv. Math. 212, No. 2, 525--570 (2007; Zbl 1117.05110)], by showing that \(\widetilde{H}_d(M_{m,m};\mathbb{Z})\) contains 3-torsion whenever \( (2m-4)/3 \leq d \leq m-4\) and \(\widetilde{H}_d(M_{m,n};\mathbb{Z})\) contains 3-torsion whenever \(m+1\leq n \leq 2m-5\) and \( (m+n-4)/3 \leq d \leq m-3\). He also characterizes non trivial homology groups : for \(1\leq m \leq n\), \(\widetilde{H}_d(M_{m,n};\mathbb{Z})\) is nonzero if, and only if, either \((m+n-4)/3 \leq d \leq m-2\), or \(d=m-1\) and \( n\geq m+1\). Another result provides an upper bound on the rank of the 3-torsion part by proving that, for \(m\leq n\leq 2m-5\) and \((m+n-4)/3\leq d\leq (2m+n-7)/4\), \[ \dim \widetilde{H}_d(M_{m,n};\mathbb{Z}_3)\leq f_{3d-m-n+4}(n-m,m-d-1) \] where \(f_k\) is a polynomial of degree \(3k\); this last result remains valid over any coefficient field. Finally, he obtains by a computer-free proof that \(\widetilde{H}_2(M_{5,5};\mathbb{Z})\cong \mathbb{Z}_3\).
0 references
matching complex
0 references
chessboard complex
0 references
simplicial homology
0 references
long exact sequence
0 references