Folk conjecture on sections of negative-square line bundles on K3^[2]-type varieties

Let XX be a hyperkähler manifold deformation equivalent to K3[2]K3^{[2]}, and let LL be a line bundle on XX such that qX(L)=2q_X(L)=-2.

Folk conjecture. If (c1(L),H2(X;Z))X=Z(c_1(L),H^2(X;\mathbb Z))_X=\mathbb Z, then either LL or L1L^{-1} has a nonzero section. If (c1(L),H2(X;Z))X=2Z(c_1(L),H^2(X;\mathbb Z))_X=2\mathbb Z, then either L2L^2 or L2L^{-2} has a nonzero section.

The source labels this claim “Folk?” and offers no attribution or resolution status. It is connected with the expected role of negative-square classes in describing the ample cone of varieties of K3[2]K3^{[2]}-type.

Sources & referencesView supporting material

Primary source

Kieran G. O'Grady, “Higher-dimensional analogues of K3 surfaces”, arXiv:1005.3131 (2010).

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.