Cartwright-Sturmfels ideals associated to graphs and linear spaces (Q1790652)

From MaRDI portal
Revision as of 11:34, 29 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Cartwright-Sturmfels ideals associated to graphs and linear spaces
scientific article

    Statements

    Cartwright-Sturmfels ideals associated to graphs and linear spaces (English)
    0 references
    0 references
    0 references
    0 references
    2 October 2018
    0 references
    Inspired by the work of \textit{D. Cartwright} and \textit{B. Sturmfels} [Int. Math. Res. Not. 2010, No. 9, 1741--1771 (2010; Zbl 1213.14010)], in their former work, the authors of the current paper introduced two families of multigraded ideals, namely Cartwright-Sturmfels ideals and Cartwright-Sturmfels* ideals. Let \(K\) be a field and \(d_1, \ldots, d_n\) be positive integers. Consider the polynomial ring \(S=K[x_{ij} : i=1, \ldots, n, 1\leq j\leq d_i]\) with the standard \(\mathbb{Z}^n\)-graded structure induced by \(\text{deg}(x_{ij})=e_i\in \mathbb{Z}^n\). Cartwright-Sturmfels (CS for short) ideals are the \(\mathbb{Z}^n\)-graded ideals of \(S\) whose multigraded generic initial ideal is radical, while Cartwright-Sturmfels* (CS*) ideals are the \(\mathbb{Z}^n\)-graded ideals whose multigraded generic initial ideal has a system of generators which involves at most one variable of degree \(e_i\in \mathbb{Z}^n\) for every \(i=1, \ldots,n\). The goal of the paper under review is to show that three families of ideals that have recently attracted the attention of researchers are Cartwright-Sturmfels ideals. More specifically, it is proven that binomial edge ideals, multigraded homogenizations of linear spaces, and multiview ideals are Cartwright-Sturmfels ideals. Moreover, the authors conjecture that if \(I\) is a CS ideal and \(J\) its \(\mathbb{Z}^n\)-graded generic initial ideal, then \[ \dim_K H_{\mathfrak{m}}^i(S/I)_a=\dim_K H_{\mathfrak{m}}^i(S/J)_a, \] for every \(i\in \mathbb{N}\) and every \(a\in \mathbb{Z}^n\). This in particular implies that extremal (total) Betti numbers of \(I\) and \(J\) are equal. Finally, the authors prove their conjecture for monomial ideals.
    0 references
    Gröbner basis
    0 references
    generic initial ideal
    0 references
    multiview ideals
    0 references
    binomial edge ideals
    0 references

    Identifiers

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