Pseudotoric structures and special Lagrangian torus fibrations on certain flag varieties (Q2331517)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Pseudotoric structures and special Lagrangian torus fibrations on certain flag varieties
scientific article

    Statements

    Pseudotoric structures and special Lagrangian torus fibrations on certain flag varieties (English)
    0 references
    0 references
    0 references
    0 references
    29 October 2019
    0 references
    This paper concerns the construction and applications of special Lagrangian fibrations on a particular class of Kähler manifolds known as pseudotoric manifolds. Roughly speaking, a pseudotoric structure on a Kähler manifold \(X\) is a fibration \(\pi\colon X-B \to Y\) defined outside a toric base locus \(B\) such that both \(Y\) and the fibers of \(\pi\) are toric, and the toric structures on \(Y\) and the fibers are somehow compatible (see Definition 2.1.(iii)). If a Kähler manifold \(X\) admits a holomorphic volume form \(\Omega\), a Lagrangian submanifold \(L\subset X\) is called special if, for some \(\theta\), \(Im(e^{i \theta}\Omega|_{L})=0\). Calabi-Yau manifolds are expected to admit a (singular) special Lagrangian liberation. The famous SYZ mirror symmetry conjecture predicts that such a fibration exists, and its dual gives the dual Calabi-Yau manifold. For non-Calabi-Yau manifolds, such a structure is expected to exist outside an anti-canonical divisor. The main results of the paper are the following. (i) A pseudotoric structure (Theorems 2.9 and 2.10) exists in a couple of examples. The examples worked out in the paper are the two-step flag variety \(F\ell_{1,n-1;n}\) and the quadratic hypersurface in \(\mathbb{C}\mathbb{P}^n\). In fact, the former is also given by a quadratic equation in \(\mathbb{C}\mathbb{P}^{n-1}\times \mathbb{C}\mathbb{P}^{n-1}\). So the general form of the equations considered in the paper are \[ x_1x_2+\dots +x_{2n-1}x_{2n}=0 \] And \[ x_0^2+x_1x_2+\dots+x_{2n-1}x_{2n} =0 \] In the first case, torus action is \[ (x_1,x_2,\ldots,x_{2n-1},x_{2n}) \to (\alpha_1x_1,\alpha_1^{-1}x_2,\ldots,\alpha_nx_{2n-1},\alpha_n^{-1}x_{2n}) \] The action in the second case is similarly defined. Then, Proposition 3.1 shows that (ii) Outside an anticanonical toric divisor \(D\) with tori image in \(Y\), every pseudotoric manifold \(\pi \colon X-B\to Y\) (satisfying some extra other conditions) admits an explicit special Lagrangian fibration \(X-D \to \mathbb{R}^n\). Section 3.1 shows, by the way of explicit calculations that, the conditions of Proposition 3.1 are satisfied in the examples considered in (i). At last, Section 4 contains speculations about the mirror symmetry applications of the results. In particular, they explain how their construction can explain the number of terms in the super-potential that appears in Landau-Ginzburg mirror symmetry. The latter is defined by counting pseudoholomorphic disks with boundary on special Lagrangians.
    0 references
    pseudotoric structure
    0 references
    special Lagrangian fibration
    0 references

    Identifiers