Cartwright-Sturmfels ideals associated to graphs and linear spaces

From MaRDI portal
(Redirected from Publication:1790652)



Abstract: Inspired by work of Cartwright and Sturmfels, in a previous paper we introduced two classes of multigraded ideals named after them. These ideals are defined in terms of properties of their multigraded generic initial ideals. The goal of this paper is showing that three families of ideals that have recently attracted the attention of researchers are Cartwright-Sturmfels ideals. More specifically, we prove that binomial edge ideals, multigraded homogenizations of linear spaces, and multiview ideals are Cartwright-Sturmfels ideals, hence recovering and extending recent results of Herzog-Hibi-Hreinsdottir-Kahle-Rauh, Ohtani, Ardila-Boocher, Aholt-Sturmfels-Thomas, and Binglin Li. We also propose a conjecture on the rigidity of local cohomology modules of Cartwright-Sturmfels ideals, that was inspired by a theorem of Brion. We provide some evidence for the conjecture by proving it in the monomial case.


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.




Cited in
(33)


Describes a project that uses

Uses Software






This page was built for publication: Cartwright-Sturmfels ideals associated to graphs and linear spaces

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