Table of Contents
Fetching ...

The SYZ mirror symmetry conjecture for del Pezzo surfaces and rational elliptic surfaces

Tristan C. Collins, Adam Jacob, Yu-Shen Lin

Abstract

We prove a version of the Strominger-Yau-Zaslow mirror symmetry conjecture for non-compact Calabi-Yau surfaces arising from, on the one hand, pairs $(\check{Y},\check{D})$ of a del Pezzo surface $\check{Y}$ and $\check{D}$ a smooth anti-canonical divisor and, on the other hand, pairs $(Y,D)$ of a rational elliptic surface $Y$, and $D$ a singular fiber of Kodaira type $I_k$. Three main results are established concerning the latter pairs $(Y,D)$. First, adapting work of Hein \cite{Hein}, we prove the existence of a complete Calabi-Yau metric on $Y\setminus D$ asymptotic to a (generically non-standard) semi-flat metric in every Kähler class. Secondly, we prove a uniqueness theorem to the effect that, modulo automorphisms, every Kähler class on $Y\setminus D$ admits a unique asymptotically semi-flat Calabi-Yau metric. This result yields a finite dimensional Kähler moduli space of Calabi-Yau metrics on $Y\setminus D$. Further, this result answers, in this setting, questions of Tian-Yau and Yau. Thirdly, building on the authors' previous work, we prove that $Y\setminus D$ equipped with an asymptotically semi-flat Calabi-Yau metric $ω_{CY}$ admits a special Lagrangian fibration whenever the de Rham cohomology class of $ω_{CY}$ is not topologically obstructed. Combining these results we define a mirror map from the moduli space of del Pezzo pairs $(\check{Y}, \check{D})$ to the complexified Kähler moduli of $(Y,D)$ and prove that the special Lagrangian fibration on $(Y,D)$ is $T$-dual to the special Lagrangian fibration on $(\check{Y}, \check{D})$ previously constructed by the authors. We give some applications of these results, including to the study of automorphisms of del Pezzo surfaces fixing an anti-canonical divisor.

The SYZ mirror symmetry conjecture for del Pezzo surfaces and rational elliptic surfaces

Abstract

We prove a version of the Strominger-Yau-Zaslow mirror symmetry conjecture for non-compact Calabi-Yau surfaces arising from, on the one hand, pairs of a del Pezzo surface and a smooth anti-canonical divisor and, on the other hand, pairs of a rational elliptic surface , and a singular fiber of Kodaira type . Three main results are established concerning the latter pairs . First, adapting work of Hein \cite{Hein}, we prove the existence of a complete Calabi-Yau metric on asymptotic to a (generically non-standard) semi-flat metric in every Kähler class. Secondly, we prove a uniqueness theorem to the effect that, modulo automorphisms, every Kähler class on admits a unique asymptotically semi-flat Calabi-Yau metric. This result yields a finite dimensional Kähler moduli space of Calabi-Yau metrics on . Further, this result answers, in this setting, questions of Tian-Yau and Yau. Thirdly, building on the authors' previous work, we prove that equipped with an asymptotically semi-flat Calabi-Yau metric admits a special Lagrangian fibration whenever the de Rham cohomology class of is not topologically obstructed. Combining these results we define a mirror map from the moduli space of del Pezzo pairs to the complexified Kähler moduli of and prove that the special Lagrangian fibration on is -dual to the special Lagrangian fibration on previously constructed by the authors. We give some applications of these results, including to the study of automorphisms of del Pezzo surfaces fixing an anti-canonical divisor.

Paper Structure

This paper contains 21 sections, 41 theorems, 303 equations.

Key Result

Theorem 1.2

Let $\check{Y}$ be a del Pezzo surface or a rational elliptic surface and $\check{D}$ a smooth anti-canonical divisor. Then, for any choice of simple closed loop $\gamma \in H_1(D,\mathbb{Z})$, $\check{X}=\check{Y}\setminus \check{D}$, equipped with the Tian-Yau metric admits a special Lagrangian fi

Theorems & Definitions (99)

  • Conjecture 1.1: Strominger-Yau-Zaslow
  • Theorem 1.2: Theorem 1.2, Collins-Jacob-Lin
  • Remark 1.3
  • Theorem 1.4
  • Remark 1.5
  • Theorem 1.6
  • Corollary 1.7
  • Remark 2.1
  • Lemma 2.2: Lemma 3.28, FM
  • Definition 2.3
  • ...and 89 more