arXiv ScienceSearch

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

New systems of log-canonical coordinates on $SL(2, \mathbb{C})$ character varieties of compact Riemann surfaces

We construct new sets of log-canonical coordinates on the $SL(2, \mathbb{C})$ character variety of compact Riemann surfaces. These are labelled by families of $1\leq m\leq 3g-3$ non-intersecting simple loops on the Riemann surface and are obtained by combining complexified shear-type with length/twist-type coordinates. In the case $m=3g-3$ the loops define a trinion decomposition of the Riemann surface, and our coordinates are closely related to the (complexified) Fenchel-Nielsen ones.

math.SG

Moment Lagrangians, unobstructedness and symplectic groupoids

Moment Lagrangian $L_μ$ is a Lagrangian in $T^*G^- \times Y^- \times Y$ associated to a Hamiltonian $G$-space $Y$ with a moment map $μ$. In this paper, we prove that $L_μ$ is tautologically unobstructed under mild assumptions on $Y$. As a key ingredient in the proof, we constructed a new symplectic groupoid structure on $T^*G^- \times Y^- \times Y$ over $G\times Y$ for which $L_μ$ is simultaneously the unit and the fixed locus of the inversion, which might be of independent interest.

math.SG

Stratifications associated to generic closed two-forms and stratified $L_\infty$ spaces

Jae-Suk Park and the second-named author introduce the deformation problem of coisotropic submanifolds of a symplectic manifold as the study of Mauer-Cartan moduli problem of an $L_\infty$ algebra attached to the foliation de-Rham complex associated to the null foliation of the corresponding presymplectic structure. The main purpose of the present paper is to extend this study of $L_\infty$ structures to the case of generic closed two-forms on arbitrary smooth manifolds as a stratified $L_\infty$ space. We first prove that there exists a residual subset of closed 2-forms, which we denote by $Z^2_{reg}(M) \subset Z^2(M)$, such that any element $ω$ therefrom admits a Whitney stratification each of whose strata is a presymplectic manifold. We then associate an $L_\infty$ space to each stratum (and to its tubular neighborhood) and glue the collection of $L_\infty$ spaces to a global stratified $L_\infty$ space by the coordinate atlas consisting of $L_\infty$ morphisms, which is a collection of $L_\infty$ morphisms, not necessarily of quasi-isomorphisms.

math.SG