The nodal classes conjecture for holomorphic symplectic fourfolds

At least 26 years old · documented by

Let (F,g)(F,g) be a polarized irreducible holomorphic symplectic fourfold deformation equivalent to S[2]S^{[2]}, and let Enod∗E^*_{\mathrm{nod}} be the classes corresponding to the extremal elements of E∗E^* in the closure of the cone NE(F,g)\mathrm{N}_E(F,g). For R∈Enod∗R\in E^*_{\mathrm{nod}}, let λ\lambda be any nef and big divisor class satisfying R.λ=0R.\lambda=0. Nodal classes conjecture. Each nodal class R∈Enod∗R\in E^*_{\mathrm{nod}} represents a rational curve contracted by a birational morphism given by sections of OF(mλ)\mathcal O_F(m\lambda) for m≫0m\gg0. If (R,R)=−12(R,R)=-\frac12 or −2-2, the corresponding (−2)(-2)-class ρ\rho is represented by a family of rational curves parametrized by a K3 surface, which are blown down to rational double points. If (R,R)=−52(R,R)=-\frac52, the corresponding (−10)(-10)-class ρ\rho is represented by a family of lines contained in a P2\mathbb P^2 contracted to a point. The conjecture specifies the geometric behavior of the nodal classes and their associated contractions; its status is not resolved in the supplied source context.

References

Primary source

Brendan Hassett and Yuri Tschinkel, “Moving and ample cones of holomorphic symplectic fourfolds”, arXiv:0710.0390 (2007).

Additional references

2 papers in this index state this conjecture (1999–2007). The statement above is taken from the most recent of them; the others are arXiv:math/9910021.

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.