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

About 21 years old · traced to

Let tijt_{ij} be distinct variables over a field KK with 1≤i≤m1\leq i\leq m and 1≤j≤n1\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 aijk∈Ka_{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 ti1j1⋯tikjkt_{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.

References

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.