Toric Residue Mirror Conjecture for the first Hirzebruch surface

Let PΣ{\mathbb P}_{\Sigma} be the toric surface associated with the triangulation T{\mathcal T}, and let D1,,D4D_1,\ldots,D_4 be its torus-invariant divisors corresponding to v1,,v4v_1,\ldots,v_4. Fix a homogeneous polynomial P(x1,,x4)Q[x1,,x4]P(x_1,\ldots,x_4)\in\mathbb Q[x_1,\ldots,x_4] of degree two. For β=(b1,,b4)Keff(PΣ)\beta=(b_1,\ldots,b_4)\in K_{\rm eff}({\mathbb P}_{\Sigma}), define

Φβ=([D1]++[D4])b1++b4i:bi<0[Di]bi1,aβ=a1b1a4b4.\Phi_\beta=([D_1]+\cdots+[D_4])^{b_1+\cdots+b_4}\prod_{i:b_i<0}[D_i]^{-b_i-1},\qquad a^\beta=a_1^{b_1}\cdots a_4^{b_4}.

Toric Residue Mirror Conjecture for the first Hirzebruch surface. The series expansion at the vertex vTSec(A)v_{\mathcal T}\in\operatorname{Sec}(A) of the toric residue

RP(a1,,a4)=Resf(t02P(a1tv1,,a4tv1))R_P(a_1,\ldots,a_4)=\operatorname{Res}_f\bigl(t_0^2P(a_1t^{v_1},\ldots,a_4t^{v_1})\bigr)

coincides with the generating function

IP(a1,,a4)=βKeff(PΣ)P([D1],,[D4])Φββaβ.I_P(a_1,\ldots,a_4)=\sum_{\beta\in K_{\rm eff}({\mathbb P}_{\Sigma})}\langle P([D_1],\ldots,[D_4])\Phi_\beta\rangle_\beta a^\beta.

This is presented as a reformulation of the general Toric Residue Mirror Conjecture in the case P=F1{\mathbb P}={\mathbb F}_1; the supplied text gives no resolution status.

Sources & referencesView supporting material

Primary source

Victor V. Batyrev and Evgeny N. Materov, “Toric Residues and Mirror Symmetry”, arXiv:math/0203216 (2002).

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.