Abstract
We set up a topological framework for degenerations of symplectic manifolds into singular spaces paying a special attention to the behavior of Lagrangian manifolds and their (holomorphic) membranes. We show that degenerations into singular toric varieties provide a source of exotic Lagrangian tori.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
By their very definition, symplectic manifolds are smooth manifolds with a distinguished closed non-degenerate 2-form. Important class of examples is provided by complex projective varieties. If an algebraic subvariety is non-singular then it is a (2n)-dimensional smooth manifold from the point of view of differential topology. The ambient projective space \({{\mathbb {C}}}{{\mathbb {P}}}^{N}\) comes with the Fubini–Study 2-form \(\omega \). As \(\omega \) is closed and non-degenerate, \({{\mathbb {C}}}{{\mathbb {P}}}^N\) is a (2N)-dimensional symplectic manifold, while X is a (2n)-dimensional symplectic manifold inside.
This construction gives an abundant source of examples of symplectic manifolds. But as is, it excludes singular projective varieties that may be also very useful for constructions in classical symplectic geometry. For instance, suppose that we have a Lagrangian submanifold L inside the smooth locus \(X^\circ \) of a singular projective variety X. If X is smoothable to a non-singular variety \(X_t\) (inside the ambient space \({{\mathbb {C}}}{{\mathbb {P}}}^N\)) then \(X^\circ \) symplectically embeds to \(X_t\) and thus L gets embedded as a Lagrangian variety also to \(X_t\). Thus a Lagrangian manifold inside a singular projective varieties yields a Lagrangian in a conventional symplectic manifold after smoothing.
In their treatment of mirror symmetry for minuscule varieties [11], Bondal and Galkin suggested an approach via Lagrangian tori obtained from toric degenerations as above. In 2010 Galkin and Usnich [19] have suggested to use this approach for smoothings of weighted projective planes given by the Markov triples \(a,b,c\in {{\mathbb {Z}}}_{>0}\) with \(a^2+b^2+c^2=3abc\). As it was shown by Hacking and Prokhorov [22], all these planes admit \({{\mathbb {Q}}}\)-Gorenstein smoothings to the standard plane
. As all other weighted projective planes, the planes
contain the unique monotone Lagrangian fiber torus (called the Clifford torus). Under the smoothing of
to \({{\mathbb {C}}}{{\mathbb {P}}}^2\), it yields a monotone torus
. It was conjectured in [19] that this approach gives non-symplectomorphic pairs
for different Markov triples (a, b, c) as the corresponding Maslov index 2 disk counting is different.Footnote 1 In particular, \({{\mathbb {C}}}{{\mathbb {P}}}^2\) admits infinitely many different Lagrangian embeddings of tori. This conjecture was verified in [31], but in a way circumnavigating the direct algebraic smoothings of
. The main theorem of the present paper implies that the tori
are symplectically different directly from the fact that they come as \({{\mathbb {Q}}}\)-Gorenstein smoothings of the Clifford tori in toric surfaces
(given by different toric fans).
The theorem is very robust and general, it describes the shape (Newton polytope) of a Floer potential for monotone Lagrangian tori obtained from any \({{\mathbb {Q}}}\)-Gorenstein degeneration of Fano manifolds (of any dimension) in terms of the combinatorial data of the singular toric variety: Newton polytope of the potential equals to “fan polytope” of the degenerate variety. In the very particular case that singular fiber admits a small resolution the theorem reduces to a theorem of Nishinou–Nohara–Ueda [26, 27] used by [11].
While the small resolution degenerations are quite rare, just finitely many in a given dimension, none in dimension two, the degenerations covered by Theorem 4.1 form a much larger class. For example, a conjecture of Belmans–Galkin–Mukhopadhyay [7] states that the toric varieties associated with quantum Clebsch–Gordan polytope \(\Delta _\gamma \) (given by spherical triangle inequalities and parity conditions) admit a small resolution if and only if the trivalent graph \(\gamma \) is 3-connected, so Nishinou–Nohara–Ueda’s theorem is applicable only in the case of 3-connected graphs and is conditional to the BGM small resolution conjecture. On the other hand, our method is applicable for any \(\gamma \), see [9].
Our result also proves a conjecture of Batyrev [3, 6] in a generalized form: for any \({{\mathbb {Q}}}\)-Gorenstein degeneration of a Fano manifold to a toric Fano variety with terminal singularities, the Laurent polynomial prescribed by Batyrev is mirror dual to the initial manifold.
Heuristics saying that Newton polytope of a Laurent polynomial mirror dual to a Fano manifold equals to the fan polytope of its toric degeneration appear in [1, 13, 17], and our result gives a (Floer-)theoretical foundation for them.
In Sect. 2 we introduce the notion of singular symplectic spaces and its special case of \({{\mathbb {Q}}}\Gamma \)-space, suitable for consideration of the canonical class with \({{\mathbb {Q}}}\)-coefficients. Singular projective varieties provide examples of singular symplectic spaces while \({{\mathbb {Q}}}\)-Gorenstein projective varieties provide examples of \({{\mathbb {Q}}}\Gamma \)-spaces. In the same section we consider the corresponding notions of smoothing and \({{\mathbb {Q}}}\Gamma \)-smoothing. In Sect. 3 we specialize these notions to the toric set-up while in Sect. 4 we study holomorphic membranes of Maslov index 2 in a \({{\mathbb {Q}}}\Gamma \)-smoothing of a normal toric variety \(X_\Delta \) and prove that they determine the convex hull of the primitive vectors in the toric fan of \(X_\Delta \).
In the special case of toric degenerations of \({{\mathbb {C}}}{{\mathbb {P}}}^2\) to treated in [22], this implies that pairs
for different Markov triple (a, b, c) are non-symplectomorphic, as predicted in [19]. Similarly, our result can be applied to Manon’s toric degenerations [9, 25] of a certain \((6g-6)\)-dimensional manifold \({\mathscr {N}}_g\). These degenerations are associated to 3-valent graphs of genus g. Theorem 4.1 and the combinatorial non-abelian Torelli theorem [8] imply that the monotone Lagrangian tori associated to different graphs are pairwise not Hamiltonian isotopic.
2 Degenerations to singular symplectic spaces
2.1 Symplectic singular spaces
Kähler varieties are complex analytic manifolds with a compatible symplectic structure. Any smooth complex projective variety X or, more generally, complex submanifold of a Kähler variety Y is a Kähler manifold itself. Singular projective varieties are more delicate objects. At the same time they are very useful as they might come (somewhat paradoxically) as degenerations of rigid (undeformable) Kähler manifolds such as \({{\mathbb {C}}}{{\mathbb {P}}}^2\).
For the purposes of this paper it is convenient to keep the topological set-up as much as possible and the algebraic set-up as little as possible. With this in mind, we substitute singular projective varieties with the following rather general class of spaces generalizing complex algebraic varieties: singular symplectic spaces in \({{\mathbb {C}}}{{\mathbb {P}}}^N\). Furthermore, we may replace \({{\mathbb {C}}}{{\mathbb {P}}}^N\) by another Kähler variety of sufficiently large dimension as follows.
Let Y be a (smooth, but possibly non-compact) Kähler manifold of dimension N with the symplectic form \(\omega \). Let \(\Sigma \subset X\subset Y\) be closed subspaces such that
is a smooth connected complex submanifold of Y of dimension n. The form \(\omega \) is a symplectic form on \(X^\circ \). Its top exterior power \(\omega ^{n}\) is a volume form on \(X^\circ \) and is defined everywhere on Y. Its cohomology class \([\omega ^n]\) can be evaluated on any 2n-cycle in Y.
Definition 2.1
We say that \((X,\Sigma )\) is a singular symplectic space of (complex) dimension n in the ambient Kähler manifold Y if \(\Sigma \) and X are closed subspaces of Y with \(\Sigma \subset X\) such that the following conditions hold:
-
1.
The complement
is a smooth connected n-dimensional complex submanifold of Y.
-
2.
For any \(x\in X^\circ \) the inclusion homomorphism
is an isomorphism.
In particular, the fundamental class \([X]\in H_{2n}(Y;{{\mathbb {R}}})\) is well-defined as the image of the fundamental class of
under the composition of \(\phi ^{-1}\) and the homomorphism induced by the inclusion \(X\subset Y\).
-
3.
We have
$$\begin{aligned} \int \limits _{X^\circ }\omega ^n=[\omega ^n][X], \end{aligned}$$where the right-hand side is defined by pairing of \([X]\in H_{2n}(Y;{{\mathbb {R}}})\) and \([\omega ^n]\in H^{2n}(Y;{{\mathbb {R}}})\). In particular, \(X^\circ \) has a finite volume with respect to \(\omega \).
We denote the restriction of the symplectic form from Y to \(X^\circ \) also with \(\omega \). It turns \(X^\circ \) into a Kähler manifold.
Remark 2.2
Below by default we use Čech cohomology \(H^k\) for our topological spaces in consideration. The corresponding homology groups (over fields \({{\mathbb {Q}}}\) and \({{\mathbb {R}}}\)) are obtained as dual vector spaces of the corresponding cohomology groups. Note, however, that in most applications our main examples are CW-complexes, so in this case we may also equivalently choose singular or cellular cohomology as the principal homology theory.
Definition 2.3
A singular symplectic space \((X,\Sigma )\) is called a \({{\mathbb {Q}}}\Gamma \)-space if the following conditions hold.
-
1.
The inclusion homomorphism
$$\begin{aligned} \iota :H^2(X;{{\mathbb {R}}})\rightarrow H^2(X^\circ ;{{\mathbb {R}}}) \end{aligned}$$(1)is injective.
-
2.
The canonical class \(K\in H^2(X^\circ ;{{\mathbb {R}}})\) is in the image of (1).
Recall that \({\bar{a}}\in H^2(X;{{\mathbb {R}}})\) is called a cohomological extension of \(a\in H^2(X^\circ ;{{\mathbb {R}}})\) if a is the image of \({\bar{a}}\) under (1). The following proposition is simply a translation of Definition 2.3 in the language of cohomological extension.
Proposition 2.4
Suppose that \((X,\Sigma )\) is a \({{\mathbb {Q}}}\Gamma \)-space in Y.
-
1.
A cohomological extension of any class in \(H^2(X^\circ ;{{\mathbb {R}}})\) is unique.
-
2.
A cohomological extension of the canonical class \(K\in H^2(X^\circ ;{{\mathbb {R}}})\) exists.
For brevity, we denote the unique extension of the canonical class of a \({{\mathbb {Q}}}\Gamma \)-space X also by \(K\in H^2(X;{{\mathbb {R}}})\).
Remark 2.5
The second condition in Definition 2.3 mimics (in the context of symplectic singular spaces) the key property of \({{\mathbb {Q}}}\)-Gorenstein algebraic varieties.
The dense smooth part \(X^\circ \) is naturally a symplectic (2n)-manifold with the symplectic structure \(\omega \) induced by the symplectic form on Y. The cohomological extension in \(H^2(X;{{\mathbb {R}}})\) of \([\omega ]\in H^2(Y;{{\mathbb {R}}})\) is given by the cohomology class of the symplectic form in Y. Where confusion is not possible we denote it still with \([\omega ]\in H^2(X;{{\mathbb {R}}})\).
Definition 2.6
We say that a \({{\mathbb {Q}}}\Gamma \)-space \(X\subset Y\) is monotone if the classes K and \([\omega ]\) are proportional, i.e. \(K=\alpha [\omega ]\in H^2(X;{{\mathbb {R}}})\) for some constant \(\alpha \in {{\mathbb {R}}}\).
2.2 Lagrangian submanifolds of \({{\mathbb {Q}}}\Gamma \)-spaces
Recall that for an orientable Lagrangian (or just only totally real) submanifold L of a symplectic manifold \(X^\circ \) we have a canonical trivialization along L of the top exterior power \(\Lambda ^n(T^*X^\circ )\) of the cotangent bundle \(T^*X^\circ \) (computed with respect to any symplectically compatible almost complex structure) given by a real volume form on L. Even if L is non-orientable, we get a trivialization of \(\Lambda ^n(T^*X^\circ )\) over any orientation preserving loop on L.
For a smooth compact surface \(B\subset X^\circ \) with boundary such that \(\partial B\subset L\) is a collection of orientation-preserving loops in L, we define \(K(B)\in {{\mathbb {Z}}}\) as the obstruction to extending this trivialization from \(\partial B\) to B. Since twice \(\partial B\) is always orientation-preserving, for a general smooth closed surface \(B\subset X^\circ \) with \(\partial B\subset L\) we may consistently define \(K(B)\in \frac{1}{2}{{\mathbb {Z}}}\) as one half of the obstruction to extending the corresponding trivialization on \(2\partial B\). Clearly, the value K(B) depends only on \([B]\in H_2(X^\circ ,L)\). The homomorphism
defined by \(\mu ([B])=-2K(B)\) is called the Maslov index of [B].
Proposition 2.7
If \((X,\Sigma )\) is a \({{\mathbb {Q}}}\Gamma \)-space and \(L\subset X^\circ \) is a Lagrangian then the homomorphism (2) factors through the inclusion homomorphism
Proof
The difference of two classes in \(H_2(X^\circ ,L;{{\mathbb {Q}}})\) with the same image under (3) comes from an absolute \({{\mathbb {Q}}}\)-cycle in \(X^\circ \) that is homologous in X to a class supported by L. By the second condition in Definition 2.3 the canonical class vanishes on this difference. \(\square \)
Corollary 2.8
If the homomorphism (3) is surjective then there exists a unique homomorphism
extending (2).
This homomorphism is still called the Maslov index.
Since \(X\subset Y\) and Y are Kähler, we may compute the symplectic area of a surface \(B\subset X\) with boundary on a Lagrangian submanifold L. Since L is Lagrangian, the result \(\omega (B)\) only depends on its homology class, thus producing the area homomorphism
Definition 2.9
Let \((X,\Sigma )\) be a \({{\mathbb {Q}}}\Gamma \)-space. A Lagrangian submanifold \(L\subset X^\circ \) is called monotone in X if (3) is an epimorphism and the homomorphisms (5) and (4) are proportional.
Clearly, if \(L\subset X\) is monotone then the \({{\mathbb {Q}}}\Gamma \)-space X is also monotone, and the proportionality coefficients in Definitions 2.6 and 2.9 differ by multiplication by \(-2\).
2.3 Symplectic degenerations
Let \(0\in T\subset {{\mathbb {C}}}\) be the open unit complex disk (which we view as a symplectic surface of finite area), Y be a Kähler manifold (e.g. \({{\mathbb {C}}}{{\mathbb {P}}}^N\)), and \(({\mathscr {X}},\Sigma )\) be a singular symplectic space in . Denote by
the restriction of the projection to \({\mathscr {X}}\), and by \(X_t=p^{-1}(t)\) the fiber over \(t\in T\).
Definition 2.10
Let \(({\mathscr {X}},\Sigma )\) be a singular symplectic space in with
, such that
is compact and \((X,\Sigma )\) is a singular space in
. We say that \(X\subset Y\) is a closed degeneration of
, \(t\ne 0\), if the following conditions hold.
-
1.
The map (6) is proper (in particular, each \(X_t\) is compact).
-
2.
The restriction \(p|_{{\mathscr {X}}^\circ }\) is a submersion.
In this case we say that \(X_t\), , is a symplectic smoothing of \((X,\Sigma )\) and that \(({\mathscr {X}},p)\) is a symplectic deformation of \((X,\Sigma )\).
We have . The fiber \(X=X_0\) is called the central fiber. Fibers \(X_t\), \(t\ne 0\), are called general fibers.
Proposition 2.11
If \(({\mathscr {X}},p)\) is a symplectic deformation then the inclusion of the central fiber \(X\subset {\mathscr {X}}\) induces an isomorphism in all cohomology groups \(H^k({\mathscr {X}};{{\mathbb {R}}})\rightarrow H^k(X;{{\mathbb {R}}})\) (and thus also in all homology groups \(H_k(X;{{\mathbb {R}}})\rightarrow H_k({\mathscr {X}};{{\mathbb {R}}})\)).
Proof
Recall that our basic homology theory is Čech cohomology and that Y is a Kähler manifold. For homology computations, we may use coverings by small open disks in Y and by products of small disks in \(Y{\times }T\). Since X is compact, any such open covering of X is induced by an open covering of \(p^{-1}(U)\) with the same nerve, where \(0\in U\subset T\) is a subdisk of T. But \(p^{-1}(U)\) is a deformational retract of \({\mathscr {X}}\) and thus the corresponding inclusion induces isomorphisms in homology.\(\square \)
Proposition 2.12
A smooth embedded path \(\Gamma \subset T\) connecting 0 and t defines a closed set \(\Sigma _\gamma \subset X_t\) of zero \(\omega ^n\)-volume, and a symplectomorphism
![](http://media.springernature.com/lw140/springer-static/image/art%3A10.1007%2Fs40879-022-00568-y/MediaObjects/40879_2022_568_Equ32_HTML.png)
Proof
The complement is a smooth \((2n\,{+}\,1)\)-submanifold of
with boundary composed of \(X^\circ \) and \(X_t\). The form \(\omega \) is symplectic on each \(X_s\), \(s\in T\). The annihilator of the restriction of \(\omega \) to the interior of \({\tilde{\Gamma }}\) gives the characteristic foliation \({{\mathscr {F}}}\) defining a connection on
that preserves the symplectic form. The leaf of \({{\mathscr {F}}}\) passing through a point \(x_0\in X^\circ \) is a closed interval whose other end is a point \(x_t\in X_t\). We define \(\Phi _\gamma (x_0)=x_t\) and \(\Sigma _\gamma =X_t\smallsetminus \Phi _\gamma (X^\circ )\). The locus \(\Sigma _\gamma \) is clearly closed. It remains to prove that \(\int _{X_t\smallsetminus \Sigma _\gamma }\omega ^n=\int _{X_t}\omega ^n\). But the latter integral coincides with the evaluation of cohomological class \([\omega ^n]\) (which can be represented in Čech cohomology with the help of De Rham isomorphism) at \([X_t]\). By Proposition 2.11\([X_t]\in H_{2n}({\mathscr {X}};{{\mathbb {R}}})\) is in the image of the inclusion homomorphism from \(H_{2n}(X;{{\mathbb {R}}})\). With the help of a (\({\mathscr {X}}^\circ \)-valued) section of p we see that \([X_t]\) has to be the image of [X]. Conservation of symplectic form by \(\Phi _\gamma \) implies that
![](http://media.springernature.com/lw456/springer-static/image/art%3A10.1007%2Fs40879-022-00568-y/MediaObjects/40879_2022_568_Equ33_HTML.png)
The following statement can be formally obtained from Proposition 2.12 by restricting to a subdisk and translating it by \(-s\), so that the smooth fiber \(X_s\) becomes the new central fiber with \(X^\circ _s=X_s\).
Corollary 2.13
Any two general fibers \(X_t, X_s\), \(s,t\in T\) are symplectomorphic.
Definition 2.14
A symplectic deformation \(({\mathscr {X}},p)\) in is called a \({{\mathbb {Q}}}\Gamma \)-deformation if both \(({\mathscr {X}},\Sigma )\) and \((X,\Sigma )\) are \({{\mathbb {Q}}}\Gamma \)-spaces. Accordingly, we say that \(X_t\) is a \({{\mathbb {Q}}}\Gamma \)-smoothing of \((X,\Sigma )\).
The main algebro-geometric source of \({{\mathbb {Q}}}\Gamma \)-deformations are \({{\mathbb {Q}}}\)-Gorenstein deformations in the sense of [24].
Suppose that \(A\subset X^\circ \) is a subset.
Definition 2.15
We say that \((X_t,A_t)\) is a \({{\mathbb {Q}}}\Gamma \)-smoothing of (X, A) if \(X_t\) is a \({{\mathbb {Q}}}\Gamma \)-smoothing of \((X,\Sigma )\), and there exists a path \(\Gamma \subset T\) as in Proposition 2.12 such that \(A_t=\Phi _\gamma (A)\).
Proposition 2.16
Suppose that \(({\mathscr {X}},p)\) is a symplectic deformation of a \({{\mathbb {Q}}}\Gamma \)-space \((X,\Sigma )\). Suppose that \(H_1(X_t;{{\mathbb {R}}})=0\) for a general fiber \(X_t\), \(t\in T\smallsetminus \{0\}\). Then \(({\mathscr {X}},p)\) is a \({{\mathbb {Q}}}\Gamma \)-deformation if and only if the canonical class \(K_{X_t}\in H^2(X_t;{{\mathbb {Q}}})\) vanishes on the kernel of the inclusion homomorphism
Proof
If the value of \(K_{X_t}\) is not zero on an element of the kernel of (7) then the value of \(K_{{\mathscr {X}}^\circ }\) is also not zero on this element, and thus \(K_{{\mathscr {X}}^\circ }\) is not extendable to \({\mathscr {X}}\).
Consider the converse direction, i.e. suppose that \(K_{X_t}\) vanishes on the kernel of (7). Note that since \({\mathscr {X}}^\circ \supset X^\circ \) and \((X,\Sigma )\) is a \({{\mathbb {Q}}}\Gamma \)-space, the homomorphism
is surjective. The isomorphism here is provided by Proposition 2.11. Thus we are left to prove that \(K_{{\mathscr {X}}^\circ }\) vanishes on the kernel of (8). Let \(S\subset {\mathscr {X}}^\circ \) be a closed smooth surface representing an element \(\alpha \) of this kernel. We may assume that it is transversal to . Since \(p(S)\subset T\) is compact, the intersection number of \(X^\circ \) and S in \({\mathscr {X}}^\circ \) vanishes, and we may assume (after adding some handles to S) that \(S\cap X= \varnothing \).
Consider a radius \(R\subset T\), i.e. a half-open smooth path connecting 0 and the boundary of T. We may assume that S and \(p^{-1}(R)\) are transverse, and thus intersect along a smooth curve in . Since \(H_1(X_t;{{\mathbb {R}}})=0\) we may find a representative of \(\alpha =[S]\) contained in
and thus in \(X_t\). The value of \(K_{X_t}\) and thus of \(K_{{\mathscr {X}}^\circ }\) on this representative vanishes by assumption. \(\square \)
Corollary 2.17
Suppose that \(({\mathscr {X}},p)\) is a symplectic deformation of a \({{\mathbb {Q}}}\Gamma \)-space \((X,\Sigma )\) with general fiber \(X_t\). If \(H_1(X_t;{{\mathbb {R}}})=0\) and \(H_2(X_t;{{\mathbb {R}}})\approx H_2(X;{{\mathbb {R}}})\) then \(({\mathscr {X}},p)\) is a \({{\mathbb {Q}}}\Gamma \)-deformation.
Proposition 2.18
Suppose that \((X_t,L_t)\) is a \({{\mathbb {Q}}}\Gamma \)-smoothing of (X, L) where \(L\subset X^\circ \) is a Lagrangian submanifold monotone in X. Then \(L_t\subset X_t\) is a monotone Lagrangian submanifold.
Proof
Given a membrane \(B_t\subset X_t\), \(\partial B_t\subset L_t\), we get a new membrane \(B\subset {\mathscr {X}}^\circ \), \(\partial B\subset L\), by attaching to \(B_t\) a cylinder \(\Gamma \times \partial B_t\) along the symplectic connection defined by the path \(\Gamma \). By construction we have \(\omega (B)=\omega (B_t)\). The trivializations of the canonical classes of \(X^\circ \) and \(X_t\) over (the orienting double cover of) L and \(L_t\) define the trivialization of the canonical class of \({\mathscr {X}}^\circ \) over (the orienting double cover of) \(L\cup L_t\). Thus we may speak of the values of the relative canonical class and we get
But these values depend only on the classes of \(B_t\) and B in \(H_2({\mathscr {X}},L_t;{{\mathbb {Q}}})\) and \(H_2({\mathscr {X}},L;{{\mathbb {Q}}})\) since \({\mathscr {X}}\) is a \({{\mathbb {Q}}}\Gamma \)-space. Furthermore, since \(B_t\subset X_t\) and \(X_t\) is a regular fiber of p, we have \(\mu _{{\mathscr {X}}^\circ }(B_t)=\mu _{X_t}(B_t)\).
To conclude the proof we note that the membrane B must be homologous in \(H_2({\mathscr {X}},L)\) to a membrane \(B_0\) contained in X, since the embedding \(X\subset {\mathscr {X}}\) is a homotopy equivalence. We get \(\mu _{{\mathscr {X}}^\circ }(B_0)=\mu _{X}(B_0)\) since X is a \({{\mathbb {Q}}}\Gamma \)-space. Thus \(\mu _{X}(B_0)=\mu _{X_t}(B_t)\). Since \(\omega (B_0)=\omega (B)=\omega (B_t)\) we conclude that \(L_t\subset X_t\) is monotone with the same monotonicity coefficient as \(L\subset X\). \(\square \)
Remark 2.19
For monotonicity of \(L_t\) the hypothesis that \(({\mathscr {X}},\Sigma )\) is a \({{\mathbb {Q}}}\Gamma \)-space is crucial. While \(\Phi _\gamma (L)\subset X_t\) is Lagrangian for any symplectic smoothing \(X_t\) of a symplectic singular space \((X,\Sigma )\), it does not have to be monotone even if \((X,\Sigma )\) is a \({{\mathbb {Q}}}\Gamma \)-space and \(L\subset X^\circ \) is a monotone unless we assume that \(X_t\) is a \({{\mathbb {Q}}}\Gamma \)-smoothing, i.e. \(({\mathscr {X}},\Sigma )\) is also a \({{\mathbb {Q}}}\Gamma \)-space.
3 Toric degenerations
In this section we apply the framework described in the previous section to the case when the ambient space \(Y={{\mathbb {C}}}{{\mathbb {P}}}^N\) is projective, \(X=X\subset Y\) is a normal toric variety whose embedding to Y is defined by a convex lattice polyhedron \(\Delta \subset {{\mathbb {R}}}^n\) and \(\Sigma \subset X\) is the singular locus of X. In this case smoothings of X can be produced in the framework of the patchworking construction introduced by Viro [32] (see also its interpretation in [20, 23]). We plan to give a detailed description of applying patchworking in the context of symplectic smoothings in our future paper [18].
3.1 Toric geometry set-up
Here we recall the basic language of toric geometry (cf. e.g. [12] and the references therein). Let \(M\approx {{\mathbb {Z}}}^n\) be an integer lattice of rank n and its dual lattice. Denote by
the corresponding real vector space and by
its dual space. Let
be a convex polyhedron with integer vertices and non-empty interior. Denote by the set of the primitive outwards supporting vectors for the facets of \(\partial \Delta \).
The polyhedron \(\Delta \) determines a toric Kähler manifold \(X=X_\Delta \). There are several constructions useful in different frameworks. As a symplectic manifold, X may be obtained from the quotient of the cotangent bundle \(T^*\Delta =\Delta \times M_{{{\mathbb {R}}}}\) by the lattice \(M\subset M_{{{\mathbb {R}}}}\). Namely, over a face
we take a quotient of the fiber torus \(M_{{{\mathbb {R}}}}/M\) by the subtorus annihilating the vector subspace of \(N_{{{\mathbb {R}}}}\) parallel to \(\Delta '\). The projection to \(\Delta \) yields the moment map
For \(x\in \Delta \) the inverse image \(\mu _\Delta ^{-1}(x)\) is a real torus of dimension equal to the dimension of the face of \(\Delta \) containing x.
As a complex manifold X can be obtained with the help of \({\mathscr {F}}\). Namely, each face gives us a subset \({\mathscr {F}}_{\Delta '}\) consisting of the supporting vectors to the facets whose closure contains \(\Delta '\). The elements of \({\mathscr {F}}_{\Delta '}\) generate a cone in M, with the dual cone
. The spectrum of the semigroup algebra (over \({{\mathbb {C}}}\)) of \(\sigma _{\Delta '}\) is a (possibly singular) complex chart \(U_{\Delta '}\). The complex variety X is obtained by gluing these charts. All the charts contain the complex torus
. If \({\mathscr {F}}_{\Delta '}\) is an integer basis of the subspace
it spans, then the chart \(U_{\Delta '}\) is isomorphic to
![](http://media.springernature.com/lw204/springer-static/image/art%3A10.1007%2Fs40879-022-00568-y/MediaObjects/40879_2022_568_Equ34_HTML.png)
If it is only a rational basis then the chart \(U_{\Delta '}\) is isomorphic to the quotient of \(\widetilde{U}_{\Delta '}\) by a finite group (with the number of elements equal to the discriminant of \({\mathscr {F}}_{\Delta '}\)). Considered together, symplectic and complex constructions yield the following proposition.
Proposition 3.1
The singular locus of \(X_\Delta \) is given by
where the union is taken over faces \(\Delta '\subset \partial \Delta \) such that \({\mathscr {F}}_{\Delta '}\subset M\) is not an integer basis of \(M_{{{\mathbb {R}}}}^{\Delta '}\).
If \(\Delta \) is simple, i.e. each of its vertices is adjacent to n facets, then a neighborhood of each singular point of \(\Sigma \) in X can be presented as the quotient singularity of \({{\mathbb {C}}}^n\) by a finite group.
In particular, \(X_\Delta \) is smooth outside of a complex codimension 2 locus and \(H_{2n}(X;{{\mathbb {Q}}})={{\mathbb {Q}}}\).
There is yet the third toric variety construction exhibiting \(X_\Delta \) as a subvariety of \({{\mathbb {C}}}{{\mathbb {P}}}^m\) with , thus giving its non-singular part a Kähler structure. For this purpose consider a bijection between the \(m+1\) homogeneous coordinates of \({{\mathbb {C}}}{{\mathbb {P}}}^m\) and the lattice points of \(\Delta \). Each lattice point of \(\Delta \) is a multiplicatively linear functional on
. Taken together, they define a map to \(({{\mathbb {C}}}^\times )^{m+1}\) and, after projectivization, to \({{\mathbb {C}}}{{\mathbb {P}}}^m\). The closure
of the image recovers at the same time the symplectic toric variety of the first construction and the complex toric variety from the second construction, see [20]. This implies the following proposition.
Proposition 3.2
For each lattice polytope \(\Delta \subset N_{{{\mathbb {R}}}}\) the pair \((X_\Delta ,\Sigma )\) is a singular symplectic space.
The smooth locus \(X^\circ =X\smallsetminus \Sigma \) is a Kähler manifold. The inverse image
is a complex (reducible) hypersurface. Smooth points of Z are simple poles of the meromorphic volume form
![](http://media.springernature.com/lw145/springer-static/image/art%3A10.1007%2Fs40879-022-00568-y/MediaObjects/40879_2022_568_Equ10_HTML.png)
Thus the homology class (with closed support) of \(Z\cap X^\circ \) is dual to minus the canonical class on \(X^\circ \). Here \(z_j\), \(j=1,\dots ,n\), are basis coordinates in the complex torus .
Each element \(v\in M\) can be viewed by duality as a functional \(v:N_{{{\mathbb {R}}}}\rightarrow {{\mathbb {R}}}\). For a facet \(\delta \subset \Delta \) denote with \(v_\delta \in {\mathscr {F}}\subset M\) its outward primitive integer supporting vector. Then \(v_\delta |_\delta \) is constant. Denote \(h_\delta =v_\delta (\delta )\). The condition that 0 is contained in the interior of \(\Delta \) is equivalent to the condition that \(h_\delta >0\) for all facets \(\delta \subset \Delta \). In this case the fiber
is a Lagrangian torus. Furthermore, the restriction of \(\Omega \) to L is a real volume form (of total volume 1). Thus the Maslov index m(B) of a membrane \(B\subset X\), \(\partial B\subset L\), coincides with twice the intersection number ,
![](http://media.springernature.com/lw137/springer-static/image/art%3A10.1007%2Fs40879-022-00568-y/MediaObjects/40879_2022_568_Equ11_HTML.png)
Lemma 3.3
The Lagrangian submanifold \(L\subset X^\circ \) is monotone if and only if \(h=h_\delta \) does not depend on the choice of the facet \(\delta \subset \Delta \).
Proof
Connect 0 and a point inside \(\delta \) with a simple path \(\gamma \subset \Delta \). Let \(D_\gamma \subset X\) be the disk obtained from after the quotient. Here \(S\subset M_{{{\mathbb {R}}}}/M\) is a simple closed curve parallel to \(v_\delta \). By (11) we have \(m(D_\gamma )=2\). But \(\omega (D_\gamma )=h_\delta \) by the construction of the symplectic form \(\omega \) on the cotangent space \(T^*\Delta =\Delta \times (M_{{{\mathbb {R}}}}/M)\). The lemma follows from the observation that the disks \(D_\gamma \) generate the group \(H_2(X^\circ ,L;{{\mathbb {Q}}})\). \(\square \)
3.2 Toric \({{\mathbb {Q}}}\Gamma \)-spaces and Maslov indices
In general, \((X_\Delta ,\Sigma )\) does not have to be a \({{\mathbb {Q}}}\Gamma \)-space.
Proposition 3.4
A pair \((X_\Delta ,\Sigma )\) is a \({{\mathbb {Q}}}\Gamma \)-space if and only if for each vertex (a face of dimension 0) the set
is contained in an affine hyperplane.
Proof
To compute the group \(H_2(X_\Delta ;{{\mathbb {R}}})\) in terms of \(\Delta \) we consider the vector space \(V_\Delta \) whose basis is in 1–1 correspondence with the facets of \(\Delta \) and the linear map \(\lambda :V_\Delta \rightarrow M_{{{\mathbb {R}}}}\) sending each facet to its outward normal vector. For the dense torus \(U_\Delta \approx ({{\mathbb {C}}}^\times )^n\) in \(X_\Delta \) we have
The long exact sequence of \((X_\Delta ,U_\Delta ;{{\mathbb {R}}})\) implies that \(H_2(X_\Delta ;{{\mathbb {R}}})=\ker \lambda \). Let \(\mathrm{Sk}^{n-2}(\Delta )\) be the union of the faces of \(\Delta \) of dimension up to \(n-2\). Since the inclusion homomorphism
![](http://media.springernature.com/lw283/springer-static/image/art%3A10.1007%2Fs40879-022-00568-y/MediaObjects/40879_2022_568_Equ35_HTML.png)
is surjective, the inclusion homomorphism \(H_2(X^\circ ;{{\mathbb {R}}})\rightarrow H_2(X;{{\mathbb {R}}})\) is surjective as well.
Since \(\Delta '\) is a vertex, its inverse image \(\mu ^{-1}(\Delta ')\) is a point. The chart \(U_{\Delta '}\) is contractible and contains a fiber torus \(L_x=\mu ^{-1}(x)\), \(x\in \mathrm{Int}\Delta \). Connecting x to a facet \(\delta \) adjacent to \(\Delta '\) with a simple path we get a disk \(D_\gamma \) of Maslov index 2 as in the proof of Lemma 3.3. The class
is the basis vector corresponding to \(\delta \). Thus \(K_{X^\circ }\) has equal values on all basis vectors in \(V_\Delta \). But \(D_\gamma \) is contained in \(U_{\Delta '}\). Contractibility of \(U_{\Delta '}\) implies
If \(K_{X^\circ }\) is extendable to \(X^\circ \cup U_{\Delta '}\) then any linear relation on the elements of \({\mathscr {F}}_{\Delta '}\) has to have zero sum of coefficients. Thus the elements of \({\mathscr {F}}_{\Delta '}\) must be contained in a hyperplane of \(M_{{{\mathbb {R}}}}\). Conversely, if they are contained in such a hyperplane, we may find an extension of \(K_{X^\circ }\) to \(X^\circ \cup U_{\Delta '}\), and thus also to X. \(\square \)
The hyperplane containment condition is vacuous in the case when each vertex of \(\Delta \) is adjacent to n facets.
Corollary 3.5
If \(\Delta \) is simple then \((X_\Delta ,\Sigma )\) is a \({{\mathbb {Q}}}\Gamma \)-space.
From now on we suppose that \(0\in \Delta \subset N_{{{\mathbb {R}}}}\) is a simple monotone convex lattice polyhedron, so that \(L=L_0\) is a monotone Lagrangian torus in the \({{\mathbb {Q}}}\Gamma \)-space \((X_\Delta ,\Sigma )\).
Suppose that \(B\subset X_\Delta \) is a membrane, i.e. the image of a smooth surface map in X such that \(\partial B\subset L\). Suppose that \(x\in B\cap Z\) is isolated. By Proposition 3.1, a neighbourhood of x is locally isomorphic to the quotient of \({{\mathbb {C}}}^n\) by a group of order \(l\in {{\mathbb {Z}}}_{>0}\). We define the local intersection number \(\#_x(B\,{\cap }\, Z)\) as \(\frac{1}{l}\) times the local intersection number of the inverse images of B and Z in \({{\mathbb {C}}}^n\). It is a rational number.
Recall that \(U_\Delta =\mu ^{-1}_\Delta (\mathrm{Int}\Delta )\) has the canonical complex structure of . Thus it comes with the natural map
given in coordinates by \(\mathrm{Log}(z_1,\dots ,z_n)=(\log |z_1|,\dots ,\log |z_n|)\).
A non-zero element \(v\in M\) generates a subgroup in , and thus also a holomorphic cylinder \(C_v\subset ({{\mathbb {C}}}^\times )^n\) such that \(\mathrm{Log}(C_v)\subset M_{{{\mathbb {R}}}}\) is the line passing through the origin and parallel to v. We refer to any multiplicative translate \(a C_v\),
as a holomorphic cylinder parallel to v.
By a proper holomorphic curve in X with boundary in L we mean the image \(B=f(S)\subset X\) of a non-constant continuous map \(f :S \rightarrow X\) from a compact Riemann surface S with boundary \(\partial S\) such that \(f|_{S\smallsetminus \partial S}\) is holomorphic and \(f(\partial S)\subset L\). We say that B is irreducible if S is connected. We refer to an irreducible proper holomorphic curve with boundary in L (as well as to its image in X) as a holomorphic membrane for L if its boundary \(\partial B=f(\partial S)\) is non-empty.
Proposition 3.6
Suppose that \(B\subset X_\Delta \) is a holomorphic membrane for \(L_x\), \(x\in \mathrm{Int} \, \Delta \). Then \(B\cap Z\) is a finite set and the Maslov index of B can be computed as
and \(\#_z(B\,{\cap }\, Z)>0\) for any \(z\in B\cap Z\).
Proof
Since Z is disjoint from a neighborhood of \(\partial B\subset L\), the set of isolated points of \(Z\cap B\) must be finite, \(l(\#_z(B\,{\cap }\, Z))\) is the local intersection number of a curve and a hypersurface in \({{\mathbb {C}}}^n\) and thus is a positive integer number. The formula (12) is a corollary of (11) and the surjectivity of the homomorphism \(H_2(X^\circ ,L)\rightarrow H_2(X,L)\). \(\square \)
Lemma 3.7
Suppose that \(B=f(S)\subset X_\Delta \) is a holomorphic membrane for \(L_x=\mu _\Delta ^{-1}(x)\), \(x\in \mathrm{Int}\Delta \), such that \(f^{-1}(Z)\subset S\) consists of a single point.
Then \(\nu _{{{\mathbb {C}}}}|_B\) is constant for any multiplicatively linear map
![](http://media.springernature.com/lw133/springer-static/image/art%3A10.1007%2Fs40879-022-00568-y/MediaObjects/40879_2022_568_Equ36_HTML.png)
defined as the pairing with an element \(\nu \in N\) such that \(\nu ([\partial B])=0\).
Here we view \([\partial B]\) as the element of \(H_1(L_x;{{\mathbb {R}}})=M_{{{\mathbb {R}}}}\) (sitting on the lattice \(M\subset M_{{{\mathbb {R}}}}\)).
Proof
Note that is a product of integer powers of the holomorphic coordinates in the dense torus \(U_\Delta \subset X_\Delta \). Let \(w\in S\smallsetminus \partial S\) be the (only) point of \(f^{-1}(Z)\). Its image \(f(w)\in Z\) is contained in the toric chart \(U_{\Delta '}\) for a face
, and thus the meromorphic function
near w can be expressed in a local coordinate z near w as
\(c\in {{\mathbb {C}}}^\times \), \(k\in {{\mathbb {Z}}}\). If \(k>0\) then a small punctured disk centered at w covers a small disk in \({{\mathbb {C}}}\) centered at 0. If \(k<0\), we get such covering for . In both cases we conclude that the linking number of \(\nu _{{\mathbb {C}}}\circ f(\partial S)\) and 0 in \({{\mathbb {C}}}\) is \(k\ne 0\). We get a contradiction since this number is given by \(\nu [\partial B]=0\). Thus \(k=0\) and the function
can be extended to a continuous function on S holomorphic on \(S\smallsetminus \partial S\) and constant on \(\partial S\) (since \(f(\partial S)\subset L_x\)). By the maximum principle,
is constant. \(\square \)
Corollary 3.8
Suppose that \(B=f(S)\subset X_\Delta \) is a holomorphic membrane for \(L_x=\mu _\Delta ^{-1}(x)\), \(x\in \mathrm{Int}\Delta \), such that \(f^{-1}(Z)\subset S\) consists of a single point.
Then \([\partial B]\ne 0\in H_1(L)=M\), and is contained in a holomorphic cylinder \(aC_{[\partial B]}\), \(a\in ({{\mathbb {C}}}^\times )^n\), parallel to \([\partial B]\in M\).
Proof
By Lemma 3.7, \(\nu _{{{\mathbb {C}}}}\) is constant on the set for any \(\nu \in N\) with \(\nu [\partial B]=0\). Thus if \([\partial B]=0\) then B must consist of a single point which leads us to a contradiction. If \([\partial B]\ne 0\) then the multiplicative projection of
along \([\partial B]\) consists of a single point in \(({{\mathbb {C}}}^\times )^{n-1}\), and therefore,
is contained in \(aC_{[\partial B]}\) for some \(a\in ({{\mathbb {C}}}^\times )^n\). \(\square \)
4 Holomorphic membranes in toric \({{\mathbb {Q}}}\Gamma \)-degenerations
As it was suggested in [16], monotone Lagrangian submanifolds may be symplectically distinguished by the enumeration of holomorphic disks of the smallest possible Maslov index. The disks are holomorphic with respect to an almost complex structure compatible with the symplectic structure. In the case of orientable monotone Lagrangian with the positive proportionality coefficient between the Maslov index and the area, any holomorphic membrane has the Maslov index of at least 2, so no bubbling of disks is possible. By the Riemann–Roch formula, the expected dimension of the space of Maslov index 2 disks is \(n-1\). Thus by the Gromov compactness [21] we have finitely many of such disks passing through a fixed point of the Lagrangian in the case if these disks are regular.
Consider a closed symplectic degeneration \(p:{\mathscr {X}}\rightarrow T\), \(X_t=p^{-1}(t)\), \(t\in T\ni 0\). Let \(L=L_0\subset X_0\) be an orientable Lagrangian submanifold (disjoint from the singular locus \(\Sigma \subset X_0\subset {\mathscr {X}}\)). The image \(L_t=\Phi _\gamma (L_0)\) of \(L_0\) under the symplectomorphism provided by Proposition 2.12 is an orientable Lagrangian in the smooth symplectic manifold \(X_t\). If \({\mathscr {X}}\) is a \({{\mathbb {Q}}}\Gamma \)-degeneration and \(L_0\subset X_0\) is monotone then by Proposition 2.18 the Lagrangian \(L_t\subset X_t\) is also monotone. In other words, \({{\mathbb {Q}}}\Gamma \)-smoothings of (X, L) where L is a monotone Lagrangian submanifold of X produce monotone Lagrangian submanifolds \(L_t\) diffeomorphic to \(L=L_0\) in the smooth symplectic manifold \(X_t\), \(t\ne 0\).
For the rest of the paper we assume that \((X_t,L_t)\) is a \({{\mathbb {Q}}}\Gamma \)-smoothing of \((X_0,L_0)\) where \(L_0\subset X_0\) is a monotone orientable Lagrangian. Thus for any relative homology class \(\beta _t\in H_2(X_t,L_t)\) with \(m(\beta _t)=2\) the number of holomorphic disks \(\#_{{\text {disks}}}(\beta _t)\in {{\mathbb {Z}}}_2\) passing through a point \(a\in L_t\) for a generic compatible almost complex structure is well-defined. It is invariant under symplectomorphisms, and does not depend on the choice of a generic compatible almost complex structure. Here we reduce the number of disks mod 2 to avoid a need to discuss orientation issues.
Since \(L\subset X^\circ \), we have a canonical identification \(H_1(L_t)=H_1(L)\) for any \(t\in T\) by Proposition 2.12. For a class \(\alpha \in H_1(L;{{\mathbb {R}}})\) we define
where the sum is taken over all \(\beta _t\in H_2(X_t,L_t)\) of Maslov index 2 and such that \(\partial \beta _t=\alpha \in H_1(L_t;{{\mathbb {R}}})\). By the Gromov compactness and monotonicity, the sum on the right-hand side is finite since the area of all holomorphic disks in the sum is the same (and thus bounded). By Corollary 2.13, the sum does not depend on the choice of \(t\ne 0\). We define
![](http://media.springernature.com/lw376/springer-static/image/art%3A10.1007%2Fs40879-022-00568-y/MediaObjects/40879_2022_568_Equ14_HTML.png)
This is a convex lattice polygon in the vector space \(H_1(L;{{\mathbb {R}}})\) with the lattice \(H_1(L)/\mathrm{Tor}\, H_1(L)\). Any symplectomorphism of \((X_t,L_t)\) induces a lattice-preserving isomorphism of \(H_1(L;{{\mathbb {R}}})\). As a lattice polygon, \(\Delta ^{{\text {disks}}}(L)\) is a symplectic invariant of \((X_t,L_t)\).
Following [26, 27], we consider the case when \(L=\mu _\Delta ^{-1}(0)\) is a monotone Lagrangian torus in the toric variety \(X_\Delta \) which is a symplectic \({{\mathbb {Q}}}\Gamma \)-space. Note that by Corollary 3.5 the latter holds for any simple lattice polygon \(\Delta \subset {{\mathbb {R}}}^n\). More generally, the \({{\mathbb {Q}}}\Gamma \)-condition coincides with the \({{\mathbb {Q}}}\)-Gorenstein condition on the normal toric variety \(X_\Delta \). Denote
![](http://media.springernature.com/lw194/springer-static/image/art%3A10.1007%2Fs40879-022-00568-y/MediaObjects/40879_2022_568_Equ37_HTML.png)
where \({\mathscr {F}}\in M_{{{\mathbb {R}}}}\) is the set of primitive outward supporting vectors for the facets of \(\Delta \).
Theorem 4.1
For any \({{\mathbb {Q}}}\Gamma \)-smoothing \((X_t,L_t)\) of \((X_\Delta ,L)\) we have
Proof
Suppose that \(\alpha \in H_1(L;{{\mathbb {R}}})\) is a class such that \(\#_{{\text {disks}}}(\alpha )\ne 0\). Consider the smooth embedded path \(\Gamma \subset T\) such that \(L_t=\Phi _\gamma (L)\). Let be a smooth continuation of \(\Gamma \) beyond the endpoint, so that \(\Gamma '\) is diffeomorphic to an open interval. Since each point of \(\Gamma '\) is connected to 0 by a subpath of \(\Gamma '\), the space \(X_s\) and its Lagrangian submanifold is well-defined for all \(s\in \Gamma '\). For each \(s\in \Gamma \smallsetminus \{0\}\) there exists a holomorphic disk membrane in \((X_s,L_s)\) whose boundary represents \(\alpha \). All these disks are contained in the symplectic product
, \(S^2\supset T\), and have the same symplectic area. The boundaries of the disks are contained in \(\bigcup _{s\in \Gamma '}L_s\). This is a non-proper isotropic submanifold of
which is contained in a non-proper Lagrangian submanifold \({\mathscr {L}}\) of
. Furthermore, the boundaries of the disks are contained in a compact subset of \({\mathscr {L}}\). By the Gromov compactness we may extract a subsequence of holomorphic disk membranes converging to a possibly reducible (bubbled) curve \(B\subset X\) of Maslov index 2 whose boundary represents \(\alpha \).
The components of B consist of holomorphic disk membranes \(B_j=f_j(S_j)\) for \((X_\Delta ,L)\) as well as closed rational curves \(A_k\subset X_\Delta \). We define the Maslov numbers of the closed components \(A_k\) by \(m(A_k)=-2K.[A_k]\). The Maslov numbers of \(A_k\) and \(B_j\) are positive rational numbers adding to \(m(B)=2\). Suppose that \(C=f_C(S_C)\) is a component of B with the property that \(C\smallsetminus Z\ne 0\) (recall that Z is union of toric divisors given by (10)). Any point \(z\in f^{-1}_C(Z)\) is isolated. Furthermore, the sum of the Maslov numbers of all components \(A_k\) bubbling at z and twice the local intersection number of \(f_C\) and Z at z is a positive even number. Indeed the half of this number coincides with the obstruction to extending the trivialization of given by (10) from a small positive loop around z to a disk around z. Thus \(C\subset X_\Delta \) must be a disk component with \([\partial C]=\alpha \) and \(f_C^{-1}(Z)\) consists of a single point z.
The image \(\mu _\Delta (z)\) is contained in the relative interior of a face of \(\Delta \). If \(\Delta '\) is any vertex of this face then \(C\subset U_{\Delta '}\). Since the vertex chart \(U_{\Delta '}\) is contractible, we have
The Maslov index of membranes in \((U_{\Delta '},L)\) yields a linear function \(M_{{{\mathbb {R}}}}\rightarrow {{\mathbb {R}}}\) taking value 2 at all elements of \({\mathscr {F}}_{\Delta '}\) (spanning a hyperplane in \(M_{{{\mathbb {R}}}}\) by the \({{\mathbb {Q}}}\Gamma \)-condition). Since \(z\in U_{\Delta '}\), the vector \(\alpha \in M_{{{\mathbb {R}}}}\) belongs to the cone spanned by \({\mathscr {F}}_{\Delta '}\). If \(m(C)=2\) then \(\alpha \) belongs to the convex hull of the set \({\mathscr {F}}_{\Delta '}\). If \(0<m(C)<2\) then \(\alpha \) belongs to the convex hull of the union of \({\mathscr {F}}_{\Delta '}\) and the origin. This implies \(\Delta ^{{\text {disks}}}(L)\subset \Delta ^*\).
For the opposite inclusion it suffices to prove that \(\#_{{\text {disks}}}(\alpha )\ne 0\) if \(\alpha \) is a vertex of \(\Delta ^*\). Consider the holomorphic cylinder passing through \(a\in L\). The complement \(aC_\alpha \smallsetminus L\) consists of two components. Let B be the component whose boundary orientation at L agrees with \(\alpha \). The closure \({\bar{B}}\supset B\) in \(X_\Delta \) is a regular holomorphic disk intersecting Z transversally at a single point w (in the divisor corresponding to \(\alpha \)). We have \(m({\bar{B}})=2\) by (11). Furthermore, for any other (bubbled) holomorphic limit \(C\cup \bigcup \limits _kA_k\) of holomorphic disks in \((X_s,L_s)\) its membrane part C must intersect Z transversally at the same point w by Corollary 3.8. Thus \(m(C)=2\) and \(C={\bar{B}}\), so no bubbling can appear and \(\#_{{\text {disks}}}(\alpha )=1\). \(\square \)
Let be two monotone lattice polytopes and
be their dual polytopes. Let \(X_{\Delta }\), \(X_{\Delta '}\) be the corresponding toric varieties with the singular loci \(\Sigma ,\Sigma '\) and the monotone Lagrangian tori \(L=\mu _\Delta ^{-1}(0)\subset X_\Delta \),
. Suppose that \((X_\Delta ,\Sigma )\) and \((X_{\Delta '},\Sigma ')\) admit \({{\mathbb {Q}}}\Gamma \)-smoothings \(X_t\) and \(X'_t\). Let \(L_t\subset X_t\) and \(L'_t\subset X'_t\) be the monotone Lagrangian tori given by Proposition 2.18.
Corollary 4.2
If the pairs \((X_t,L_t)\) and \((X'_t,L'_t)\) are symplectomorphic then the polytopes coincide up to an automorphism of the lattice M.
Proof
The automorphism of \(M=H_1(L_t)=H_1(L'_t)\) is induced by the restriction to \(L_t\) of the symplectomorphism between \(X_t\) and \(X'_t\). \(\square \)
In other words, if \(X_\Delta \) and \(X_{\Delta '}\) are different toric degenerations of the same symplectic manifold then the tori \(L_t\) and \(L'_t\) are symplectically different.
Corollary 4.3
The number of non-symplectomorphic Lagrangian tori in a complex projective variety is bounded from below by the number of its \({{\mathbb {Q}}}\)-Gorenstein toric degenerations.
Example 4.4
In the case \(n=2\) there is an infinite number of different \({{\mathbb {Q}}}\)-Gorenstein toric degenerations of Del Pezzo surfaces, see [22] for \(\dim H_2(X_\Delta ;{{\mathbb {R}}})=1\) and in [14] for \(\dim H_2(X_\Delta ;{{\mathbb {R}}})>1\). This implies that the number of distinct monotone Lagrangian tori in \({{\mathbb {C}}}{{\mathbb {P}}}^2\) and all other Del Pezzo surfaces is also infinite (cf. [30, 31]).
In particular, the toric degenerations of \({{\mathbb {C}}}{{\mathbb {P}}}^2\) are described by the Markov triples \((a,b,c)\in {{\mathbb {Z}}}^3\), \(a\leqslant b\leqslant c\), satisfying to the Diophantine equation \(a^2+b^2+c^2=3abc\) with the infinite number of solutions. Distinct Markov triples (a, b, c) produce distinct monotone Lagrangian tori coming from the monotone Clifford tori in the weighted projective plane
.
For other Del Pezzo surfaces the toric degenerations with Picard number equal to 1 are described in [22] while those of Picard number greater than 1 are constructed in [14]. All these degenerations produce exotic monotone Lagrangian tori in the corresponding Del Pezzo surfaces. Furthermore, Theorem 4.1 implies that symplectic geometry of the resulting torus detects the Picard number of the degeneration.
Example 4.5
For \(n>2\), we can get examples of exotic Lagrangian tori by taking the product of tori from 4.4 and , where \(L_1\) is the monotone fiber circle in \({{\mathbb {C}}}{{\mathbb {P}}}^1\approx S^2\). Theorem 4.1 implies that if two toric degeneration tori
were non-equivalent in a Del Pezzo surface X then they stay non-equivalent in
after taking the product with \(L_1\).
By the Gromov compactness, the number of classes \(\alpha \in H_1(L)\) with \(\#_{{\text {disks}}}(\alpha )\ne 0\) is finite. The element
of the group ring of \(H_1(L)\) is called the Floer potential.
Remark 4.6
If the central fiber of the degeneration has terminal singularities, then the Floer potential of the Lagrangian torus L is determined by Theorem 4.1, because the only non-trivial lattice points of the polytope are vertices and the respective number of discs for them equals one.
In the non-terminal case, the theorem reduces the determination of Floer potentials to a finite algebraic question.
Remark 4.7
The idea to use toric degenerations to study mirror symmetry for Fano manifolds first appeared in works of Batyrev with Ciocan-Fontanine, Kim and van Straten [4, 5]. In the case of a toric degeneration with terminal Gorenstein singularities of a central fiber, Batyrev conjectured in [3, 6] a mirror duality between the Fano manifold and the Laurent polynomial described in Remark 4.6. Our result shows that Batyrev’s polynomials are Floer potentials of the monotone Lagrangian tori. A specific form of mirror duality as discussed in [1, 3,4,5,6, 13, 15, 17] also follows by applying an open-closed relation, discovered in the context of toric degenerations by Bondal and Galkin [11], and proved for any monotone Lagrangian torus by Tonkonog [29] with the help of the symplectic field theory.
In the presence of non-terminal singularities the central fiber alone is not sufficient to completely determine the Floer potential.
Example 4.8
Let \(X_0 = C S_6 \subset {{\mathbb {P}}}^7\) be the anti-canonical cone over the Del Pezzo surface of degree six \(S_6 \subset {{\mathbb {P}}}^6\). Recall that \(S_6\) is a smooth toric Fano surface associated with a regular hexagon. It is the closure in \({{\mathbb {P}}}^6\) of the embedding of \(({{\mathbb {C}}}^\times )^2\) of the linear system of the Laurent polynomials whose Newton polygon is contained in the hexagon \(\Delta _6\subset {{\mathbb {R}}}^2\) with vertices \(\pm (1,0)\), \(\pm (0,1)\) and \(\pm (1,1)\). Accordingly, \(X_0\subset {{\mathbb {P}}}^7\) is the toric 3-fold given by the pyramid of height 1 over \(\Delta _6\) (treated as the Newton polytope for the linear system on \(({{\mathbb {C}}}^\times )^3\)). Thus the polytope \(\Delta ^*\) for the toric 3-fold \(X_0\) is a pyramid of height 2 over a hexagonal base with a single lattice non-vertex point. In other words, for any \({{\mathbb {Q}}}\Gamma \)-smoothing Y of \(X_0\), Theorem 4.1 determines all but one coefficients of the Floer potential
of the monotone Lagrangian torus \(L_Y\).
As it was noticed by Altmann [2], there are two distinct smoothings of \(X_0\): it can be smoothed to the product , or to the complete flag variety
. Both smoothings are \({{\mathbb {Q}}}\)-Gorenstein, but the coefficient c is different: we have \(c=3\) in the former case, and \(c=2\) in the latter case, see [1]. the ambient spaces are not homotopically equivalent and have different Betti numbers.
Remark 4.9
The so-called Minkowski ansatz [1, 13] assigns the binomial coefficient \(\left( {\begin{array}{c}l\\ k\end{array}}\right) \) to the \(k\hbox {th}\) lattice point on the edge of the integer length l of a lattice polytope. One can extend the argument of the Theorem 4.1 to show that these binomial coefficients are equal to the respective numbers of holomorphic disks. In this case the respective local model becomes the product of \((n-2)\)-dimensional complex torus with the two-dimensional \(A_{l-1}\)-singularity \({{\mathbb {C}}}^2/({{\mathbb {Z}}}_l)\).
Finally, we mention a recent high-dimensional application of Theorem 4.1 in [9]. We refer the reader to loc. cit. for details and a slightly simplified adaptation of our method for this particular case.
Example 4.10
Let \({\mathscr {N}}_g\) be the moduli space of rank two stable bundles with fixed determinant of odd degree over a Riemann surface of genus \(g\geqslant 2\). As a complex variety, it is a Fano manifold of complex dimension \(3g-3\) with \(H^2({\mathscr {N}}_g) = {{\mathbb {Z}}}\Theta \) and \(c_1({\mathscr {N}}_g) = 2 \Theta \). As a symplectic manifold, it is monotone, and its symplectomorphism class depends only on g, see e.g. [28]. For any trivalent connected graph \(\gamma \) with \(b_1(\gamma )=g\), Manon [25] constructed a \({{\mathbb {Q}}}\Gamma \)-degeneration of \({\mathscr {N}}_g\) to the toric Fano variety \({{\mathbb {P}}}_\gamma \) of complex dimension \(3g-3\), given by the spherical triangle inequalities associated to \(\gamma \). The monotone (Clifford) fiber torus of \({{\mathbb {P}}}_\gamma \) thus yields a Lagrangian monotone torus \(L_\gamma \) in \({\mathscr {N}}_g\) defined by the graph \(\gamma \).
The combinatorial non-abelian Torelli theorem [8] asserts that \(\gamma \) is determined by the toric variety \({{\mathbb {P}}}_\gamma \), or equivalently by either its moment polytope \(\Delta _\gamma \) or its dual fan polytope \(\Delta _\gamma ^\vee \). If \(\gamma \) is a loopless graph then \({{\mathbb {P}}}_\gamma \) has terminal singularities, so Theorem 4.1 determines the Floer potential by Remark 4.6. In fact, the Floer potential for \(({\mathscr {N}}_g,L_\gamma )\) equals to graph potentials \(W_\gamma \) introduced in [10], and thus \(({\mathscr {N}}_g,L_\gamma )\) and \(W_\gamma \) are mirror dual. In particular, different 3-valent graphs \(\gamma \) produce different monotone Lagrangian tori in \({\mathscr {N}}_g\).
Another curious aspect of this example is that the total number of holomorphic disks of Maslov index 2 for \(L_\gamma \) is \(8g-8\), and thus depends only on the genus of the graph \(\gamma \). According to [9], it is the smallest possible number for any monotone Lagrangian torus in \({\mathscr {N}}_g\) .
Notes
The paper [19] also contains the answer for this disk counting, conjectured at the time of its writing.
References
Akhtar, M., Coates, T., Galkin, S., Kasprzyk, A.M.: Minkowski polynomials and mutations. SIGMA Symmetry Integrability Geom. Methods Appl. 8, 094 (2012)
Altmann, K.: Minkowski sums and homogeneous deformations of toric varieties. Tohoku Math. J. 47(2), 151–184 (1995)
Batyrev, V.V.: Toric degenerations of Fano varieties and constructing mirror manifolds. In: Collino, A., et al. (eds.) The Fano Conference, pp. 109–122. Università di Torino, Turin (2004)
Batyrev, V.V., Ciocan-Fontanine, I., Kim, B., van Straten, D.: Conifold transitions and mirror symmetry for Calabi–Yau complete intersections in Grassmannians. Nuclear Phys. B 514(3), 640–666 (1998)
Batyrev, V.V., Ciocan-Fontanine, I., Kim, B., van Straten, D.: Mirror symmetry and toric degenerations of partial flag manifolds. Acta Math. 184(1), 1–39 (2000)
Batyrev, V., Kreuzer, M.: Conifold degenerations of Fano 3-folds as hypersurfaces in toric varieties. In: Rebhan, A., et al. (eds.) Strings, Gauge Fields, and the Geometry Behind, pp. 187–212. World Scientific, Hackensack (2013)
Belmans, P., Galkin, S., Mukhopadhyay, S.: Graph potentials and moduli spaces of rank two bundles on a curve (2020). arxiv:2009.05568v1
Belmans, P., Galkin, S., Mukhopadhyay, S.: Combinatorial non-abelian Torelli theorem (2021). http://www.math.tifr.res.in/~swarnava/article-torelli.pdf
Belmans, P., Galkin, S., Mukhopadhyay, S.: Graph potentials and symplectic geometry of moduli spaces of vector bundles (2022). arxiv:2206.11584
Belmans, P., Galkin, S., Mukhopadhyay, S.: Graph potentials and topological quantum field theories (2022). arxiv:2205.07244
Bondal, A., Galkin, S.: Mirror symmetry for minuscule varieties. IPMU 11-0101 (2011)
Cannas da Silva, A.: Lectures on Symplectic Geometry. Lecture Notes in Mathematics, vol. 1764. Springer, Berlin (2001)
Coates, T., Corti, A., Galkin, S., Golyshev, V., Kasprzyk, A.: Mirror symmetry and Fano manifolds. In: Latała, R., et al. (eds.) European Congress of Mathematics, pp. 285–300. European Mathematical Society (EMS), Zürich (2013)
Cruz Morales, J.A., Galkin, S.: Upper bounds for mutations of potentials. SIGMA Symmetry Integrability Geom. Methods Appl. 9, 005 (2013)
Eguchi, T., Hori, K., Xiong, C.-S.: Gravitational quantum cohomology. Int. J. Mod. Phys. A 12(9), 1743–1782 (1997)
Eliashberg, Ya., Polterovich, L.: The problem of Lagrangian knots in four-manifolds. In: Kazez, W.H. (ed.) Geometric Topology (Athens, GA, 1993). AMS/IP Studies in Advanced Mathematics, vol. 2, American Mathematical Society, Providence, pp. 313–327 (1997)
Galkin, S.: Toric Degenerations of Fano Manifolds. PhD Thesis, Steklov Institute of Mathematics (2008). http://www.mi.ras.ru/~galkin/papers/disser.pdf
Galkin, S., Mikhalkin, G.: Patchworking by mutations (in preparation)
Galkin, S., Usnich, A.: Laurent phenomenon for Ginzburg–Landau potential. IPMU 10-0100 (2010)
Gelfand, I.M., Kapranov, M.M., Zelevinsky, A.V.: Discriminants, resultants, and multidimensional determinants. In: Theory and Applications. Birkhäuser, Boston (1994)
Gromov, M.: Pseudo holomorphic curves in symplectic manifolds. Invent. Math. 82(2), 307–347 (1985)
Hacking, P., Prokhorov, Yu.: Smoothable del Pezzo surfaces with quotient singularities. Compositio Math. 146(1), 169–192 (2010)
Itenberg, I., Mikhalkin, G., Shustin, E.: Tropical Algebraic Geometry. Oberwolfach Seminars, vol. 35. Birkhäuser, Basel (2007)
Kollár, J., Shepherd-Barron, N.I.: Threefolds and deformations of surface singularities. Invent. Math. 91(2), 299–338 (1988)
Manon, C.: The algebra of conformal blocks. J. Eur. Math. Soc. (JEMS) 20(11), 2685–2715 (2018)
Nishinou, T., Nohara, Y., Ueda, K.: Toric degenerations of Gelfand–Cetlin systems and potential functions. Adv. Math. 224(2), 648–706 (2010)
Nishinou, T., Nohara, Y., Ueda, K.: Potential functions via toric degenerations. Proc. Japan Acad. Ser. A Math. Sci. 88(2), 31–33 (2012)
Siebert, B., Tian, G.: Recursive relations for the cohomology ring of moduli spaces of stable bundles. Turkish J. Math. 19(2), 131–144 (1994)
Tonkonog, D.: String topology with gravitational descendants, and periods of Landau–Ginzburg potentials (2018). arXiv:1801.06921
Vianna, R.: Infinitely many monotone Lagrangian tori in del Pezzo surfaces. Selecta Math. (N.S.) 23(3), 1955–1996 (2017)
Vianna, R.F.V.: Infinitely many exotic monotone Lagrangian tori in \({\mathbb{C} }{\mathbb{P} }^2\). J. Topol. 9(2), 535–551 (2016)
Viro, O.Y.: Real plane algebraic curves: constructions with controlled topology. Leningrad Math. J. 1(5), 1059–1134 (1990)
Acknowledgements
We thank Joé Brendel and Felix Schlenk for their helpful feedback and corrections.
Funding
Open access funding provided by University of Geneva.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Research is supported in part by the SNSF-grants 200400, 204125 and CNPq-grant PQ 315747. The paper was written during the research visit of the second-named author to the Euler International Mathematical Institute in St. Petersburg, partially supported by a grant from the Government of the Russian Federation, agreements 075-15-2019-1620 and 075-15-2022-289.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Galkin, S., Mikhalkin, G. Singular symplectic spaces and holomorphic membranes. European Journal of Mathematics 8, 932–951 (2022). https://doi.org/10.1007/s40879-022-00568-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40879-022-00568-y