Minimum distance conjecture for complete intersection ideals

Let IS:=K[t1,,ts]I\subset S:=K[t_1,\ldots,t_s] be a complete intersection graded ideal of dimension 11, generated by forms f1,,fcf_1,\ldots,f_c with c=s1c=s-1, where di=deg(fi)d_i=\deg(f_i) and 2didi+12\leq d_i\leq d_{i+1} for i1i\geq 1. Suppose that the associated primes of II are generated by linear forms. Minimum distance conjecture. For integers dd, kk, and \ell satisfying

1di=1c(di1)1,1\leq d\leq \sum_{i=1}^{c}(d_i-1)-1, 0kc1,d=i=1k(di1)+,1dk+11,0\leq k\leq c-1,\qquad d=\sum_{i=1}^{k}(d_i-1)+\ell,\qquad 1\leq \ell\leq d_{k+1}-1,

one has

δI(d)(dk+1)dk+2dc.\delta_I(d)\geq (d_{k+1}-\ell)d_{k+2}\cdots d_c.

The conjecture holds when an initial ideal of II with respect to some monomial order is a complete intersection, but remains open in general; it is sharp for vanishing ideals in the range where the minimum distance exceeds 11.

Sources & referencesView supporting material

Primary source

Susan M. Cooper, Alexandra Seceleanu, Stefan O. Tohaneanu, Maria Vaz Pinto and Rafael H. Villarreal, “Generalized minimum distance functions and algebraic invariants of Geramita ideals”, arXiv:1812.06529 (2019).

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.