The cone, ampleness, and contraction conjecture for four-dimensional generalized Kummer varieties

About 17 years old · traced to

Let (X,g)(X,g) be a polarized variety deformation equivalent to a four-dimensional generalized Kummer variety. Let (R,R)(R,R) denote the Beauville–Bogomolov form on homology. The generalized Kummer cone and contraction conjecture.

NE1(X)=⟨R∈N1(X,Z):(R,R)≥−3/2, R⋅g>0⟩.\mathrm{NE}_1(X)=\left\langle R\in \mathrm{N}_1(X,\mathbb Z):(R,R)\geq -3/2,\ R\cdot g>0\right\rangle.

A divisor class hh on XX is ample if and only if h⋅R>0h\cdot R>0 for every R∈N1(X,Z)R\in \mathrm{N}_1(X,\mathbb Z) satisfying g⋅R>0g\cdot R>0 and (R,R)≥−3/2(R,R)\geq -3/2. Moreover, every extremal ray RR with (R,R)<0(R,R)<0 has one of these interpretations: if (R,R)=−1/6(R,R)=-1/6, there is a divisor E⊂XE\subset X with [E]=2e[E]=2e, e=6Re=6R, ruled over an abelian surface with fibers of class RR; if (R,R)=−2/3(R,R)=-2/3, there is a divisor F⊂XF\subset X with F=3RF=3R, ruled over an abelian surface with fibers of class RR; and if (R,R)=−3/2(R,R)=-3/2, there is a plane P⊂XP\subset X whose lines have class RR. The conjecture gives a predicted numerical Mori and ample cone together with geometric descriptions of all negative extremal rays in this four-dimensional generalized Kummer case; the supplied source gives no resolution, so it remains open.

References

Primary source

Brendan Hassett and Yuri Tschinkel, “Intersection numbers of extremal rays on holomorphic symplectic varieties”, arXiv:0909.4745 (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.