Abelian fibrations and SYZ mirror conjecture (Q456631)

The main result of this paper is that Fourier-Mukai transform using the relative Poincaré sheaf gives a derived equivalence between an abelian fibration and its dual fibration (Theorem 1.1 or Theorem 2.6).NEWLINENEWLINELet \(X \to B\) be a fibration by abelian varieties with a relative polarization. Notice that singular fibers may occur. The dual fibration is defined by considering the moduli functor of semistable sheaves on the fibers that contains line bundles of degree zero on smooth fibers. The dual fibration, if it exists, is denoted by \(\check{X}\).NEWLINENEWLINEFor an abelian variety \(A\), the Poincaré line bundle is the unique line bundle \(P\) on the product \(A \times \hat{A}\), where \(\hat{A}\) is the dual abelian variety, such that \(P|_{A \times \{ \alpha \}}\) is the line bundle on \(A\) corresponding to \(\alpha\) and \(P|_{\{0\} \times \hat{A}}\) is trivial. Similarly, we have the relative Poincaré sheaf \(\mathcal{E}\) over \(X \times_B \check{X}\). Then the Fourier-Mukai transform is defined as \(\phi_{\mathcal{E}}: D^b(X) \to D^b(\hat{X})\), NEWLINE\[NEWLINE \phi_{\mathcal{E}} (L) = \mathbb{R} \pi_{2*} (\pi_1^* L \otimes \mathcal{E}). NEWLINE\]NEWLINE This paper proves that \(\phi_{\mathcal{E}}\) gives a derived equivalence by employing Galois theory in a clean and neat way. The work is motivated from the SYZ conjecture in mirror symmetry, which is a real version of the above Fourier-Mukai transform for Lagrangian fibration and its dual.