The higher-dimensional jet ampleness vanishing conjecture for syzygies

Let XX be a smooth projective variety of dimension nn, let Ld=dA+EL_d=dA+E with AA ample and EE an arbitrary divisor on XX, and let BB be a line bundle on XX. For the Koszul cohomology group Kp,1(X,B;Ld)K_{p,1}(X,B;L_d), the conjecture concerns its vanishing for all sufficiently large dd. Higher-dimensional jet ampleness conjecture. If BB is pp-jet very ample, meaning that for every effective zero-cycle z=a1x1++asxsz=a_1x_1+\cdots+a_sx_s of degree p+1p+1, the natural map

H0(X,B)H0(X,BOX/m1a1msas)H^0(X,B)\longrightarrow H^0\left(X,B\otimes\mathcal{O}_X/\mathfrak{m}_1^{a_1}\cdots\mathfrak{m}_s^{a_s}\right)

is surjective, then

Kp,1(X,B;Ld)=0for all d0.K_{p,1}(X,B;L_d)=0\quad\text{for all }d\gg0.

This would give geometric conditions ensuring asymptotic vanishing of the most interesting Koszul cohomology group in higher dimensions. The assertion is presented as a conceivable extension of the curve case, but the supplied text does not establish it.

Sources & referencesView supporting material

Primary source

Lawrence Ein and Robert Lazarsfeld, “The gonality conjecture on syzygies of algebraic curves of large degree”, arXiv:1407.4445 (2014).

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.