Mirror-family conjecture for nef-cone faces

Let (X,C)(X,C) be a lattice-polarized weak del Pezzo pair of degree dd, let Y\mathcal Y be its mirror family, and let αi\alpha_i be the simple root associated to a face FiF_i of Nef(X)\operatorname{Nef}(X) with [C]Fi[C]\subset F_i. Let Ad(xi)\mathcal A_d(x_i) denote the variables corresponding to the marking-equivalence class of this root.

Mirror-family conjecture. For each such face FiF_i, there exists a codimension-one subfamily Yi\mathcal Y_i of Y\mathcal Y whose members are αi\langle\alpha_i\rangle-polarized rational elliptic surfaces of type dd, given by an equation fi(Ad(xi))=0f_i(\mathcal A_d(x_i))=0. Moreover, if S=iIFiS=\bigcap_{i\in I}F_i is a subface, then

YS:=iIYi\mathcal Y_S:=\bigcap_{i\in I}\mathcal Y_i

is a family of αi:iI\langle\alpha_i:i\in I\rangle-polarized rational elliptic surfaces of type dd.

This formalizes how faces of the nef cone should correspond to lattice-polarized subfamilies in the mirror family. The source presents the construction as conjectural and gives no resolution.

Sources & referencesView supporting material

Primary source

Charles F. Doran and Alan Thompson, “Mirror Symmetry for Lattice Polarized del Pezzo Surfaces”, arXiv:1709.00856 (2018).

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.