Kummini–Lakshmibai–Sastry–Seshadri regularity conjecture for Grassmannian Schubert patches

About 7 years old · traced to

Let B⊆GLn(C)B\subseteq GL_n(\mathbb{C}) be the Borel subgroup of upper triangular matrices, and let w∈Snw\in S_n be a Grassmannian permutation with descent at position kk. Let YY be the standard open patch associated with ww, let JwJ_w be the prime ideal generated by the essential minors defining the corresponding patch YwY_w, and suppose that for some r∈[k−1]r\in[k-1] one has

wk−r+i=n−k+ifor all i∈[r]w_{k-r+i}=n-k+i\quad\text{for all }i\in[r]

and w1=1w_1=1. Define w~\widetilde w by (w~1,…,w~k)=(n−wk+1,…,n−w1+1)(\widetilde w_1,\ldots,\widetilde w_k)=(n-w_k+1,\ldots,n-w_1+1), write

(w~1,…,w~k)=(k−r+1,k−r+2,…,k,ar+1,…,an−1,n),(\widetilde w_1,\ldots,\widetilde w_k)=(k-r+1,k-r+2,\ldots,k,a_{r+1},\ldots,a_{n-1},n),

set ar=ka_r=k and ak=na_k=n, and, for r≤i≤k−1r\leq i\leq k-1, define mi=ai+1−aim_i=a_{i+1}-a_i. Kummini–Lakshmibai–Sastry–Seshadri conjecture. The regularity should satisfy

reg⁡(C[Y]/Jw)=∑i=rk−1(mi−1)i.\operatorname{reg}(\mathbb{C}[Y]/J_w)=\sum_{i=r}^{k-1}(m_i-1)i.

The paper states that this conjecture is false and provides a counterexample, replacing it with an alternate explicit combinatorial formula for the regularity.

References

Primary source

Jenna Rajchgot, Yi Ren, Colleen Robichaux, Avery St. Dizier and Anna Weigandt, “Degrees of symmetric Grothendieck polynomials and Castelnuovo-Mumford regularity”, arXiv:1912.04477 (2020).

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.