The higher-dimensional jet ampleness vanishing conjecture for syzygies

About 12 years old · traced to

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,B⊗OX/m1a1⋯msas)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 d≫0.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.

References

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.