Linear syzygies, flag complexes, and regularity (Q314630): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s13348-015-0141-3 / rank
Normal rank
 
Property / arXiv ID
 
Property / arXiv ID: 1410.4582 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Subadditivity of syzygies of Koszul algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: What can be computed in algebraic geometry? / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the complexity of computing syzygies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5431018 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bounds on the regularity and projective dimension of ideals associated to graphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear free resolutions and minimal multiplicity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hyperbolic Coxeter groups of large dimension. / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complexity of the word problems for commutative semigroups and polynomial ideals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5462454 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4153339 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S13348-015-0141-3 / rank
 
Normal rank

Latest revision as of 14:05, 9 December 2024

scientific article
Language Label Description Also known as
English
Linear syzygies, flag complexes, and regularity
scientific article

    Statements

    Linear syzygies, flag complexes, and regularity (English)
    0 references
    0 references
    0 references
    16 September 2016
    0 references
    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\).
    0 references
    linear syzygy
    0 references
    flag complex
    0 references
    flag-no-square complex
    0 references
    regularity
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references