Lagrangian fibrations on blowups of toric varieties and mirror symmetry for hypersurfaces (Q301606): Difference between revisions

Let \(H=f^{-1}(0)\) be a smooth nearly tropical hypersurface in a toric variety \(V\) of dimension \(n\), and let \(X\) be the blow up of \(V \times \mathbb{C}\) along the codimension 2 submanifold \(H \times 0\). By a result of \textit{A. Bondal} and \textit{D. Orlov} [in: Proceedings of the international congress of mathematicians, ICM 2002, Beijing, China, August 20--28, 2002. Vol. II: Invited lectures. Beijing: Higher Education Press; Singapore: World Scientific/distributor. 47--56 (2002; Zbl 0996.18007)], the derived category of coherent sheaves on \(X\) admits a semi-orthogonal decomposition into subcategories equivalent to \(D^b\text{Coh}(H)\) and \(D^b\text{Coh}(V \times \mathbb{C})\). The main results of the paper under review concern SYZ mirror symmetry for \(X\) (or for \(H\) by a slight modification of the construction). \(X\) is equipped with an \(S^1\)-invariant Kähler form \(\omega_\epsilon\) for which the fibers of the exceptional divisor have sufficiently small area \(\epsilon > 0\). Let \(Y\) be the toric variety defined by the polytope \(\{(\xi, \eta) \in \mathbb{R}^n\times \mathbb{R} | \eta \geq\phi(\xi)\}\), where \(\phi\) is the tropicalization of \(f\). Let \(w_0 = -T^\epsilon + T^\epsilon v_0 \in \mathcal{O}(Y )\), where \(T\) is the Novikov parameter and \(v_0\) is the toric monomial with weight \((0, \dots, 0, 1)\), and define \(Y^0 = Y \setminus w_0^{-1}(0)\), and \(W_0 = w_0 + w_1 + \cdots + w_r \in \mathcal{O}(Y )\) to be the so called \textit{leading-order superpotential}. Here \(w_1,\dots,w_r\) are toric monomials one for each irreducible toric divisor of \(V\). The first main result of the paper under review proves that if \(c_1(V ) \cdot C > \max(0, H\cdot C)\) for every smooth rational curve \(C\subset V\), then the B-side Landau-Ginzburg model \((Y^0 , W_0)\) is SYZ mirror to \(X\). This means that there exists an open dense subset \(X^0 \subset X\), and a Lagrangian torus fibration \(\pi : X^0 \to B\) such that \(Y\) is a completion of a moduli space of unobstructed torus-like objects of the Fukaya category \(\mathcal{F}(X^0)\) containing those objects which are supported on the fibers of \(\pi\), and moreover, \(W\) restricts to the superpotential induced by the deformation of \(\mathcal{F}(X^0)\) to \(\mathcal{F}(X)\) for these objects. The second main result of the paper under review proves that when \(V\) is affine and \(W^H_ 0 = -v_0 + w_1 + \cdots + w_r \in \mathcal{O}(Y )\), then the B-side Landau-Ginzburg model \((Y, W^H_0)\) is a generalized SYZ mirror of \(H\). This means that it is an SYZ mirror of a (twisted) A-side Landau-Ginzburg model with Morse-Bott superpotential whose critical locus is isomorphic to \(X\). The third main result of the paper under review proves that the open Calabi-Yau manifold \(Y^0\) is SYZ mirror to the open dense conic bundle \(X^0 = \{(x, y, z) \in V^0 \times \mathbb{C}^2 | yz = f(x)\}\) inside \(X\), where \(V^0 \cong(\mathbb{C}^*)^{n} \subset V\). To summarize the results of the paper under review cover the cases of manifolds of general type where the SYZ approach to mirror symmetry seemed to not work due to the lack of a suitable Lagrangian torus fibration. The main idea is to replace the given manifold with another closely related space which does carry an appropriate SYZ fibration.