Search arXivSearch

arXiv · 2504.01889

On SYZ mirrors of Hirzebruch surfaces

Abstract

The Strominger-Yau-Zaslow (SYZ) approach to mirror symmetry constructs a mirror space and a superpotential from the data of a Lagrangian torus fibration on a Kähler manifold with effective first Chern class. For Kähler manifolds whose first Chern class is not nef, the SYZ construction is further complicated by the presence of additional holomorphic discs with non-positive Maslov index. In this paper, we study SYZ mirror symmetry for two of the simplest non-Fano toric examples: the Hirzebruch surfaces F_3 and F_4. Our approach is to regularize moduli spaces of stable holomorphic discs using obstruction sections arising from infinitesimal deformations of the complex structure. For F_3, we determine the SYZ mirror associated to generic regularizing perturbations of the complex structure, and demonstrate that the mirror depends on the choice of perturbation. For F_4, we determine the SYZ mirror for a specific regularizing perturbation, where the mirror superpotential is an explicit infinite Laurent series. Finally, we relate this superpotential to those arising from other perturbations of F_4, as determined in the literature \cite{CPS24, BGL25}, via a scattering diagram.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Honghao Jing. 2026-01-07. On SYZ mirrors of Hirzebruch surfaces. https://arxiv.org/abs/2504.01889

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Surjectivity of real-linear Cauchy--Riemann operators: from the minimal Harder--Narasimhan slope to automatic transversality

This paper relates the minimal Harder--Narasimhan slope to the surjectivity of real-linear Cauchy--Riemann operators. We establish a conformally invariant $L^2$ criterion and an asymptotic slope criterion, which yield higher-rank automatic transversality criteria for pseudoholomorphic curves beyond the classical rank-one framework. Applications to pseudoholomorphic spheres in $S^6$ provide quantitative $L^2$ obstructions to the integrability of almost complex structures.

math.SG

Welschinger invariants and the Conway polynomial

Welschinger showed that counts of connected holomorphic disks with Lagrangian boundary in symplectic 6-manifolds, meeting at least one boundary constraint, can be made invariant by correcting them with counts of disconnected disks weighted by certain "self-linking" numbers. We show his invariant is the lowest order term in an all-genus curve count where curves are weighted by the Conway polynomials of their boundaries. This in turn is a specialization of the skein-valued curve count, but can be defined without the 4-chain and vector field used in that setup.

math.SG

KAM splittings and equidistributed periodic orbits for stable hypersurfaces

We show that any stable hypersurface of a symplectic $4$-manifold, on which the cohomology class of the symplectic form restricts to a multiple of a rational class, can be $C^\infty$-approximated by (possibly unstable) hypersurfaces whose closed characteristics equidistribute. The cohomological condition is necessary due to a famous example of Herman. The proof combines KAM theory with recent quantitative closing lemmas for Reeb flows and area-preserving maps. As a further application, we prove that every geodesible volume-preserving vector field on a closed three-manifold can be $C^\infty$-approximated by volume-preserving vector fields with equidistributed periodic orbits.

math.SG