Square-free initial ideals conjecture for generic row-linear matrices

Let tijt_{ij} be distinct variables over a field KK with 1im1\leq i\leq m and 1jn1\leq j\leq n. Let L=(Lij)L=(L_{ij}) be an m×nm\times n matrix with

Lij=k=1naijktik,L_{ij}=\sum_{k=1}^n a_{ijk}t_{ik},

where aijkKa_{ijk}\in K for all i,j,ki,j,k. Denote by I2(L)I_2(L) the ideal of the 22-minors of LL. Square-free initial ideals conjecture. For every choice of the coefficients aijka_{ijk} and every term order << on K[tij]K[t_{ij}], the initial ideal

in<(I2(L))\operatorname{in}_<(I_2(L))

is square-free in the Zm\mathbb Z^m-graded sense: it is generated by elements of the form ti1j1tikjkt_{i_1j_1}\cdots t_{i_kj_k} with i1<i2<<iki_1<i_2<\cdots<i_k. This would provide the replacement for the Sturmfels–Villarreal theorem needed to extend the Koszulness argument from the monomial case to general collections of linear spaces.

Sources & referencesView supporting material

Primary source

Aldo Conca, “Linear spaces, transversal polymatroids and ASL domains”, arXiv:math/0504111 (2005).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.