Abstract
Let \(\omega \) denote an area form on \(S^2\). Consider the closed symplectic 4manifold \(M=(S^2\times S^2, A\omega \oplus a \omega )\) with \(0<a<A\). We show that there are families of displaceable Lagrangian tori \(\mathcal {L}_{0,x},\, \mathcal {L}_{1,x} \subset M\), for \(x \in [0,1]\), such that the twocomponent link \(\mathcal {L}_{0,x} \cup \mathcal {L}_{1,x}\) is nondisplaceable for each x.
Introduction
Context and results.
Let \((M,\omega _M)\) be a symplectic manifold. A Lagrangian submanifold \(L \subset (M,\omega _M)\) is called (Hamiltonian) displaceable if there exists a smooth timedependent Hamiltonian function \(\{H_t\}=H \in C^{\infty }(M \times [0,1])\) for which the induced timeone Hamiltonian diffeomorphism \(\phi ^H\) satisfies \(\phi ^H(L) \cap L =\emptyset \). If L is not displaceable, then it is said to be (Hamiltonian) ‘nondisplaceable’. Understanding when a Lagrangian submanifold L is displaceable is a central question in symplectic topology; because of connections to dynamics and integrable systems, the case in which L is a Lagrangian torus is especially classical. A Lagrangian L is stably nondisplaceable if \(L\times S^1 \subset M \times T^*S^1\) is nondisplaceable, where \(S^1\subset T^*S^1\) denotes the zerosection.
An equator \(S^1_{eq} \subset S^2\) is manifestly nondisplaceable, for area considerations. In higher dimensions, a sufficient way to prove that a Lagrangian L is nondisplaceable is to show that the Floer cohomology \(HF(L,L) \ne 0\). Since Floer cohomology behaves well under taking products, it follows that \(S^1_{eq}\) is stably nondisplaceable, and that a product of equators in \((S^2\times S^2, A\omega \oplus A'\omega )\) is nondisplaceable, for any areas \(A,A' \in {\mathbb {R}}_{>0}\).
Consider now two disjoint circles \(L_0, \, L_1 \subset S^2\) such that the complement of \(L_0 \sqcup L_1\) comprises two discs each of area B and a cylinder of area C. Area considerations again show that \(L_0 \sqcup L_1\) is nondisplaceable when \(C < 2B\). In this case, the individual \(L_i \subset S^2\) are displaceable (by rotation of the sphere), hence have vanishing Floer cohomology, and therefore \(HF(L_0 \sqcup L_1, L_0 \sqcup L_1) = 0\) also vanishes. Underscoring this, Polterovich made the remarkable observation [Pol01] that \(L_0 \sqcup L_1\) is in fact stably displaceable, i.e. the Lagrangian link \((L_0 \times S^1) \sqcup (L_1 \times S^1) \subset S^2\times T^*S^1\) is displaceable. (The proof uses a Lagrangian suspension argument, and is recalled in Lemma 1.11 below.) Since the Lagrangians are compact, when a displacing Hamiltonian isotopy exists, it can be chosen to be the identity outside a compact set in the cylinder factor \(T^*S^1\). It follows a fortiori that, if one fixes \(A \gg 0\) sufficiently large, then \((L_0 \times S^1_{eq}) \sqcup (L_1 \times S^1_{eq}) \subset (S^2 \times S^2, (2B+C)\, \omega \oplus A\, \omega )\) is displaceable. In contrast, whether \((L_0 \times S^1_{eq}) \sqcup (L_1 \times S^1_{eq})\) is nondisplaceable or not when A is small compared to B and C has been a longstanding open question. Surprisingly, it turns out that standard (orbifold) Floertheoretical techniques can be applied to resolve the question, but the particular setting in which they should be applied is inspired by recent developments in tropical geometry and mirror symmetry.
Our main theorem is as follows.
Theorem 1.1
Let \(M=(S^2 \times S^2, (2B+C)\omega \oplus (2a)\omega )\). Let \(\mathcal {L}_i=L_i \times S^1_{eq}\) in M, where \(S^1_{eq} \subset S^2\) is the equator in the second factor. Let \(\mathcal {L}:=\mathcal {L}_0 \sqcup \mathcal {L}_1\). If \(0<a<BC\), then for both \(i=0,1\), we have \(\phi (\mathcal {L}_i) \cap \mathcal {L}\ne \emptyset \) for any Hamiltonian diffeomorphism \(\phi \) of M. In particular, \(\mathcal {L}\) is nondisplaceable.
As a consequence,
Corollary 1.2
Let \(M=(S^2\times S^2, A\omega \oplus a \omega )\). If \(a<A\), there are families of displaceable Lagrangian tori \(\mathcal {L}_{0,x},\, \mathcal {L}_{1,x} \subset M\), for \(x \in [0,1]\), such that the twocomponent link \(\mathcal {L}_{0,x} \sqcup \mathcal {L}_{1,x}\) is nondisplaceable for each x.
Proof
For any B close to A and \(C>0\) close to 0 such that \(2B+C=2A\) and \(BC>a\), we get a nondisplaceable Lagrangian link \(\mathcal {L}_{0} \sqcup \mathcal {L}_{1} \subset (M, 2A\omega \oplus 2a\omega )\) by Theorem 1.1. We can vary B to get a family of nondisplaceable Lagrangian links.
As far as we know, this is the first example in higher dimensions (where area considerations do not pertain) of a nondisplaceable Lagrangian link whose constituent components are displaceable.
Remark 1.3
Floer theory for nonmonotone symplectic manifolds such as M, and its Hamiltonian invariance, has been constructed in two different settings. For rational symplectic forms, i.e. when \([\omega ] \in H^2_{dR}(M)\) lies in the image of \(H^2(M;{\mathbb {Q}})\), there is a detailed construction of the Fukaya algebra \(HF^*(L,L)\) of a Lagrangian, with its \(A_{\infty }\)structure and MaurerCartan theory, due to Charest and Woodward [CW15] based on the technique of ‘stabilizing divisors’ due to Cieliebak and Mohnke [CM07]. (An important structural feature of the Fukaya algebra, on which our argument relies, is the ‘boundary divisor axiom’. CharestWoodward prove a weak boundary divisor axiom but not the full one, see Remark 2.5.) For general symplectic forms, and for Floer cohomology of a pair of distinct Lagrangians, the construction relies on virtual perturbation technology. Our proof uses rather formal properties of bulk deformation theory and bulkdeformed \(A_{\infty }\)algebras for Lagrangian tori in symplectic orbifolds. A complete development in the language of Kuranishi spaces has been given by Fukaya, Oh, Ohta and Ono [FOOO09a, FOOO09b, FOOO18, MTFJ19]; their work was extended to the setting of orbifolds by Cho and Poddar [CP14]. A reader uncomfortable with Kuranishi spaces should take Theorems 2.3 and 2.12 as axioms.
Idea of proof.
We will write \(S^2_\alpha \) for the sphere of area \(\alpha \). Let \(\mathcal {X}:=\mathrm {Sym}^2(M)\) be the 2fold symmetric product of M, i.e. the quotient of \(M \times M\) by the \({\mathbb {Z}}/2\) action which exchanges the factors. By definition, \(\mathcal {X}\) is equipped with the structure of a symplectic orbifold, where the set of orbifold points is precisely the image of the diagonal. The product Lagrangian \(\mathcal {L}_0 \times \mathcal {L}_1\) lies away from the diagonal, so it descends to a smooth Lagrangian submanifold in \(\mathcal {X}\), which we denote by \(\mathrm {Sym}(\mathcal {L})\). Hamiltonian functions and Hamiltonian diffeomorphisms make sense in a symplectic orbifold. Moreover, given a Hamiltonian function \(H \in C^{\infty }(M \times [0,1])\) and \((z_1,z_2) \in M \times M\), the function \(H(z_1,t)+H(z_2,t)\) is \({\mathbb {Z}}/2\)invariant and hence induces a function \(\mathrm {Sym}(H) \in C^{\infty }(\mathcal {X}\times [0,1])\) defined by
The induced Hamiltonian diffeomorphism defines a map
Remark 1.4
Any Hamiltonian function on a symplectic orbifold admits a smooth lift to local uniformization charts, so any smooth lift near an orbifold point is invariant under the corresponding isotropy group. It follows that every Hamiltonian diffeomorphism of a symplectic orbifold preserves the orbifold strata (this is obvious for elements in the image of (2)).
An immediate consequence of the existence of the map (2) is that:
Lemma 1.5
If \(\mathrm {Sym}(\mathcal {L})\) is nondisplaceable, then for both \(i=1,2\) and for any Hamiltonian diffeomorphism \(\phi \) of M, we have \(\phi (\mathcal {L}_i) \cap \mathcal {L}\ne \emptyset \).
Thus, Theorem 1.1 will be a consequence of Lemma 1.5, via:
Theorem 1.6
Under the assumptions of Theorem 1.1, \(\mathrm {Sym}(\mathcal {L})\) is nondisplaceable.
The Proof of Theorem 1.6 uses a bulk deformed superpotential argument (cf. [FOOO11, CP14]), and should be compared with the main result of [FOOO12] which proved the existence of continuum families of nondisplaceable Lagrangian tori \(T^2 \subset (S^2\times S^2, \omega \oplus \omega )\). The calculation of the superpotential is motivated by the ‘tropicalholomorphic’ correspondence, which relates holomorphic curves in the total space of a Lagrangian torus fibration with tropical curves in the base; the actual computation appeals to the ‘tautological’ correspondence, which relates holomorphic discs in \(\mathrm {Sym}(M)\) with holomorphic branched covers of discs mapping to M itself.
In a little more detail, the main ideas can be summarised as follows. Each \(\mathcal {L}_i\) bounds 4 families of Maslov 2 discs, say in classes \(\beta ^j_i\), for \(j=1,2,3,4\). By (a rather trivial instance of) the tautological correspondence, the disjoint union of a disc in class \(\beta ^j_i\) and a constant map from a disc to \(\mathcal {L}_{1i}\) lifts to a Maslov 2 holomorphic disc in \(\mathcal {X}\) with boundary on \(\mathrm {Sym}(\mathcal {L})\). Keeping track of their areas, these 8 families of discs contribute the following terms to the superpotential of \(\mathrm {Sym}(\mathcal {L})\):
The function (3) has no critical point in the units of the Novikov ring, but the Laurent polynomial \(x_2^{1}+y_2^{1}+x_2+y_2\) does.
We introduce a bulk deformation such that certain holomorphic annuli in M with boundary on \(\mathcal {L}\) contribute to the bulk deformed superpotential of \(\mathrm {Sym}(\mathcal {L})\). The tropical picture of one of these annuli is depicted in Figure 2, where \(p_0\) and \(p_1\) are the projection of \(\mathcal {L}_0\) and \(\mathcal {L}_1\) under the \(\mathrm {Log}\) map; they have been slightly perturbed to ease visualisation.
Remark 1.7
The product annulus given by the annulus bound by \(L_0 \sqcup L_1\) in the \(S^2_{2B+C}\) factor and a constant in the \(S^2_{2a}\) factor is not directly helpful to prove nondisplaceability of \(\mathcal {L}\) (for instance any argument only using such annuli would translate to \(S^2_{2B+C} \times T^*S^1\)). The annuli we use are different, and project onto a disc in the \(S^2_{2a}\) factor. In particular, the annuli which contribute to the superpotential have Maslov index 2, while the ‘small’ visible annuli have Maslov index 0.
Remark 1.8
There is not yet a general ‘tropicalholomorphic’ correspondence for holomorphic curves with Lagrangian boundary conditions. Note that without some hypotheses, analytic curves in \(({\mathbb {C}}^*)^2\) do not GromovHausdorff converge to tropical curves under the rescaled logarithm maps, cf. [MN15]; for instance the curve \((z,e^z)\subset ({\mathbb {C}}^*)^2\) has logarithmic limit set containing an interval (while the logarithmic limit set of an algebraic curve is a finite set). In the sequel, we will give explicit constructions of the holomorphic annuli we require in Section 3.3, but we believe it is helpful to explain how these constructions were motivated by tropical analogues; those are given first, in Section 3.2.
After appropriate deformation, we can take the two lowest order terms of the superpotential to be
This is possible only when \(BaC>0\), which leads to the corresponding assumption in Theorem 1.1. The leading order term equations for the critical points of (4) in the sense of [FOOO11] are
which admit 6 solutions of the form \(x_2=y_2 \ne 0\) and \(x_1=y_1 \ne 0\). We will indeed prove that there are at least 6 critical points for the appropriate bulk deformed superpotential. Combining this existence result for critical points with the general machinery developed in [FOOO09a, FOOO09b, CP14], we obtain Theorem 1.6.
Remark 1.9
The Lagrangian \(\mathrm {Sym}(\mathcal {L})\) lies in the smooth locus of \(\mathcal {X}\). It can therefore be lifted to a Lagrangian in \(\mathrm {Hilb}^2(M)\), the Hilbert scheme of zero dimensional subschemes of length 2 in M. Our argument can be applied to show that \(\mathrm {Sym}(\mathcal {L})\) is nondisplaceable in \(\mathrm {Hilb}^2(M)\) when \(a>BC\) and the size of the blowup is \(a(BC)\) (see Remark 4.7).
Remark 1.10
It is natural to ask for examples of Lagrangian links with more than two components. For a trivial source of examples, one can take \(L_0,\ldots ,L_d\) to be parallel circles in \(S^2_{2B+(d1)C}\) such that, for \(i=1,\dots ,d\), \(L_{i1}\) and \(L_i\) are the respective boundary components of an area C cylinder which does not meet any other \(L_j\). The corresponding \(\sqcup _{i=0}^d \mathcal {L}_i\) is nondisplaceable in \(S^2_{2B+(d1)C} \times S^2_a\) for appropriate \(a>0\). However, there are proper subsets of the link \(\{\mathcal {L}_i\}\) which are already nondisplaceable.
It would be more interesting to find a ‘Borromean’ example, i.e. a nondisplaceable \((d+1)\)component Lagrangian link such that any dcomponent sublink is displaceable. We hope to give such examples, based on a more systematic formulation of the tropicalholomorphic correspondence, in a sequel.
Stable displaceability.
For completeness, we recall the statement and proof of Polterovich’s stable displaceability result, mentioned previously. The argument presented here is a modification of Example 6.3.C in [Pol01].
Lemma 1.11
Let \(L_0,L_1 \subset S^2_{2B+C}\) be as above. Then \((L_0 \sqcup L_1) \times S^1\) is displaceable in \(S^2_{2B+C} \times T^*S^1\), where \(S^1 \subset T^*S^1\) is the zero section.
Proof
Let \(M=\{x^2+y^2+z^2=R\} \subset {\mathbb {R}}^3\) with the induced round metric and area form. Let \(L_0=\{z=\eta \}\) and \(L_1=\{z=\eta \}\) for some \(\eta >0\) such that the complement of \(L_0 \sqcup L_1\) consists of two discs with area B and a cylinder of area C. Let \(H:M \rightarrow {\mathbb {R}}\) be \(H(x,y,z)=4 \pi z\). The Hamiltonian flow of H rotates the sphere, and the induced time one Hamiltonian diffeomorphism \(\phi ^H_1\) is the identity arising as twice the full rotation of M. The loop of Hamiltonian diffeomorphisms \((\phi ^H_t)_{t \in [0,1]}\) is homotopic to the constant loop relative to the identity map, the homotopy taking place in \(SO(3) \subset {{\,\mathrm{Ham}\,}}(M)\). Therefore, the Lagrangian suspensions of these two Hamiltonian loops are exact Lagrangian isotopic. For the constant loop at the identity, the Lagrangian suspension is \((L_0 \sqcup L_1) \times S^1\). For the original loop \((\phi ^H_t)_{t \in [0,1]}\), the Lagrangian suspension is
where \({\mathbb {R}}\times S^1\) is identified with \(T^*S^1\). Since \(H(p) \ne 0\) for all \(p \in L_0 \sqcup L_1\), the two Lagrangian suspensions are disjoint. \(\square \)
Superpotentials and bulk deformation
We summarise the theory of superpotentials for Lagrangian Floer cohomology, to establish notation which will recur later in the paper. More details can be found in [FOOO09a, FOOO09b, FOOO10, FOOO11, FOOO12].
Lagrangian Floer theory on symplectic manifolds.
Let \({\mathcal {M}}^\circ _{k+1,l}\) be the moduli space of closed unit discs S with \(k+1\) boundary marked points \(z_0,\dots ,z_k\), ordered counterclockwise, and l interior marked points \(z_1^+,\dots z_{l}^+\). We denote the tuples \((z_0,\dots ,z_{k})\) and \((z_1^+,\dots z_{l}^+)\) by \(\underline{z}\) and \(\underline{z}^+\), respectively. The moduli space \({\mathcal {M}}^\circ _{k+1,l}\) can be compactified by semistable nodal curves, and we denote the compactification by \({\mathcal {M}}_{k+1,l}\). By slight abuse of notation, a typical element in \({\mathcal {M}}_{k+1,l}\) is also denoted by \((S,\underline{z},\underline{z}^+)\).
Let \((X,\omega _X)\) be a closed symplectic manifold, and \(L\subset X\) a closed, oriented and spin Lagrangian submanifold. For an \(\omega _X\)tamed almost complex structure J and a class \(\beta \in H_2(X,L)\), a Jholomorphic stable map with \(k+1\) boundary marked points and l interior marked points in class \(\beta \) consists of \(((S,\underline{z},\underline{z}^+),u)\) such that

(1)
\((S,\underline{z},\underline{z}^+) \in {\mathcal {M}}_{k+1,l}\),

(2)
\(u:(S,\partial S) \rightarrow (X,L)\) is Jholomorphic and \(u_*[S,\partial S]=\beta \),

(3)
the automorphism group of \(((S,\underline{z},\underline{z}^+),u)\) is finite.
We denote the set of isomorphism classes of \(((S,\underline{z},\underline{z}^+),u)\) by \({\mathcal {M}}_{k+1,l}(X,L;J,\beta )\), or \({\mathcal {M}}_{k+1,l}(L;\beta )\) for simplicity.
Remark 2.1
This space is denoted by \({\mathcal {M}}^{{\text {main}}}_{k+1,l}(X,L;J,\beta )\) in [FOOO09a, FOOO09b].
There is a Kuranishi structure on \({\mathcal {M}}_{k+1,l}(X,L;J,\beta )\) such that the evaluation maps
defined by \(\mathrm{ev}_i((S,\underline{z},\underline{z}^+),u)=u(z_i)\) and \(\mathrm{ev}^+_j((S,\underline{z},\underline{z}^+),u)=u(z_j^+)\) are weakly submersive. We can take fiber products with smooth singular simplices \(g_j:Q_j \rightarrow X\) for \(j=1,\dots ,l\) and \(f_i:P_i \rightarrow L\) for \(i=1,\dots ,k\) to obtain a space \({\mathcal {M}}_{k+1,l}(L;\beta ; \underline{Q},\underline{P})\), where \(\underline{Q}=(g_1,\dots ,g_l)\) and \(\underline{P}=(f_1,\dots ,f_k)\). By a multivalued perturbation of the Kuranishi structure and a suitable triangulation of its zero locus, we obtain a singular chain
which is called the virtual fundamental chain and we denote it by \(({\mathcal {M}}_{k+1,l}(L;\beta ; \underline{Q},\underline{P}),\mathrm{ev}_0)\).
Let
be the Novikov ring and \(\Lambda _+\) be its maximal ideal. Let \(C(L;{\mathbb {C}})\) be the singular cochain complex^{Footnote 1} of L, and \(C(L;\Lambda _0)\) be the completion of \(C(L;{\mathbb {C}}) \otimes _{{\mathbb {C}}} \Lambda _0\) with respect to the \({\mathbb {R}}\)filtration on \(\Lambda _0\).
The \(A_{\infty }\) operations \(m_k:C(L;\Lambda _0)^{\otimes k} \rightarrow C(L;\Lambda _0)\) are defined as follows:
The right hand side of (9) is the virtual fundamental chain \(\mathrm{ev}_0:{\mathcal {M}}_{k+1,0}(L;\beta ;P_1,\dots ,P_k)\rightarrow L\), which is a special case of (8). These make \((C(L;\Lambda _0),\{m_k\}_{k=0}^\infty )\) a filtered \(A_{\infty }\) algebra. It is quasiisomorphic to an \(A_{\infty }\) algebra on the cohomology \((H(L;\Lambda _0),\{m_k^{{\text {can}}}\}_{k=0}^\infty )\), which is called a canonical or minimal model for \((C(L;\Lambda _0),\{m_k\}_{k=0}^\infty )\). By abuse of notation, we denote \(m_k^{{\text {can}}}\) by \(m_k\).
The \(A_{\infty }\) structure can be deformed by one or both of a choice of \({\mathbf {b}}\in H_*(X,\Lambda _+)\) and \(b \in H^1(L,\Lambda _0)\). We first discuss the deformation by \({\mathbf {b}}\). The deformation by b is explained in (18) to (21). Given singular simplices \(g_j:Q_j \rightarrow X\) for \(j=1,\dots ,l\), we define
The right hand side of (12) is \(\frac{1}{l !}\) multiples of the virtual fundamental chain \(\mathrm{ev}_0:{\mathcal {M}}_{k+1,l}(L;\beta ; \underline{Q},\underline{P})\rightarrow L\), which is a special case of (8). By linear extension, we get a map
There is a subspace \(E_l(C_*(X,\Lambda _+))\) of \((C_*(X,\Lambda _+))^{\otimes l}\) consisting of chains that are invariant under the action of the lth symmetric group permuting the factors; we denote the restriction of \(q'_{l,k,\beta }\) to \(E_l(C_*(X,\Lambda _+)) \times C(L,\Lambda _0)^{\otimes k}\) by \(q_{l,k,\beta }\). More explicitly, given \(Q:=\sum _{j=1}^s (g_j:Q \rightarrow X) \in C_*(X,\Lambda _+)\) representing \({\mathbf {b}}\), \(Q^{\otimes l}\) is a chain inside \(E_l(C_*(X,\Lambda _+))\) and we define
One can again use homological perturbation to pass to (co)homology, obtaining maps
We can define \(m_{k,\beta }^{{\mathbf {b}}}\) similarly by replacing \(q_{l,k}\) in (17) with \(q_{l,k,\beta }\). The collection of maps \(\{m_k^{{\mathbf {b}}}\}_{k=0}^\infty \) defines a filtered \(A_{\infty }\) algebra.
Given \(b \in H^1(L,\Lambda _0)\), we can write \(b=b_0+b_+\) with \(b_0 \in H^1(L,{\mathbb {C}})\) and \(b_+ \in H^1(L,\Lambda _+)\). Here we combine Poincaré duality on L with the convention that \(H(L,\Lambda _0)\) denotes the smooth singular chain complex graded cohomologically, to view \(b_0\) as a singular 1cocycle and \(b_+\) as a \(\Lambda _+\)coefficient codimension one smooth singular cycle. For \(\gamma \in H_1(L,{\mathbb {Z}})\), we define \(\rho _{b_0}(\gamma )\) as \(\exp (b_0(\gamma )) \in {\mathbb {C}}^*\). Then we define
Note that \(m_k^{{\mathbf {b}},b}=m_k^{{\mathbf {b}},b'}\) if \(b'b \in H^1(L,2\pi \sqrt{1} {\mathbb {Z}})\). The collection \(\{m_k^{{\mathbf {b}},b}\}_{k=0}^\infty \) also defines a filtered \(A_{\infty }\) algebra.
Definition 2.2
(Definition 2.3 of [FOOO12]). Let \({\mathbf {b}}\in H(X,\Lambda _+)\) be a cycle of even codimension. A weak bounding cochain for \(m^{\mathbf {b}}\) is an element \(b=b_0+b_+ \in H^1(L,\Lambda _0)\) such that
for some \(c \in \Lambda _+\), where \(e_L\) is the cohomological unit. Let \({\hat{{\mathcal {M}}}}_{{\text {weak}}}(L,m^{\mathbf {b}})\) be the set of all weak bounding cochains modulo the equivalence \(b \sim b'\) if and only if \(b'b \in H^1(L,2\pi \sqrt{1} {\mathbb {Z}})\). The potential function \(W^{{\mathbf {b}}}:{\hat{{\mathcal {M}}}}_{{\text {weak}}}(L,m^{\mathbf {b}}) \rightarrow \Lambda _+\) is defined by
The hypothesis that \({\mathbf {b}}\) has even codimension in Definition 2.2 guarantees that the cohomological degree of \(m_k^{{\mathbf {b}},b_0}(b_+,\dots ,b_+)\) is even for each k, which is obviously a necessary condition for (22) to hold.
Theorem 2.3
([FOOO09b, FOOO10, FOOO11] for the original references, see also Theorem 2.3 of [FOOO12] for a more accessible reference). Suppose that L is a Lagrangian torus and
If \(b \in H^1(L,\Lambda _0)\) is a critical point of the potential function
then \(m_1^{{\mathbf {b}},b}=0\), and hence the \(({\mathbf {b}},b)\)deformed Floer cohomology is isomorphic to \(H(L,\Lambda _0)\). In particular, L is nondisplaceable.
In (25), the identification between \(H^1(L,\Lambda _0)/H^1(L,2\pi \sqrt{1} {\mathbb {Z}})=(\Lambda _0/2\pi \sqrt{1} {\mathbb {Z}})^n\) and \((\Lambda _0 \setminus \Lambda _+)^n\) is via the exponential map.
Remark 2.4
In Section 11 of [FOOO11], \({\mathbf {b}}\) is taken to lie inside the subspace generated by the fundamental chains of the toric invariant divisors. This condition enters their argument in ensuring that (24) is satisfied (see Proposition 2.1 of [FOOO12]). It is explained in [FOOO12] that, for the special case in which L is a Lagrangian torus, Theorem 2.3 holds as long as (24) holds.
For computational purposes, we recall the divisor axioms (see [FOOO11, Lemma 7.1], [FOOO10, Lemma 11.8] and [Fuk10]). Fix \(b \in H^1(L,\Lambda _0)\) as before. Let \({\mathbf {b}}\) be a chain representing a codimension 2 cycle in in \(H(X,\Lambda _+)\) that is disjoint from L. Then we have
The geometric reason behind (26) is that if u is a Jholomorphic disc in \({\mathcal {M}}_{k+1,l}(L;\beta ; \underline{Q},\underline{P})\) contributing to \(q_{l,k,\beta }({\mathbf {b}}^{\otimes l},b_+^{\otimes k})\), then taking the fiber product between one of the evaluation maps at a boundary marked point of \({\mathcal {M}}_{k+1,l}(L;\beta ; \underline{Q},\underline{P})\) and the Poincaré dual of \(b_+\) in L, the resulting moduli space will consist of Jholomorphic discs with k boundary marked points contributing to \(q_{l,k1,\beta }({\mathbf {b}}^{\otimes l},b_+^{\otimes k1})\). Therefore, when the perturbation scheme in the construction of the Kuranish structures is equivariant with respect to the cyclic group action permuting the boundary marked points, we would have
The construction of such Kuranishi structures is carried out in the references above, and clearly (26) can be obtained by inductively applying (28). Similarly, we have
because the perturbation scheme can also be made equivariant with respect to the cyclic group action permuting the interior marked points, and again (27) can be obtained by inductively applying (29).
Remark 2.5
The boundary divisor axiom has not been proved in the CharestWoodward setup. Instead, they prove a ‘weak boundary divisor axiom’ in [CW15, Proposition 4.33], and show that is sufficient to obtain the analogue of Theorem 2.3 in [CW15, Proposition 4.34] if one replaces the potential function above by the ‘disc potential function’ \({\mathcal {W}}\) (defined in [CW15, Equation (4.44)]). The disc potential function equals the potential function when the boundary divisor axiom holds (see the discussion before [CW15, Lemma 4.39]). It is defined without boundary insertions and takes into account the local system directly. For example, in the computation below, (34) would be the definition of the disc potential function.
Since \(q_{0,k,\beta }({\mathbf {1}},x_1,\dots ,x_k)\) is precisely \(m_{k,\beta }(x_1,\dots ,x_k)\) and \(q_{0,0,\beta }({\mathbf {1}},1)\) is \(m_{0,\beta }(1)\), we have
where the first equality comes from the definitions (23) and (19), the second equality comes from definition (18), the third equality comes from (27), the fourth equality comes from (26) (for the case \(l=0\)), and the last equality comes from summing over k and l.
If X is a Fano toric manifold, L is a Lagrangian torus fiber and \(\beta \) is a disc class such that \(m_{0,\beta }(1)=e_L\) (this happens when \(\beta \) is a ‘basic disc class’ in the sense of [FOOO10]), then the family of Maslov 2 discs in class \(\beta \) contributes the term \(T^{\omega _X(\beta )}\exp ({\mathbf {b}}\cdot \beta ) \exp ( b(\partial \beta ))\) to \(W^{{\mathbf {b}}}(b)\). We can write \(\partial \beta \) as \(\sum _{i=1}^n a_i X_i\), where \(\{X_i\}_{i=1}^n\) is a basis of \(H_1(L,{\mathbb {Z}})\). Letting \(Y_i:=\exp (b(X_i))\), we then have the familiar formula
Lagrangian Floer theory on symplectic orbifolds.
We need a generalization of Theorem 2.3 to the case that X is an effective symplectic orbifold, but \(L \subset X\) is assumed to be disjoint from the orbifold strata, i.e. \(L\subset X^{reg}\) is contained in the locus of smooth points of X. This generalization is carried out in [CP14]. For background on symplectic orbifolds, and in particular their symplectic forms and (contractible) spaces of compatible almost complex structures, we refer the reader to [CR02]. For background on orbifolds, including inertia orbifolds, orbifold morphisms, groupoids, etc. we refer the reader to the book [ALR07] and references therein.
In the orbifold case, the construction of the \(A_{\infty }\)structure goes through without substantive changes provided we consider Jholomorphic stable maps from \({\mathcal {M}}_{k+1,l}\) for which all irreducible components are smooth. More interestingly, in the orbifold case there are new bulk deformation directions for the superpotential coming from cycles in other components of the inertia orbifold IX of X, as probed by Jholomorphic stable orbifold discs. This flexibility increases the chance of finding a bulk deformed superpotential that has a critical point. We briefly recall the definition of the inertia orbifold IX, and how orbifold discs enter the story.
As a set, the inertia orbifold of an orbifold X is
where \(G_x\) is the isotropy group of x. It has an induced orbifold structure from X (see [CR04, Lemma 3.1.1]; note that IX need not be connected even when X is connected). The orbifold we are going to consider in this paper is a global quotient of a smooth manifold M by a finite group G. In this case, there is a simpler way to describe the orbifold structure on its inertia orbifold, which we now recall (see [CR04, Example 3.1.3]). For each conjugacy class g in G, we pick an element \(h \in g\) and define the orbifold
where \(M^h \subset M\) is the set of fixed points of h and C(h) is the centralizer of h. As suggested by the notation, up to isomorphism \(X_g\) is independent of the choice of h in g. In particular, for \(e \in G\) being the identity element, we have \(M^e=M\) and \(C(e)=G\) so \(X_e=M/G\). The inertia orbifold IX is the disjoint union of the orbifolds
where g runs over the conjugacy classes of G; each \(X_g\) is called an inertia component of IX. We denote \(X_e\) by X. Note that IX only depends on X.
An orbifold disc with \(k+1\) boundary marked points and l interior marked points is a tuple \((S,\underline{z},\underline{z}^+,\underline{m})\), where \((S,\underline{z},\underline{z}^+) \in {\mathcal {M}}^\circ _{k+1,l}\) and \(\underline{m}=(m_1,\dots ,m_l)\) is a tuple of positive integers. We equip S with the unique orbifold structure such that the set of orbifold points is contained in \(\underline{z}^+\), and for each \(j=1,\dots ,l\), there is a disc neighborhood \(U_j\) of \(z_j^+\) which is uniformized by the branched covering map \(z \mapsto z^{m_j}\). The last condition means that there is an open subset \(V_j \subset {\mathbb {C}}\) invariant with respect to the \(G_{z_j^+}:={\mathbb {Z}}_{m_j}\) action \(z \mapsto z\exp (2\pi \sqrt{1}/m_j)\), together with a surjective \(G_{z_j^+}\)invariant complex analytic map \(\pi : V_j \rightarrow U_j\), such that the the induced map \(\pi : V_j/G_{z_j^+} \rightarrow U_j\) is bijective. When \(m_j=1\), \(z_j^+\) is a smooth point. For a fixed \(\underline{m}\), we denote the moduli of such orbifold discs by \({\mathcal {M}}^\circ _{k+1,l,\underline{m}}\). It can be compactified by semistable nodal orbifold curves \({\mathcal {M}}_{k+1,l,\underline{m}}\). The union of \({\mathcal {M}}_{k+1,l,\underline{m}}\) over all possible \(\underline{m}\) is denoted by \({\mathcal {M}}_{k+1,l}\). By abuse of notation, a typical element in \({\mathcal {M}}_{k+1,l}\) is also denoted by \((S,\underline{z},\underline{z}^+,\underline{m})\).
Remark 2.6
Under the classical differentialgeometric definitions of orbifold, orbibundle etc as in [Sat56, Sat57], a smooth orbifold map does not give sufficient information to define the pullback of an orbifold vector bundle. (This issue arises for maps into the orbifold strata \(X \backslash X^{reg}\). It can be traced to the fact that orbifolds should form a 2category rather than a 1category. A better formulation of orbifolds as groupoids avoids these difficulties, see [Ler10]; however, these are not the approaches taken by the references for Floer theory on orbifolds.) To linearise the \({\overline{\partial }}\)operator at an orbifold map requires one to pull back the tangent bundle, so some restriction on the orbifold maps under consideration is essential for contructing the moduli space of Jholomorphic stable orbifold discs.
The extra information required to define the pullback is a choice of a ‘compatible system’ in the sense of [CR02, Definition 4.4.1], [CP14, Definition 16.12]. It is possible that a smooth orbifold map has no compatible system, or has more than one isomorphism class of compatible systems. (Two compatible systems for an orbifold map u are isomorphic precisely when they give rise to isomorphic pullback orbifold bundles \(u^*E\) for all orbifold bundles E on the target, cf. [CP14, Lemma 16.1].) A smooth orbifold map that has a compatible system is called good.
A compatible system comprises an indexing set I and a covering of the domain and an open neighbourhood of the range of the given orbifold map by charts indexed by I (in particular the charts are in bijection in domain and range), satisfying a number of compatibilities under inclusion maps and with respect to prescribed local uniformizers. The precise definition of compatible system will not play a role in the sequel, so we defer such to the references. One fact we shall need is that a compatible system induces a group homomorphism between the isotropy groups \(G_z \rightarrow G_{u(z)}\) for \(z \in S\), see Definition 16.11 (2)(b) of [CP14] and the subsequent paragraph, or the paragraph before [CR02, Definition 4.4.1], and the (non)injectivity of this homomorphism depends only on the isomorphism class of \(\xi \).
Despite the differences in appearance, it turns out that the definitions of ‘good maps’ and ‘morphisms of orbifolds as groupoids’ are equivalent (see [ALR07, Section 2.4]).
Definition 2.7
(Definition 2.5 of [CP14], see also Definition 2.3.3 of [CR04]). Let J be an almost complex structure on X. A Jholomorphic stable map from \((S,\underline{z},\underline{z}^+,\underline{m})\) to (X, L) is a pair \((u,\xi )\) such that

(1)
\(u:(S,\underline{z},\underline{z}^+,\underline{m}) \rightarrow X\) is a Jholomorphic map (i.e. Jholomorphic on each irreducible component) and \(u(\partial S) \subset L\);

(2)
u is a good smooth orbifold map and \(\xi \) is an isomorphism class of compatible system;

(3)
the group homomorphism \(G_{z_j^+} \rightarrow G_{u(z_j^+)}\) induced by \(\xi \) at each orbifold point \(z_j^+ \in \underline{z}^+\) is injective, where \(G_{z_j^+}\) and \(G_{u(z_j^+)}\) are the isotropy groups of \(z_j^+\) and \(u(z_j^+)\), respectively;

(4)
the set of \(\phi :S \rightarrow S\) satisfying the following properties is finite: \(\phi \) is biholomorphic, \(\phi (z_i)=z_i\) for all i, \(\phi (z_j^+)=z_j^+\) for all j and \(u \circ \phi =u\).
Note that if \(z \in S \setminus \underline{z}^+\), \(G_z\) is the trivial group and the injectivity in the third condition of Definition 2.7 is automatic.
In the sequel, we will encounter Jholomorphic orbifold discs with Lagrangian boundary conditions (lying in the regular locus) and with no bubble components. The following Lemma 2.8 will ensure that such are good.
Lemma 2.8
(Lemma 4.4.11 of [CR02]). Let \(u:S \rightarrow X\) be a smooth orbifold map. If S is irreducible and \(u^{1}(X^{{\text {reg}}})\) is connected and dense, then u is good with a unique choice of isomorphism class of compatible system.
Let IX be the inertia orbifold of X. We denote the index set of the inertia components by \(T=\{0\} \cup T'\), and for \(g \in T\), we write \(X_g\) for the corresponding component, with \(X_0=X\). Elements \(x \in X_g\) are written as (x, g).
Let \(((S,\underline{z},\underline{z}^+,\underline{m}),u,\xi )\) be a Jholomorphic stable map. For each \(z_j^+ \in \underline{z}^+\), \(\xi \) determines a conjugacy class g in \(G_{u(z_j^+)}\) (see Remark 2.9). We define
Fix a map \({\mathbf {x}}: \{1,\dots ,l\} \rightarrow T\). A Jholomorphic stable map \(((S,\underline{z},\underline{z}^+,\underline{m}),u,\xi )\) is of ‘type’ \({\mathbf {x}}\) if
for all \(j=1,\dots ,l\).
Remark 2.9
Around each \(z_j^+\), we consider the local fundamental group \(\pi _1(U_{z_j^+} \setminus z_j^+)\) where \(U_{z_j^+} \subset S\) is a small disc neighborhood of \(z_j^+\). The isomorphism class of \(\xi \) determines a group homomorphism (which is not a group isomorphism)
which is welldefined up to conjugation in \(G_{u(z_j^+)}\) (see [CR02, Lemma 2.2.4] and the paragraph before it; in the groupoid language, see the ‘ChenRuan characteristic’ in [ALR07, Section 2.5]). The conjugacy class g in \(G_{u(z_j^+)}\) determined by \(\xi \) is the conjugacy class containing the image of the positive generator of \(\pi _1(U_{z_j^+} \setminus z_j^+)\) (positive with respect to the orientation induced by the complex structure) under the map \(\theta _{\xi }\).
Equivalently, if \((V_{z_j^+}, G_{z_j^+}, \pi )\) is a uniformizing chart of \(U_{z_j^+}\), then the positive generator of \(\pi _1(U_{z_j^+} \setminus z_j^+)\) defines a deck transformation of \(V_{z_j^+}\). There is a unique element \(h \in G_{z_j^+}\) whose action on \(V_{z_j^+}\) coincides with the deck transformation. The conjugacy class g in \(G_{u(z_j^+)}\) is the conjugacy class containing the image of h under the map \(G_{z_j^+} \rightarrow G_{u(z_j^+)}\) induced by \(\xi \). As a result, the injectivity in Definition 2.7 (3), implies that elements in g have order \(m_j\).
Definition 2.10
Let \(\beta \in H_2(X,L)\). The moduli space of isomorphism classes of Jholomorphic stable maps \(((S,\underline{z},\underline{z}^+,\underline{m}),u,\xi )\) to (X, L) of type \({\mathbf {x}}\) and such that \(u_*[S,\partial S] =\beta \) is denoted by \({\mathcal {M}}_{k+1,l}(L,J,\beta ,{\mathbf {x}})\).
Remark 2.11
This space is denoted by \({\mathcal {M}}^{{\text {main}}}_{k+1,l}(L,J,\beta ,{\mathbf {x}})\) in [CP14].
We refer readers to [CP14, Section 3, 8, 10] (see also [CR02, Section 3]) for the dimension formulae and Fredholm theory in the orbifold setting. The upshot is that we can define \(m_{k,\beta }\) and \(m_k\) as before to obtain a filtered \(A_{\infty }\) algebra \((C(L,\Lambda _0), \{m_k\}_{k=0}^\infty )\). As in the manifold case, bulk deformation in the orbifold case is defined using the fiber product between \({\mathcal {M}}_{k+1,l}(L,J,\beta ,{\mathbf {x}})\) and appropriate cycles under the evaluation maps \(\mathrm{ev}_j^+\). The crucial difference is that the codomain of \(\mathrm{ev}_j^+\) is now the inertia orbifold IX, so the cycles used to cut down the image of evaluation are taken in IX instead of in X. For example, if \({\mathbf {x}}(j)=0\) for all j, then a stable map \(((S,\underline{z},\underline{z}^+,\underline{m}),u,\xi )\) in \({\mathcal {M}}_{k+1,l}(L,J,\beta ,{\mathbf {x}})\) must have \(m_j=1\) for all j, because the local group homomorphism induced by \(\xi \) is required to be injective. This forces all the points \(z_j^+\) to be smooth points, and bulk insertions by cycles in \(X_{{\mathbf {x}}(j)}=X_0=X\) are defined as before. If \({\mathbf {x}}(j) \ne 0\) for some j, then Jholomorphic orbifold discs can appear in the moduli space \({\mathcal {M}}_{k+1,l}(L,J,\beta ,{\mathbf {x}})\), and hence contribute to the deformed filtered \(A_{\infty }\) structure.
More explicitly, we define \({\mathcal {M}}_{k+1,l, {\mathbf {x}}}(L;\beta ; \underline{Q},\underline{P})\) to be the fiber product between \({\mathcal {M}}_{k+1,l}(L,J,\beta ,{\mathbf {x}})\) and \(\underline{Q}\), \(\underline{P}\) under the evaluation maps \(\mathrm{ev}_i\) for \(i=1,\dots ,k\) and \(\mathrm{ev}_j^+\) for \(j=1,\dots ,l\). Then we define (cf. (12), (14) and (15), see also [CP14, Equation (12.22)])
The discussion of the deformed filtered \(A_{\infty }\) structure in the previous section carries over with this new definition of \(q_{l,k}\).
In this paper, the only cycle in \(X_g\) for \(g \ne 0\) that we will consider is the fundamental cycle \([X_g]\). Let H be the \({\mathbb {C}}\)vector space generated by \(H_*(X;{\mathbb {C}})\) and \([X_g]\) for all \(g \ne 0\). Let \(H \otimes \Lambda _+\) denote the completion of the tensor product with respect to the \({\mathbb {R}}\)filtration. For \({\mathbf {b}}\in H \otimes \Lambda _+\) and \(b \in H^1(L;\Lambda _0)\), we have a filtered \(A_{\infty }\) algebra structure \(\{m^{{\mathbf {b}},b}_k\}_{k=1}^\infty \) on \(H(L,\Lambda _0)\). Weak bounding cochains for \(m^{\mathbf {b}}\) and the bulkdeformed superpotential are defined as in Definition 2.2. Most importantly, the exact analogue of Theorem 2.3 holds in the orbifold setting [CP14, Theorem 11.4 and 12.10].
Theorem 2.12
Suppose that \(L\subset X^{reg}\) is a Lagrangian torus and \(H^1(L,\Lambda _0)/H^1(L,2\pi \sqrt{1} {\mathbb {Z}}) \subset {\hat{{\mathcal {M}}}}_{{\text {weak}}}(L,m^{\mathbf {b}})\). If \(b \in H^1(L,\Lambda _0)\) is a critical point of the potential function
then \(m_1^{{\mathbf {b}},b}=0\), the \(({\mathbf {b}},b)\)deformed Floer cohomology equals \(H(L,\Lambda _0)\), and L is Hamiltonian nondisplaceable.
The conclusion implies in particular that L cannot be displaced by Hamiltonian isotopies in \(X^{reg}\).
Remark 2.13
As in [FOOO09b], the paper [CP14] restricts to bulk deformations by toricinvariant cycles in a toric orbifold X. However, as in Remark 2.4, their formalism applies to any bulk class provided (45) and the (weak) boundary divisor axiom holds (the proof of this fact in [FOOO12] uses only formal properties of filtered \(A_{\infty }\)algebra and the fact that the cohomology of the torus is generated by degree one classes). The main advantage of using toricinvariant bulks and a toricinvariant Lagrangian L, both in the usual and the orbifold case, is that the inclusion \(H^1(L,\Lambda _0)/H^1(L,2\pi \sqrt{1} {\mathbb {Z}}) \subset {\hat{{\mathcal {M}}}}_{{\text {weak}}}(L,m^{\mathbf {b}})\) then holds automatically, once one has built a \(T^n\)equivariant Kuranishi structure on the moduli space of discs. In contrast, we will give a direct proof of the inclusion \(H^1(L,\Lambda _0)/H^1(L,2\pi \sqrt{1} {\mathbb {Z}}) \subset {\hat{{\mathcal {M}}}}_{{\text {weak}}}(L,m^{\mathbf {b}})\): see Lemmas 3.12 and 3.25.
Another advantage of the toric setup is that it is easier to prove the boundary divisor axiom (see [FOOO10, Lemma 11.8]).
Remark 2.14
The CharestWoodward framework, establishing transversality via stabilizing divisors, has not yet been developed for symplectic orbifolds.
In practice, the strategy to compute the superpotential function \(W^{{\mathbf {b}}}\) goes as follows (see [CP14, Section 12.3 and Proposition 13.1]). Let \({\mathbf {b}}={\mathbf {b}}_{{\text {smooth}}}+{\mathbf {b}}_{\mathrm {orb}}\), where \({\mathbf {b}}_{{\text {smooth}}} \in H(X,\Lambda _+)\) represents a codimension 2 cycle in the untwisted sector \(X=X_0\) and \({\mathbf {b}}_{\mathrm {orb}}=\sum _{g \ne 0} a_g[X_g]\) for some \(a_g \in \Lambda _+\). By (35), we can compute \(W^{{\mathbf {b}}_{{\text {smooth}}}}\) by computing \(m_{0,\beta }(1)\) (i.e. the algebraic count of smooth Maslov index 2 discs in class \(\beta \)) for all \(\beta \). Then we need to understand how \(W^{{\mathbf {b}}_{{\text {smooth}}}}\) changes when we consider \({\mathbf {b}}'={\mathbf {b}}_{{\text {smooth}}}+c[X_{g_0}]\) for some \(c \in \Lambda _+\) and some twisted sector \(g_0 \ne 0\). In other words, we need to understand the contribution of Jholomorphic orbifold discs to \(W^{{\mathbf {b}}}W^{{\mathbf {b}}_{{\text {smooth}}}}\).
In the presence of twisted sectors, the cyclic symmetry for interior marked points breaks down: there is no divisor axiom for \({\mathcal {M}}_{k+1,l}(L,J,\beta ,{\mathbf {x}})\) which allows one to reduce the number of interior orbifold points (i.e. we don’t have the analogue of (27)). However, the cyclic symmetry of the boundary marked points survives and we still have the following analogue of (26) (see [CP14, Lemma 12.7 and Definition 12.5]: their \(\frac{c(\beta , {\mathbf {p}})}{l!}PD([L])\) correspond to our \(q_{l,0,\beta ,{\mathbf {x}}}({\mathbf {b}}^{\otimes l},1)\), their r corresponds to our \(b_+\)):
For example, suppose that \(l=2\), \({\mathbf {x}}(j)=g_0\) for both \(j=1,2\), and the virtual fundamental chain satisfies
Then the contribution of the curves in \({\mathcal {M}}_{1,2, {\mathbf {x}}}(L;\beta ; [X_{g_0}]^{\otimes 2},1)\) to \(q_{2,k,\beta ,{\mathbf {x}}}((c[X_{g_0}])^{\otimes 2},b_+^{\otimes k})\) is
Recall from (42) that there is a \(\frac{1}{l!}\)involved in the definition of \(q_{l,k,\beta ,{\mathbf {x}}}\), which accounts for the 2 in the denominator in the equation above. By summing over k and taking into account the area of \(\beta \), the total contribution of these curves to \(W^{{\mathbf {b}}_{{\text {smooth}}}+c[X_{g_0}]}(b)\) is
where \(\partial \beta =\sum _{i=1}^n a_iX_i\) and \(Y_i=\exp (b(X_i))\) as in (35).
Note that the meaning of ‘total contribution’ to \(W^{{\mathbf {b}}_{{\text {smooth}}}+c[X_{g_0}]}(b)\) means the total contribution via the terms \(q_{2,k,\beta ,{\mathbf {x}}}(({\mathbf {b}}_{{\text {smooth}}}+c[X_{g_0}])^{\otimes 2},b_+^{\otimes k})\) for all k. It is possible (and likely) that the same underlying holomorphic curves can contribute to \(q_{l,k,\beta ,{\mathbf {x}}}(({\mathbf {b}}_{{\text {smooth}}}+c[X_{g_0}])^{\otimes l},b_+^{\otimes k})\) with \(l>2\), for those \({\mathbf {x}}\) such that precisely two \({\mathbf {x}}(j)\) equal \(g_0\) and the other \({\mathbf {x}}(j)\) equal the untwisted sector \(g=0\). Fortunately, these terms will be of higher order in T (because \({\mathbf {b}}_{{\text {smooth}}}+c[X_{g_0}] \in H(X,\Lambda _+)\)) and we will not have to compute them in practice.
One can add more terms from twisted sectors to \({\mathbf {b}}_{{\text {smooth}}}\) and the (partial) calculation of the corresponding \(W^{{\mathbf {b}}}\) will follow the same lines as above.
Classification of holomorphic orbifold discs
The twosphere \(S^2_\alpha \) has a standard Lagrangian torus fibration arising from a Hamiltonian circle action with moment map image an interval of length \(\alpha \). Let M be the symplectic manifold in Theorem 1.1. There is a corresponding Hamiltonian \(T^2\)action on M with moment map image a rectangle of side lengths \(2B+C\) and 2a; the Lagrangians \(\mathcal {L}_i \subset M\) of Theorem 1.1 can be taken to be fibres of the Lagrangian fibration.
We now take \(X=\mathcal {X}= \mathrm {Sym}^2(M)\), and take L to be the (symmetric) product of two distinct Lagrangian torus fibers \(\mathcal {L}'\) and \(\mathcal {L}''\) in M. In particular, we have \(L \subset X^{{\text {reg}}}\). The indexing set \(T'\) is a singleton; we denote the unique element in \(T'\) by 1, so that \(I\mathcal {X}=\mathcal {X}_0 \cup \mathcal {X}_1\), where \(\mathcal {X}_0=\mathcal {X}\) and \(\mathcal {X}_1=M\) is the diagonal in \(M \times M\). This section is devoted to the discussion of Jholomorphic stable orbifold discs mapping to (X, L).
Tautological correspondence.
We endow each \(S^2\) factor of M with its unique complex structure. Let \(J_{M}\) be the induced product complex structure on M. The product complex structure on \(M \times M\) is invariant under the \({\mathbb {Z}}_2\) action so it decends to a complex structure \(J_{\mathcal {X}}\) on \(\mathcal {X}\). There is a wellknown bijective correspondence (the ‘tautological’ correspondence) between isomorphism classes of \(J_{\mathcal {X}}\)holomorphic maps \(u:S \rightarrow \mathcal {X}\) and isomorphism classes of pairs \((v,\pi _\Sigma )\), where \(\pi _{\Sigma }: \Sigma \rightarrow S\) is a 2 to 1 branched covering and \(v:\Sigma \rightarrow M\) is a \(J_{M}\)holomorphic map (\(\Sigma \) is possibly disconnected). Bijective correspondences of this form have been used in [DS03, Smi03, OS04, Ush04, Lip06, Cos06, Aur10, MS19] etc. In [DS03, Smi03, Ush04, Cos06], holomorphic maps from closed curves are considered, either to (families of) symmetric products of Riemann surfaces or, in [Cos06], to symmetric product stacks of arbitrarydimension smooth projective varieties. In [OS04, Lip06, Aur10, MS19], holomorphic maps from Riemann surfaces with boundary are considered. The papers [OS04, Lip06, Aur10] consider maps to the symmetric product of a Riemann surface whilst [MS19] considers maps to the symmetric product (or Hilbert scheme) of a complex surface. (However, none of the latter references endow the domain discs with an orbifold structure, or consider orbifold Floer cohomology.)
The correspondence is defined as follows. Given a \(J_{\mathcal {X}}\)holomorphic map \(u:S \rightarrow \mathcal {X}\), we define \(\Sigma \) to be the fiber product between u and the quotient \(M \times M \rightarrow \mathcal {X}\), so that we have the pullback diagram
We define \(v:=\pi _1 \circ V\), where \(\pi _1:M \times M \rightarrow M\) is the projection to the first factor. Conversely, given a pair \((v,\pi _\Sigma )\), the corresponding u is defined by \(u(z)=v(\pi _\Sigma ^{1}(z)) \in \mathcal {X}\).
We first note that the areas of u and v agree:
Lemma 3.1
Let \(\omega _M\) be a symplectic form on M. Let \(\omega _{\mathcal {X}}\) be the orbifold symplectic form on \(\mathcal {X}\) whose pullback to \(M \times M\) is \(\omega _M \oplus \omega _M\). Then \(\omega _M(v_*[\Sigma ])= \omega _{\mathcal {X}}(u_*[S])\), where u and v are related by the tautological correspondence.
Proof
It is straightforward to check that \((\omega _M \oplus \omega _M)(V_*[\Sigma ])=2\omega _M(v_*[\Sigma ])\), where \(V:\Sigma \rightarrow M \times M\) is the \({\mathbb {Z}}_2\)equivariant map in the discussion above. On the other hand, following directly from the definition of integration of an orbifold form, we also have
so the result follows. \(\square \)
The following topological fact will be helpful when comparing the Fredholm theories for u and v.
Lemma 3.2
If \((v,\pi _\Sigma )\) is obtained tautologically from a \(J_{\mathcal {X}}\)holomorphic map \(u:S \rightarrow \mathcal {X}\) with boundary on L, then
Proof
Since \(\pi _{\Sigma }\) is a 2 to 1 branched covering, \(\Sigma \) has either 1 or 2 connected components and \(\partial \Sigma \) has either 1 or 2 connected components. Moreover, if \(\Sigma \) has 2 components, then \(\pi _{\Sigma }\) is an unbranched covering so each component of \(\Sigma \) is a disc.
Since \(u(\partial S) \subset L\), we have \(V(\partial \Sigma ) \subset \mathcal {L}' \times \mathcal {L}'' \cup \mathcal {L}'' \times \mathcal {L}'\). We know that \(\mathcal {L}' \times \mathcal {L}''\) is disjoint from \(\mathcal {L}'' \times \mathcal {L}'\) because \(\mathcal {L}' \cap \mathcal {L}''=\emptyset \). Since V is a \({\mathbb {Z}}_2\)equivariant map, \(V(\partial \Sigma )\) must intersect neither or both of \(\mathcal {L}' \times \mathcal {L}'' \) and \( \mathcal {L}'' \times \mathcal {L}'\); the former case is excluded because \(\partial \Sigma \) is nonempty. As a result, \(\partial \Sigma \) cannot be connected so it has 2 connected components. Finally, since V is a \({\mathbb {Z}}_2\)equivariant map, we know that the 2 boundary components of \(\Sigma \) are mapped under V to \(\mathcal {L}' \times \mathcal {L}''\) and \(\mathcal {L}'' \times \mathcal {L}'\), respectively. Therefore, the 2 boundary components of \(\Sigma \) are mapped under v to \(\mathcal {L}'\) and \(\mathcal {L}''\), respectively. \(\square \)
To compare the Fredholm theories between u and \((v,\pi _{\Sigma })\), we first explain why the moduli of S (i.e. \({\mathcal {M}}_{k+1,l,\underline{m}}\)) is canonically isomorphic to a certain moduli space of double branched coverings \(\pi _{\Sigma }: \Sigma \rightarrow S\).
If S is a smooth disc (i.e. it is irreducible and has no orbifold point) and u is a \(J_{\mathcal {X}}\)holomorphic stable map in the sense of Definition 2.7, then the condition that u is a smooth orbifold map implies that it admits a lift \({\tilde{u}}: S \rightarrow M \times M\) (because a smooth orbifold map is a map that admits a smooth lift to uniformization charts, and hence a smooth lift to orbifold universal covers). That in turn implies that \(\Sigma =S \sqcup S\), \(\pi _{\Sigma }:\Sigma \rightarrow S\) is the trivial 2fold covering and \(V={\tilde{u}} \sqcup (\iota \circ {\tilde{u}}): \Sigma \rightarrow M \times M\), where \(\iota :M \times M \rightarrow M \times M\) is the involution swapping the two factors. Thus, when S is an orbifold disc and u is a \(J_{\mathcal {X}}\)holomorphic stable map in the sense of Definition 2.7, the critical values of \(\pi _\Sigma \) are precisely the orbifold points of S. Moreover, the corresponding \(m_j\) at each orbifold point is necessarily 2, and the images of the evaluation maps \(\mathrm{ev}_j^+\) at these orbifold points necessarily lie in \(\mathcal {X}_1 \subset I\mathcal {X}\) (see the last sentence of Remark 2.9). The crucial point here is that the evaluation of an interior marked point \(z^+_j\) of S lies in \(\mathcal {X}_0\) if and only if \(m_j=1\), and it lies in \(\mathcal {X}_1\) if and only if \(m_j=2\). The former case occurs if and only if \(z^+_j\) is not a critical value of \(\pi _{\Sigma }\) and the latter case occurs if and only if \(z^+_j\) is a critical value of \(\pi _{\Sigma }\). In short, the type \({\mathbf {x}}\) and \(\underline{m}\) determine each other as follows:
For this fixed \(\underline{m}\), and for each element \((S,\underline{z},\underline{z}^+,\underline{m})\) in \({\mathcal {M}}_{k+1,l,\underline{m}}\), there is a unique marked Riemann surface \(\Sigma \) (up to biholomorphism) with a double branched covering \(\pi _{\Sigma }: \Sigma \rightarrow S\) for which the critical values of \(\pi _{\Sigma }\) are exactly \(\{z_j^+ m_j=2\}\) and the marked points of \(\Sigma \) are precisely \(\pi _{\Sigma }^{1}(\{z_j^+ m_j=1\})\). Moreover, if \(\pi _{\Sigma '}: \Sigma ' \rightarrow S\) is another double branched covering such that the critical values are exactly \(\{z_j^+ m_j=2\}\) and the marked points of \(\Sigma '\) are precisely \(\pi _{\Sigma '}^{1}(\{z_j^+ m_j=1\})\), then there are precisely two biholomorphisms \(f_1,f_2: \Sigma \rightarrow \Sigma '\) such that \(\pi _{\Sigma '} \circ f_i=\pi _{\Sigma }\). The biholomorphisms \(f_i\) are related by the involution on \(\Sigma \) induced from the double branched covering. This is true even if \(l=0\) and \(\pi _{\Sigma }\) is an unbranched covering (i.e. the requirement that \(\pi _{\Sigma '} \circ f_i=\pi _{\Sigma }\) distinguishes \(f_i\) from all other biholomorphisms between disjoint unions of two discs).
We denote the involution on \(\Sigma \) by \(\iota _{\Sigma }\) so that \(f_2=f_1 \circ \iota _{\Sigma }\). Notice that, in the tautological correspondence, \((v, \pi _{\Sigma })\) and \((v, \pi _{\Sigma } \circ \iota _{\Sigma })\) are in the same equivalence class in the sense that they correspond to the same map \(u(z)=v(\pi _\Sigma ^{1}(z))=v((\pi _\Sigma \circ \iota _{\Sigma })^{1}(z))\). Therefore, we define an isomorphism from \((\Sigma , \pi _{\Sigma })\) to \((\Sigma ', \pi _{\Sigma '})\) to be an unordered tuple \((f_1,f_2:=f_1 \circ \iota _{\Sigma })\) such that \(f_i: \Sigma \rightarrow \Sigma '\) are biholomorphisms satisfying \(\pi _{\Sigma '} \circ f_i=\pi _{\Sigma }\). We then define the moduli space of covers \({\mathcal {M}}_{k+1,l,\underline{m}}^{cover}\) as the moduli space of pairs \((\Sigma , \pi _{\Sigma })\) up to isomorphism such that \(\Sigma \) is a marked Riemann surface and \(\pi _{\Sigma }\) is a complex analytic double branched covering from \(\Sigma \) to S, for some \(S \in {\mathcal {M}}_{k+1,l,\underline{m}}\), such that \(\pi _{\Sigma }^{1}(\{z_j^+ m_j=1\})\) is precisely the set of marked points of \(\Sigma \). By the discussion above, we conclude that the moduli of covers \({\mathcal {M}}_{k+1,l,\underline{m}}^{cover}\) is canonically isomorphic to \({\mathcal {M}}_{k+1,l,\underline{m}}\), which has dimension
Remark 3.3
When the right hand side of (53) is negative, it should be interpreted as the dimension of the moduli space minus the dimension of the generic automorphism group. The bijective correspondence between \({\mathcal {M}}_{k+1,l,\underline{m}}^{cover}\) and \({\mathcal {M}}_{k+1,l,\underline{m}}\) is compatible with automorphism groups in the following sense. Let \(S \in {\mathcal {M}}_{k+1,l,\underline{m}}\) be a Riemann surface with nontrivial automorphism group (this occurs when \(l=0\) and \(k \in \{0,1\}\)). For each biholomorphism \(g:S \rightarrow S\), there are precisely two biholomorphisms \(f_1,f_2: \Sigma \rightarrow \Sigma \) such that \(\pi _{\Sigma } \circ f_i=g \circ \pi _{\Sigma }\). Moreover, we have \(f_2= f_1 \circ \iota _{\Sigma }\). Therefore g uniquely determines an isomorphism \((f_1,f_2)\) from \((\Sigma ,\pi _{\Sigma })\) to itself. Conversely, an isomorphism from \((\Sigma ,\pi _{\Sigma })\) to itself uniquely determines an automorphism of S. Therefore, there is a canonical bijective correspondence between the automorphism group of \((\Sigma ,\pi _{\Sigma })\) and the automorphism group of S.
Remark 3.4
If \((\Sigma , \pi _{\Sigma }), (\Sigma ', \pi _{\Sigma '}) \in {\mathcal {M}}_{k+1,l,\underline{m}}^{cover}\), then \(\Sigma \) is homeomorphic to \(\Sigma '\). From the discussion above, \((\Sigma , \pi _{\Sigma })\) is isomorphic to \((\Sigma ', \pi _{\Sigma '})\) if and only if \(\Sigma \) is biholomorphic to \(\Sigma '\) as marked Riemann surfaces. Therefore, \({\mathcal {M}}_{k+1,l,\underline{m}}^{cover}\) is canonically a subspace of the moduli space of complex structures on the underlying marked topological surface of \(\Sigma \) (if \(\Sigma \) is disconnected, the subspace lies inside the locus in which the complex structures on the two connected components agree). It is usually a proper subspace because most Riemann surfaces do not have a biholomorphic involution. However, as we will see and use, every annulus has a biholomorphic involution, which gives us an isomorphism from the moduli space of annuli to the moduli space of discs with two interior marked points (see Remark 3.30).
Let \(S \in {\mathcal {M}}_{k+1,l,\underline{m}}\) and \((\Sigma , \pi _{\Sigma }) \in {\mathcal {M}}_{k+1,l,\underline{m}}^{cover}\) be as before. The space of smooth orbifold maps
can be identified with the space of \({\mathbb {Z}}_2\)equivariant smooth maps
modulo the relation \(f \sim f \circ \iota _{\Sigma }\). Indeed, we can take \((\Sigma , {\mathbb {Z}}_2, \pi _{\Sigma })\) as a uniformizing chart for S and \((M \times M, {\mathbb {Z}}_2, \pi _{M\times M})\) as a uniformizing chart for \(\mathcal {X}\), where \(\pi _{M\times M}: M\times M \rightarrow \mathcal {X}\) is the quotient map. By projecting to the first factor of \(M \times M\) (as in the tautological correspondence), the space of \({\mathbb {Z}}_2\)equivariant smooth maps \(C^{\infty }((\Sigma , \partial \Sigma ), (M \times M, {\mathcal {L}}' \times {\mathcal {L}}'' \cup {\mathcal {L}}'' \times {\mathcal {L}}'))\) modulo the relation \(f \sim f \circ \iota _{\Sigma }\) is isomorphic to \(C^{\infty }((\Sigma , \partial \Sigma ), (M,{\mathcal {L}}' \sqcup {\mathcal {L}}''))\) modulo the relation \(f \sim f \circ \iota _{\Sigma }\). Notice that the maps f and \(f \circ \iota _{\Sigma }\) lie in different connected components of \(C^{\infty }((\Sigma , \partial \Sigma ), (M,{\mathcal {L}}' \sqcup {\mathcal {L}}''))\) (because if \(f(\partial ^1 \Sigma ) \subset {\mathcal {L}}'\), then \(f \circ \iota _{\Sigma }(\partial ^1 \Sigma ) \subset {\mathcal {L}}''\), where \(\partial ^1 \Sigma \) is a connected component of \(\partial \Sigma \)). Therefore, the involution \(f \mapsto f \circ \iota _{\Sigma }\) is free.
We can use the same reasoning to compare the Fredholm regularities of a \(J_{\mathcal {X}}\) holomorphic curve u and the corresponding \(J_{M}\) holomorphic curve v. More precisely, for any \(J_{\mathcal {X}}\) holomorphic stable map \(u:(S,\partial S) \rightarrow (\mathcal {X},L)\) (in the sense of Definition 2.7), the function spaces
are canonically identified with the corresponding function spaces for the pairs \(((\Sigma , \partial \Sigma ), (M,{\mathcal {L}}' \sqcup {\mathcal {L}}"))\) modulo the relation \( \sim  \circ \iota _{\Sigma }\). This identification further identifies the Fredholm sections associated to (S, u) and \((\Sigma ,v)\), and hence (S, u) is regular if and only if \((\Sigma ,v)\) is regular.
We can summarize this discussion as follows. Let \({\mathcal {M}}'(\Sigma , {\mathcal {L}}' \sqcup {\mathcal {L}}'', J_M, \beta )\) be the moduli space of \(J_M\)holomorphic maps \(v: \Sigma \rightarrow M\) such that the two boundary components of \(\Sigma \) are mapped to different connected components of \({\mathcal {L}}' \sqcup {\mathcal {L}}''\), and for which \(u(z):=v(\pi _{\Sigma }^{1}(z))\) is in the homotopy class \(\beta \). There is a free involution on \({\mathcal {M}}'(\Sigma , {\mathcal {L}}' \sqcup {\mathcal {L}}'', J_M, \beta )\), given by \(v \mapsto v \circ \iota _{\Sigma }\); we denote the quotient by \({\mathcal {M}}(\Sigma , {\mathcal {L}}' \sqcup {\mathcal {L}}'', J_M, \beta )\). We define \({\mathcal {M}}_{k+1,l,\underline{m}}({\mathcal {L}}' \sqcup {\mathcal {L}}'', J_M, \beta )\) to be the moduli space of \((\Sigma ,v,\pi _{\Sigma })\) such that \((\Sigma , \pi _{\Sigma }) \in {\mathcal {M}}_{k+1,l,\underline{m}}^{cover}\) and \(v \in {\mathcal {M}}(\Sigma , {\mathcal {L}}' \sqcup {\mathcal {L}}'', J_M, \beta )\). Then:
Lemma 3.5
The tautological correspondence defines a canonical isomorphism
Moreover, this isomorphism takes regular elements to regular elements.
Proof
The data \({\mathbf {x}}\) is equivalent to the data of \(\underline{m}\) via (52). We can define a map from \({\mathcal {M}}_{k+1,l,\underline{m}}({\mathcal {L}}' \sqcup {\mathcal {L}}'', J_{\mathcal {X}}, \beta )\) to \({\mathcal {M}}_{k+1,l}(L,J_M,\beta ,{\mathbf {x}})\) which sends \((\Sigma ,v,\pi _{\Sigma })\) to \(u(z):=v(\pi _{\Sigma }^{1}(z))\). This map is surjective by the paragraph before Lemma 3.1. This map is also injective because we have quotiented out the involution induced from \(\iota _{\Sigma }\) in both the definition of \({\mathcal {M}}_{k+1,l,\underline{m}}({\mathcal {L}}' \sqcup {\mathcal {L}}'', J_M, \beta )\) and in the definition of isomorphism of elements in \({\mathcal {M}}_{k+1,l,\underline{m}}^{cover}\). The regularity was discussed above. \(\square \)
Remark 3.6
A natural question from the point of view of Floer theory is how the Maslov index of u and v are related. The definition of the Maslov index of a holomorphic map from an orbifold Riemann surface can be found in [CP14, Section 3]. In our case, we bypass the calculation of the Maslov index of u because the tautological correspondence allows us to identify the moduli of u with the moduli of \((v,\pi _{\Sigma })\), which in turn allow us to compute the virtual dimension using \((v,\pi _{\Sigma })\).
Remark 3.7
By Lemma 3.2, there are two types of \((v, \pi _{\Sigma })\), determined by whether \(\Sigma \) is connected or not. We know that \(\Sigma \) is disconnected if and only if \({\mathbf {x}}\) involves only the untwisted sector. Therefore, when we study the filtered \(A_{\infty }\) structure \(m_{k,\beta }\) on \(H(L,\Lambda _0)\), it is sufficient to consider the moduli spaces of \(J_{M}\)holomorphic maps from \(\Sigma :=(S,\underline{z}) \sqcup (S,\underline{z})\) to M, where \((S,\underline{z}) \) is a semistable nodal disc with \(k+1\) boundary marked points and no interior marked points. In contrast, if we introduce a bulk deformation \({\mathbf {b}}={\mathbf {b}}_{{\text {smooth}}}+{\mathbf {b}}_{\mathrm {orb}} [\mathcal {X}_1]\) such that \({\mathbf {b}}_{{\text {smooth}}} \in H_*(\mathcal {X},\Lambda _+)\) and \({\mathbf {b}}_{\mathrm {orb}} \in \Lambda _+\), then the construction of the maps \(m_{k,\beta }^{{\mathbf {b}}}\) will involve additional \(J_{\mathcal {X}}\) holomorphic stable maps \(((S,\underline{z},\underline{z}^+,\underline{m}),u,\xi )\). Moreover, for each \(((S,\underline{z},\underline{z}^+,\underline{m}),u,\xi )\) contributing to \(m_{k,\beta }^{{\mathbf {b}}}\), the coefficient of the term it contributes has a factor \({\mathbf {b}}_{\mathrm {orb}}^l\), where l is the number of orbifold points of S [cf. (48), (49)].
We recall the RiemannHurwitz and virtual dimension formulae.
Lemma 3.8
(see Section 7.2.1 of [Don11]). Let \(\pi _{\Sigma }:\Sigma \rightarrow S\) be a kfold branched covering between compact Riemann surfaces (possibly with nonempty boundary) such that all critical points are in the interior of \(\Sigma \). Then
where \(\chi ()\) denotes the Euler characteristic and \(e_p\) is the ramification index at p. In particular, if \(k=2\),
where \({\text {crit}}(\pi _{\Sigma })\) is the number of critical points of \(\pi _{\Sigma }\).
Lemma 3.9
(see Theorem C.1.10(ii) of [MS04]). Let \(\Sigma \) be a (smooth) compact Riemann surface with boundary. Let J be an \(\omega \)tamed almost complex structure on a symplectic manifold \((M^{2n},\omega )\) of dimension 2n. The moduli space of Jholomorphic maps \(v:\Sigma \rightarrow M\) with fixed Lagrangian boundary conditions has virtual dimension \(n(\chi (\Sigma ))+\mu (v)\) where \(\chi (\Sigma )\) is the Euler characteristic of \(\Sigma \) and \(\mu (v)\) is the Maslov index of v.
More generally, if \(\Sigma \) is allowed to vary in a moduli space of Riemann surfaces of dimension^{Footnote 2}d, then the moduli space of Jholomorphic maps \(v:\Sigma \rightarrow M\) with fixed Lagrangian boundary conditions has virtual dimension \(n(\chi (\Sigma ))+\mu (v)+d\).
Corollary 3.10
Let \( v\in {\mathcal {M}}(\Sigma , {\mathcal {L}}' \sqcup {\mathcal {L}}'', J_M, \beta )\) and \(\beta _{M}:=v_*[\Sigma , \partial \Sigma ] \in H_2(M,\mathcal {L}' \sqcup \mathcal {L}'')\). The virtual dimension of \({\mathcal {M}}(\Sigma , {\mathcal {L}}' \sqcup {\mathcal {L}}'', J_M, \beta )\) is given by
Moreover, the virtual dimension of \({\mathcal {M}}_{k+1,l,\underline{m}}({\mathcal {L}}' \sqcup {\mathcal {L}}'', J_M, \beta )\) (and hence the virtual dimension of \({\mathcal {M}}_{k+1,l}(L,J,\beta ,{\mathbf {x}})\)) is given by
Proof
The left hand side of (56) is a direct application of Lemma 3.9 and the right hand side of (56) is obtained from applying Lemma 3.8. Finally, (58) is a direct application of Lemma 3.9 by adding (53) with (56). \(\square \)
Remark 3.11
When \({\mathbf {x}}\equiv 0\), formula (58) reduces to \(\dim (L)+(k+1)+2l+\mu (\beta )3\), noting \(\mu (\beta _{M})=\mu (\beta )\) when the domain is a smooth disc. This recovers the virtual dimension formula for \(J_{\mathcal {X}}\)holomorphic maps from a disc with \(k+1\) boundary marked points and l interior marked points in class \(\beta \).
Lemma 3.12
Let \({\mathbf {b}}={\mathbf {b}}_{{\text {smooth}}}+{\mathbf {b}}_{\mathrm {orb}}[\mathcal {X}_1]\), and suppose \({\mathbf {b}}_{{\text {smooth}}} \in H_{6}(\mathcal {X},\Lambda _+)\). Suppose that there is no nonconstant \(J_{\mathcal {X}}\) holomorphic stable map \(((S,\underline{z},\underline{z}^+,\underline{m}),u,\xi )\) to \((\mathcal {X},L)\) such that the corresponding \(v_*[\Sigma , \partial \Sigma ]\) has vanishing Maslov index. Then \(H^1(L,\Lambda _0)/H^1(L,2 \pi \sqrt{1} {\mathbb {Z}})\) is contained in \({\hat{{\mathcal {M}}}}_{{\text {weak}}}(L,m^{{\mathbf {b}}})\).
Moreover, given \(b \in H^1(L,\Lambda _0)/H^1(L,2 \pi \sqrt{1} {\mathbb {Z}})\), every \(((S,\underline{z},\underline{z}^+,\underline{m}),u,\xi )\) that contributes to \(W^{{\mathbf {b}}}(b)\) has \(\mu (v_*[\Sigma , \partial \Sigma ])=2\).
Proof
Let \(\beta \in H_2(\mathcal {X},L)\) and suppose that \(((S,\underline{z},\underline{z}^+,\underline{m}),u,\xi )\) contributes to \(m_{k,\beta }^{{\mathbf {b}},b_0}(b_+,\dots ,b_+)\). Let \(\beta _{M}=v_*[\Sigma , \partial \Sigma ]\). Since \({\mathbf {b}}_{{\text {smooth}}}\) is a codimension 2 cycle in \(\mathcal {X}\) and \([\mathcal {X}_1]\) is codimension 0 in its inertia component, after taking fiber product between \({\mathcal {M}}_{k+1,l}(L,J,\beta ,{\mathbf {x}})\) and these cycles at interior marked points, the virtual dimension becomes
where the first term of (59) is the dimension of \({\mathcal {M}}_{k+1,l}(L,J,\beta ,{\mathbf {x}})\) in (58), the second term of (59) comes from the codimension of \({\mathbf {b}}_{{\text {smooth}}}\) (taking the fiber product between an evaluation map and a codimension d cycle drops the vitrual dimension by d) and the last term of (59) comes from the codimension of \([\mathcal {X}_1]\) which is 0.
Since \(b \in H^1(L,\Lambda _0)\), the cohomological degree of \(m_{k,\beta }^{{\mathbf {b}},b_0}(b_+,\dots ,b_+)\) is given by
This is because the cohomological degree is given by subtracting from the dimension of L the virtual dimension of the fiber product between the evaluation maps of \({\mathcal {M}}_{k+1,l}(L,J,\beta ,{\mathbf {x}})\) with the cycles \({\mathbf {b}}_{{\text {smooth}}}\), \([\mathcal {X}_1]\), and the Poincaré dual of b, at all the interior marked points with \(m_j=1\), all the interior marked points with \(m_j=2\), and the boundary marked points \(z_1,\dots ,z_k\), respectively. The virtual dimension of this fiber product is nothing but (60) minus k, where k comes from the fact that the Poincaré dual of b is a codimension 1 cycle and there are k boundary points at which we are evaluating. As a result, we obtain (62).
Since \(\mathcal {L}'\) and \(\mathcal {L}''\) are Lagrangian torus fibers of M, \(\mu (\beta _{M})\) is twice the intersection number between \(\beta _{M}\) and the toric boundary divisor of M; in particular, \(\mu (\beta _{M}) \ge 0\) by positivity of intersections, and \(\mu (\beta _{M})\) is even. We also know by (62) that \(2\mu (\beta _{M}) \ge 0\), because we have assumed that \(((S,\underline{z},\underline{z}^+,\underline{m}),u,\xi )\) contributes to \(m_{k,\beta }^{{\mathbf {b}},b_0}(b_+,\dots ,b_+)\) and there are no negative degree cochains on L. Together with the assumption that \(\mu (\beta _{M}) \ne 0\), we deduce that \(\mu (\beta _{M})=2\) and \(m_{k,\beta }^{{\mathbf {b}},b_0}(b_+,\dots ,b_+)\) is necessarily of cohomological degree 0. That means that \(m_{k,\beta }^{{\mathbf {b}},b_0}(b_+,\dots ,b_+)\) is a multiple of the unit \(e_L\). Summing over all possible \(\beta \), the result follows. \(\square \)
Therefore, the hypotheses of Theorem 2.12 will hold whenever Lemma 3.12 is applicable.
Tropical picture.
To compute the superpotential \(W^{{\mathbf {b}}}\) of L for \({\mathbf {b}}\) as in Lemma 3.12, it is sufficient to classify Maslov index two \(J_{M}\)holomorphic curves with boundary on \(\mathcal {L}' \sqcup \mathcal {L}''\). Since \(\mathcal {L}'\) and \(\mathcal {L}''\) are product Lagrangians and \(J_{M}\) is a product complex structure, we can study \(J_{M}\)holomorphic curves with boundary on \(\mathcal {L}' \sqcup \mathcal {L}''\) by projecting to the two \({\mathbb {P}}^1\) factors of M. In other words, we want to classify holomorphic maps \(v=(v_1,v_2)\) for \(v_1,v_2:\Sigma \rightarrow {\mathbb {P}}^1\) with boundary on the respective projections of \(\mathcal {L}'\) and \(\mathcal {L}''\) such that the sum of the Maslov indices of \(v_1\) and \(v_2\) is 2. This classification is undertaken in Section 3.3, but in preparation, we find it helpful to give a tropical picture which motivates the result.
Let \(\mathrm {Log}:({\mathbb {C}}^*)^2 \rightarrow {\mathbb {R}}^2\) be \(\mathrm {Log}(z_1,z_2)=(\log z_1,\log z_2)\). Let \(p'=\mathrm {Log}(\mathcal {L}')\) and \(p''=\mathrm {Log}(\mathcal {L}'')\) be two points in \({\mathbb {R}}^2\). The expected paradigm is (see [Gro10, GPS10]):
Philosophy 3.13
The tropicalization of a connected \(J_{M}\)holomorphic curve with boundary on \(\mathcal {L}' \sqcup \mathcal {L}''\) should give a ‘broken’ tropical curve \(\gamma \) with boundary on \(p' \cup p''\). That is, \(\gamma \) is the image of a continuous map h from a connected weighted finite graph without bivalent vertices \(\Gamma \) to \({\mathbb {R}}^2\) such that:

(1)
if v is a vertex of \(\Gamma \) such that \(h(v)=p'\) (or \(p''\)), then v is univalent;

(2)
for every edge e of \(\Gamma \), \(h_e\) is an embedding and h(e) is a line segment of rational slope;

(3)
at every vertex v of \(\Gamma \) such that \(h(v)\not \in \{p',p''\}\), the balancing condition^{Footnote 3} holds;

(4)
if h(e) has infinite length (i.e. is an unbounded edge), then the primitive direction of h(e) belongs to \(\{(\pm 1,0), (0, \pm 1)\}\).
Vertices and edges of \(\gamma \) are defined to be the images of the vertices and edges of \(\Gamma \). The Maslov index of \(\gamma \) is defined to be twice the number of unbounded edges of \(\gamma \) (counted with multiplicity). The genus of \(\gamma \) is defined to be the rank of \(H_1(\Gamma )\).
Example 3.14
Suppose the xcoordinate of \(p'\) is smaller than that of \(p''\). Then there is a genus 0 broken tropical curve \(\gamma \) with 3 edges \(e_0,e_1,e_2\) such that \(e_0\) is adjacent to \(p'\) with primitive direction \((1,1)\), \(e_1\) is adjacent to \(p''\) with primitive direction \((1,1)\) and \(e_2\) is a multiplicity 2 unbounded edge whose primitive direction is (0, 1) (see Figure 3).
In our situation, due to Lemma 3.2 (or more specifically (51)), we are interested in two cases:

(1)
unions of two broken tropical curves \(\gamma '\) and \(\gamma ''\), such that \(p'\) is a vertex of \(\gamma '\) but not \(\gamma ''\); and \(p''\) is a vertex of \(\gamma ''\) but not \(\gamma '\);

(2)
broken tropical curves \(\gamma \) such that both \(p'\) and \(p''\) are vertices of \(\gamma \).
It will be useful to impose the following ‘tropical general position’ assumption.
Assumption 3.15
The slope of the straight line joining \(p'\) and \(p''\) is irrational (here \(\infty \) is regarded as rational).
Lemma 3.16
If Assumption 3.15 is satisfied, then there is no nonconstant Maslov index zero broken tropical curve with boundary on \(p' \cup p''\).
Proof
By definition, a Maslov index zero broken tropical curve admits no unbounded edges. If such a tropical curve is not a constant, the balancing condition shows that it must be a straight line with rational slope joining \(p'\) and \(p''\), which does not exist by assumption. \(\square \)
Remark 3.17
We define the Maslov index of a union of broken tropical curves to be the sum of the Maslov indices of the components. Therefore, by Lemma 3.16, if the union has Maslov index 2 then it is composed of exactly one Maslov 2 broken tropical curve and some number of constant tropical curves.
We now study the possible Maslov index two broken tropical curves with boundary on \(p' \cup p''\).
Lemma 3.18
Let \(\gamma \) be a Maslov 2 broken tropical curve with boundary on \(p' \cup p''\).

(1)
If \(p'' \notin \gamma \) (resp. \(p' \notin \gamma \)), then \(\gamma \) consists of one unbounded edge of multiplicity one emanating from \(p'\) (resp. \(p''\)); this edge has primitive direction (1, 0), \((1,0)\), (0, 1) or \((0,1)\).

(2)
If \(p' \cup p'' \in \gamma \) and \(e_0,e_1,e_2\) are edges such that \(e_0\) is adjacent to \(p'\), \(e_1\) is adjacent to \(p''\) and \(e_2\) is the unbounded edge (necessarily) with multiplicity one, then the sum of the weighted directions of \(e_0,e_1,e_2\) is 0.
Proof
Since \(\gamma \) has Maslov index 2, it has exactly one unbounded edge, necessarily of multiplicity 1. Statement (1) follows.
If \(p' \cup p'' \in \gamma \), then clearly the edges \(e_0,e_1,e_2\) are distinct. The sum of the weighted directions of \(e_0,e_1,e_2\) is the sum of the balancing conditions at all vertices of \(\gamma \) other than \(p'\) and \(p''\). Therefore, it must vanish. \(\square \)
We need to further analyse case (2) in Lemma 3.18. Suppose from now on that \(p'\) is in the third quadrant and \(p''\) is in the first quadrant of \({\mathbb {R}}^2\).
Lemma 3.19
Suppose that Assumption 3.15 is satisfied. Let \(\gamma \) be a broken tropical curve as in case (2) of Lemma 3.18. If \(e_2\) has direction (1, 0), \(e_0\) has weighted direction (p, q) and \(e_1\) has weighted direction \(((p+1),q)\), then we have
where m is the slope between the line joining \(p'\) and \(p''\).
Conversely, for every pair of integers (p, q) such that (63) is satisfied, there is a unique genus 0 broken tropical curve with boundary on \(p',p''\), consisting of the edges \(e_0,e_1,e_2\) with weighted directions \((p,q),((p+1),q)\) and (1, 0), respectively.
Proof
We leave the proof as an exercise. See Figure 4. \(\square \)
Similarly, we have
Lemma 3.20
Suppose that Assumption 3.15 is satisfied. Let \(\gamma \) be a broken tropical curve as in case (2) of Lemma 3.18. If \(e_2\) has direction (0, 1), \(e_0\) has weighted direction (p, q) and \(e_1\) has weighted direction \((p,(q+1))\), then we have
where m is the slope between the line joining \(p'\) and \(p''\).
Conversely, for every pair of integers (p, q) such that (64) is satisfied, there is a unique genus 0 broken tropical curve with boundary on \(p',p''\), consisting of the edges \(e_0,e_1,e_2\) with weighted directions \((p,q),(p,(q+1))\) and (0, 1), respectively.
Example 3.21
When \(0<m<1\), the tropical curve in Lemma 3.20 with the smallest p has \(p=1\) and \(q=0\) (see Figure 2 with \(p_0\) and \(p_1\) understood as \(p'\) and \(p''\), respectively).
By symmetry, there are analogous results when \(e_2\) has direction \((1,0)\) or \((0,1)\).
Remark 3.22
There are higher genus Maslov 2 broken tropical curves with boundary on \(p' \cup p''\) (see Figure 5). However, we will see that they only contribute higher order terms (in the adic filtration) to the bulk deformed superpotential, which will mean we do not need a classification of these curves to prove existence of critical points for the superpotential.
Maslov two holomorphic curves.
The tropical picture is heuristic, for two reasons. First, we have not justified that the \(\mathrm {Log}_t\)images of a \(J_{M}\)holomorphic curve with boundary on \(\mathcal {L}' \cup \mathcal {L}''\) converge to a broken tropical curve. More importantly, given a broken tropical curve \(\gamma \), we have not proved that there is a \(J_{M}\)holomorphic curve with boundary on \(\mathcal {L}'\) and \(\mathcal {L}''\) whose tropicalization is \(\gamma \). In this section, we use the tropical picture as a guide to help us locate and study holomorphic curves of Maslov index two.
We write \(\mathcal {L}'=\mathcal {L}'_1 \times \mathcal {L}_2'\) and \(\mathcal {L}''=\mathcal {L}''_1 \times \mathcal {L}_2''\). We identify M with \({\mathbb {P}}^1 \times {\mathbb {P}}^1\) in such a way that \(\mathcal {L}'=\{z=r_1'\} \times \{w=r_2'\}\) and \(\mathcal {L}''=\{z=r_1''\} \times \{w=r_2''\}\). We assume that
which correspond to the assumption that \(p'\) and \(p''\) are in the in the third respectively first quadrants. Let \(C_i\) denote the cylinder bound by \(\mathcal {L}'_i\) and \(\mathcal {L}''_i\), for \(i=1,2\). Moreover, we assume that
which corresponds to the slope condition \(0<m<1\), cf. Example 3.21.
Assumption 3.15 translates to the following.
Assumption 3.23
There are no integers \(a,b \ne 0\) such that \((r_1' / r_1'' )^a = (r_2' / r_2'')^b\).
For the reader’s convenience, we recall the following wellknown fact.
Lemma 3.24
Let \(\Sigma \) be a compact Riemann surface with boundary and let \({\mathbb {P}}_{\Delta }\) be a smooth toric variety. Let \(v:\Sigma \rightarrow {\mathbb {P}}_{\Delta }\) be a holomorphic map such that \(v(\partial \Sigma )\) is contained in a finite union of Lagrangian torus fibers. Then the Maslov index of v is given by \(\mu (v)=2(v_*[\Sigma ]) \cdot D\), where D is the toric boundary divisor. In particular, if \({\mathbb {P}}_{\Delta }={\mathbb {P}}^1\) and \(v(\partial \Sigma )\) is contained in a finite union of circles \(\{z=r_i\}\) for some \(r_i >0\), then \(\mu (v)=2(v_*[\Sigma ]) \cdot [\{0,\infty \}]\).
The following lemma explains the importance of Assumption 3.23.
Lemma 3.25
(cf. Lemma 3.16). Suppose \(v:\Sigma \rightarrow M\) is a \(J_M\)holomorphic map satisfying (51). If Assumption 3.23 holds, then \(\mu (v) \ne 0\).
Proof
Suppose not. Let \(v=(v_1,v_2):\Sigma \rightarrow M\) be a \(J_{M}\)holomorphic curve satisfying (51) such that \(\mu (v)=0\). Since \(\mu (v)=0\) and \(J_M\) is split, we have \(\mu (v_1)=\mu (v_2)=0\) by positivity of intersections. If \(\Sigma \) has two connected components \(\Sigma _0\) and \(\Sigma _1\), then at least one of \(v_{\Sigma _i}\), say \(v_{\Sigma _0}\), is not a constant. Since \(\Sigma _0\) has only one boundary component, then either \(v_1_{\Sigma _0}\) or \(v_2_{\Sigma _0}\) surjects to a disc and has \(\mu \ge 2\). This gives a contradiction. Therefore, \(\Sigma \) is connected.
By the boundary conditions, neither \(v_1\) nor \(v_2\) can be a constant map. Therefore, we must have that \(v_1\) and \(v_2\) surject onto the cylinders \(C_1\) and \(C_2\), respectively. This is a contradiction because it is wellknown that no \(\Sigma \) can simultaneously surject onto two annuli \(\{r_1' \le z \le r_1''\}\) and \(\{r_2' \le w \le r_2''\}\) which satisfy Assumption 3.23.
We present a proof here for the sake of completeness.
Let the two boundary components of \(\Sigma \) be \(\partial _0\) and \(\partial _1\). To simplify notation, let the two annuli be \(\{1 \le z \le R_1:=\frac{r_1''}{r_1'}\}\) and \(\{1 \le z \le R_2:=\frac{r_2''}{r_2'}\}\). Without loss of generality, we can assume that \(v_i_{\partial _0}=1\) for both \(i=1,2\). Let
where \(\alpha =\log (R_2)/\log (R_1)\). Clearly, g is a harmonic function which vanishes on \(\partial \Sigma \). Therefore g vanishes everywhere. Note that g is the real part of the (multivalued) holomorphic function
Therefore, \(e^h\) is a (singlevalued) constant function. By taking derivative, we have \(e^h h'(z)=0\) and hence \(h'(z)=0\).
Taking the derivative of (67), we get
By integrating that identity over a closed curve parallel to \(\partial _0\) and applying the residue theorem, we see that \(\alpha \) is rational. This contradicts Assumption 3.23.
Lemma 3.26
(cf. Lemma 3.18 and Remark 3.17). Suppose that Assumption 3.23 holds, and that \(v=(v_1,v_2):\Sigma \rightarrow M\) is a Maslov index two \(J_M\)holomorphic map satisfying (51).

(1)
If \(\Sigma \) is disconnected with connected components \(\Sigma _0\) and \(\Sigma _1\), then one of \(v_{\Sigma _i}\), say \(v_{\Sigma _1}\), is a constant. Then for \(\Sigma _0\), one \(v_i_{\Sigma _0}\) is a degree one map to a disc and the other is a constant.

(2)
If \(\Sigma \) is connected, then either \(v_1\) or \(v_2\) is a (possibly unramified) branched covering of a cylinder, and the other surjects to a disc.
Proof
If \(\Sigma \) has two connected components \(\Sigma _0\) and \(\Sigma _1\), then \(\partial \Sigma _i\) is connected. Therefore, if \(v_i_{\Sigma _j}\) is not a constant, then \(\mu (v_i) \ge 2\). That means that 3 of the 4 maps \(\{v_i_{\Sigma _j}\}_{i,j}\) have Maslov zero and are hence constant (by Lemma 3.25). Suppose \(v_i_{\Sigma _0}\) is not a constant; then it is either a branched covering of a disc or it surjects onto \({\mathbb {P}}^1\). However, if it surjects to \({\mathbb {P}}^1\), then it must have \(\mu (v_i) \ge 4\). Since \(\mu (v_i) =2\), we know that \(v_i_{\Sigma _0}\) has degree 1 and surjects to a disc.
Now asssume that \(\Sigma \) is connected with 2 boundary components. Without loss of generality, we assume that \(\mu (v_1)=0\) and \(\mu (v_2)=2\). Since \(\mu (v_1)=0\), it has to surject onto the cylinder bounded by \(\mathcal {L}'_1\) and \(\mathcal {L}''_1\). On the other hand, \(\mu (v_2)=2\) implies that the image of \(v_2\) is not the entire \({\mathbb {P}}^1\) and not the cylinder bounded by \(\mathcal {L}'_2\) and \(\mathcal {L}''_2\). Therefore, \(v_2\) surjects to a disc. \(\square \)
Let v be a holomorphic curve as in case (2) of Lemma 3.26, such that \(v_2\) surjects to a disc D. Let \(D^\circ \) be the interior of D. By the Lagrangian boundary conditions for v, there are two possibilities:

(1)
\(D^\circ \) is the component of the complement of \(\mathcal {L}_2''\) that contains \(\mathcal {L}_2'\);

(2)
\(D^\circ \) is the component of the complement of \(\mathcal {L}_2'\) that contains \(\mathcal {L}_2''\).
By the obvious symmetry, it is sufficient to analyse the first situation. In this case, we have
for some integers \(p \ge 1\) and \(q \ge 0\), where the relative classes are in \(H_2(S^2_{2B+C},\mathcal {L}'_1 \cup \mathcal {L}_1'')\) and \(H_2(S^2_{2a},\mathcal {L}'_2 \cup \mathcal {L}_2'')\), respectively. Let \(A_{p,q} \in H_2(M,\mathcal {L}' \cup \mathcal {L}'')\) be the class characterized by the property that the projection to the two \({\mathbb {P}}^1\) factors are \(p [C_1]\) and \([D]+q [C_1]\), respectively, so
for some integers \(p \ge 1\) and \(q \ge 0\).
We can give a classification of such v when \((p,q)=(1,0)\) (cf. Example 3.21).
Lemma 3.27
There exists a \(J_{M}\)holomorphic curve \(v:\Sigma \rightarrow M\) with boundary on \(\mathcal {L}' \cup \mathcal {L}''\) in class \(A_{1,0}\). Moreover, for a generic pair of points \(q' \in \mathcal {L}'\) and \(q'' \in \mathcal {L}''\), the algebraic count of unparametrized holomorphic curves in \(A_{1,0}\) such that \(q',q'' \in v(\partial \Sigma )\) is \(\pm 1\).
Proof
First, we prove the existence of v. Let \(\Sigma \) be the annulus \(C_1\) and define \(v_1:\Sigma \rightarrow C_1 \subset {\mathbb {P}}^1\) to be the inclusion map.
By rescaling, we identify D with the unit disc, \(\mathcal {L}''_2\) with the unit circle and \(\mathcal {L}'_2\) with the circle of radius \(r_0:=\frac{r_2'}{r_2''}\). Let \(l \subsetneqq \mathcal {L}'_2\) be a closed arc (usually called a ‘slit’ in the literature, cf. [Ahl78, Chapter 6], [Neh52, Chapter 7]) and define \(D_l:=D^\circ \setminus l\). In Lemmas 3.28 and 3.29, we provide proofs of the following classical facts:

(1)
For every \(0<r<r_0\), there is a biholomorphism from \(\{r<z<1\}\) to \(D_l\) for some \(l \subset \mathcal {L}'_2\). Moreover, the biholomorphism can be smoothly extended up to its closure.

(2)
Given two slits \(l_1,l_2 \subset \mathcal {L}_2'\), the domain \(D_{l_1}\) is conformally isomorphic to \(D_{l_2}\) if any only if \(l_1\) and \(l_2\) are of the same length.
By assumption, \(\Sigma =\{\frac{r_1'}{r_1''} \le z \le 1\}\) and \(\frac{r_1'}{r_1''}<\frac{r_2'}{r_2''}=r_0\) (see (65)). Therefore, we have a holomorphic map \(v_2:\Sigma \rightarrow S^2_{2a}\) such that the two boundary components are mapped to \(\mathcal {L}''_2\) and \(l \subset \mathcal {L}'_2\) for some l, respectively. This proves the existence.
Conversely, let \(v=(v_1,v_2)\) be a holomorphic curve in class \(A_{1,0}\). Since \(v_1\) is a degree one map with the boundary components of \(\Sigma \) going to \(\mathcal {L}_1'\) and \(\mathcal {L}_1''\), respectively, \(v_1\) must be a biholomorphism. Therefore, we can identify \(\Sigma \) with \(C_1\) via \(v_1\).
On the other hand, \(v_2\) is a degree 1 map onto the disc D. Therefore \(v_2_{\Sigma \setminus \partial \Sigma }\) is a biholomorphism, so \(v_2(\Sigma \setminus \partial \Sigma )\) is \(D_l\) for some l.
Now, let \(q'=(q_1',q_2') \in \mathcal {L}'\) and \(q''=(q_1'',q_2'')\in \mathcal {L}''\). By identifying \(\Sigma \) with the annulus bound between \(\mathcal {L}'_1\) and \(\mathcal {L}''_1\), we can suppose that \(q_1', q_1'' \in \partial \Sigma \). To prove the last statement, it suffices to show that the algebraic count of \(v_2\) such that \(v_2(q_1')=q_2'\) and \(v_2(q_1'')=q_2''\) is \(\pm 1\).
Let \(v_2:\Sigma \rightarrow D\) be a degree 1 holomorphic map with boundary on \(\mathcal {L}'_2\) and \(\mathcal {L}''_2\) as above. By the classification, all other degree 1 holomorphic maps with boundary on \(\mathcal {L}'_2\) and \(\mathcal {L}''_2\) are given by
for some \(\theta _1,\theta _2 \in [0,2\pi ]\). Moreover, by automatic regularity, \(v_{2,\theta _1,\theta _2}\) is regular for all \(\theta _1\) and \(\theta _2\). Therefore, to show that the algebraic count is \(\pm 1\), it suffices to show that
is a degree 1 map.
Let \(f:S^1 \rightarrow S^1\) be the smooth function given by \(f(\theta _1)=\arg (q_2'')\arg (v_2(e^{i\theta _1} q_1''))\). By (71), it is clear that for each \(\theta _1\), there is a unique \(\theta _2\) such that \(\mathrm{ev}_2(\theta _1,\theta _2)=q_2''\), indeed that \(\theta _2\) is given by \(f(\theta _1)\). Moreover, since \(v_2_{\mathcal {L}''_1}: \mathcal {L}_1'' \rightarrow \mathcal {L}_2''\) is a diffeomorphism, \(v_2(e^{i\theta _1} q_1'')\) and hence f has degree \(\pm 1\). The problem now reduces to showing that
is a degree 1 map. Since \(v_2(\partial \Sigma ) \cap \mathcal {L}'_2\) is contractible, the map (75) is homotopic to f, which has degree (plus or minus) one. Therefore, the algebraic count of \(v_2\) such that \(v_2(q_1')=q_2'\) and \(v_2(q_1'')=q_2''\) is indeed \(\pm 1\). This completes the proof. \(\square \)
We now address the two classical facts used in the proof of Lemma 3.27. Recall from the second paragraph of the proof of Lemma 3.27 that \(r_0:=\frac{r_2''}{r_2'}\), which is the radius of \(\mathcal {L}_2'\) when we identify \(\mathcal {L}_2''\) with the unit circle.
Lemma 3.28
Let \(r_1 \in (0,r_0)\). There is a biholomorphism from \(A:=\{r_1<z<1\}\) to \(D_l\) for some \(l \subset \mathcal {L}'_2\). Moreover, the biholomorphism can be smoothly extended up to its closure.
Proof
Let \(a \in A\) and G(z, a) be the Green’s function, i.e. the unique function determined by the conditions:

(1)
\(G(z,a)_{\partial {\overline{A}}}=0\);

(2)
\(G(z,a)+\log za\) is harmonic and smooth everywhere on A.
We denote the inner and outer boundary components of \(\partial {\overline{A}}\) by \(\partial _0\) and \(\partial _1\). Let \(w_i\) for \(i=0,1\) be the corresponding harmonic measures. That is, \(w_i\) is the unique smooth harmonic function on \({\overline{A}}\) such that \(w_i_{\partial _i}=1\) and \(w_i_{\partial {\overline{A}} \setminus \partial _i}=0\). More explicitly, \(w_0(z)=\frac{\log (z)}{\log (r_1)}\) and \(w_1=1w_0\).
Since \(\Delta G(z,a)=2\pi \delta _a\), for any harmonic function \(w:A\rightarrow {\mathbb {R}}\), we have the identity (see e.g. [Neh52, Chapter 1])
where \(\frac{\partial }{\partial n}\) refers to the outward normal derivative. When \(w=1\), it gives
When \(w=w_i\) for \(i=0,1\), it gives
Therefore, we have \(\beta :=\int _{\partial _1} \frac{\partial G(z,a)}{\partial n}=2\pi w_1(a) \in (0,2\pi )\).
On the other hand, a direct calculation gives
For \(c=\frac{(2\pi \beta )\log (r_1)}{2\pi }\), we have
That means that the harmonic conjugate H(z) of \(G(z,a)+c w_0\) is a multivalued function with period \(2\pi \) on \(\partial _1\) and period 0 on \(\partial _0\).
The map \(F(z)=e^{G(z,a)+c w_0+iH(z)}\) is therefore a single valued holomorphic function which maps a to the origin, \(\partial _0\) to \(\{z=e^{c}\}\) with degree 0 and \(\partial _1\) to \(\{z=1\}\) with degree 1. By a routine argument (see e.g. [Ahl78, Theorem 10 of Section 5 of Chapter 6]), one can check that F is a biholomorphism from A to the slit domain \(D \setminus \{F(\partial _0)\}\).
Since \(0<\beta <2\pi \), we have \(\log (r_1)<c<0\). On the other hand, for any value \(\beta _0\) between 0 and \(2\pi \), there is a unique a (up to automorphism of A) such that \(\beta =2\pi w_1(a)=\beta _0\). Since \(r_1<r_0\), we can pick the a such that the corresponding c is \(\log (r_0)\), so \(F(\partial _0) \subset \mathcal {L}'_2\).
Finally, since the boundary components of \({\overline{A}}\) are smooth analytic curves, we claim that F can be extended smoothly up to the boundary. More precisely, for each point \(z_0 \in \partial {\overline{A}}\), the Riemann mapping theorem implies that we can find a small neighborhood \(U \subset {\overline{A}}\) of \(z_0\) such that U is biholomorphic to the upper half of the unit disc by a biholomorphism sending \(U \cap {\overline{A}}\) and \(z_0\) to the interval \([1,1]\) and the origin, respectively. We can assume U is sufficiently small that \(\log F(z)\) is singlevalued and its real part \(G(z,a)+c w_0\) tends to a real constant as z approaches \(U \cap {\overline{A}}\). Therefore, by the reflection principle, \(\log F(z)\) and hence F(z) can be extended over \(z_0\). \(\square \)
Lemma 3.29
Given two slits \(l_1,l_2 \subset \mathcal {L}_2'\), the domain \(D_{l_1}\) is conformally isomorphic to \(D_{l_2}\) if and only if \(l_1\) and \(l_2\) are of the same length.
Proof
By the classification of multiconnected domains, \(D_{l_1}\) is biholomorphic to \(A:=\{r_1<z<1\}\) for some \(r_1\). Let \(F_1:A \rightarrow D_{l_1}\) be a biholomorphism such that the smooth extension of \(F_1\) maps \(\{z=1\}\) to the unit circle. Let \(a_1\in A\) be the point such that \(F_1(a_1)=0\). Then \(\log F_1(z)\) is a harmonic function which is smooth everywhere except having a log pole at \(a_1\). Moreover, it maps \(\{z=1\}\) to 0 and \(\{z=r_1\}\) to \(\log (r_0)\). These conditions uniquely characterise \(\log F_1(z)\), and so we have
where \(G(z,a_1)\) and \(w_0\) are the Green’s function and harmonic measure introduced in the Proof of Lemma 3.28.
It follows that if \(D_{l_2}\) is biholomorphic to \(D_{l_1}\) and hence to A, then the biholomorpism \(F_2:A \rightarrow D_{l_2}\) satisfies
for the \(a_2 \in A\) such that \(F_2(a_2)=0\).
Moreover, we know the periods of the harmonic conjugates of (82) and (83) are the same, namely \(2\pi \) on the outer boundary and 0 on the inner boundary. In other words, we have
It implies that
By (78) and the equation afterwards, it means that \(w_1(a_1)=w_1(a_2)\). Since \(w_1(z)=1\frac{\log (z)}{\log (r_1)}\), we have \(w_1(a_1)=w_1(a_2)\) if and only if \(a_1=a_2\). Therefore, there is an automorphism \(\phi \) of A (a rotation) which sends \(a_1\) to \(a_2\). As a result, the biholomorphism \(F_2':=F_2 \circ \phi : A \rightarrow D_{l_2}\) satisfies
because it sends \(a_1\) to the origin. It follows that \(F_1\) and \(F_2'\) only differ by a choice of harmonic conjugate of \(G(z,a_1)+\log (r_0) w_0\), and are hence related by \(F_1=e^{i \alpha }F_2'\) for some \(\alpha \). It follows that \(l_1\) and \(l_2\) have the same length. \(\square \)
Remark 3.30
For a circular cylinder \(\{1/r \le z \le r\}\), any involution swapping the boundary components belongs to the family \((z \mapsto \frac{e^{i\theta }}{z})_{\theta \in [0,2\pi ]}\). Consequently, there is a 1dimensional family of 2 to 1 branched coverings of the cylinder over the unit disc. In other words, the 1 dimensional moduli space of cylinders can be identified with the 1 dimensional moduli space of double branched coverings of a disc with 2 interior orbifold marked points (see Remark 3.3 and the paragraph before), which is in turn isomorphic to the 1 dimensional moduli space of discs with 2 interior marked points.
Let v be as in Lemma 3.27, and let \(z',z'' \in \partial \Sigma \) be such that \(v(z')=q'\) and \(v(z'')=q''\). If we choose the involution of \(\Sigma \) which exchanges \(z'\) and \(z''\), the corresponding 2 to 1 branched covering of the unit disc together with v will tautologically correspond to a \(J_{\mathcal {X}}\)holomorphic orbifold disc \(u:S \rightarrow \mathcal {X}\) such that \([q',q''] \in u(\partial S)\).
Notice that, since the complex structure splits, we can write \(v=(v_1,v_2)\). It is easy to check that each \(v_i\) is regular and hence v is regular. Alternatively, one can apply automatic regularity in dimension 4 (see [HLS97, Theorem 2]), which in this case says that \(\mu (v)=2>1=4g+2\sigma 3\) and hence v is regular. (Here, \(g=0\) is the genus of the domain and \(\sigma =2\) is the number of boundary components of the domain.) By Lemma 3.5, we infer that the corresponding holomorphic orbidisc u is also regular. In particular, u will contribute to \(m_{k}^{{\mathbf {b}},b}\) whenever \({\mathbf {b}}_\mathrm {orb}\ne 0\). Moreover, the unparametrized algebraic count in Lemma 3.27 implies that the virtual fundamental chain of the moduli containing u (i.e. \({\mathcal {M}}_{1,2, {\mathbf {x}}}(\mathrm {Sym}(\mathcal {L}' \cup \mathcal {L}'');u_*[S]; [\mathcal {X}_1]^{\otimes 2},1)\)) satisfies
where \({\mathbf {x}}(j)=1\) for both \(j=1,2\), and where the factor of 2 in (88) comes from the possible orderings of the interior marked points.
On the other hand, we can prove the nonexistence of maps v as in (70) when \(p=1\) and \(q>0\).
Lemma 3.31
There is no holomorphic curve with boundary on \(\mathcal {L}' \cup \mathcal {L}''\) in class \(A_{1,q}\) for \(q>0\).
Proof
Suppose that such a curve exists. The hypothesis \(p=1\) implies that \(v_1\) is a biholomorphism to \(C_1\). Therefore, \(\Sigma \) is a cylinder; we identify it with \(\{ \frac{r_1'}{r_1''} \le z \le 1\}\). As before, we identify D with the unit disc and \(L_2'\) with \(\{z=r_0<1\}\).
By the definition of \(A_{1,q}\), the holomorphic map \(v_2\) has degree 1 to the disc \(\{z \le r_0\}\) and degree \(q+1\) to the cylinder \(\{r_0 \le z \le 1\}\). Let \(a \in \Sigma \) be the point such that \(v_2(a)=0\). The harmonic function \(\log v_2\) is smooth everywhere except at a, where it has a log pole. Moreover, it maps \(\{z=1\}\) to 0 and \(\{z= \frac{r_1'}{r_1''}\}\) to \(\log (r_0)\). Therefore, we have
where G(z, a) and \(w_0\) are the Green’s function and harmonic measure respectively.
As in Lemma 3.28, we have
for some \(\beta \in (0,2\pi )\). By our assumption, we have \(\frac{r_1'}{r_1''}<\frac{r_2'}{r_2''} =r_0<1\) so the quantity in (90) is less than \(4\pi \).
However, this is a contradiction. Indeed, the harmonic conjugate of \(G(z,a)+\log (r_0) w_0\), which is the harmonic conjugate of \(\log v_2\), must have period \((q+1)2\pi \ge 4\pi \), because \(v_2_{\{z=1\}}\) has degree \(q+1\). This completes the proof. \(\square \)
Remark 3.32
Lemma 3.31 corresponds to the fact that in Lemma 3.20, there is no broken tropical curve with \(p=1\) and \(q>0\) when \(0<m<1\).
By symmetry, the analogues of Lemmas 3.27 and 3.31 hold when v is a holomorphic curve as in case (2) of Lemma 3.26 (one for which \(v_2\) surjects to the complementary component of \(\mathcal {L}_2'\) that contains \(\mathcal {L}_2''\)).
Concluding the proof
So far, we have been using Assumption 3.23. However, the fibres \(\mathcal {L}_0\) and \(\mathcal {L}_1\) in Theorem 1.1 do not satisfy this assumption, because their second factors coincide. Therefore, we cannot apply the previous results directly to \(\mathrm {Sym}(\mathcal {L})\). We remedy this issue by applying what is commonly referred to as ‘Fukaya’s trick’.
As in the previous section, let \(\mathcal {L}'\) and \(\mathcal {L}''\) be Lagrangian torus fibers in M such that Assumption 3.23 is satisfied. Without loss of generality we may assume that \(\mathcal {L}'\) and \(\mathcal {L}''\) are close enough to \(\mathcal {L}_0\) and \(\mathcal {L}_1\) such that there is a diffeomorphism \(\Phi : M \rightarrow M\) satisfying

(1)
\(\Phi (\mathcal {L})=\mathcal {L}' \cup \mathcal {L}''\), and

(2)
\(\Phi ^*J_{M}\) is \(\omega _{M}\)tamed.
Tautologically, the pullback of \(J_{M}\)holomorphic curves with boundary on \(\mathcal {L}' \cup \mathcal {L}''\) under \(\Phi \) are \(\Phi ^*J_{M}\)holomorphic curves with boundary on \(\mathcal {L}\), and vice versa. Therefore, we can apply the previous discussion to study the superpotential of \(\mathrm {Sym}(\mathcal {L})\) with respect to the symmetric product of (the integrable complex structure) \(\Phi ^*J_{M}\) on \(\mathcal {X}\).
Remark 4.1
The superpotential will be different for different choices of \(\mathcal {L}'\) and \(\mathcal {L}''\). That is because the corresponding almost complex structures \(\Phi ^*J_{M}\) differ, and there is wallcrossing when one interpolates between them (cf. [Aur07] and the scattering diagrams in [Bou19]).
Now, we give a brief summary of the terms of the superpotential to which the \(J_{M}\)holomorphic curves in Lemmas 3.26 and 3.27 contribute.
Let \(B^\circ _{1,1}, B^\circ _{1,2}, B^\circ _{2,1}\) and \(B^\circ _{2,2}\) be the open discs depicted in Figure 6, such that

(1)
\(B^\circ _{1,1}\) is the connected component of the complement of \(\mathcal {L}_1'\) not containing \(\mathcal {L}_1''\);

(2)
\(B^\circ _{1,2}\) is the connected component of the complement of \(\mathcal {L}_2'\) not containing \(\mathcal {L}_2''\);

(3)
\(B^\circ _{2,1}\) is the connected component of the complement of \(\mathcal {L}_1''\) not containing \(\mathcal {L}_1'\);

(4)
\(B^\circ _{2,2}\) is the connected component of the complement of \(\mathcal {L}_2''\) not containing \(\mathcal {L}_2'\).
Let \(B_{i,j}\) be the closure of \(B^\circ _{i,j}\). Let \(\beta _{1,1}, \beta _{1,2}, \beta _{2,1}, \beta _{2,2}, \delta _1, \delta _2\) be the classes in \(H_2(M, \mathcal {L})\) such that their pushforward in \(H_2(M, \mathcal {L}' \cup \mathcal {L}'')\) by \(\Phi \) are the classes determined by
where \(\pi _1:M \rightarrow S^2_{2B+C}\) and \(\pi _2:M \rightarrow S^2_{2a}\) are the projection to the two factors. In particular, the class \(A_{p,q}\) in (70) is given by \(\Phi _* (p\delta _1+ \beta _{1,2}+(q+1) \delta _2)\).
Note that, \(H_2(M, \mathcal {L})\) is freely generated by these six classes. Their symplectic areas are given by
By Lemma 3.26, to compute the superpotential of \(\mathrm {Sym}(\mathcal {L})\), there are two classes of \(\Phi ^*J_{M}\)holomorphic maps \(v:(\Sigma ,\partial \Sigma ) \rightarrow (M, \mathcal {L})\) we want to consider, namely, those such that \(\Sigma \) is a disjoint union of two discs \(\Sigma _0 \sqcup \Sigma _1\) and those such that \(\Sigma \) is connected. We consider the former case first. By Lemma 3.26, three of the maps \(v_i_{\Sigma _j}\) (for \(i=1,2\), \(j=0,1\)) are constants mapping to a point on the respective Lagrangian (boundary conditions) and the remaining one is a biholomorphism onto a disc. Therefore for each \(\beta _{k,l}\), the Maslov index 2 elements in \({\mathcal {M}}_{1,0}(\Sigma , \mathcal {L},\Phi ^*J_{M},\beta _{k,l})\) are precisely those v in Lemma 3.26(1) such that the only nonconstant map \(v_i_{\Sigma _j}\) is in class \(\beta _{k,l}\). Together with the trivial 2 to 1 covering from \(\Sigma \) to the disc, these v lift to a Maslov 2 holomorphic disc u in \(\mathcal {X}\) with boundary on \(\mathrm {Sym}(\mathcal {L})\). Moreover, by looking at the algebraic count of these v as in Lemma 3.27, it is easy to see that the virtual fundamental chain of the moduli containing u satisfies
where \({\widetilde{\beta }}_{k,l} \in H_2(\mathcal {X}, \mathrm {Sym}(\mathcal {L}))\) is the class corresponding to \(\beta _{k,l}\) (i.e. \(u_*[S]={\widetilde{\beta }}_{k,l}\) when \(v_*[\Sigma ]=\beta _{k,l}\)). Equation (100) holds because all the elements in \(({\mathcal {M}}_{1,0}(\mathrm {Sym}(\mathcal {L}),{\widetilde{\beta }}_{k,l}, 1, 1)\) are regular (which can be proved directly or by applying automatic regularity to v, cf. Remark 3.30) and it is easy to check that \(\mathrm{ev}_0\) is a degree \(\pm 1\) map to \(\mathrm {Sym}(\mathcal {L})\) (see Remark 4.2 below for the discussion of orientation).
We fix coordinates \((x_1,x_2,y_1,y_2)\) on \(H^1(\mathrm {Sym}(\mathcal {L}),\Lambda _0)/H^1(\mathrm {Sym}(\mathcal {L}),2 \pi \sqrt{1} {\mathbb {Z}})\) (playing the role of \(Y_i\) in (35)) such that the 4 families of holomorphic discs in classes \( {\widetilde{\beta }}_{1,1}, {\widetilde{\beta }}_{1,2}, {\widetilde{\beta }}_{2,1}\) and \( {\widetilde{\beta }}_{2,2}\) contribute the terms \(T^Bx_1\), \(T^ax_2^{1}\), \(T^By_1\) and \(T^ay_2^{1}\) in the superpotential, respectively (the areas of the discs and hence the Tpowers are as stated by an application of Lemma 3.1).
Remark 4.2
The coordinates \((x_1,x_2,y_1,y_2)\) are obtained as follows. We have identified \(\mathcal {L}'\) with \(\{z=r_1'\} \times \{w=r_2'\} \subset {\mathbb {C}}^2\). We apply the involution \(w \mapsto 1/w\) to the second factor to identify \(\mathcal {L}'\) with \(\{z=r_1'\} \times \{w=1/r_2'\} \subset {\mathbb {C}}^2\). In this description, we give each factor the counterclockwise orientation induced from \({\mathbb {C}}\), and we use these orientations to define \(x_1,x_2\). We identify each factor of \(\mathcal {L}'\) with \({\mathbb {R}}/{\mathbb {Z}}\) by \(\theta \mapsto e^{i\theta }\) and use the natural trivialization \(T{\mathbb {R}}={\mathbb {R}}^2\) to induce a trivialization of \(T({\mathbb {R}}/{\mathbb {Z}})\), which we call the translationinvariant trivialization. The trivialization of \(T\mathcal {L}'\) that we use to orient the moduli spaces of holomorphic discs is the product of the translationinvariant trivializations in the factors of this chart \({\mathbb {C}}^2\), compare to [Cho04, Section 8] (whose conventions we are following). Similarly, we apply \(z \mapsto 1/z\) to the first factor to identify \(\mathcal {L}''\) with \(\{z=1/r_1''\} \times \{w=r_2''\} \subset {\mathbb {C}}^2\) and take the induced orientation and translationinvariant trivialization on the factors.
We now arrange that \((z,w) \mapsto (1/z,1/w)\) maps \(\mathcal {L}'\) to \(\mathcal {L}''\); this amounts to saying that the torus fibres \(\mathcal {L}'\) and \(\mathcal {L}''\) are swapped by a \(\pi \)rotation of the moment rectangle; this can be done without violating the ‘irrational slope’ Assumption 3.23 because the ‘slope’ varies continuously when we vary \(r_1', r_2'\). By construction this map respects the orientations and trivializations chosen.
There are 4 more families of holomorphic discs contributing to W. They are in classes \(\beta _{2,1}+\delta _1\), \(\beta _{2,2}+\delta _2\), \(\beta _{1,1}+\delta _1\) and \(\beta _{1,2}+\delta _2\) (or more precisely, their corresponding classes in \(H_2(\mathcal {X},\mathrm {Sym}(\mathcal {L}))\)), and the terms they contribute are \(T^{B+C}x_1^{1}\), \(T^ax_2\), \(T^{B+C}y_1^{1}\), and \(T^ay_2\) respectively.
From the discussion above, we conclude that the part of the superpotential of \(\mathrm {Sym}(\mathcal {L})\) arising from the contributions of smooth discs is given by
Note that (101) precisely takes into account all the Maslov 2 holomorphic curves of case (1) of Lemma 3.26.
We now consider a bulk deformation \({\mathbf {b}}_{\mathrm {orb}} [\mathcal {X}_1]\) for \({\mathbf {b}}_{\mathrm {orb}} \in \Lambda _+\). At this point, the Maslov 2 holomorphic curves from case (2) of Lemma 3.26 can also contribute to the bulk deformed superpotential.
Let \(v:\Sigma \rightarrow M\) be a genus g Maslov 2 holomorphic curve as in Lemma 3.26, case (2), and view v as a \(\Phi ^*J_{M}\)holomorphic map with boundary on \(\mathcal {L}\). By Lemma 3.26, we have
for some \(\eta _{1}, \eta _2 \ge 1\) and \(i,j \in \{1,2\}\). If there is a 2 to 1 branched covering map \(\pi _{\Sigma }\) from \(\Sigma \) to the unit disc S, then \(\pi _{\Sigma }\) has \(2g+2\) critical values (see Lemma 3.8). Therefore, the term of \(W^{\mathbf {b}}\) of \(\mathrm {Sym}(\mathcal {L})\) to which it contributes, via the tautological correspondence, is (cf. the end of Section 2.2)
for some \(c \in {\mathbb {C}}\), where \(f(x,y)=x_1,x_2^{1},y_1\) or \(y_2^{1}\) depending on \(\beta _{i,j}\).
Lemma 4.3
The lowest order contribution to \(W^{{\mathbf {b}}_{\mathrm {orb}} [\mathcal {X}_1]}\) from Maslov 2 holomorphic curves in Lemma 3.26 case (2) is given by
Proof
Note that, the smallest possible exponent of T in (103) is achieved when \(g=0\), \(\beta _{i,j}=\beta _{1,2}\) or \(\beta _{2,2}\), and \(\eta _1=1\). We proved in Lemma 3.31 that when \(\eta _1=1\) and \(\beta _{i,j} \in \{\beta _{1,2}, \beta _{2,2}\}\), there is no v such that \(\eta _2 > 1\). When \(\eta _2=1\), the holomorphic curves v are classified in Lemma 3.27. More precisely, they are regular and the algebraic count in each of the classes \(\beta _{1,2}+\delta _1+\delta _2\) and \(\beta _{2,2}+\delta _1+\delta _2\) is \(\pm 1\), and the two counts have the same sign by the symmetry of our choice of orientation and trivialization (see Remark 4.2, and also Remark 4.6).
In other words, for \(\beta ^{lift} \in H_2(\mathcal {X},\mathrm {Sym}(\mathcal {L}))\) being the corresponding lift of \(\beta _{1,2}+\delta _1+\delta _2\) or \(\beta _{2,2}+\delta _1+\delta _2\), the elements in \({\mathcal {M}}_{1,2, {\mathbf {x}}}(\mathrm {Sym}(\mathcal {L});\beta ^{lift}; [\mathcal {X}_1]^{\otimes 2},1)\) are regular and
Moreover, the signs of (105) are the same for \(\beta _{1,2}+\delta _1+\delta _2\) and \(\beta _{2,2}+\delta _1+\delta _2\).
The contribution of these curves to \(W^{{\mathbf {b}}_{\mathrm {orb}} [\mathcal {X}_1]}\) is therefore given by (104), with a contribution for each of the two orderings of the marked points (see Remark 3.30 and the end of Section 2.2). \(\square \)
From now on, we take \({\mathbf {b}}_{\mathrm {orb}}\) such that
Then (104) becomes \( \pm T^{B}(x_1y_1)^{1}(x_2+y_2)\) which is of the same order as the term \(T^B(x_1+y_1)\) in \(W_{{\text {smooth}}}\).
Write the toric boundary divisor of M as \(S_1+S_2\), where \(S_1\) (resp. \(S_2\)) is the sum of the two spheres with smaller (resp. larger) area. Let \(D_{S_1}\) be the image of \(S_1 \times M \subset M \times M\) in \(\mathcal {X}\) under the quotient map (i.e. this is the divisor of pairs of points at least one of which lies in \(S_1\)). It defines a cycle \([D_{S_1}]\) in \(H_6(\mathcal {X}_0)=H_6(\mathcal {X})\). Let \({\mathbf {b}}={\mathbf {b}}_1 [D_{S_1}]+{\mathbf {b}}_{\mathrm {orb}} [\mathcal {X}_1]\) with \({\mathbf {b}}_1 \in \Lambda _+\). To conclude the Proof of Theorem 1.6 (and hence Theorem 1.1), it suffices to find an appropriate \({\mathbf {b}}_1\) such that \(W^{\mathbf {b}}\) has a critical point in \((\Lambda _0 \setminus \Lambda _+)^4\).
Lemma 4.4
There exists \({\mathbf {b}}_1 \in \Lambda _+\) such that \(W^{\mathbf {b}}\) has 6 critical points with \(x_1=y_1\) and \(x_2=y_2\).
Proof
For simplicity of notation, we assume the sign in (104) is positive. The other case is similar.
Let G be the discrete monoid in \({\mathbb {R}}_{\ge 0}\) generated by \(BaC\) and C. Let \(\mathcal {I}_G \subset \Lambda _+\) be the following:
Note that the coefficients of (103) lie inside
For any \({\mathbf {b}}_1 \in \Lambda _+\), by directly applying (35) (and noting that the disc classes contributing the first, second and final terms of (101) have intersection number with \([D_{S_1}]\) being 0, 1 and 1, respectively), we have
Let \(W_{{\text {smooth}}}^{{\mathbf {b}}}\) denote those terms in \(W^{\mathbf {b}}\) arising from contributions by smooth holomorphic discs, so \(W_{{\text {smooth}}}^{{\mathbf {b}}}=W^{{\mathbf {b}}_1[D_{S_1}]}\) (from our choice of \({\mathbf {b}}= {\mathbf {b}}_1 [D_{S_1}]+{\mathbf {b}}_{\mathrm {orb}} [\mathcal {X}_1]\)).
For \({\mathbf {b}}_1 \in \mathcal {I}_G\), we have
where \(W_{hot}\) denotes the remaining ‘higher order terms’ contributions. Since \({\mathbf {b}}_1 \in \mathcal {I}_G\) and using the observation that the coefficients of (103) lie inside (108), we know that all the coefficients of terms in \(W_{hot}\) still lie inside (108). \(\square \)
Remark 4.5
In the argument below, we could absorb the term \(e^{{\mathbf {b}}_1}T^{B+C}(x_1^{1}+y_1^{1})\) in \(W^{{\mathbf {b}}_1[D_{S_1}]}\) to \(W_{hot}\); we do not do so to make it easier to track the explicit terms arising from the holomorphic curves considered previously.
The partial differentials of \(W^{\mathbf {b}}\) are given by
and similarly for \(\partial _{y_2}W^{\mathbf {b}}, \partial _{y_1}W^{\mathbf {b}}\).
Since we are looking for solutions such that \(x_1=y_1\) and \(x_2=y_2\), by the symmetry between x and y, it suffices to find \(x_1,x_2 \in \Lambda _0 \setminus \Lambda _+\) simultaneously solving
or equivalently
Note that \(T^{a}\partial _{x_2}W_{hot}\) and \( T^{B}\partial _{x_1}W_{hot}\) belong to \(\mathcal {I}_G\).
The leading order term equations are (cf. (5))
which admit 6 solutions in \(({\mathbb {C}}^*)^2\) given by \(x_2=\pm 1\) and \((x_1)^{3}= \pm \frac{1}{2}\).
We aim to solve the Equations (115) and (116) inductively. We enumerate the elements in G by \(0<g_1<g_2< \dots \).
By (117), the Equations (115) and (116) are solvable modulo \(T^{g_1}\). Suppose that there is \({\mathbf {b}}_1={\mathbf {b}}_{1,N} \in \mathcal {I}_G\) such that (115) and (116) can be solved by \(x_1=x_{1,N},x_2=x_{2,N} \in \mathcal {I}_G\) modulo \(T^{g_{N}}\). It means that, modulo \(T^{g_{N+1}}\) and after plugging in \(x_1=x_{1,N},x_2=x_{2,N}\) and \({\mathbf {b}}_1={\mathbf {b}}_{1,N}\), we have
for some \(c_1,c_2 \in {\mathbb {C}}\).
Note that, for any \(c \in {\mathbb {C}}\), and modulo \(T^{g_{N+1}}\), we have
because the leading terms of \(x_{2,N}\) and \(x_{1,N}^{3}\) are \(\pm 1\) and \( \pm \frac{1}{2}\), respectively.
This means that if we define \(x_{2,N+1}=x_{2,N} \pm \frac{c_1}{2}T^{g_N}\), \(x_{1,N+1}=x_{1,N}\) and \({\mathbf {b}}_{1,N+1}={\mathbf {b}}_{1,N}+(c_2 + \frac{c_1}{2})T^{g_N}\), then we can solve the Equations (118) and (119) modulo \(T^{g_{N+1}}\), simultaneously. This completes the inductive step, and hence the proof. \(\square \)
Remark 4.6
Lemma 4.3 computed the lowest order contribution to \(W^{{\mathbf {b}}_{\mathrm {orb}} [\mathcal {X}_1]}\) arising from the Maslov 2 holomorphic curves of Lemma 3.26, case (2). Exactly two curves contribute. When working with a different trivialization of \(T\mathcal {L}\), it might be that the two curves contribute terms as in (104) but with different signs. Even in this case, one can check that \(W^{{\mathbf {b}}}\) will still have critical points for some appropriate \({\mathbf {b}}\). Recall that \(D_{S_1}\) is the image of \(S_1 \times M\) under the quotient map \(M \times M \rightarrow \mathrm {Sym}^2(M)\). The divisor \(S_1\) has two connected components, given by the two irreducible components of the toric boundary of M that have smaller area. One can ‘correct’ for a difference in orientation signs for the holomorphic curves arising in the Proof of Lemma 4.3 by taking the coefficients in \({\mathbf {b}}\) of the two connected components of \(D_{S_1}\) to be different.
Remark 4.7
Let \(\pi _{HC}: \mathrm {Hilb}^2(M) \rightarrow \mathcal {X}\) be the HilbertChow morphism, and let \(D_{HC} \subset \mathrm {Hilb}^2(M)\) be the HilbertChow divisor. There is a Kähler form \(\omega _{\mathrm {Hilb}^2(M)}\) that agrees with \(\pi _{HC}^* \omega _{\mathcal {X}}\) away from a small neighborhood of \(D_{HC}\) (see [Per07, Per08] for the construction). Since the Lagrangian \(\mathrm {Sym}(\mathcal {L})\) lies in the smooth locus of \(\mathcal {X}\), the preimage \(\mathrm {Sym}(\mathcal {L})':=\pi _{HC}^{1}(\mathrm {Sym}(\mathcal {L}))\) is a Lagrangian submanifold of the Hilbert scheme. We briefly explain why \(\mathrm {Sym}(\mathcal {L})'\) is nondisplaceable for a particular symplectic form on the Hilbert scheme.
Let \(J_{\mathcal {X},\Phi }\) be the symmetric product of \(\Phi ^*J_M\), and \(J_{\mathrm {Hilb}^2(M),\Phi }\) be the complex structure on \(\mathrm {Hilb}^2(M)\) such that \(\pi _{HC}\) is \((J_{\mathcal {X},\Phi },J_{\mathrm {Hilb}^2(M),\Phi })\)holomorphic. If \(u':S \rightarrow \mathrm {Hilb}^2(M)\) is a \(J_{\mathrm {Hilb}^2(M),\Phi }\)holomorphic disc with boundary on \(\mathrm {Sym}(\mathcal {L})'\), then \(u:=\pi _{HC} \circ u'\) is a \(J_{\mathcal {X},\Phi }\)holomorphic disc with boundary on \(\mathrm {Sym}(\mathcal {L})\). We remark that when \(u'\) is a stable map with sphere components, it is possible that spheres are mapped entirely into \(D_{HC}\), and that u maps such sphere components entirely into the orbifold locus. Conversely, if \(u:S \rightarrow \mathcal {X}\) is a \(J_{\mathcal {X},\Phi }\)holomorphic disc with no sphere components lying entirely in the orbifold locus, then it hits the orbifold locus at finitely many points. This can be lifted uniquely to a \(J_{\mathrm {Hilb}^2(M),\Phi }\)holomorphic disc \(u':S \rightarrow \mathrm {Hilb}^2(M)\) such that \(u'\) has no sphere components mapping entirely into \(D_{HC}\). In this case, the virtual dimensions of the moduli containing u and \(u'\) are the same.
With this partial correspondence between holomorphic discs, we can partially compute the superpotential of \(\mathrm {Sym}(\mathcal {L})'\) from the superpotential of \(\mathrm {Sym}(\mathcal {L})\). First of all, \(\mathrm {Sym}(\mathcal {L})'\) does not bound any \(J_{\mathrm {Hilb}^2(M),\Phi }\)holomorphic disc \(u'\) with Maslov index \(<2\), because otherwise \(u=\pi _{HC} \circ u'\) would be a \(J_{\mathcal {X},\Phi }\)holomorphic disc bound by \(\mathrm {Sym}(\mathcal {L})\) with too small virtual dimension. Secondly, the lower order terms of the superpotential of \(\mathrm {Sym}(\mathcal {L})'\) and \(\mathrm {Sym}(\mathcal {L})\) can be identified by the (partial) correspondence. More precisely, a holomorphic disc u with area \(\Theta \) which hits the orbifold locus at finitely many points (with algebraic intersection h in total) lifts to a holomorphic disc \(u'\) of area \(\Theta hr\) for some \(r>0\) depending only on \(\omega _{\mathrm {Hilb}^2(M)}\). Since the lowest order Maslov 2 holomorphic annuli (104) correspond to holomorphic discs which have area \(a+C\) and hit the orbifold locus at 2 points, we need \(2r=a+CB\) for the lifted disc to have area B. On the other hand, \(D_{S_1}\) lifts to a smooth divisor D in \(\mathrm {Hilb}^2(M)\). When \(2r=a+CB\), we can take \({\mathbf {b}}={\mathbf {b}}_1[D]\) to deform the superpotential of \(\mathrm {Sym}(\mathcal {L})'\) in such a way that the leading term equations of the bulk deformed superpotentials of \(\mathrm {Sym}(\mathcal {L})'\) and \(\mathrm {Sym}(\mathcal {L})\) agree. The rest of the argument then follows on similar lines to that given previously.
Notes
 1.
Strictly, it is necessary to work with a countably generated subcomplex of the smooth singular chain complex, which we grade cohomologically, i.e. by codimension. In a slight abuse of notation, we use \(e_L\) to denote both a simplicial representative of the fundamental class in \(C^0(L)\), and the unit \(1 \in H^0(L)\) after we take a minimal model and pass to cohomology.
 2.
The dimension d should be interpreted as the dimension of the moduli space minus the dimension of the automorphism group.
 3.
i.e. \(\sum _{e \text { adjacent to } v} w_es_e=0 \), where \(w_e\) is the weight of e and \(s_e\) is the primitive direction of h(e) pointing towards h(v).
References
L. V. Ahlfors. Complex analysis, third ed., McGrawHill Book Co., New York, (1978), An introduction to the theory of analytic functions of one complex variable, International Series in Pure and Applied Mathematics.
A. Adem, J. Leida, and Y. Ruan. Orbifolds and stringy topology, Cambridge Tracts in Mathematics, vol. 171, Cambridge University Press, Cambridge, (2007).
D. Auroux. Mirror symmetry and \(T\)duality in the complement of an anticanonical divisor, Journal of Gökova Geometry Topology 1 (2007), 51–91.
D. Auroux. Fukaya categories of symmetric products and bordered HeegaardFloer homology, Journal of Gökova Geometry Topology GGT 4 (2010), 1–54.
P. Bousseau. Towards DAHA from tropical geometry, A talk delivered in the workshop Mirror Symmetry and Cluster Algebras in July 2019, Cambridge, U.K. (2019).
C.H. Cho. Holomorphic discs, spin structures, and Floer cohomology of the Clifford torus, International Mathematics Research Notices (35) (2004), 1803–1843.
K. Cieliebak and K. Mohnke. Symplectic hypersurfaces and transversality in GromovWitten theory, Journal of Symplectic Geometry (3)5 (2007), 281–356.
K. Costello. Higher genus Gromov–Witten invariants as genus zero invariants of symmetric products, Annals of Mathematics (2) (2)164 (2006), 561–601.
C.H. Cho and M. Poddar. Holomorphic orbidiscs and Lagrangian Floer cohomology of symplectic toric orbifolds, Journal of Differential Geometry (1)98 (2014), 21–116.
W. Chen and Y. Ruan. Orbifold GromovWitten theory, Orbifolds in mathematics and physics (Madison, WI, 2001), Contemporary Mathematics, vol. 310, American Mathematical Society, Providence, RI, (2002), pp. 25–85.
W. Chen and Y. Ruan. A new cohomology theory of orbifold,Communications in Mathematical Physics (1)248 (2004), 1–31.
F. Charest and C. Woodward. Floer cohomology and flips, Memoirs of the American Mathematical Society (to appear). Available at 1508.01573 (2015).
S. Donaldson. Riemann surfaces, Oxford Graduate Texts in Mathematics, vol. 22, Oxford University Press, Oxford, (2011).
S. Donaldson and I. Smith. Lefschetz pencils and the canonical class for symplectic fourmanifolds, Topology (4)42 (2003), 743–785.
K. Fukaya, Y.G. Oh, H. Ohta, and K. Ono. Lagrangian intersection Floer theory: anomaly and obstruction. Part I, AMS/IP Studies in Advanced Mathematics, vol. 46, American Mathematical Society, Providence, RI; International Press, Somerville, MA, (2009).
K. Fukaya, Y.G. Oh, H. Ohta, and K. Ono. Lagrangian intersection Floer theory: anomaly and obstruction. Part II, AMS/IP Studies in Advanced Mathematics, vol. 46, American Mathematical Society, Providence, RI; International Press, Somerville, MA, (2009).
K. Fukaya, Y.G. Oh, H. Ohta, and K. Ono. Lagrangian Floer theory on compact toric manifolds. I, Duke Mathematical Journal (1)151 (2010), 23–174.
K. Fukaya, Y.G. Oh, H. Ohta, and K. Ono. Lagrangian Floer theory on compact toric manifolds II: bulk deformations, Selecta Mathematica (N.S.) (3)17 (2011), 609–711.
K. Fukaya, Y.G. Oh, H. Ohta, and K. Ono. Toric degeneration and nondisplaceable Lagrangian tori in \(S^2\times S^2\), International Mathematics Research Notices (13) (2012), 2942–2993.
K. Fukaya, Y.G. Oh, H. Ohta, and K. Ono. Construction of Kuranishi structures on the moduli spaces of pseudo holomorphic disks: I, Surveys in differential geometry 2017. Celebrating the 50th anniversary of the Journal of Differential Geometry, Surveys in Differential Geometry, vol. 22, Int. Press, Somerville, MA, (2018), pp. 133–190.
K. Fukaya. Cyclic symmetry and adic convergence in Lagrangian Floer theory, Kyoto Journal of Mathematics (3)50 (2010), 521–590.
M. Gross, R. Pandharipande, and B. Siebert. The tropical vertex, Duke Mathematical Journal (2)153 (2010), 297–362.
M. Gross. Mirror symmetry for \({\mathbb{P}}^2\) and tropical geometry, Advance Mathematics (1)224 (2010), 169–245.
H. Hofer, V. Lizan, and J.C. Sikorav. On genericity for holomorphic curves in fourdimensional almostcomplex manifolds, Journal of Geometric Analysis (1)7 (1997), 149–159.
E. Lerman. Orbifolds as stacks?, L’Enseignement mathématique (2) (34)56 (2010), 315–363.
R. Lipshitz. A cylindrical reformulation of Heegaard Floer homology, Geometry & Topology10 (2006), 955–1096, [Paging previously given as 955–1097].
F. Madani and M. Nisse. Analytic varieties with finite volume amoebas are algebraic, Journal für die reine und angewandte Mathematik 706 (2015), 67–81.
D. McDuff and D. Salamon. \(J\)holomorphic curves and symplectic topology, American Mathematical Society Colloquium Publications, vol. 52, American Mathematical Society, Providence, RI, (2004).
C. Y. Mak and I. Smith. FukayaSeidel categories of Hilbert schemes and parabolic category \({\cal{O}}\), arXiv:1907.07624 (2019).
D. McDuff, M. Tehrani, K. Fukaya, and D. Joyce. Virtual fundamental cycles in symplectic topology, Mathematical Surveys and Monographs, vol. 237, American Mathematical Society, Providence, RI, (2019), Papers based on the lecture courses held at Simons Center for Geometry and Physics, 2013–2014, Edited by John W. Morgan.
Z. Nehari. Conformal mapping, McGrawHill Book Co., Inc., New York, Toronto, London, (1952).
P. Ozsváth and Z. Szabó. Holomorphic disks and topological invariants for closed threemanifolds, Annals of Mathematics (2) (3)159 (2004), 1027–1158.
T. Perutz. Lagrangian matching invariants for fibred fourmanifolds. I, Geometry & Topology 11 (2007), 759–828.
T. Perutz. Lagrangian matching invariants for fibred fourmanifolds. II, Geometry & Topology (3)12 (2008), 1461–1542.
L. Polterovich. The geometry of the group of symplectic diffeomorphisms, Lectures in Mathematics ETH Zürich, Birkhäuser Verlag, Basel, (2001).
I. Satake. On a generalization of the notion of manifold, Proceedings of the National Academy of Sciences of the United States of America 42 (1956), 359–363.
I. Satake. The GaussBonnet theorem for \(V\)manifolds, Journal of the Mathematical Society of Japan 9 (1957), 464–492.
I. Smith. SerreTaubes duality for pseudoholomorphic curves, Topology (5)42 (2003), 931–979.
M. Usher. The Gromov invariant and the DonaldsonSmith standard surface count, Geometry & Topology 8 (2004), 565–610.
Acknowledgements
This project was influenced by a set of related questions raised to the authors by Emmanuel Opshtein. We are grateful to Pierrick Bousseau for discussions of his ongoing work on scattering diagrams [Bou19], to Mohammed Abouzaid and Kaoru Ono for their interest, and to the referee for numerous helpful comments and expositional suggestions. The authors are partially supported by Fellowship EP / N01815X / 1 from the Engineering and Physical Sciences Research Council, U.K.
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Mak, C.Y., Smith, I. Nondisplaceable Lagrangian links in fourmanifolds. Geom. Funct. Anal. 31, 438–481 (2021). https://doi.org/10.1007/s00039021005628
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00039021005628