Linear syzygies, flag complexes, and regularity

DOI10.1007/S13348-015-0141-3MaRDI QIDQ314630zbMATH OpenOpenAlexFDO

Authors Alexandru Constantinescu, Thomas Kahle, Matteo Varbaro

Publication date 16 September 2016

Published in Collectanea Mathematica (Search for Journal in Brave)

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

zbMATH Keywords

flag complexflag-no-square complexlinear syzygyregularity

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55) Reflection and Coxeter groups (group-theoretic aspects) (20F55)

Abstract: We show that for every positive integer R there exist monomial ideals generated in degree two, with linear syzygies, and regularity of the quotient equal to R. Such examples can not be found among Gorenstein ideals since the regularity of their quotients is at most four. We also show that for most monomial ideals generated in degree two and with linear syzygies the regularity grows at most doubly logarithmically in the number of variables.

Review text

Let \(S=\mathbb{K}[x_1,\dots,x_n]\) be the polynomial ring in \(n\) variables over a field \(\mathbb{K}\) and suppose that \(I\subset S\) is a monomial ideal. The goal of the paper under review is to bound the regularity of \(S/I\) in terms of the number of variables \(n\) for specified classes of ideals. Assume that \(I\subset S\) is a monomial ideal. For any positive integer \(p\), the \(\mathbb{K}\)-algebra \(S/I\) is said to satisfy the property \(N_p\) if \(\beta_{i,j}(S/I)=0\) for all \(1\leq i<p\) and \(j\neq i+1\). The authors prove that for every positive integer \(r\), there exists a monomial ideal \(I\) generated in degree two such that \(S/I\) satisfies \(N_2\) and \(\mathrm{reg}(S/I)= r\). However, it is shown that the regularity of \(S/I\) is small if it is moreover a Gorenstein ring. More precisely, it is proved that if \(I\) is a monomial ideal such that \(S/I\) is Gorenstein and satisfies \(N_2\) (resp. \(N_3\)), then \(\mathrm{reg}(S/I)\leq 4\) (resp. \(\mathrm{reg}(S/I)\leq 2\)). This in particular implies that for \(d>3\), every triangulation of a \(d\)-sphere contains either a hollow square or a hollow simplex. The same holds for triangulations of \(d\)-manifolds for \(d>4\). If \(\Delta\) is a flag simplicial complex with no induced \(4\)-cycles, then \(\Delta\) is said to be flag-no-square. Also, a codimension \(1\) face of \(\Delta\) is called free, if it is contained in only one facet. The last result of this paper states that if \(\Delta\) is a flag-no-square simplicial complex with no free codimension \(1\) face, then the regularity of its Stanley-Reisner ring is less than \(\log_2(\log_2(n))+3\), where \(n\) is the number of vertices of \(\Delta\).

Recommendations

• Monomial ideals with 3-linear resolutions
• Regularity of symbolic powers of square-free monomial ideals
• Linear syzygies, hyperbolic Coxeter groups and regularity
• Linearity of free resolutions of monomial ideals
• scientific article; zbMATH DE number 1400040

Cites work

• Bounds on the regularity and projective dimension of ideals associated to graphs
• scientific article; zbMATH DE number 3586175 (Why is no real title available?)
• scientific article; zbMATH DE number 2190625 (Why is no real title available?)
• Hyperbolic Coxeter groups of large dimension.
• Linear free resolutions and minimal multiplicity
• On the complexity of computing syzygies
• Subadditivity of syzygies of Koszul algebras
• The complexity of the word problems for commutative semigroups and polynomial ideals
• The geometry and topology of Coxeter groups.
• What can be computed in algebraic geometry?

Cited in

(10)

• Induced matching numbers of finite graphs and edge ideals
• Linearity of free resolutions of monomial ideals
• Linear conditions imposed on flag varieties
• scientific article; zbMATH DE number 4149063 (Why is no real title available?)
• Linear syzygies of Stanley-Reisner ideals
• Subadditivity of syzygies of ideals and related problems
• Linear syzygies, hyperbolic Coxeter groups and regularity
• Linear Syzygies from k-Configurations in ℙⁿ and the Mapping Cone Constructions
• The Charney-Davis conjecture for simple thin polyominoes
• A characterization of graphs whose small powers of their edge ideals have a linear free resolution

This page was built for publication: Linear syzygies, flag complexes, and regularity

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