The facet ideals of matching complexes of line graphs

DOI10.1007/S10801-022-01139-WMaRDI QIDQ2082539zbMATH OpenOpenAlexFDO

Authors Guangjun Zhu, Hong Wang, Yijun Cui

Publication date 4 October 2022

Published in Journal of Algebraic Combinatorics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2108.04296

zbMATH Keywords

facet idealirreducible decompositionmatching complexprojective dimensionregularity

Mathematics Subject Classification ID

Dimension theory, depth, related commutative rings (catenary, etc.) (13C15) Syzygies, resolutions, complexes and commutative rings (13D02) Homological dimension and commutative rings (13D05) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55)

Abstract: Let $L_n$ be a line graph with $n$ edges and $F(L_n)$ the facet ideal of its matching complex. In this paper, we provide the irreducible decomposition of $F(L_n)$ and some exact formulas for the projective dimension and the regularity of $F(L_n)$.

Review text

Let \(G\) be a simple graph with the vertex set \(V(G)\) and edge set \(E(G).\) A subset \(M \subseteq E(G)\) is said to be a matching of \(G\) if it contains no adjacent edges. A collection of all matchings of \(G\) forms a simplicial complex, called to be the matching complex of \(G.\) Let \(\Delta\) be a simplicial complex on the vertex set \(V = \{x_i \mid 1 \leq i \leq n\}.\) Let Facets\((\Delta)\) denote a collection of all its facets (maximal faces under inclusion). By identifying the vertex \(x_i\) with the variable \(x_i\) in the polynomial ring \(S = k[x_1, \ldots, x_n]\) over a field \(k\), one can associate \(\Delta\) with a square-free monomial ideals of \(S\), \(F(\Delta) = ( \prod_{i=1}^{s} x_{l_i} \mid \{x_{l_1}, \ldots, x_{l_s} \} \in \mathrm{ Facets }(\Delta)),\) which is called to be the facet ideal of \(\Delta.\) Let \(n\) be a positive integer and let \(L_n\) denote the line graph with \(n\) edges. Let \(\mathcal{F}(L_n)\) denote the facet ideal of the matching complex of \(L_n.\) In the paper under review, the authors provide the irreducible decomposition and some exact formulas for the projective dimension and regularity of \(\mathcal{F}(L_n).\) In particular, they prove: {Theorem 4.2.} When \(n=1,\) \(\mathrm{projdim}(\mathcal{F}(L_1))=0\) and \(\mathrm{reg}(\mathcal{F}(L_1))=1.\) When \(n \geq 2,\) \(\mathrm{projdim}(\mathcal{F}(L_n)) \leq \lceil \frac{n-1}{3} \rceil\) and \(\mathrm{reg}(\mathcal{F}(L_n)) = n - \lceil \frac{n}{3} \rceil.\)

Recommendations

• Projective dimension and regularity of the path ideal of the line graph
• Resolutions of Facet Ideals
• Matching complexes of small grids
• Dominating induced matchings of finite graphs and regularity of edge ideals
• Matchings and squarefree powers of edge ideals

Cites work

• Chessboard Complexes and Matching Complexes
• Complexes of directed trees and independence complexes
• Depth and regularity of powers of sums of ideals
• scientific article; zbMATH DE number 1194481 (Why is no real title available?)
• Independence complexes of claw-free graphs
• Monomial Ideals
• On some invariants of a mixed product of ideals
• On the Betti numbers of chessboard complexes
• Projective dimension and regularity of the path ideal of the line graph
• Shellability of chessboard complexes
• The facet ideal of a simplicial complex
• The topology of the independence complex
• Topology of matching, chessboard, and general bounded degree graph complexes

Cited in

(2)

• Componentwise linearity of ideals arising from graphs
• The facet ideals of chessboard complexes

Describes a project that uses

Uses Software

• CoCoA

This page was built for publication: The facet ideals of matching complexes of line graphs

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