Toric Residue Mirror Conjecture for the first Hirzebruch surface

About 24 years old · traced to

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+⋯+b4∏i:bi<0[Di]−bi−1,aβ=a1b1⋯a4b4.\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 vT∈Sec⁡(A)v_{\mathcal T}\in\operatorname{Sec}(A) of the toric residue

RP(a1,…,a4)=Res⁡f(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.

References

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.