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

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.