Mirror-family conjecture for nef-cone faces

About 9 years old · traced to

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=⋂i∈IFiS=\bigcap_{i\in I}F_i is a subface, then

YS:=⋂i∈IYi\mathcal Y_S:=\bigcap_{i\in I}\mathcal Y_i

is a family of ⟨αi:i∈I⟩\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.

References

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.