Abstract
We look at how one can construct from the data of a dimer model a Lagrangian submanifold in \((\mathbb {C}^*)^n\) whose valuation projection approximates a tropical hypersurface. Each face of the dimer corresponds to a Lagrangian disk with boundary on our tropical Lagrangian submanifold, forming a Lagrangian mutation seed. Using this we find tropical Lagrangian tori \(L_{T^2}\) in the complement of a smooth anticanonical divisor of a toric delPezzo whose wallcrossing transformations match those of monotone SYZ fibers. An example is worked out for the mirror pair \((\mathbb {CP}^2{\setminus } E, W), {\check{X}}_{9111}\). We find a symplectomorphism of \(\mathbb {CP}^2{\setminus } E\) interchanging \(L_{T^2}\) and a SYZ fiber. Evidence is provided that this symplectomorphism is mirror to fiberwise Fourier–Mukai transform on \({\check{X}}_{9111}\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Homological mirror symmetry and tropical geometry
Tropical geometry plays an important role in mirror symmetry, a duality proposed in [10] between symplectic geometry on a space X, and complex geometry on a mirror space \({\check{X}}\). A proposed mechanism for constructing pairs of mirror geometries comes from SYZ mirror symmetry [37] where X and \({\check{X}}\) have dual Lagrangian torus fibrations over a common affine manifold Q.
From this viewpoint, mirror symmetry is recovered by degenerating the symplectic geometry of X and complex geometry of \({\check{X}}\) to tropical geometry on the base Q. In the complex setting, this degeneration was studied by [24, 27], where a correspondence between the valuations of complex curves (called the amoeba) and tropical curves was established. More recently, tropicalLagrangian correspondences have been constructed in the parallel works of [19, 26, 28, 30]. These papers show that for a given tropical curve \(V\subset Q\) there exists a Lagrangian submanifold \(L(V)\subset X\) with \({{\,\mathrm{val}\,}}(X)\) approximating V.
A more precise relation of these two geometries is the homological mirror symmetry conjecture of [22]. This predicts that Lagrangian submanifolds of X and complex submanifolds of \({\check{X}}\) should be compared as objects via a mirror functor between the categories \({{\,\mathrm{Fuk}\,}}(X)\) and \(D^b{{\,\mathrm{Coh}\,}}({\check{X}})\). An expectation is that homological and SYZ mirror symmetry interact by relating Lagrangian torus fibers of \({{\,\mathrm{val}\,}}: X\rightarrow Q\) to skyscraper sheaves of points on \({\check{X}}\), and sections of the Lagrangian torus fibration to line bundles of \({\check{X}}\).
This intuition was used in [1] which proved that the Fukaya–Seidel category \({{\,\mathrm{Fuk}\,}}((\mathbb {C}^*)^n, W_\Sigma )\) is equivalent to \(D^b{{\,\mathrm{Coh}\,}}({\check{X}}_\Sigma )\), the derived category of coherent sheaves on a mirror toric manifold. This was achieved by using tropical geometry to construct Lagrangian sections of \({{\,\mathrm{val}\,}}:(\mathbb {C}^*)^n\rightarrow \mathbb {R}^n\), and to show that these were mirror to line bundles on \({\check{X}}_\Sigma \). In [19], it was shown that the tropicalLagrangian and tropicalcomplex correspondences are compatible with this mirror functor, in the sense that when a tropical hypersurface V is approximated by \({\check{{{\,\mathrm{val}\,}}}}(D)\) for a divisor D, the Lagrangian L(V) is mirror to the sheaf \(\mathcal O_D\). This extends the relation between homological and SYZ mirror symmetry to sheaves beyond line bundles and skyscrapers of points.
1.2 Wallcrossings and Lagrangian mutation
Lagrangian submanifolds have a moduli as objects of the Fukaya category. For example, the moduli space of Lagrangian torus fibers of the SYZ fibration equipped with local systems is expected to be the mirror space \({\check{X}}\). A handson approach to understanding this moduli space is to build complex coordinate charts. These coordinate functions are locally constructed using the flux homomorphism between SYZ fibers, where the flux is weighted by the local systems. An expectation is that Gromov–Witten potential, a weighted count of holomorphic disks with boundary on these Lagrangian tori, gives a holomorphic function on the moduli space. A first example are the product tori in \(\mathbb {C}^2\), which bound two holomorphic disks, and whose GW potential is given by the sum of the two standard flux coordinates.
The presence of bubbling of holomorphic disks in families of Lagrangians leads to a difficulty in this theory where a discontinuity appears in the disk counts used to construct the GW potential. In [5] these discontinuities are explained in terms of a wallcrossing correction which describes how such bubblings can be appropriately incorporated into the flux coordinates on the space. For example, the monotone Chekanov and product tori in \(\mathbb {C}^2\) are related by a Lagrangian isotopy which exhibits one of these wallcrossing corrections.
This technique inspired [41] to produce examples of nonHamiltonian isotopic monotone Lagrangians in toric delPezzos. These Lagrangians are constructed by Lagrangian isotopies where wallcrossing occurs; thus the Lagrangians have related (but not equal) holomorphic disk counts. This distinguishes the Hamiltonian isotopy classes of these Lagrangian submanifolds. A framework for this story was developed by [33], which showed that Lagrangians constructed via Lagrangian mutation (a kind of Lagrangian surgery presented in [18]) had disk counts which were related by a wallcrossing transformation. The examples considered in [41] were shown to be constructed via this Lagrangian mutation process.
1.3 Statement of main results
The goal of this paper is to extend the constructions of [19] to Lagrangian fibrations \(X\rightarrow Q\) which are almost toric (and so may admit some fibers with singularities). In doing so, we shed some light on questions laid out in [26, section 6.3] regarding the homological mirror symmetry interpretation of monotone tropical Lagrangian tori in toric delPezzos.
This paper first provides an alternate description of the tropical Lagrangian submanifolds from [19] using the combinatorics of dimers (classically, an embedded bipartite graph \(G\subset T^2\)). To a dimer we construct an exact Lagrangian in \((\mathbb {C}^*)^n\) whose valuation projection lies near a tropical curve (Definition 3.1.4, Corollary 3.1.10). The argument projection \(\arg : (\mathbb {C}^*)^n\rightarrow T^n\) of this Lagrangian is related to the dimer initially chosen. We can find a set of Lagrangian mutations based on the combinatorics of the dimer graph.
Lemma
(DimerMutation Correspondance, Restatement of 3.3.2) Let L be a Lagrangian described by the dimer \(G\subset T^2\). Suppose a face f of G has boundary satisfying the zero weight condition (Definition 3.1.6). Then we can construct another Lagrangian by mutation, \(\mu _{D_f} L\), whose argument projection can be explicitly described by another dimer.
This motivates the construction of tropical Lagrangian submanifolds inside of toric delPezzos. In the case where \(\dim _\mathbb {C}(X)=2\), the singular fibers of a toric fibration \(X\rightarrow Q\) can be chosen to be of a particularly nice form. We then call Q an almosttoric base diagram, which has the structure of a tropical manifold. We show that tropical curves \(V\subset Q\) meeting the discriminant locus of Q admissibly admit Lagrangian lifts \(L(V)\subset Q\). We then use this to construct some tropical Lagrangian tori in toric delPezzos. As Lagrangian tori, these are interesting because in the complement of an anticanonical divisor they are not isotopic to those constructed in [41].
Theorem
(Restatement of 4.1.3, 5.1.1) Let X be a toric delPezzo. Let \(E\subset X\) be a smooth anticanonical divisor chosen so that there is an SYZ fibration \(X{\setminus } E\rightarrow Q\) obtained from pushing in the corners of the Delzant polytope. There exists a tropical Lagrangian torus \(L_{T^2}\subset X{\setminus } E\) which is not isotopic to \(F_q\), the fiber of the moment map. Furthermore both \(L_{T^2}\) and \(F_q\) bound matching configurations of Lagrangian antisurgery disks, giving them matching Lagrangian mutations.
The observation that there exists a correspondence between the antisurgery disks with boundary on \(L_{T^2}\) and \(F_q\) suggests that, although they represent different objects in the Fukaya category, there is autoequivalence of the Fukaya category interchanging the Lagrangians \(L_{T^2}\) and \(F_q\). Furthermore, we show that a variation of this construction works more generally whenever one has a certain kind of Lagrangian mutation seed.
We look to mirror symmetry for why mutation configurations (like those considered by Vianna in toric Fanos) give tropical Lagrangian tori, and restrict to the example of \(X=\mathbb {CP}^2\). The mirror to \(\mathbb {CP}^2{\setminus } E\) is known to be \({\check{X}}_{9111}\), an extremal rational elliptic surface. There is an automorphism of \(D^b{{\,\mathrm{Coh}\,}}({\check{X}}_{9111})\) (a fiberwise Fourier–Mukai transform) which interchanges the moduli of points with the moduli of degree 0 line bundles supported on the elliptic fibers. Provided that a generation result for the Fukaya category of \(\mathbb {CP}^2{\setminus } E\) is known, we can state what \(L_{T^2}\) is as an object of the Fukaya category.
Theorem
(Restatement of 5.3.2, 5.3.8) There exists a symplectomorphism \(g:(\mathbb {CP}^2{\setminus } E)\rightarrow (\mathbb {CP}^2{\setminus } E)\) interchanging \(L_{T^2}\) to \(F_q\). With Assumption 5.3.6, \(L_{T^2}\) is mirror to a line bundle supported on an elliptic fiber of \({\check{X}}_{9111}\).
1.4 Outline of construction
We now outline the rest of this paper, focusing on the construction of the Lagrangian \(L_{T^2}\), its surgery disks, and the symplectomorphism \(g: \mathbb {CP}^2{\setminus } E\rightarrow \mathbb {CP}^2{\setminus } E\). Section 2 starts with some necessary background and notation. In Sect. 2.1, we look at Lagrangian surgery, antisurgery, and mutations. These are the tools which we use to build tropical Lagrangian submanifolds and to describe the Lagrangian mutation phenomenon which becomes the focus of inquiry. Section 2.2 reviews tropical geometry on affine manifolds, with an emphasis on dimension two.
Section 3 extends the results of [19] to construct tropical Lagrangian submanifolds from the data of a dimer. This involves giving a definition for a dualdimer (Definition 3.0.2) in higher dimensions as a collection of polytopes \(\{\Delta ^\circ _v\}, \{\Delta ^\bullet _w\}\) in the torus \(T^n\) whose vertices have a matching condition imposed on them (see Fig. 1a). We show that such a collection of polytopes corresponds to a tropical hypersurface in \(\mathbb {R}^n\). In Sect. 3.1 we construct from this collection of polytopes a Lagrangian whose valuation projection lies nearby the corresponding tropical hypersurface, and whose argument projection matches the dual dimer. Section 3.2 is a slight detour from the main focus of the paper to provide a combinatorial model for the Floertheoretic support of a tropical Lagrangian in terms of the Kasteleyn operator (similar to the computation in [39] for microlocal sheaf theory).
The Lagrangian mutation story is introduced in Sect. 3.3, where we show that each face of the dimer builds a Lagrangian antisurgery disk on the corresponding Lagrangian. These faces arise as sections of the argument projection over the complement of the polytopes in the dual dimer. We additionally show that Lagrangian mutation across these disks can be understood as a modification of the underlying combinatorial dimer. See Fig. 1a.
In Sect. 4, we generalize beyond tropical Lagrangians in \((\mathbb {C}^*)^n\) to tropical Lagrangians in almost toric fibrations. We show that a tropical curve in an almost toric base diagram has a Lagrangian lift by constructing a local model for the Lagrangian lift near the discriminant locus. In dimension 2, we prove that deformations of tropical curves lift to Lagrangian isotopies of their Lagrangian lifts.
Lemma
(Nodal Trade for Tropical Lagrangians) The local models for Lagrangian submanifolds in Fig. 1b are Lagrangian isotopic.
This lemma becomes a convenient tool for constructing isotopies of Lagrangian submanifolds, and is based on a method in used in [4] to compare Lagrangians inside of Lefschetz fibrations. Both the lifting and isotopies of tropical curves are achieved by modeling a node in the almost toric base diagram with a Lefschetz fibration. Tropical Lagrangians are described in these neighborhoods as Lagrangian surgeries of Lagrangian thimbles.
In Sect. 5 we apply the tropical lifting construction from the previous section to build tropical Lagrangian tori in toric delPezzos disjoint from an anticanonical divisor (see Fig. 1c). The vertex of the tropical Lagrangian is modeled on a dimer. A computation shows that the mutation directions of this dimer match the ones known from [33, 42]. This constructs the tropical Lagrangian tori from the first theorem.
Finally, in Sect. 5.2 we present an indepth example of homological mirror symmetry for the example of \(\mathbb {CP}^2{\setminus } E\) following [3]. The main observation is that we may choose E to be a member of the Hesse pencil of elliptics, which has a large amount of symmetry. Using this observation, we take \(g: \mathbb {CP}^2{\setminus } E\rightarrow \mathbb {CP}^2{\setminus } E\) to be a pencil automorphism which fixes E, but switches its meridional and longitudinal directions. The Lagrangian \(L_{T^2}\) is compared to a Lagrangian in a neighborhood of E using the mutation and nodaltrade operation for tropical Lagrangians. It is then observed that \(F_q\), a fiber of the SYZ fibration, also may be isotoped so that it too lives near E. In a neighborhood of E, we see that g interchanges these two Lagrangians. We also present \(L_{T^2}\) as a surgery of Lagrangian thimbles which are expected to generate the Fukaya category of \(\mathbb {CP}^2{\setminus } E\), which characterizes the mirror object to \(L_{T^2}\) in \(D^b{{\,\mathrm{Coh}\,}}({\check{X}}_{9111})\).
2 Some background
2.1 Lagrangian surgery and mutations
Lagrangian surgery is a tool for modifying a Lagrangian along its self intersection locus. It was introduced by [32] in the case where a Lagrangian is immersed with transverse selfintersections. In this setting, a neighborhood of the transverse intersection is replaced with a Lagrangian neck. We will be using two similar notions of surgery. One extension is antisurgery along isotropic surgery disks [18].
Theorem 2.1.1
[18] Suppose that \(D^k\) is an isotropic disk with boundary contained in L and cleanly intersecting L along the boundary. Then there exists an immersed Lagrangian \(\alpha _D(L)\subset X\) called the Lagrangian antisurgery of L along D, which satisfies the following properties

\(\alpha _D(L)\) is topologically obtained by performing surgery along \(D^k\),

\(\alpha _D(L)\) agrees with L outside of a small neighborhood of \(D^k\),

If L was embedded and disjoint from the interior of \(D^k\), then \(\alpha _D(L)\) has a single selfintersection point.
When we perform antisurgery of an embedded Lagrangian along a Lagrangian disk \(D^{n}\) the resulting Lagrangian has a single selfintersection.^{Footnote 1} There exists a choice of surgery neck so that the resolution of the selfintersection of \(\alpha _{D^n}(L)\) by Lagrangian surgery is L. However, if we choose a Lagrangian surgery neck in the opposite direction of the disk \(D^n\) to combine antisurgery with surgery, we can obtain a new embedded Lagrangian.
Definition 2.1.2
(Adapted from [33, Definition 4.9]). Let L be an embedded Lagrangian submanifold, and \(D^{n}\) a surgery disk. Let \(\alpha _D(L)\) be obtained from \(D^{n}\) by antisurgery. The mutation of L along \(D^n\) is the Lagrangian \(\mu _D(L)\) obtained from \(\alpha _D(L)\) by resolving the resulting single selfintersection point with the opposite choice of neck.
It is expected that Lagrangians submanifolds which are related by mutation give different charts on the moduli space of Lagrangian submanifolds in the Fukaya category, and that these charts are related by a wall crossing formula [33]. A typical example of Lagrangians related by mutation are the Chekanov and Clifford tori in \(\mathbb {C}^2\) obtained by taking two different resolutions of the Whitney sphere.
The second variation of Lagrangian surgery that we use is surgery along a nontransverse intersection with a particular collared neighborhood. This surgery replaces two Lagrangians with one in a neighborhood of their symmetric difference.
Proposition 2.1.3
Let \(L_0\) and \(L_1\) be two Lagrangians with boundary. Let \(U\subset L_0\) be an open neighborhood of \(L_0\cap L_1\). Suppose there exists a choice of collar neighborhood for the boundary of U
and a function \(f: U\rightarrow \mathbb {R}\) with the following properties:

On the collar, f depends only on the t variable, is decreasing and convex, and \(f(t_0)=t_0\).

The function vanishes on the complement of \(\partial U\times (0, t_0)_t\)

In a sufficiently small Weinstein neighborhood \(B^*_{c} U\), the Lagrangian \(L_1_{B^*_c U}\) is the graph of the section df.
Then there exists a Lagrangian \(L_0 \#_U^{r,s} L_1\) satisfying the following properties:

\(L_0\#_U^{r,s} L_1\) lives in a small neighborhood of the symmetric difference \((L_0\cup L_1){\setminus } (L_0 \cap L_1))\subset X\).

There exists a Lagrangian cobordism (in the sense of [6]) \(K: (L_0, L_1)\rightsquigarrow L_0\#_U^\epsilon L_1\)
The Hamiltonian isotopy class of \(L_0\#_U^{r,s} L_1\) is dependent on the choice of profile functions \(r:\mathbb {R}_{>t_0/2}\rightarrow \mathbb {R}, s: \mathbb {R}_{>t_0/2}\rightarrow \mathbb {R}\), whose properties are given in [19, Proposition 3.1].
The proof is analogous to the proof for the case when U is contractible presented in [19, Proposition 3.1.]. When we only need the Lagrangian isotopy class of \(L_0\#_U^{r,s} L_1\), we will drop the decorations of the profile functions and write \(L_0\#_U L_1\).
2.2 Affine and tropical geometry
We summarize a description of these tropical manifolds from [14].
Definition 2.2.1
An integral tropical affine manifold with singularities is a manifold with boundary Q containing an open subset \(Q_0\) such that

\(Q_0\) is an integral affine manifold with an atlas whose transition functions are in \(SL(\mathbb {Z}^n) < imes \mathbb {R}^n\).

\( \Delta := Q{\setminus } Q_0\), the discriminant locus, is codimension 2

\(\partial Q\subset Q\) can be locally modelled after a \(SL(\mathbb {Z}^n) < imes \mathbb {R}^n\) coordinate change on \(\mathbb {R}^{nk}\times \mathbb {R}_{\ge 0}^k.\)
We will be interested in tropical manifolds where the discriminant locus additionally comes with some affine structure. A tropical manifold is a pair \((Q, \mathcal P)\), where \(\mathcal P\) is a polyhedral decomposition of Q. For a full definition of the data of a tropical manifold \((Q, \mathcal P)\), we refer the reader to [14, Definition 1.27], and provide a short summary here. The vertices of this polyhedral decomposition are decorated with fan structures which are required to satisfy a compatibility condition so that the polyhedra may be glued with affine transitions across their faces. The compatibility need not extend to affine transitions in neighborhoods of the codimension 2 facets of the polyhedra, giving rise to the discriminant locus, a union of a subset of the codimension 2 faces. This determines the affine structure on \(Q_0\) completely. We call such a manifold an integral tropical manifold if all of the polyhedra are lattice polyhedra. For most of the examples that we consider, Q will be real 2dimensional, and the notions of tropical manifold and tropical affine manifold agree with each other.
2.2.1 Almost toric base diagrams
The majority of our focus will be in \(\dim (Q)= 2\), where there is a graphical notation for describing the affine geometry on Q and correspondingly the symplectic geometry of the 4dimensional symplectic manifold X [25, 36]. To describe the affine structure on Q, we describe the monodromy around the singular fibers. This can be done diagrammatically with the following additional data.
Definition 2.2.2
Let \((Q, \mathcal P)\) be a 2dimensional tropical manifold. Let \(Q^0\) be the set of singular points. At each point \(q_i \in Q^0\) we define the eigenray \(R_i\subset Q\) to be the ray in the base starting at \(q_i\) pointing in the eigendirection of the monodromy around \(q_i\). A base diagram is a map from \(Q{\setminus } \bigcup _i R_i\) to \(\mathbb {R}^2\) with the standard affine structure, with eigenrays marked with a dashed line at each singularity. We decorate the points \(q_i\) with the marker \(\times _k\), where the monodromy around \(q_i\) is a kDehn twist.
The Lagrangian fibers \(F_q\) of \(X\rightarrow Q\) can be described by the points in the base diagram.

If a point \(q\in Q{\setminus } \mathbb {R}\) has a standard affine neighborhood, then \(F_q\) is a Lagrangian torus.

If the point \(q\in Q{\setminus } \mathbb {R}\) has an affine neighborhood modelled on \(\mathbb {R}\times \mathbb {R}_{\ge 0}\) then fiber \(F_q\) is an elliptic fiber of corank 1, corresponding to an isotropic circle in X.

If the point \(q\in Q{\setminus } \mathbb {R}\) has an affine neighborhood modelled on \(\mathbb {R}_{\ge 0} \times \mathbb {R}_{\ge 0}\), the fiber \(F_q\) is an elliptic fiber of corank 2, which is simply a point in X.

If a point \(q\in Q{\setminus } \mathbb {R}\) belongs to the discriminant locus, then the fiber is a Whitney sphere (if \(k=1\)) or a plumbing of Lagrangians spheres (if \(k> 1\)).
The nodal slide, nodal trade, and cut transfer are operations which modify the affine structure of a base diagram Q but correspond to symplectomorphisms of \(X\rightarrow Q\). The nodal trade modifies a base diagram by replacing an elliptic corank 2 fiber with a nodal fiber in the neighborhood of an elliptic corank 1 fiber. This replaces a corner with a nodal fiber whose eigenline points in the balancing direction to the corner. See Fig. 2.
2.2.2 Tropical differentials
In the setting where \(Q=\mathbb {R}^n\), a tropical hypersurface is defined via the critical locus of a tropical function \(\phi : Q\rightarrow \mathbb {R}\). However, in the general setting of tropical manifolds there are sets which are locally described by the critical locus of tropical functions but cannot be globally described by a tropical function due to monodromy around the singular fibers. Since the construction of tropical Lagrangians only requires the differential of the tropical function, this is not problematic.
Definition 2.2.3
Let Q be a tropical manifold. The sheaf of tropical differentials on \(Q_0\) is the sheaf \(\Omega ^1_{{{\,\mathrm{aff}\,}}}\) on the space \(Q_0\). It is given by the sheafification of the quotient:
where \(\phi : U \rightarrow \mathbb {R}\) is a piecewise linear function satisfying the following conditions:

\(d\phi \in T^*_\mathbb {Z}U\) whenever \(d\phi \) is defined,

For every point \(q\in U\) there exists an integral affine neighborhood \(B_\epsilon (q)\) so that the restriction \(\phi _{B_\epsilon (q)}\) is concave.
The sheaf \(\mathbb {R}\) here is the sheaf of constant functions. The sheaf of integral tropical differentials is the subsheaf of constant sections of \(T^*_\mathbb {Z}(Q_0)\).
Let \(i:Q_0\hookrightarrow Q\) be the inclusion. We define the sheaf of tropical sections^{Footnote 2} to be the quotient sheaf
We will call the sections of this sheaf the tropical sections, and denote them \(\phi \in {{\,\mathrm{dTrop}\,}}(U)\).^{Footnote 3} Given a tropical section \(\phi \), we denote the locus of nonlinearity as \(V(\phi )\subset Q\). Should \(\phi \) have a representation in each chart by a smooth tropical polynomial, we say that \(\phi \) is smooth.
Remark 2.2.4
A point of subtlety: the quotient defining the sheaf of tropical sections is performed over Q, not \(Q_0\). Importantly, while the presheaves
agree, their sheafifications do not. In particular, the sheaf of tropical differentials remember that in the neighborhood of the discriminant locus, the tropical section must actually arise from a representative tropical differential.
The examples drawn in Figs. 3a–c and 4a illustrate how each component of Definition 2.2.3 is being used, and Fig. 4b gives an nonexample demonstrating the relevance of Remark 2.2.4.
When \(Q=\mathbb {R}^n\), there is no difference between the global sections of \({{\,\mathrm{dTrop}\,}}\) and the differentials of global tropical polynomials.
Given a triple \((Q, \mathcal P, \phi )\), one can construct a dual triple \(({\check{Q}}, \check{\mathcal P}, {\check{\phi }})\) using a process called the discrete Legendre transform. Away from the boundary the base manifolds Q and \({\check{Q}}\) agree as topological spaces, however their affine structures differ at the singular points. At the boundary these spaces are modified so that the noncompact facets of Q are compactified in \({\check{Q}}\) and viceversa. The simplest example of this phenomenon is when \({\check{Q}}= \Delta _\Sigma \subset \mathbb {R}^2\) is a compact polytope. The Legendre dual to \({\check{Q}}\) is the plane \(Q=\mathbb {R}^2\), equipped with a fan decomposition whose noncompact regions correspond to the boundary vertices of \({\check{P}}\).
Given a tropical manifold Q, we can produce a torus bundle \(X_0=T^*Q_0/T^*_\mathbb {Z}Q_0\) over \(Q_0\). This space \(X_0\) comes with canonical symplectic and almost complex structure arising from the affine structure on \(Q_0\). In good cases this compactifies to an almost toric fibration X over Q. Similarly, we may produce a associated manifold \({\check{X}}\) over \({\check{Q}}\). The pair of spaces X and \({\check{X}}\) are candidate mirror spaces. When Q is noncompact we expect that Q is equipped with additional data in the form of a monomial admissibility condition or stops in order to obtain a meaningful mirror symmetry statement. This admissibility condition should be constructed by considering the open Gromov Witten invariants of \({\check{F}}_p\). The computation of these invariants is beyond the scope of our exposition, and we’ll be content with constructing our admissibility conditions in an adhoc manner.
2.2.3 Some examples of tropical sections
A running example that we will use is the symplectic manifold \(\mathbb {CP}^2{\setminus } E\). One can construct an almost toric fibration for \(\mathbb {CP}^2{\setminus } E\) by starting with the toric base diagram for \(\mathbb {CP}^2\). By applying nodal trades at each corner, we obtain a toric fibration \(\overline{{{\,\mathrm{val}\,}}}:\mathbb {CP}^2\rightarrow Q_{\mathbb {CP}^2}\), where the boundary of \( Q_{\mathbb {CP}^2}\) is an affine \(S^1\) (see Fig. 2). The preimage of \({{\,\mathrm{val}\,}}^{1}(\partial Q_{\mathbb {CP}^2})=E\subset \mathbb {CP}^2\) is a symplectic submanifold isotopic to a smooth cubic. \(\mathbb {CP}^2{\setminus } E\) is the total space of an almost toric fibration over interior of this set, \(Q_{\mathbb {CP}^2{\setminus } E}= Q_{\mathbb {CP}^2}{\setminus } \partial Q \). The monodromy around the three singular fibers allows us to construct some more interesting tropical sections of Q. We give three such examples of these sections and their associated tropical subvarieties below.

Tropical sections which have critical locus close to the boundary of \(Q_{\mathbb {CP}^2{\setminus } E}\). Figure 5a gives an example of such a section. Even though the critical locus appears to have three corners, the affine coordinate change across the branch cuts means that this critical locus is actually an affine circle.

The example given in Fig. 5b is an example of a tropical section which does not arise as the differential of a globally defined tropical function. The critical locus terminates at the nodal point, and points in the direction of the eigenray of the nodal point.

Tropical sections which meet the singular fibers coming from admissible tropical sections as in Fig. 5c. This gives us an example of a compact tropical curve in Q of genus 1.
The examples above are typical of the kind of phenomenon which may occur for tropical curves in affine tropical surfaces.
Definition 2.2.5
Let \(V\subset Q\) be a tropical curve in an affine tropical surface. We say that V avoids the critical locus if V is disjoint from \(\Delta \) and \(\partial Q\). We say that the interior of V avoids the critical locus if V is disjoint from \(\partial Q\),and at each node \(q\in \Delta \), there is a neighborhood \(B_\epsilon (q)\) so that the restriction of \(V\cap B_\epsilon (q)\) is a ray parallel to the eigenray of q.
3 Tropical Lagrangians from dimers
We now introduce a combinatorial framework generalizing some of the ideas discussed in [26, Section 5.2], and the previous work of [11, 35, 39, 40].
Definition 3.0.1
A dimer is an embedded bipartite graph G on \(T^2\) so that \(V(G)=V^\circ \sqcup V^\bullet \). A nonembedded dimer is a bipartite graph G on \(T^2\). A zigzag configuration for a dimer G is a set of transverse cycles \(\Sigma \subset C_1(T^2)\) satisfying the following conditions:

Each connected component in \(T^2{\setminus } \Sigma \) contains at most one vertex of G. These connected components are called the dimer faces, and are indexed by V(G).

Each edge of the dimer is transverse to every cycle. Each edge passes through exactly one intersection point between 2 cycles.

The oriented normals of the cycles point outward on the \(V^\circ \) dimer faces, and inward on the \(V^\bullet \) dimer faces.
We will now restrict to the setting of dual dimers, where \(\Sigma \) is a collection of affine cycles. Denote by \([\Sigma ]\subset H_1(T^2)\) the set of homology classes of cycles in \(\Sigma \). Note that zigzag configurations \(\Sigma \) satisfy a balancing condition \(\sum _{[c]\in [\Sigma ]} [c]=0\). It is the case that for every set of homology classes \([\Sigma ]\subset H_1(T^2)\) satisfying the balancing condition, we can find a dimer whose zigzag collection \(\Sigma \) represents the homology classes \([\Sigma ]\) [16]. However, it is not necessarily the case that we can find an affine dimer with this property: see [12, Section 4]. A dimer picks out an oriented two chain whose boundary is \(\Sigma \). This is similar to the data used in [35]. More generally, we will consider pairs of the following form:
Definition 3.0.2
A dual ndimer is two finite collections of npolytopes
which satisfy the following properties.

Each vertex set \(\{\Delta ^{\bullet /\circ }_v\}^0\) is a set of distinct points on the torus in the sense that whenever \(w_1, w_2\in \{\Delta ^\circ _v\}^0\) and \(w_1\equiv w_2\mod \mathbb {Z}^{n}\),then \(w_1=w_2\).

We require that these two vertex sets match after quotienting by the lattice,
$$\begin{aligned} \{\Delta ^\circ _v\}^0/\mathbb {Z}^n=\{\Delta ^\bullet _w\}^0/ \mathbb {Z}^n. \end{aligned}$$ 
Let \(p_1\in \Delta ^\circ _{v_1}\) be a vertex, and let \(p_2\in \Delta ^\bullet _{v_2}\) be the corresponding vertex so that \(p_1\equiv p_2\mod \mathbb {Z}^n\). Let \(\{e_{1}, \ldots , e_{k}\}\) be the edges of \(\Delta ^{\circ }_{v_1}\) containing the vertex \(p_1\). We require that the edges of \(\Delta ^\bullet _{v_2}\) containing \(p_2\) point in the opposite directions \(\{e_{1}, \ldots , e_{k}\}.\)
If the interiors of the \(\Delta ^\circ _v\) and \(\Delta ^\bullet _w\) are disjoint \(\mod \mathbb {Z}^n\), we say that the dual dimer configuration has no selfintersections.
From this data, we obtain a bipartite graph \(G\subset T^{n}\), whose vertices are indexed by \(\{\Delta ^\circ _v\}\cup \{ \Delta ^\bullet _w\}\), and whose edges are determined by which polytopes in the dual dimer share a common vertex.
We will usually index the polytopes by the vertices \(v^{{\bullet /\circ }}\in V^\circ \sqcup V^\bullet = V(G)\). The edges of the bipartite graph are in bijection with \(\{\Delta ^\circ _v\}^0=\{ \Delta ^\bullet _w\}^0\). The graph G need not be embedded. If the polytopes \(\{\Delta _v^{\bullet /\circ }\}\) are disjoint, then G can be chosen to be embedded. A dual dimer prescribes the data of a nchain in \(T^n\). Our requirement that G is bipartite guarantees that this nchain is oriented.
We now briefly explore some of the combinatorics of these dual dimers to produce the data of a tropical hypersurface in \(\mathbb {R}^n\).
Claim 3.0.3
The edges of an dual dimer all have rational slope.
Proof
Let e be an edge of \(\Delta _v^\circ \), with ends on vertices \(p_,p_+\in \{\Delta _v^{\bullet /\circ }\}^0\). From our definition of a dual dimer, there exists an edge \(e_\) in some \(\Delta _{w}^\bullet \) which also has end on \(p_\) and is parallel to e. By concatenating \(e_\) and \(e_+\), we obtain a line segment. By repeating this process, we obtain an affine representative of a cycle in \(H_1(T^n, \mathbb {Z})\) associated to each edge e. \(\square \)
Claim 3.0.4
Let \(\{\Delta ^\circ _v\}, \{\Delta ^\bullet _w\}\) be a dual ndimer. Let \(\alpha \) be a facet of some \(\Delta ^\bullet _v\). Consider \(T^\alpha \subset T^n\), the affine \((n1)\) subtorus spanned by \(\alpha \). The set of \((n1)\) polytopes \(\Delta _\beta ^{\bullet /\circ }\) given by the facets of our original set of polytopes which satisfy
is the data of an \((n1)\) dimer on \(T^\alpha \).
By induction, we get the same result for all faces.
Corollary 3.0.5
Let \(\alpha \) be a kface of some \(\Delta ^\bullet _v\). Consider \(T^\alpha \subset T^n\), the affine subtorus spanned by \(\alpha \). The set of k polytopes given by the kfaces satisfying
is a dual kdimer of \(T^\alpha \).
Each of these k dimensional dual dimers gives the data of a kchain in \(T^\alpha \). We denote these kchains of \(T^n\),
This can also be thought of an equivalence relation on the set of kfaces of the dualdimer, where two faces are equivalent if they define the same dual kdimer chain. A cone is the real positive span of a finite set of vectors. Given a cone \(V\subset \mathbb {R}^n\), a subspace \(U\subset \mathbb {R}^n\), the Urelative dual cone of V is
To each kchain \(\underline{U}^\beta \) we can associate a cone in \(\mathbb {R}^n\).
Definition 3.0.6
Let \(\underline{U}^\beta \) be a chain given by a face \(\beta \subset \Delta ^{\bullet /\circ }_v\). Assume that we have translated \(\Delta ^{\bullet /\circ }_v\) so that the origin is an interior point of the face \(\beta \). Let \(\mathbb {R}^\beta \) be the affine subspace generated by \(\beta \). Let \((\mathbb {R}^\beta )^\bot \) be the corresponding perpendicular subspace. We define the dual cone to the face \(\underline{U}^\beta \) to be
Suppose that \(\alpha \) and \(\beta \) are facets in the same dual kdimer so that \(\underline{U}^\alpha =\underline{U}^\beta \). Let \(\alpha \subset \Delta _v^\bullet \), and suppose that \(\beta \subset \Delta _w^\bullet \). After translating \(\Delta _v^\bullet \) and \(\Delta _w^\bullet \) so that \(0\in \alpha \) and \(0\in \beta \), we get an agreement of the cones \(\mathbb {R}_{\ge 0}\cdot \Delta ^\bullet _v = \mathbb {R}_{\ge 0}\cdot \Delta ^\bullet _w\). Similarly, if \(\gamma \subset \Delta _u^\circ \) and \(\underline{U}^\gamma =\underline{U}^\alpha \), then \(\mathbb {R}_{\ge 0} \cdot \Delta ^\bullet _v = \mathbb {R}_{\ge 0} \cdot \Delta ^\circ _u\). It follows that:
Claim 3.0.7
If \(\underline{U}^\alpha \subseteq \underline{U}^\beta \), then \(\underline{U}_\alpha \supseteq \underline{U}_\beta \)
This also shows that the definition of the cone is really only dependent on the data of the kchain represented by the choice of face \(\alpha \), in that \(\underline{U}_\alpha =\underline{U}_\beta \) whenever \(U^\alpha = U^\beta \). Consider the polyhedral complex containing the subset \(U^\beta \). This complex satisfies the zero tension condition, and therefore describes a tropical subvariety of \(\mathbb {R}^n\). We will denote this tropical hypersurface by V, and the codimensionk strata of this tropical hypersurface by \(V^k\).
3.1 Dimer Lagrangians
From the data of a dimer, we now construct a Lagrangian inside of \(X=(\mathbb {C}^*)^n\). The construction of these Lagrangians are similar to the construction of tropical Lagrangians in [19, sections 3.1, 3.2]. Let \(Q=\mathbb {R}^n\), and \(T^*_\mathbb {Z}Q\) be the lattice in the cotangent bundle generated by \(dq_1, \ldots , dq_n\). We give X the symplectic structure via identification with \(T^*Q/T^*_\mathbb {Z}Q\), and let \({{\,\mathrm{val}\,}}: X\rightarrow Q\) be the valuation projection. The fibers of this projection are Lagrangian tori. We denote by \(\arg : X\rightarrow (T^*)_0Q/(T^*_\mathbb {Z})_0Q=T^n\) the argument projection to a torus fiber. The Newton polytope of a piecewise linear function \(\phi : Q\rightarrow \mathbb {R}\) is the convex hull of the projection of \(\text {Im}(d(\phi ))\) to \((T^*)_0Q=\mathbb {R}^n\), taken wherever the derivative is defined.
Definition 3.1.1
Let \(\Delta _v\subset \mathbb {R}^n\) be a polytope. The convex dual tropical function \(\phi ^\circ _v:Q\rightarrow \mathbb {R}\) is the convex piecewise strictly^{Footnote 4} linear function with Newton polytope \(\Delta _{v}\). Similarly, define \(\phi ^\bullet _v\) to be the concave dual tropical function, \(\phi ^\bullet _v=\phi ^\circ _{v}\).
Given a dual dimer \(\{\Delta ^\circ _v\},\{ \Delta ^\bullet _w\}\), let \(\{\phi ^\circ _v\},\{ \phi ^\bullet _w\}\) be the associated dual tropical functions. Following [19], let \(\tilde{\phi }^{{\bullet /\circ }}_\rho : \mathbb {R}^n\rightarrow \mathbb {R}\) be smoothings of the convex functions by a kernel \(\rho : \mathbb {R}^n\rightarrow \mathbb {R}\) of small radius R. We add a small constant to this function so that \(\tilde{\phi }^{{\bullet /\circ }}_\rho (0)=0\).
Definition 3.1.2
[1] The tropical Lagrangian section \(\sigma _{\phi , \rho }: Q\rightarrow X\) associated to \(\phi \) is the composition
For convenience of notation, when the choice of smoothing kernel is unimportant, we suppress it and simply write \(\sigma _\phi \). Furthermore, given the data of \(\{\Delta ^\circ _v\},\{ \Delta ^\bullet _w\}\), we set \(\sigma ^{{\bullet /\circ }}_k:= \sigma _{\phi ^{{\bullet /\circ }}_k}\). We glue together the tropical Lagrangian sections \(\sigma ^{{\bullet /\circ }}_k\) along their overlapping regions.
Claim 3.1.3
Let \(\{\Delta ^\circ _v\},\{ \Delta ^\bullet _w\}\) be a dual dimer configuration without selfintersections. There is a decomposition of the intersections of the \(\sigma ^\circ _{v,\rho }\) and \(\sigma ^\bullet _{w,\rho }\),
The argument projection of each component \(U_{e,\rho }\) is the shared corner between polytopes \(\Delta ^\bullet _w, \Delta ^\circ _v\). Furthermore, the sections \(\sigma ^{{\bullet /\circ }}_{k,\rho }\) have intersections with collared boundaries in the sense of Proposition 2.1.3 at each of the \(U_{e,\rho }\).
The structure of a collared boundary on the intersections \(U_{e,\rho }\) follows from the convexity/concavity of the primitive functions \(\phi ^{{\bullet /\circ }}_{k,\rho }\). If the dual dimer has selfintersections, there will be possibly be additional intersections between the \(\sigma ^{{\bullet /\circ }}\) which overlap in the argument projection. We will explore the effect of these additional intersections in Example 3.1.14, Sect. 3.3.
We now examine the intersection locus \(U_{e,\rho }\) associated to an edge \(e=vw\) in more detail. This set \(U_{e,\rho }\) describes one of the regions on where \(\tilde{\phi }^\bullet _{w,\rho }\) is linear. Since \(\tilde{\phi }^\bullet _{w,\rho }\) is a smoothing of \(\phi ^\bullet _w\), \(U_{e, \rho }\) approximates one of the regions of linearity of \(\phi ^\bullet _w\), where the accuracy of this approximation can be characterized by the radius R of the smoothing kernel \(\rho \). Let \(\beta \) be the common vertex of the two dimer polytopes corresponding to the edge e. [19, Proposition 3.11] characterizes the relationship between \(U_{e, \rho }\) and the tropical hypersurface by:
It is worth noting that the boundary \(\partial U_{e, \rho }\) is a level set of \(\phi ^\bullet _w\). Since \(\phi ^\bullet _w\) matches \(\tilde{\phi }^\bullet _{w,\rho }\) over \(U_{e, \rho }\), the boundary of \(\partial U_{e, \rho }\) is also a level set of the smoothed tropical primitive. The height of this level set
is linearly proportional to the smoothing radius R chosen. Because by construction \(\tilde{\phi }^{{\bullet /\circ }}_{\rho , r}(0)=0\), the constant of proportionality is nonzero.
Definition 3.1.4
Let \(\{\Delta ^\circ _v\},\{ \Delta ^\bullet _w\}\) be a dual dimer. Let \(\mathcal D:=\{\rho , \{r_e, s_e\}_{e\in E}\}\) be a choice of smoothing parameter, and surgery profile function for each \(e\in E\). The dimer Lagrangian is the Lagrangian connect sum
Figure 7 gives an example of these dimer Lagrangians, where the dimer considered is the 4cycle on \(S^1\), lifting to a Lagrangian \(S^1\subset \mathbb {C}^*\) by surgering together 4 tropical sections. Because \(U_{e,\rho }\) approximates \(\underline{U}_\beta \), the valuation of a dimer Lagrangian is approximates the tropical hypersurface V associated to the dimer. By the argument projection property of [19, Theorem 3.17] the surgery of Lagrangian sections does not change the argument projection.
Claim 3.1.5
The image of \(\arg (L^{\mathcal D}(\phi ^\bullet _w, \phi ^\circ _v))\) is \(\{\Delta ^\bullet _w, \Delta ^\circ _v\}\subset T^n\).
Different choices of surgery profile data \(\mathcal D\) lead to Lagrangian isotopic (but not Hamiltonian isotopic) Lagrangian submanifolds. We now show that there is a preferred Hamiltonian isotopy class of these dimer Lagrangian submanifolds, corresponding to a choice of data making \(L^{\mathcal D}(\phi ^\bullet _w, \phi ^\circ _v)\) exact.
Definition 3.1.6
Let \(L^{\mathcal D}(\phi ^\bullet _w, \phi ^\circ _v)\) be a dimer Lagrangian. Let G be the associated graph. Give G the structure of a directed graph with edges going from \(\bullet \) to \(\circ \). To each edge e, let
be a lift of the edge e to the dimer Lagrangian. We define the weight of an edge e to be the integral
where \(\eta =q\cdot dp\) is the tautological 1form on the cotangent bundle of \(T^n\).^{Footnote 5}
The weight of a cycle \(c\subset E(G)\) is
which descends to a map on \(\mathfrak w: H_1(L^{\mathcal D}(\phi ^\bullet _w, \phi ^\circ _v))\rightarrow \mathbb {R}\) measuring nonexactness of the dimer Lagrangian. The sign \({{\,\mathrm{sgn}\,}}(e, c)\) is \(+1\) if the \(\bullet \rightarrow \circ \) orientation of e agrees with c, and \(1\) if the orientation of e disagrees with c.
Claim 3.1.7
Let \(\mathcal D_1, \mathcal D_2\) be two choices of surgery profile data. The weight maps \(\mathfrak w_1: H_1(L^{\mathcal D_1} (\phi ^\bullet _w, \phi ^\circ _v))\rightarrow \mathbb {R}\) and \(\mathfrak w_2: H_1(L^{\mathcal D_2}(\phi ^\bullet _w, \phi ^\circ _v))\rightarrow \mathbb {R}\) agree if and only if there exists an isotopy between \(L^{\mathcal D_1} (\phi ^\bullet _w, \phi ^\circ _v))\) and \(L^{\mathcal D_2} (\phi ^\bullet _w, \phi ^\circ _v))\) with total flux zero.
Proof
Since the space of surgery data is connected, \(L^{\mathcal D_1} (\phi ^\bullet _w, \phi ^\circ _v))\) and \(L^{\mathcal D_2} (\phi ^\bullet _w, \phi ^\circ _v))\) are Lagrangian isotopic, identifying the homology groups \(H_1(L^{\mathcal D_i} (\phi ^\bullet _w, \phi ^\circ _v))\). Since we are in the symplectically exact setting, the flux of a Lagrangian isotopy is equal to the change in the evaluation of the flux primitive on homology, i.e. \(\mathfrak w_2(c)\mathfrak w_1(c)\). \(\square \)
The weight of an edge e encodes the flux swept by the choices of surgery neck and smoothing at region \(U_{e,\rho }\) in the construction of \(L^{\mathcal D}(\phi ^\bullet _w, \phi ^\circ _v)\).
Lemma 3.1.8
For any assignment of \(\{\mathfrak v_e\}_{e\in E} \in \mathbb {R}_{\ge 0}\) of weights, there exists a choice of smoothing kernel \(\rho \) and surgery profiles \(r_e, s_e\) so that \(\mathfrak w_e=\mathfrak v_e\) for all e.
Proof
We give a sketch before performing the computation in detail. The vertices of the dimer \(v^{\bullet /\circ }\) can be rearranged in such a way that \(\arg (d\tilde{\phi }^{\bullet /\circ }_v(0))=v^{\bullet /\circ }\). With this choice of endpoints, the valuation projection of a path \({{\,\mathrm{val}\,}}(\gamma _e)\) starts at the origin of Q, travels out to the surgery neck \(U_{e,\rho }\), and then comes back to the origin. The weight \(\mathfrak w_e\) is roughly proportional to the length of this path, which is controlled by how close the surgery neck comes to the origin. This can be increased for all surgery necks by taking a larger radius for \(\rho \), and decreased at a specific surgery neck by picking surgery profile data \((r_e, s_e)\) with larger neck radius. See Fig. 8, in comparison to Fig. 7.
Let R be the radius of the support of the smoothing kernel \(\rho \). Consider sections \(\sigma ^\bullet _{w, \rho }, \sigma ^\circ _{v, \rho }\) which overlap over \(U_{e,\rho }\). There is a lifting of the edge e to a path \(\hat{\gamma }_e\), which has the property that \(\hat{\gamma }_e\subset \sigma ^\bullet _w\cup \sigma ^\circ _v\) and \(\arg (\gamma _e)=e\) (drawn as a dotted path in Fig. 8a). We show that \(\int _{\hat{\gamma }_e}\eta \) is dependent on the radius of the smoothing kernel. Parameterize \(\hat{\gamma }_e: [0, 1]\rightarrow (\mathbb {C}^*)^n\) so that \(\hat{\gamma }_e_{[0, 1/2]}\subset \sigma ^\bullet _w\), and \(\hat{\gamma }_e_{[ 1/2,1]}\subset \sigma ^\circ _v\). We note that \(q_e(1/2)\in \partial U_{e,\rho }\), whose properties are described by Eq. (1).
The section \(\sigma ^\bullet _{w,\rho }= d\tilde{\phi }^\bullet _{w,\rho }\) is parameterized in (q, p) coordinates by \(( q^i, \partial _{q_i} \tilde{\phi }^\bullet _{w,\rho } )\). Write the path \(\hat{\gamma }_e(t)=( q_e^i(t), p_e^i(t))_{i=1}^n\) so that
is a parameterization of the edge e. The integral of \(\eta \) along this path is:
as \(q_e^i=0\) for \(t=0, 1\)
Without loss of generality, we can assume that \(\rho \) is an approximation of the identity. This means that there exists a small constant \(\epsilon _\rho >0\) so that \(\tilde{\phi }^{\bullet /\circ }_{k, \rho }(q_e(0))\phi ^{\bullet /\circ }_k(q_e(0))<\epsilon _\rho \). Since \(q_e(0)=0\), \(q_e(1)=0\)and \(\phi ^{\bullet /\circ }_k(0)=0\)
As \(\tilde{\phi }^\circ _{v,\rho }\) (resp. \(\tilde{\phi }^\bullet _{w,\rho }\)) is convex (resp. concave,) and the value of \(\tilde{\phi }^{\bullet /\circ }_{k,\rho }\) on \(\partial U_{e, \rho }\) is positive (resp. negative) and governed by Eq. (1). In summary, we can make \(\int _{\hat{\gamma }_e}\eta \) as large as desired by increasing the radius R.
The discussion following [19, Figure 2] assigns a neck width \(\text {NW}(r_e, s_e)\) to each choice of surgery profile \((r_e, s_e)\). This quantity measures the flux swept by the surgery in the sense that:
The neck width is bounded by the value of the primitive f from propostion 2.1.3 over the surgery region. In our case, the primitive f is \(\tilde{\phi }^\bullet _{w, \rho }+ \tilde{\phi }^\circ _{v,\rho }\), so we can choose profile functions making \(\text {NW}(r_e, s_e)\) to be as close to \(\phi ^\bullet _{w, \rho }(q_e(1/2))+\phi ^\circ _{v,\rho }(q_e(1/2))\) as desired.
To conclude the proof: for a fixed set of weights \(\{\mathfrak v_e\}_{e\in E}\), choose R large enough so that \(\int _{\hat{\gamma }_e}\eta > \mathfrak v_e\) for all e, and then pick surgery profiles so that
\(\square \)
Corollary 3.1.9
There exists a choice of surgery data \(\mathcal D\) so that \(\mathfrak w: H_1(L(\phi ^\bullet _w, \phi ^\circ _v))\rightarrow \mathbb {R}\) is constantly zero.
Proof
By Lemma 3.1.8, we can choose the weight at every edge to be a fixed constant \(A>0\). Since the graph G is bipartite, every cycle c transverses an equal number of edges in the \(\bullet \rightarrow \circ \) direction as \(\circ \rightarrow \bullet \) direction, so that \(\mathfrak w_c=\sum _{w^\bullet v^\circ \in c} \mathfrak w_{w^\bullet v^\circ }+\sum _{v^\circ w^\bullet \in c} \mathfrak w_{v^\circ w^\bullet }=0\). \(\square \)
Corollary 3.1.10
There exists a choice of surgery data \({\mathcal D}\) making \(L^{\mathcal D}(\phi ^\bullet _w, \phi ^\circ _v)\) exact.
When we write \(L(\phi ^\bullet _w, \phi ^\circ _v)\), we will always mean an exact dimer Lagrangian. By choosing surgery data with weights going to zero, we obtain Lagrangians whose valuations approximate V, the tropical hypersurface associated to the dimer. Recall that \(V^k\) is the codimension k strata of V. Let \(N^*V^0/N^*_\mathbb {Z}V^0\subset (\mathbb {C}^*)^n\) the collection of conormal Lagrangian tori to the top dimensional strata.
Claim 3.1.11
There exists a Lagrangian L, Hamiltonian isotopic to \(L(\phi ^\bullet _w, \phi ^\circ _v)\), which fibers over the tropical hypersurface V in the complement of a neighborhood of \(V^1\), that is,
Proof
The Lagrangian submanifolds \(L(\phi ^\bullet _w, \phi ^\circ _v)\) and \(N^*V^0/N^*_\mathbb {Z}V^0\) are isotopic in the complement of \({{\,\mathrm{val}\,}}^{1}(B_\epsilon (V^1))\); the flux of this isotopy is zero as they are both exact. Since \(L(\phi ^\bullet _w, \phi ^\circ _v)\) and \(N^*V^0/N^*_\mathbb {Z}V^0\) are \(C^1\) close, there is a Hamiltonian isotopy between \(L(\phi ^\bullet _w, \phi ^\circ _v)_{X{\setminus } {{\,\mathrm{val}\,}}^{1}(B_\epsilon (V^1))}\) and \((N^*V^0/N^*_\mathbb {Z}V^0)_{X{\setminus } {{\,\mathrm{val}\,}}^{1}(B_\epsilon (V^1))}\). By interpolating the Hamiltonian over the remainder of \(L(\phi ^\bullet _w, \phi ^\circ _v)\), we obtain the desired Lagrangian submanifold L. \(\square \)
Example 3.1.12
Consider the dual dimer model drawn in Fig. 9c. The six triangles drawn are associated to the following six tropical functions.
All six functions give the same nonlinearity stratification to Q,
There are nine Lagrangian surgeries that we need to perform in order to build \(L(\phi ^\bullet _w, \phi ^\circ _v)\). The valuation projection of the Lagrangian submanifold approximates the tropical curve with three legs.
These dimer Lagrangians serve as a generalization of tropical Lagrangians constructed in [19], where
Example 3.1.13
One can also assemble lifts of more complicated tropical curves by gluing several dimer Lagrangians together. For example, the genus 1 tropical curve drawn in Fig. 9a can be built from taking three vertices. At each vertex we place a dimer whose cycles are normal to the edges of the vertices.
Example 3.1.14
It is not necessary for the dimer model to consist of disjoint faces. In Fig. 9b we see a configuration with two triangular faces which overlap at a hexagon. The Lagrangian associated to this dimer is immersed, but has the same legs as the example in Fig. 9c.
The relation between these three examples is that of Lagrangian mutation, which we will formalize to other examples in Sect. 3.3.
3.2 Floer theoretic support from dimer model
We now restrict ourselves to the setting \((\mathbb {C}^*)^2= T^*F_0\) and describe a combinatorial approximation of
the Floer theory of our tropical Lagrangian against fibers of the SYZ fibration.
Definition 3.2.1
Let \(\{\Delta ^\circ _v\},\{ \Delta ^\bullet _w\}\) be a dual dimer configuration with affine bipartite graph G. Let \(\nabla \) be a \(\mathbb {C}^*\) connection \(T^n\), assigning to each path \(e:v\rightarrow w\) an element \(\nabla _e(1)\in \mathbb {C}^*\), the image of 1 under parallel transport. The Kasteleyn complex with weighting \(\nabla \) is the 2term chain complex \(C^\bullet (G, \nabla )\) which as a graded vector space is
The differential \(d_\nabla \) is determined by the structure coefficients
The support of \(\{\Delta ^\circ _v\},\{ \Delta ^\bullet _w\}\) is the set of local systems
In dimension 2, G is exactly a dimer, and the support is the zero locus of the polynomial
The terminology comes from literature on dimers [23]. By letting the local system \(\nabla \) determine a weight for each edge of the dimer, the terms of the determinant corresponds to the product of weights of a maximal disjoint set of edges (called its Boltzmann weight). A maximal disjoint set of edges in a dimer is called a dimer configuration, and the sum of Boltzmann weights over all configurations gives the partition function \(Z^G(\nabla )\) of the dimer.
We now explain the relation between the Kasteleyn complex \(C^\bullet (G, \nabla )\) and the Lagrangian intersection Floer complex \(CF(L(\phi ^\bullet _w, \phi ^\circ _v), (F_0, \nabla ))\). These complexes are isomorphic as vector spaces, as the intersection points of \(F_0\) and \(L(\phi ^\bullet _w, \phi ^\circ _v)\) are in bijection with the vertices of the dimer. The Lagrangian \(L(\phi ^\bullet _w, \phi ^\circ _v)\) is built from taking a surgery of the pieces \(\sigma _{v^{\bullet /\circ }}\). An expectation from [13] is that holomorphic strips contributing to the differential \(\mu ^1: CF(L_0\#_p L_1, L_2)\) are in correspondence with holomorphic triangles contributing to \(\mu ^2: CF(L_0, L_1)\otimes CF(L_1, L_2)\). In our construction of \(L(\phi ^\bullet _w, \phi ^\circ _v)\) we smoothed regions larger than intersection points between the sections \(\sigma _{v}^{\bullet /\circ }\), however we expect a similar result to hold. These intersections are in correspondence with the edges of the dimer G, and so we predict that the differential on \(CF(L(\phi ^\bullet _w, \phi ^\circ _v), (F_0, \nabla ))\) should be given by weighted count of edges in the dimer. The local system \(\nabla \) on \(F_0\) determines the weight of the holomorphic strips corresponding to each edge.
Conjecture 3.2.2
The isomorphism of vector spaces
is a chain homomorphism.
If this conjecture holds, we have a new tool for computing the support of the Lagrangian \(L(\phi ^\bullet _w, \phi ^\circ _v)\), which will be determined by the zero locus of \(Z^G(\nabla )\).
Example 3.2.3
A first example to look at is the Kasteleyn complex of Example 3.1.12. We give the polygons of the dimer the labels from Example 3.1.12. We can rewrite \(Z^G(\nabla )\) as a polynomial by picking coordinates on the space of connections. Let \(z_1\) and \(z_2\) be the holonomies of a local system \(\nabla \) along the longitudinal and meridional directions of the torus. The differential on the complex \(C^\bullet (G, \nabla )\) in the prescribed coordinates is
The determinant of \(d_\nabla ^\Sigma \) is \(Z^G(z_1, z_2)=3(z_1+z_2+\frac{1}{z_1z_2})\).
This polynomial is a reoccurring character in the mirror symmetry story of \(\mathbb {CP}^2\); for example, it is the superpotential \({\check{W}}_\Sigma \) determining the mirror Landau–Ginzburg model. This computation motivates Sect. 5.
Remark 3.2.4
In the above definition, we’ve assumed that \(\mathcal D\) has been chosen in such a way that the weights \(\mathfrak w_e\) are negligible and can be ignored. More generally, one should look use the Novikov ring in place of \(\mathbb {C}\), and let \(\nabla \) be a Novikov unitary connection. The differential becomes
For generic choice of weights \(\mathfrak w_e\), there are no choices of local systems with \(\det (d_\nabla )=0\); for instance, a necessary condition is that the minimal weight must show up at least twice.
3.3 Mutations of tropical Lagrangians
In previous examples, we exhibited different dimer models with the same associated tropical curve. We now describe how the different Lagrangian lifts of these dimers are related to each other in dimension 2.
Lemma 3.3.1
Let \(\{\Delta ^\circ _v\},\{ \Delta ^\bullet _w\}\) be a dimer model with graph G. For each face \(f\in F(G)\), let \(c=\partial _f\) be the boundary cycle of the face. Suppose that c has zero weight. Let \(\gamma _c: S^1\rightarrow L(\phi ^\bullet _w, \phi ^\circ _v)\) be a lift of the cycle to the dimer Lagrangian, in the sense that
There exists a Lagrangian disk \(D_f\) with \(\partial D_f=c\subset L(\phi ^\bullet _w, \phi ^\circ _v)\).
Proof
Let \(V_f\subset T^2\) be the subset of the Lagrangian torus \(T^2\subset T^*T^2\) corresponding to the face f. Write \(\gamma _c(\theta )=(q(\theta ), p(\theta ))\), where \(q(\theta )\in T^*_{p(\theta )}T^2\).^{Footnote 6} Let \(u:S^1_\theta \times [\epsilon , \epsilon ]_r\rightarrow T^2\) be a coordinates on a normal neighborhood of \(\gamma _c\), so that we may write \(q(\theta )=q_\theta (\theta )d\theta + q_r(\theta ) dr\). The zero weighting condition tells us that
so there exists a primitive \(\alpha _\theta : S^1\rightarrow \mathbb {R}\) so that \(q_\theta d\theta = d\alpha _\theta \). Let \(\rho :[\epsilon , \epsilon ]_r\rightarrow \mathbb {R}\) be a bump function which is constantly 1 in a neighborhood of \(r=0\). Consider the function \(\alpha :=\rho \cdot (\alpha _\theta +r\cdot q_r): T^2 \rightarrow \mathbb {R}\). We can compute that \(d\alpha = d\rho \cdot (\alpha _\theta +r\cdot q_r) + \rho \cdot \left( d\alpha _\theta + q_r dr + r\cdot dq_r\right) \). Since \(\rho _c=1, d\rho _{c}=0\) and \(r_{c}=0\), the pullback of \(d\alpha \) to c is \(d\alpha _\theta +q_rdr=q\). Therefore, q can be extended to an exact 1form on \(T^2\). The Lagrangian disk \(D_f\) is defined by the graph of this 1form. \(\square \)
The Lagrangian antisurgery \(\alpha _{D_f}L(\phi ^\bullet _w, \phi ^\circ _v)\) is an immersed Lagrangian, which we now describe with a dual dimer model. Let \(\partial f:=\{v^\bullet _1, v^\circ _1, \ldots , v^\bullet _k, v^\circ _k \}\) be the sequence of vertices of G corresponding to the boundary of f. Recall that \(\Sigma \) is the set of cycles in \(T^2\) given by the boundary polygons of the dual dimer model. Let \(\text {Im}(\Sigma )\subset T^2\) be the image of these cycles. After taking an isotopy of c, we may assume that \(\arg (c)\subset \text {Im}(\Sigma )\). We can also require that \(\arg (c)\) is a homeomorphism onto its image. We now take a parameterization
for a neighborhood of \(\gamma _c\subset L(\phi ^\bullet _w, \phi ^\circ _v)\), with \(h( \theta ,0)=\gamma _c(\theta )\). The boundary components of the collar \(h:S^1\times [1, 1]\) give two cycles in \(L(\phi ^\bullet _w, \phi ^\circ _v)\), which we will label
The path \(\gamma \) has argument contained within \(\Sigma \), but we require the map \(h(\theta , t):S^1\times [1, 1]\rightarrow L(\phi ^\bullet _w, \phi ^\circ _v)\) have argument
which “alternates” between bleeding into argument of \(L(\phi ^\bullet _w, \phi ^\circ _v)\). By claim 3.1.5, this is the collection of \(\Delta ^\circ _v\) and \(\Delta ^\bullet _w\) polytopes. See Fig. 11. We now state this alternating condition. We require at each \(\theta \) exactly one of the three following cases occur:

That the \(\circ \) component bleeds out of \(\Sigma \) into the interior of the dimer so \(\arg \circ h(\theta , 1)\not \in \Sigma \)

That the \(\bullet \) component bleeds out of \(\Sigma \) into the interior of the dimer so \(\arg \circ h(\theta , 1)\not \in \Sigma \)

Neither boundary component bleeds out of \(\Sigma \), but the collar h passes through the vertex connected to polytopes in our dimer model so \(\arg \circ h(t, \theta )\) maps to a vertex of the \(\Delta ^{{\bullet /\circ }}_i\).
After performing the Lagrangian surgery, the band parameterized by h will be replaced with two disks \(D^\bullet _f\) and \(D^\circ _f\). The boundaries of \(D^{{\bullet /\circ }}_f\) are the cycles \(\gamma _{c^{{\bullet /\circ }}}\).
The disk \(D^\bullet _f\) glues the polygons \(\Delta _{v_i}^\bullet \) which lie along the cycle \(\gamma _{c^\bullet }\) to each other. Similarly, the disk \(D^\circ _f\) connects the \(\Delta ^\circ _{w_i}\) together. In summary, the polygons in the cycle c are replaced with two larger polygons in the antisurgery:
Lemma 3.3.2
Consider a dimer model \(\{\Delta ^\circ _v\},\{ \Delta ^\bullet _w\}\). Let f be a face of G. Suppose that the boundary of f has zero weight. The antisurgery \(\alpha _{D_f} L(\phi ^\bullet _w, \phi ^\circ _v)\) is again described by a higher dimer model, whose polygons are given by the collections
The graph for this dimer is immersed. For example, from right to left, the Figures 9c, 9b, and 9a describe the antisurgery of a dimer Lagrangian by first obtaining an immersed Lagrangian, then smoothing out the resulting immersed Lagrangian to build an embedded tropical Lagrangian. The corresponding dimers are drawn in Figure 12. Figure 12b is an immersed dimer, with two vertices of degree three lying atop each other.
3.3.1 Seeds and surgeries
Besides using antisurgery to modify Lagrangian submanifolds, we may use the presence of antisurgery disks for \(L(\phi ^\bullet _w, \phi ^\circ _v)\) to construct a Lagrangian seed in the sense of [33].
Definition 3.3.3
[33] A Lagrangian seed \((L, \{D_i\})\) is a monotone Lagrangian torus \(L\subset X\) along with a collection of antisurgery disks \(\{D_i\}\) for L with disjoint interiors, and an affine structure on L making \(\partial D_i\) affine cycles. Should the \(\partial D_i\subset L\) be the edges of an affine zigzag diagram, we say that this seed gives a dimer configuration on L.
Whenever we have an mutation seed giving a dimer configuration on L, we can build a dual Lagrangian using the same surgery techniques used to construct tropical Lagrangians. We start by taking a Weinstein neighborhood \(B_\epsilon ^*L\) of L. Let \(\{\Delta ^\circ _v\},\{ \Delta ^\bullet _w\}\) be the dimer model on L induced by the Lagrangian seed structure. Using Definition 3.1.4, we can construct \(L(\{\phi ^\circ _v\},\{ \phi ^\bullet _w\})\) in the neighborhood \(B_\epsilon ^*L\). The boundary of \(L(\{\phi ^\circ _v\},\{ \phi ^\bullet _w\})\) is contained in the \(\epsilon \)cotangent sphere \(S^*_\epsilon L\) and consists of the \(\epsilon \)conormals Legendrians \(N^*_\epsilon (\partial D_i)\). After taking a Hamiltonian isotopy, the disks \(\{D_i\}\) can be made to intersect \(S^*_\epsilon L\) along \(N^*_\epsilon (\partial D_i)\). By gluing the dimer Lagrangian to these antisurgery disks, we compactify \(L(\{\phi ^\circ _v\},\{ \phi ^\bullet _w\})\subset B_\epsilon ^*L\) to a Lagrangian \(L^*\subset X\).
Definition 3.3.4
Let \((L, \{D_i\})\) be a Lagrangian seed giving a dimer configuration on L. We call the Lagrangian \(L^*\subset X\) the dual Lagrangian to \((L, \{D_i\})\).
One way to interpret this construction is that a Lagrangian seed has a small symplectic neighborhood which may be given an almost toric fibration. The dual Lagrangian \(L^*\) is a compact tropical Lagrangian built inside of this almost toric fibration.
By Lemma 3.3.2 the Lagrangian \(L^*\) possesses a set of antisurgery disks given by the faces of the dimer graph on L. Should the antisurgery disks \(D_f\) with boundary on \(L^*\) form a mutation configuration, we call \((L^*,\{D_f\})\) the dual Lagrangian seed.
Remark 3.3.5
The geometric portion of this construction does not require L or \(L^*\) to be tori, although statements about mutations of Lagrangians from [33] and relations to mirror symmetry use that L is a torus.
4 Tropical Lagrangians in almost toric fibrations
Much of the machinery we have constructed for building Lagrangians lifts of tropical hypersurfaces in the fibration \((\mathbb {C}^*)^n\rightarrow \mathbb {R}^n\) carries over to building tropical Lagrangian hypersurfaces for almost toric fibrations \(X\rightarrow Q\) with the dimension of the base \(\dim Q=2\). In Sect. 4.1 we look at the local model of a node in a almost toric base diagram and show that lifts of tropical curves can be constructed for tropical curves with edges meeting the singular strata of Q along the eigendirection. Section 4.2 continues using local models from the node based on Lefschetz fibrations to show that isotopy of tropical curves “through” a node of the base extend to isotopies of the Lagrangian lifts.
4.1 Lifting to tropical Lagrangian submanifolds
Recall that \(X\rightarrow Q\) is an almost toric fibration, \(X^0\rightarrow Q^0=Q{\setminus } \Delta \) is an honest toric fibration in the complement of the discriminant locus \(\Delta \). By abuse of notation, when we are given a tropical section \(\phi \in {{\,\mathrm{dTrop}\,}}(U)\) where \(U\subset Q^0\), we will write \(\sigma _\phi :U \rightarrow X_U\) to mean the Lagrangian section defined over the bundle \(X_U\rightarrow U\) given by some choice of smoothing parameter (see [19]). It is immediate that we can use the existing surgery lemma to build tropical Lagrangians away from the critical locus.
Claim 4.1.1
Let \({{\,\mathrm{val}\,}}:X\rightarrow Q\) be an almost toric Lagrangian fibration. Suppose that \( V(\phi )\subset Q\) is a (smooth) tropical curve which is disjoint from the critical locus. Then there exists an (embedded) Lagrangian submanifold \(L(\phi )\subset X\) whose valuation projection lies in a small neighborhood of V. Furthermore, if Q has no boundary, there exists a tropical section \(\phi \) so that \(L(\phi )=\sigma _0\#\sigma _{\phi }\).
Note that in the nonsmooth setting, the number of selfintersection points of the Lagrangian \(L(\phi )\) is determined by the sum of the tropical genera of the nonsmooth vertices. Smoothing the tropical curve by deformation is equivalent to removing the self intersection by Lagrangian surgery. In the almost toric case (\(\dim (Q)=2\)), we can find a Lagrangian lift when the interior of V avoids the critical locus. This is built on the following local model, whose monodromy was described in [36].
Claim 4.1.2
Let \(X=\mathbb {C}^2{\setminus } \{z_1z_2=1\}\) be the symplectic manifold with symplectic fibration
and let \({{\,\mathrm{val}\,}}: X\rightarrow Q\) be the almost toric Lagrangian fibration described in [5, Section 5.1]. Then Q has a single node \(q_\times \) of multiplicity 1, and there exists a tropical Lagrangian lift of the eigenray of \(q_\times \).
Proof
The claim follows from considering the construction of the almost toric fibration arising from the Lefschetz fibration W. The rotation \((z_1, z_2) \mapsto (e^{i\theta } z_1, e^{i\theta }z_2)\) is a global Hamiltonian \(S^1\) symmetry which preserves the fibers of the fibration. Let \(\mu :(\mathbb {C}^*)^2\rightarrow \mathbb {R}\) be the moment map of this Hamiltonian action, which also descends to a moment map \(\mu : W^{1}(z)\rightarrow \mathbb {R}\). This map gives an SYZ fibration on the fibers of the Lefschetz fibration.
The base of the Lefschetz fibration \(\mathbb {C}{\setminus }\{1\}\) comes with a standard SYZ fibration by circles \(1+r e^{2\pi i \theta }\). The symplectic parallel transport map given by the Lefschetz fibration preserves the SYZ fibration on \(W^{1}(z)\); as a result, one can build an SYZ fibration for the total space \(\{\mathbb {C}^2{\setminus } z_1z_2=1\}\) by taking the circles \({{\,\mathrm{val}\,}}_{W^{1}(z)}^{1}(s)\) and parallel transporting them along circles \(1+re^{ i \theta }\) of the second fibration to obtain Lagrangian tori
The nodal degeneration occurs from parallel transport of vanishing cycle through the path \(1+ e^{ i \theta }\). This corresponds to the single almost toric fiber of this fibration, a Whitney sphere, which occurs in the base when \(q_\times =(1, 0).\) Q comes with an affine structure by identifying the cotangent fiber at q with \(H^*(F_q, \mathbb {R})\), and taking the lattice to be the integral homology classes. The monodromy of this fibration around the Whitney sphere acts by a Dehn twist on the vanishing cycle (i.e. for \(s=0\)) of \(F_q\). As a result, the coordinate s is a global affine coordinate on Q near \(q_x\), but r is not. The eigenray is \(s=0\). The Lagrangian tori \(F_q\) with q in the eigenray of \(q_\times \) are those tori which are built from parallel transport of the vanishing cycle. See Fig. 13 for the correspondence between Lagrangians in the Lefschetz fibration and almost toric fibration. We now consider the Lagrangian thimble \(\tau \) drawn from the critical point \((z_1,z_2)=(0,0)\). As the Lagrangian thimble is a built from a parallel transport of the vanishing cycle, it only intersects the Lagrangians \(F_q\) with q on the eigenray of \(q_\times \). Therefore, this Lagrangian thimble has valuation projection travelling in the eigenray direction of \(q_\times \), proving the claim. \(\square \)
Corollary 4.1.3
Let \({{\,\mathrm{val}\,}}:X\rightarrow Q\) be an almost toric Lagrangian fibration over an integral tropical surface Q. Let V be a smooth tropical variety whose interior avoids the discriminant locus \(\Delta \). Then there exists a tropical Lagrangian lift \(L\subset X\) of V.
Proof
First, construct the lift of V to a Lagrangian \(\mathring{L}\) on \(X{\setminus } X^0\). Let \(V^0\) be the collection of top dimensional strata of V, and \(V^1\) the set of vertices of V. By claim 3.1.11 we may take a Hamiltonian isotopy of \(\mathring{L}\) (which we still denote as \(\mathring{L}\)) so that \(\mathring{L}_{X{\setminus } ({{\,\mathrm{val}\,}}^{1}(B_\epsilon (V^1)))}= N^* V^0/N^*_\mathbb {Z}V^0_{X{\setminus } ({{\,\mathrm{val}\,}}^{1}(B_\epsilon (V^1)))}\). In particular, the discriminant locus is disjoint from \(B_\epsilon (V^1)\), and so \({{\,\mathrm{val}\,}}:\mathring{L}\rightarrow Q^0\) honestly fibers over the tropical curve V near the discriminant locus.
It remains to compactify \(\mathring{L}\) to a Lagrangian submanifold of X. At each point \(q_i\in X^0\), we take a neighborhood \(B_i\) of \(q_i\) and model it on the standard neighborhood from claim 4.1.2. The portion of \(\mathring{L}\) with valuation over \(B_i\) is a Lagrangian cylinder given by the periodized conormal to the eigenray of \(q_i\). Similarly, the thimble \(\tau _i\) restricted to this valuation is a Lagrangian cylinder given by the periodized conormal to the eigenray of \(q_i\). Therefore, we may compactify \(\mathring{L}\) to a Lagrangian \(L\subset X\) by gluing the thimbles \(\tau _i\) to L at each nodal point such that \(q_i\in V\). \(\square \)
This allows us to build tropical Lagrangian lifts of the tropical curves described in Fig. 5a–c. We may generalize the examples of compact Lagrangian tori in \(\mathbb {CP}^2\) to more toric symplectic manifolds with \(\dim _\mathbb {C}(X)=2\). Let \(X_\Sigma \) be a toric surface, and let \({{\,\mathrm{val}\,}}: X_\Sigma \rightarrow Q^{dz}_\Sigma \) be the standard moment map projection. The moment polytope \(Q^{dz}\) is an example of an almost toric base diagram. Consider the almost toric fibration \({{\,\mathrm{val}\,}}: X_\Sigma \rightarrow Q_\Sigma \) obtained by applying a nodal trade to each corner of the moment polytope. The boundary of Q is now an affine circle, corresponding to a symplectic torus \(E\subset X_\Sigma \).
Example 4.1.4
The neighborhood of \(\partial Q_\Sigma \) is topologically \(\partial Q_\Sigma \times [0, \epsilon )_t\). For fixed real constant \(0< r< \epsilon \), we construct the tropical function \(r\oplus t\), which only has dependence on collar direction t. This extends to a tropical function over \(Q_\Sigma \), whose critical locus is an affine circle pushed off from the boundary \(\partial Q_\Sigma \). The critical locus is a tropical curve which avoids the discriminant locus, so there is an associated Lagrangian torus \(L_r^{\partial Q_\Sigma }\subset X_\Sigma \) corresponding to this tropical curve.
This Lagrangian torus can also be constructed without using the machinery of Lagrangian surgery. Let \(\gamma \subset E\) be a curve. There is a neighborhood D of \(E\subset X_\Sigma \) which is a disk bundle \(D\rightarrow E\). There is a standard procedure to take \(\gamma \) and lift it to a Lagrangian \(\partial D_\gamma \), the union of real boundaries of this disk bundle along the curve \(\gamma \). See Fig. 14a.
As one increases the parameter r, the Lagrangian \(L_r^{\partial Q_\Sigma }\) approaches the critical locus \(\Delta _\Sigma \). One can continue this family of Lagrangian submanifolds past the critical locus.
Example 4.1.5
In the above example, each nodal point \(q_i\) corresponds to a corner of the Delzant polytope \(Q^{dz}_\Sigma \). The index i is cyclically ordered by the boundary of the Delzant polytope. Let \(\Sigma _i\) be the fan generated by vectors \(v^_i, v^+_i\) given by the edges of the corner corresponding to \(q_i\). Let \(v^\lambda _i\) be the eigenray of \(q_i\). Then \(\Sigma _i\cup \{v^\lambda _i\}\) is a balanced fan. At each nodal point \(q_i\), consider the tropical pair of pants with legs in the directions \(\Sigma _i\cup \{v^\lambda _i\}\).
The legs of adjacent pairs of pants (from the cyclic ordering) match so that \(v^_i=v^+_{i+1}\). This means that if the pairs of pants are properly placed (say so that the distance from the vertex of the pair of pants along the eigenray direction to the boundary \(\partial Q_\Sigma \) are all equal) these assemble into a tropical curve.
This is a tropical curve whose interior is disjoint from the critical locus, and thus lifts to a tropical Lagrangian with the topology of a torus in \(X_\Sigma \). See Fig. 14b
4.2 Nodal trade for tropical Lagrangians
The tropical curves from Fig. 14a, b are related via an isotopy of tropical curves. We now introduce some notations for Lagrangians in Lefschetz fibrations which will allow us to show that this isotopy of tropical curves can be lifted to their corresponding tropical Lagrangians.
The local model for the nodal fiber in an almost toric base diagram is built from a Lefschetz fibration. The goal of this section is to build some geometric intuition for interchanging these two different perspectives. We now describe three Lagrangian submanifolds which will serve as building blocks in Lefschetz fibrations, similar to those considered in [8]. See Fig. 15.
The first piece is suspension of Hamiltonian isotopy. Given a path \(e:[0, 1]\rightarrow \mathbb {C}\) avoiding the critical values of \(W: X\rightarrow \mathbb {C}\), and Hamiltonian isotopic Lagrangians \(\ell _0\) and \(\ell _1\) in \(W^{1}(e(0))\) and \(W^{1}(e(1))\), we can create a Lagrangian \(L^\ell _e\) which is the suspension of Hamiltonian isotopy along the path e. The image of this suspension under W sweeps out some area in the base of the Lefschetz fibration related to the Hofer norm of the isotopy. We work with Hamiltonian isotopies small enough so that the projection of their suspensions avoids the critical values. This Lagrangian has two boundary components, one above e(0) and one above e(1). In practice, we will simply specify the Lagrangian \(\ell _0\) and assume that the Hamiltonian isotopies are negligible.
The second building block that we consider are the Lagrangian thimbles, which are the real downward flow spaces of critical points in the fibration. These can also be characterized by taking a path \(e:[0, 1]\rightarrow \mathbb {C}\) with e(0) a critical value of \(W:X\rightarrow \mathbb {C}\), and letting \(\ell \) be a vanishing cycle in \(W^{1}(e(1/2))\) for a critical point in \(W^{1}(e(0))\). The Lagrangian thimble, also denoted \(L^\ell _e\), has single boundary component above e(1).
The third building block we will use comes from Lagrangian cobordisms. In any small contractible neighborhood \(U\subset \mathbb {C}\) which does not contain a critical value of \(W: X\rightarrow \mathbb {C}\), we can use symplectic parallel transport to trivialize the fibration so it is \(W^{1}(p)\times D^2\) for some \(p\in U\). We then consider cycles \(\ell _{1}, \ell _2, \ell _3\subset W^{1}(p)\) so that \(\ell _1\#\ell _2=\ell _3\) with neck size \(\epsilon \). [7] constructs a trace cobordism (there, called a Ysurgery) of the Lagrangian surgery between these three cycles in the space \(W^{1}(p)\times \mathbb {C}\). Given paths \(e_1, e_2, e_2\subset D^2\) indexed in clockwise order, with \(e_i(1)=p\), we let \(L_{e_i}^{\ell _i}\) be the trace cobordism of the surgery between the \(\ell _i\) with support living in a neighborhood of the edges \(e_i\). This Lagrangian has three boundary components, which live above \(e_i(0)\).
These pieces glue together to assemble smooth Lagrangian submanifolds of X whenever the ends of the pieces (determined by their intersection with the fiber) agree with each other.
Definition 4.2.1
Let \(W: X\rightarrow \mathbb {C}\) be a symplectic fibration. A Lagrangian glove \(L\subset X\) is a Lagrangian submanifold so that for each point \(z\in \mathbb {C}\), there exists a neighborhood \(U\ni z\) so that \(W^{1}(U)\cap L\) is one of the three building blocks given above.
The reason that we look at Lagrangian gloves is that they can be specified by the following pieces of data:

A planar graph \(G\subset \mathbb {C}\). This graph is allowed to have semiinfinite edges and loops.

A Lagrangian submanifold \(\ell _e\subset W^{1}(e(0))\) labelling each edge \(e\in G\).
This data will correspond to a Lagrangian glove if it satisfies the following conditions:

The interior of each edge is disjoint from the critical values of W.

Outside of a compact set, the semiinfinite edges are parallel to the positive real axis.

All vertices of G have degree 1 or degree 3.

Every vertex of degree 1 must lie at a critical value. Furthermore, the incoming edge e to the vertex v is labelled with a vanishing cycle of the corresponding critical fiber.

Every vertex of degree 3 with incoming edges \(e_1, e_2, e_3\) must have corresponding Lagrangian labels \(\ell _1, \ell _2\) and \(\ell _3\) which satisfy the relation \(\ell _1\# \ell _2=\ell _3\) for a surgery of neck size small enough that there exists a disk \(D\supset v\) containing the trace of this surgery.
Such a collection of data gives us a Lagrangian \(L^{\ell _e}_G\subset X\).
We will diagram these Lagrangians by additionally picking a choice of branch cuts \(b_i\) for \(\mathbb {C}\) so that \(W: (X{\setminus } W^{1}(b_i))\rightarrow (\mathbb {C}{\setminus }\{b_i\})\) is a trivial fibration. We can then consistently label the edges of the graph \(G\subset \mathbb {C}\) with Lagrangians in \(\ell _e\in W^{1}(p)\) for some fixed noncritical value p. Graph isotopies which avoid the critical values correspond to isotopic Lagrangians; furthermore, as long as the label of an edge does not intersect the vanishing cycle of a critical value, we are allowed to isotope an edge over a critical value.
There is another type of isotopy which comes from interchanging Lagrangian cobordisms with Dehn twists [4, 31], which we now describe. Let v be a trivalent vertex with edges \(e_1=vw_1, e_2=vw_2, e_3=vw_3\). Suppose that the degree of \(w_2\) is one (so that \(w_2\) is a critical value). Suppose additionally that the Lagrangians \(\ell _1\) and \(\ell _2\), the labels above \(e_1\) and \(e_2\), intersect at a single point so that the surgery performed is the standard one at a single transverse intersection point. Let H be the graph obtained by replacing \(e_1, e_2, e_3\) with a new edge \(f_{1,3}\) which has vertices \(w_1, w_3\), and is obtained travelling along \(e_1\), out along \(e_2\) and around the critical value \(w_2\), and returning along \(e_2\) and \(e_3\) (See Fig. 16). Then the graph \(H= G\cup \{f_{1,3}\}{\setminus }\{e_i\}\) equipped with Lagrangian labelling data inherited from G (with the additional label \(\ell _{f_{1,3}}=\ell _{e_1}\)) is again a Lagrangian glove. We call the Lagrangian obtained via this exchanging operation \(\tau _{w_2} L_G^{\ell _e}\). In summary:
Proposition 4.2.2
The following operations produce Lagrangian isotopic Lagrangian gloves.

Any isotopy of the graph G where the interior of the edges stay outside the complement of the critical values of W.

Any isotopy of the graph G where an edge passes through a critical value, but the Lagrangian label of the edge is disjoint from the vanishing cycles of the critical fibers.

Exchanging the Lagrangian \(L_G^{\ell _e}\) with \(\tau _w L_G^{\ell _e}\) at some vertex w.
Proof
The first two types of modifications are clear. For the third kind of modification, see [4, Lemma A.25]. \(\square \)
4.2.1 Comparisons between tropical and Lefschetz: pants
We now will provide a construction of a Lagrangian pair of pants in the setting of \((\mathbb {C}^2{\setminus } \{z_1z_2=1\})\) from the perspective of the Lefschetz fibration considered in Sect. 4.1:
See Fig. 13 for the correspondence between Lagrangian tori in the Lefschetz fibration and almost toric fibration.
In this setting we build a Lagrangian glove. We start with the Lagrangian \(\ell =\mathbb {R}\subset W^{1}(1+\epsilon )\). For small \(\epsilon <1\), we consider the loop \(\gamma _\epsilon =\epsilon e^{ i \theta }1\). The parallel transport of \(\ell \) along this loop builds a Lagrangian \(L_{\gamma _\epsilon }^\ell \). The Lagrangian \(L_{\gamma _\epsilon }^\ell \) only pairs against tori \(F_{\epsilon , s}\), so its support in the almost toric fibration will be a line. See the blue Lagrangian as drawn in Fig. 17.
By exchanging a Dehn twist for an additional vertex in the glove (Proposition 4.2.2), we can build a new Lagrangian \(\tau _0L_{\gamma _\epsilon }^\ell \) (drawn in red in Fig. 17). This description provides us with another construction of the Lagrangian pair of pants. These local models are compatible with the discussion from Sect. 4. Let \(Q_{\times }\) be the integral tropical manifold which is the base of \(X=\mathbb {C}^2{\setminus }\{z_1z_2=1\}\). \(Q_{\times }\) can be covered with two affine charts. Call the charts
The charts are glued with the change of coordinates
We now consider two tropical curves inside of \(Q_{\times }\). The first is an affine line, which is given by the critical locus of a tropical polynomial defined over the \(Q_0\) chart
The second tropical curve we consider is a pair of pants with a capping thimble (as described in Sect. 4,) given by the critical locus of a tropical polynomial defined over the \(Q_1\) chart,
From Proposition 4.2.2, we get the following corollary:
Corollary 4.2.3
(Nodal Trade for Tropical Lagrangians) Consider the tropical curves \(V(\phi _0)\) and \(V(\phi _1)\) inside of \(Q_\times \). The Lagrangians \(L(\phi _0)\) and \(L(\phi _1)\) are Lagrangian isotopic in \(\mathbb {C}^2{\setminus } \{z_1z_2=1\}\).
This corollary allows us to manipulate tropical Lagrangians by manipulating the tropical diagrams in the affine tropical manifold instead.
Example 4.2.4
Consider the Lefschetz fibration with fiber \(\mathbb {C}^*\) given by the smoothed \(A_n\) singularity as in Fig. 18. We construct the Lagrangian glove where we parallel transport the real arc \(\ell =\mathbb {R}\subset \mathbb {C}^*\) around the loop of the glove. The monodromy of the symplectic connection from travelling around the large circle corresponds to n twists of the same vanishing cycles. By attaching n vanishing cycles to this arc, we get a Lagrangian glove. In the “moment map” picture, all of the singularities lie on the same eigenray, and we get the tropical Lagrangian which is a \(n+2\) punctured sphere with n of the punctures filled in with thimbles. Though it appears that the n thimbles of the Lagrangian coincide with each other in the “moment map” picture, they differ by some amount of phase in the fiber direction, which is easily seen in the Lefschetz fibration.
Corollary 4.2.5
The Lagrangians from Figs. 14a, b are Lagrangian isotopic.
5 Lagrangian tori in toric delPezzos
We now introduce a monotone Lagrangian torus which exists in a toric delPezzo. We show that in the setting of \(\mathbb {CP}^2\) this Lagrangian \(L_{T^2}\) is isotopic to \(F_q\), a fiber of the moment map. Finally, we speculate on homological mirror symmetry for \(L_{T^2}\subset \mathbb {CP}^2{\setminus } E\), where this Lagrangian is no longer isotopic to \(F_q\). We exhibit a symplectomorphism \(g: \mathbb {CP}^2{\setminus } E\rightarrow \mathbb {CP}^2{\setminus } E\) expected to be mirror to fiberwise Fourier–Mukai transform on the mirror.
5.1 Examples from toric delPezzos
Monotone Lagrangian tori and Lagrangian seeds in delPezzo surfaces have been studied in [33, 42]. Let \(X_\Sigma \) be a toric delPezzo. A choice of monotone symplectic structure on \(X_\Sigma \) gives a monotone Lagrangian torus \(F_\Sigma \) at the barycenter of the moment polytope has a Lagrangian seed structure \(\{D_{i,\Sigma }\}\) given by the Lagrangian thimbles extending from the corners of the moment polytope. The Lagrangian thimbles and corresponding dimers are drawn in Fig. 19a–e. In these 5 examples, the dimer Lagrangian \(F_\Sigma ^*\) constructed from the data of \((F_\Sigma , D_{i, \Sigma })\) again has the topology of a torus. This can be checked from the computation of the Euler characteristic of the dual Lagrangian,
where \(\Sigma \) is the number of antisurgery disks of \(F_\Sigma \).
One method of distinguishing Lagrangians is to compute their open Gromov–Witten potentials. In the case of toric Fanos, it was proven in [38] that all Lagrangian tori have the potentials given by one of those in [42]. A computation shows that the Lagrangians \(F_\Sigma \) and \(F_\Sigma ^*\) have the same mutation configuration. We will use this information to later match their Landau–Ginzburg potentials.
Claim 5.1.1
Let \(X_\Sigma \) be a toric Fano, \(F_\Sigma \) the standard monotone Clifford torus in \(X_\Sigma \), and \(F_\Sigma ^*\) be the dual torus constructed using the Lagrangian seed structure on \(F_\Sigma \). There is a set of coordinates for \(H_1(F_\Sigma ^*)\) and \(H_1(F_\Sigma )\) so that the mutation directions determined by their Lagrangian seed structures are the same.
Proof
This is done by an explicit computation of the homology classes of the disk boundaries in \(F_\Sigma ^*\). \(\square \)
As a corollary, the wall and chamber structure on the moduli space of Lagrangians \(F_\Sigma \) obtained by mutations may be replicated in a similar fashion on the moduli space of the Lagrangians \(F_\Sigma ^*\).
Corollary 5.1.2
In the setting of toric Fanos, the Landau–Ginzburg potential of \(F_\Sigma \) is the same as \(F_\Sigma ^*\).
In both Figs. 19a, b we may mutate the diagram to give us a dimer model with two polygons, which is the balanced tropical Lagrangian for some tropical polynomial. As a result, the Lagrangians Fig. 19a, b are Lagrangian isotopic to tropical Lagrangians constructed in Sect. 4. In the case of Fig. 19a, the dimer Lagrangian \(F^*_{\Sigma _{\mathbb {CP}^2}}\) and Lagrangian and \(L_{inner}\) from Fig. 5c are related by Lagrangian mutation and isotopy; the local model of mutation is drawn in Fig. 9. This is perhaps easier to see geometrically by working in the reverse direction. First apply isotopy by contracting the tropical genus of \(L_{inner}\) (Fig. 9a). The underlying tropical curve becomes nonsmooth, and this isotopy sweeps out some symplectic flux while collapsing a cycle of \(L_{inner}\). The resulting Lagrangian is an immersed Lagrangian (whose model at the vertex is Fig. 9b). Surgering this immersed point in the other direction recovers \(F^*_{\Sigma _{\mathbb {CP}^2}}\) (Fig. 9c).
Remark 5.1.3
\(L_{inner}\) is not the mutation of \(F^*_{\Sigma _{\mathbb {CP}^2}}\), as mutation is the composition of antisurgery and surgery with equal neck sizes. \(L_{inner}\) is obtained from \(F^*_{\Sigma _{\mathbb {CP}^2}}\) by antisurgery followed by surgery, but with some symplectic flux swept out due to nonequal neck sizes chosen. In particular, \(F^*_{\Sigma _{\mathbb {CP}^2}}\) is monotone, as is \(\mu _D F^*_{\Sigma _{\mathbb {CP}^2}}\). However, \(L_{inner}\) is not.
It is unclear how much of this story extends beyond the toric case.
Question 5.1.4
Is there a relation between \((L, D_i)\) and \((L^*, D^*_f)\) that can be stated in the language of mirror symmetry?
We conclude our discussion with a collection of observations for mirror symmetry of \(\mathbb {CP}^2{\setminus } E\) and the elliptic surface \({\check{X}}_{9111}\). Here, \({\check{X}}_{9111}\) is the extremal elliptic surface in the notation of [29]. This elliptic surface has a Lefschetz fibration \(W_{9111}:{\check{X}}_{9111}\rightarrow \mathbb {CP}^1\) with 3 singular fibers of type \(I_1\), and one singular fiber of type \(I_9\). An \(I_k\) fiber is the degenerate elliptic fiber which is a kchain of \(\mathbb {CP}^1\)s. We can present this elliptic surface [2, Table Two] as the blowup of a pencil of cubics on \(\mathbb {CP}^2\),
From this pencil, we get a map \({\check{\pi }}_{bl}: {\check{X}}_{9111}\rightarrow \mathbb {CP}^2\), which has nine exceptional divisors. Three of the exceptional divisors correspond to the base points of the pencil giving us three sections of the fibration \({\check{W}}_{9111}:{\check{X}}_{9111}\rightarrow \mathbb {CP}^1\). We study homological mirror symmetry with the Amodel on \(\mathbb {CP}^2\). Of principle interest will be the Lagrangian discussed in Fig. 5c, which we will call \(L_{inner}\subset \mathbb {CP}^2\). The Lagrangian discussed in Fig. 5a will be called \(L_{outer}\subset \mathbb {CP}^2\).
In Sect. 5.2, we use methods from Sect. 4.2 to compare the Lagrangian \(L_{T^2}\) to a fiber \(F_q\subset \mathbb {CP}^2\) of the moment map. Finally, we make a homological mirror symmetry statement for \(L_{T^2}\) and the fibers of the elliptic surface \({\check{X}}_{9111}\) in Sect. 5.3.
5.2 Tropical Lagrangian Tori in \(\mathbb {CP}^2\).
We now apply the tools from Lefschetz fibrations to give us a better understanding of the tropical Lagrangians in \(\mathbb {CP}^2\) from Fig. 19a.
Proposition 5.2.1
The Lagrangian \(L_{inner}\) drawn in Fig. 19a is Lagrangian isotopic to the moment map fiber \(F_p\) of \(\mathbb {CP}^2\).
This relation is already somewhat expected. [41] provides an infinite collection of monotone Lagrangian tori which are constructed by mutating the product monotone tori along different mutation disks. It is conjectured that these are all of the monotone tori in \(\mathbb {CP}^2\). From Corollary 5.1.2 we know that the Lagrangian \(L_{T^2}\) has the same Lagrangian mutation seed structure as \(T^2_{prod, mon}\), so if this conjecture on the classification of Lagrangian tori in \(\mathbb {CP}^2\) holds, these two tori must be Hamiltonian isotopic.
Proof
The outline is as follows: we first use the isotopy provided by Corollary 4.2.5 between \(L_{inner}\) and \(L_{outer}\). We then compare the Lagrangians \(L_{outer}\) to a Lagrangian glove for a Lefschetz fibration. This Lefschetz fibration is constructed from a pencil of elliptic curves chosen for a large amount of symmetry. Finally, we compare \(F_p\) to the Lagrangian constructed via a Lefschetz fibration. The Lagrangians \(F_p\) and \(L_{outer}\) are matched via an automorphism of the pencil of elliptic curves.
We first will talk about the geometry of the pencil and the automorphism we consider. The Hesse pencil of elliptic curves is the one parameter family described by
which has four degenerate \(I_3\) fibers at symmetric points \(p_1, p_2, p_3, p_4\in \mathbb {CP}^1\). Let \(E_{12}\subset \mathbb {CP}^2\) be the member of the pencil whose projection to the parameter space \(\mathbb {CP}^1\) is the midpoint \(p_{12}\) between \(p_1\) and \(p_2\). The generic fiber of the projection \(W_{3333}:\mathbb {CP}^2{\setminus } E_{12}\rightarrow \mathbb {C}\) is a 9punctured torus. From each \(I_3\) fiber we have three vanishing cycles. After picking paths from these degenerate fibers to a fixed point \(p\in \mathbb {C}\), we can match the vanishing cycles to the cycles in \(E_p\) as drawn in Fig. 20.
Remark 5.2.2
A small digression, useful for geometric intuition but otherwise unrelated to this discussion, concerning the apparent lack of symmetry in the vanishing cycles of \(W_{3333}\). One might expect that the configuration of vanishing cycles which appear in Fig. 20 to be entirely symmetric. While the Hesse pencil has symmetry group which acts transitively on the \(I_3\) fibers, to construct the vanishing cycles one must pick a base point p and a basis of paths from \(E_p\) to the critical fibers of the Hesse configuration, which breaks this symmetry. Each path from a point p to one of the four critical values \(p_i\) gives us 3 parallel vanishing cycles. The 4 critical fibers of the Hesse configuration lie at the corners of an inscribed tetrahedron on \(\mathbb {CP}^1\). By choosing \(p=p_{123}\) to be the center of a face spanned by three of these critical values, 3 paths (say, \(\gamma _1, \gamma _2, \gamma _3\)) from p to the critical values are completely symmetric. From such a choice, we obtain vanishing cycles \(\ell _1^j, \ell _2^j, \ell _3^j\), where \(j\in \{1, 2, 3\}\). The homology classes (and in fact, honest vanishing cycles)
are indistinguishable after action of \(SL(2, \mathbb {Z})\), reflecting the overall symmetry of both the \(X_{3333}\) configuration and the symmetry of the paths. The action of \(SL(2, \mathbb {Z})\) which interchanges these cycles also permutes the 9 points of \(E_{p_{123}}\) which are the base points of this fibration.
However, the introduction of the last path from the fourth critical fiber to \(p_{123}\) breaks this symmetry. At best, this path can be chosen so that there remains one symmetry, which exchanges \(\ell _1\) and \(\ell _2\). In this setup, the vanishing cycles \(\ell _4^i\) lies in the class \(\langle 1, 1 \rangle \). Correspondingly, the class \(\langle 1, 1\rangle \) distinguishes the class \(\ell _3\) from the other classes by intersection number.
This pencil is sometimes called the anticanonical pencil of \(\mathbb {CP}^2\). The automorphism group of the Hesse pencil is called the Hessian Group [21]. This group acts on \(\mathbb {CP}^1\) by permuting the critical values by even permutations. Consider a pencil automorphism \(g: \mathbb {CP}^2\rightarrow \mathbb {CP}^2\) which acts on the 4 critical values via the permutation \((p_1p_2)(p_3p_4)\). The point \(p_{12}\) is fixed under this action, therefore \(g(E_{12})=E_{12}\). While the fiber \(E_{12}\) is mapped to itself, the map is a nontrivial automorphism of the fiber, swapping the vanishing cycles for \(p_1\) and \(p_2\):
We can use the Lefschetz fibration to associate to each cycle \(\ell \) in \(E_{12}\) a Lagrangian in \(\mathbb {CP}^2\) by taking the Hamiltonian suspension cobordism of \(\ell \) in a small circle \(p_{12}+\epsilon e^{i\theta }\) around the point \(p_{12}\) in the base of the Lefschetz fibration. Call the Lagrangian torus constructed this way \(T_{\epsilon , \ell }\). The automorphism of the pencil \(g: \mathbb {CP}^2 \rightarrow \mathbb {CP}^2\) interchanges the Lagrangians \(T_{\epsilon , \ell _1}\) and \(T_{\epsilon , \ell _2}\)
The standard moment map \({{\,\mathrm{val}\,}}_{dz}:\mathbb {CP}^2\rightarrow Q_{\mathbb {CP}^2,dz}\) can be chosen so that one of the \(I_3\) fibers of the Hesse configuration projects to the boundary of the Delzant polygon \(Q_{\mathbb {CP}^2}.\) We choose the moment map so that \({{\,\mathrm{val}\,}}^{1}_{dz}(\partial Q_{\mathbb {CP}^2,dz})=E_1\), the \(I_3\) fiber lying above the point \(p_1\). When one performs a nodal trade exchanging the corners of the moment map for interior critical fibers, we obtain a new toric base diagram, \(Q_{\mathbb {CP}^2}\). The boundary of the base of the almost toric fibration \({{\,\mathrm{val}\,}}: \mathbb {CP}^2\rightarrow Q_{\mathbb {CP}^2}\) corresponds to a smooth symplectic torus. We arrange that
By comparison to the standard moment map, one sees that the cycle \(\ell _1\subset E_{12}\) projects to a point in the boundary of the moment map, while the cycle \(\ell _2\subset E_{12}\) projects to the whole boundary cycle. This gives us an understanding of the valuation projections of Lagrangian \(T_{\epsilon ,\ell _1}\) and \(T_{\epsilon ,\ell _2}\). \(T_{\epsilon ,\ell _1}\) has valuation projection which roughly looks like a point, and \(T_{\epsilon , \ell _2}\) has valuation projection which is a cycle that travels close to the boundary of \(Q_{\mathbb {CP}^2}\). As a result we have Hamiltonian isotopies identifying the Lagrangians
See Fig. 21, where \(L_{outer}\) is drawn in red, and \(F_p\) is drawn in blue.
We conclude \(g(L_{outer})\sim F_p\). As the projective linear group is connected, the morphism g is symplectically isotopic to the identity, and since \(H^1(\mathbb {CP}^2)\) is trivial, all symplectic isotopies are Hamiltonian isotopies. Therefore the Lagrangians \(L_{outer}\) and \(F_p\) are Hamiltonian isotopic.
By Corollary 4.2.3, the Lagrangians \(L_{inner}\) and \(F_p\) are Lagrangian isotopic. \(\square \)
This shows that \(L_{inner}\) is obtained from a Lagrangian that we’ve seen before, but presented from a very different perspective. By taking a Lagrangian isotopy, \(L_{outer}\) can be moved to \(L_{inner}\). We obtain the following relationships between Lagrangian submanifolds. Here, the equalities are taken up to Hamiltonian isotopy, and the dashed lines are Lagrangians which we expect to be Hamiltonian isotopic. See also Fig. 9, Remark 5.1.3.
These tori are isomorphic objects of the Fukaya category, but this is a consequence of \({{\,\mathrm{Fuk}\,}}(\mathbb {CP}^2)\) having so few objects.
5.3 Amodel on \(\mathbb {CP}^2{\setminus } E\).
We now study the map \(g:\mathbb {CP}^2\rightarrow \mathbb {CP}^2\) given by the automorphism of the Hesse configuration, and its action on the Fukaya category. Informally, the Fukaya category is an \(A_\infty \) category associated to a symplectic manifold X. The objects of the category are monotone or unobstructed Lagrangian submanifolds, and the morphisms between two Lagrangian submanifolds is their Lagrangian intersection Floer cohomology \({CF^\bullet }(L_0, L_1)\). The product \(m^2: {CF^\bullet }(L_1, L_2)\otimes {CF^\bullet }(L_0, L_1)\rightarrow {CF^\bullet }(L_0, L_2)\) is given by counting holomorphic triangles with boundary on \(L_0, L_1, L_2\) and striplike ends limiting to intersection between \(L_1\cap L_2, L_0 \cap L_1,\) and \(L_0\cap L_2\). Higher products similarly count holomorphic \(k+1\)gons with boundary on \(L_0, \ldots , L_k\) and striplike ends limiting to the intersections between \(L_{i}\cap L_{i+1}\).
As there are few monotone Lagrangians in \(\mathbb {CP}^2\), the category \({{\,\mathrm{Fuk}\,}}(\mathbb {CP}^2)\) does not contain many objects, so the automorphism of the Fukaya category induced by g is not so interesting. By removing an anticanonical divisor \(E=E_{12}\) we obtain a much larger category. For example, the Lagrangians \(L_{outer}\) and \(F_q\) are no longer Hamiltonian isotopic in \(\mathbb {CP}^2{\setminus } E\).
Claim 5.3.1
\(L_{outer}\) and \(F_q\) are not isomorphic objects of \({{\,\mathrm{Fuk}\,}}(\mathbb {CP}^2{\setminus } E)\)
Proof
The symplectic manifold \(\mathbb {CP}^2{\setminus } E\) contains a Lagrangian thimble \(\tau _1\) which is constructed from the singular fiber of the almost toric fibration and extends out towards the removed curve E (see Fig. 5b). This thimble \(\tau _1\) intersects \(L_{outer}\) at a single point, and therefore \({CF^\bullet }(L_{outer}, \tau _1)\) is nontrivial. However, \(\tau _1\) is disjoint from the fiber \(F_q\), so \({CF^\bullet }(F_q, \tau _1)\) is trivial. As a result, \(F_q\) and \(L_{outer}\) are not isomorphic objects of the Fukaya category.^{Footnote 7}\(\square \)
Since \(E_{12}\) was fixed by the symplectomorphism \(g: \mathbb {CP}^2\rightarrow \mathbb {CP}^2\), the restriction to the complement \(g: \mathbb {CP}^2{\setminus } E_{12}\rightarrow \mathbb {CP}^2{\setminus } E_{12}\) is still defined.
Corollary 5.3.2
The automorphism of the Fukaya category induced by the symplectomorphism g
acts nontrivially on objects.
This section of the paper is a series of observations and conjectures outlining homological mirror symmetry with the Amodel on \(\mathbb {CP}^2{\setminus } E\), and Bmodel on \({\check{X}}_{9111}\) which hope to shed light on the following conjecture.
Conjecture 5.3.3
The symplectomorphism \(g: \mathbb {CP}^2\rightarrow \mathbb {CP}^2\) is mirror to fiberwise Fourier Mukai transform on the elliptic surface \({\check{X}}_{9111}\) which interchange the points of \({\check{X}}_{9111}\) with line bundles supported on the fibers of the elliptic fibration.
5.3.1 Homological mirror symmetry for \(\mathbb {CP}^2{\setminus } E\)
To that end, we study \(L_{T^2}\subset \mathbb {CP}^2{\setminus } E\).
An intermediate Blowup and Base Diagrams for \({\check{X}}_{9111}\): We will begin with a description of the elliptic surface \({\check{X}}_{9111}\) as an iterated blow up of \(\mathbb {CP}^2\) along the base points of an elliptic pencil following [3]. Consider the pencil
This elliptic fibration has 3 base points of degree 4, 4, and 1. We can arrange for 6 of the blowups (3 on the two base points of degree 4) to be toric. We therefore obtain an intermediate step between \({\check{\mathbb {CP}}}^2\) and \({\check{X}}_{9111}\) which is the toric symplectic manifold \({\check{X}}_{\Sigma ^{int }}\). The toric diagram \( Q_{\Sigma ^{int }}\) is the Delzant polytope with 9 edges. The remaining 3 blowups introduce nodal fibers in the toric base diagram \({\check{Q}}_{9111}\) for \({\check{X}}_{9111}\) which has 9 edges and 3 nodal fibers. The 9 edges of the toric base correspond to the nine \(\mathbb {CP}^1\)’s making the \(I_9\) fiber of the fibration. The eigenray at each cut in the diagram is parallel to the boundary curves. See Fig. 22 for the base diagrams of these different blowups. Let \({\check{W}}_{9111}: {\check{X}}_{9111}\rightarrow \mathbb {CP}^2 \rightarrow \mathbb {CP}^1\) be the composition of blowdown and projection to the t parameter of the pencil.
Bmodel of \({\check{X}}_{9111}\): Let \({\check{\pi }}: {\check{X}}_{9111}\rightarrow {\check{X}}_{\Sigma ^{int }}\) be the projection of the last three blowups. By [9] have a semiorthogonal decomposition of the category of the blowup as
where the \(D_i\) are the exceptional divisors of the last three blowups. For sheaves \(\mathcal O_H\in D^b{{\,\mathrm{Coh}\,}}({\check{X}}_{\Sigma ^{int }})\) with support on a hypersurface H, this semiorthogonal decomposition states that there is a corresponding sheaf in \({\check{X}}_{9111}\) whose support is on the total transform of H. Should H avoid the points of the blowup, the total transform will have the same valuation projection as H. Should H contain the point of the blowup, the total transform includes the exceptional divisor of the blowup. A fiber of the elliptic surface \(W^{1}_{9111}(p)\) is the proper transform of \(E_p\subset X_{\Sigma ^{int }}\) , a member of the pencil after 6 blowups. On sheaves, we have an exact sequence:
We will now set up some background necessary to state a similar story for the Amodel, summarized in Assumption 5.3.6.
Base for \(\mathbb {CP}^2{\setminus } E\): Running the machinery of [15] on \({\check{Q}}_{9111}\), the SYZ base for \({\check{X}}_{9111}\) in the complement of a smooth anticanonical divisor, will yield the SYZ base \(Q_{\mathbb {CP}^2{\setminus } E}\) for \(\mathbb {CP}^2{\setminus } E\). The base diagram \(Q_{\mathbb {CP}^2{\setminus } E}\) can also be constructed by first constructing the mirror to the space \({\check{X}}_{\Sigma ^{int }}\). As \({\check{X}}_{\Sigma ^{int }}\) is a toric variety, the mirror space is a Landau Ginzburg model \((X_{\Sigma ^{int }}, W_{\Sigma ^{int }})=((\mathbb {C}^*)^2, W_{\Sigma ^{int }})\), where the superpotential \(W_{\Sigma ^{int }}\) yields a monomial admissibility condition (in the sense of [17]) \(\Delta _{\Sigma ^{int }}\) on \(Q_{\Sigma ^{int }}=\mathbb {R}^2\).
Assumption 5.3.4
(Monomial Admissible Blowup) There is notion of monomial admissibility condition for \(\mathbb {CP}^2{\setminus } E\). This monomial admissibility condition is constructed from the data of the monomial admissibility condition \(((\mathbb {C}^*)^2, W_{\Sigma ^{int }})\).
We now provide some motivation for this assumption. Recall, a monomial admissibility condition assigns to each monomial \(c_\alpha z^\alpha \) a closed set \(C_\alpha \subset Q\) on which \(\arg _{c_\alpha z^{\alpha }}(L_{C_\alpha })=0\). For a set \(C_\alpha \), denote by \(X_{\Sigma ^{int}}_{C_\alpha }\) the portion of the SYZ valuation with valuation lying inside of \(C_\alpha \). Let \(L_{C_\alpha }\) be the restriction of a Lagrangian L to the preimage \({{\,\mathrm{val}\,}}^{1}(C_\alpha )\). A Lagrangian is monomial admissible if for every \(\alpha \), \(L_{C_\alpha }\subset \arg _{c_{\alpha } z^{\alpha }}^{1}(0)\). The projection \(\arg _{c_\alpha z^\alpha }^{1}(0)\rightarrow C_\alpha \) is an \(S^1\) subbundle of the SYZ fibration \(X_{C_{\alpha }}\rightarrow C_\alpha \).
To obtain \(Q_{\mathbb {CP}^2{\setminus } E}\) from \(Q_{\Sigma ^{int }}\), we add in three cuts mirror to the three blowups. These three cuts are added by replacing the regions \(C_{z_1z_2}, C_{z_1z_2^{2}}\) and \(C_{z_1^{2}z_2}\) with affine charts \(C_{z_1z_2}', C_{z_1z_2^{2}}'\) and \(C_{z_1^{2}z_2}'\) each containing a nodal fiber. The charts \(C_\alpha \) can be locally modelled on \(\mathbb {C}^2{\setminus } \{y_1y_2=0\}\) with monomial admissibility condition \((y_1y_2)^{1}\). We replace these with charts containing a nodal fiber modeled on \(Y:=\mathbb {C}^2{\setminus } \{y_1y_2=\epsilon \}\) and admissibility condition controlled by the monomial \((y_1y_2\epsilon )^{1}\). The valuation map \(Y_{C'_\alpha }\rightarrow C_{\alpha }'\) is an almost toric fibration. We still have an \(S^1\) subbundle \(\arg _{y_1y_2\epsilon }^{1}(0)\subset Y_{C'_\alpha }\) of the SYZ fibration \(Y_{C'_\alpha }\rightarrow C_{\alpha }'\) whenever \(\epsilon \) is not negative real. This \(S^1\)subbundle and the monomial \((y_1y_2\epsilon )^{1}\) should be used to construct a monomial admissibility condition on \(\mathbb {CP}^2{\setminus } E\). See Figs. 23 and 24. From mirror symmetry considerations we expect the function \(W_E: \mathbb {CP}^2{\setminus } E\rightarrow \mathbb {C}\) to decompose as the sum of 9 monomials, corresponding to a specific basis of \(H^0(\mathbb {CP}^2, \mathcal O(E))\). This corresponds to a decomposition of the open Gromov–Witten potential on the mirror space, which counts the number of Maslov 2holomorphic disks with boundary on a SYZ fiber \((F_q, \nabla )\subset {\check{X}}_{9111}\). For \(F_q\subset {\check{X}}_{9111}{\setminus } I_9\), each disk contributing to the open Gromov–Witten potential must intersect the \(I_9\) anticanonical divisor; the potential can be split into monomial terms by restricting to those disks with pass through a specific \(\mathbb {CP}^1\subset I_9\) component.
In terms of the almost toric base diagrams, this compatibility can be stated as a matching between the eigendirection of the introduced cuts and the ray of the fan corresponding to the controlling monomial over the region including the cut.
Amodel on \(\mathbb {CP}^2{\setminus } E\) We now conjecture the existence of a mirror to the inverseimage functor on the Bmodel. Lagrangian submanifolds which lie in the \(S^1\) subbundle \(\arg _{c_\alpha z^\alpha }^{1}(0)\rightarrow C_\alpha \) should be in correspondence with Lagrangians which lie in the subbundle \(\arg _{y_1y_2\epsilon }^{1}(0)\subset Y_{C_\alpha '}\). In particular monomial admissible Lagrangians of X give us monomial admissible Lagrangians of \(\mathbb {CP}^2{\setminus } E\). This allows us to transfer Lagrangians L in \({{\,\mathrm{Fuk}\,}}((\mathbb {C}^*)^2, W_{\Sigma ^{int }})\) to Lagrangians \(\pi ^{1}(L)\in {{\,\mathrm{Fuk}\,}}(\mathbb {CP}^2{\setminus } E, W_E)\).
Remark 5.3.5
\(\pi ^{1}(L)\) does not arise from a map between the spaces \(\mathbb {CP}^2{\setminus } E\) and \((\mathbb {C}^*)^2\). The symplectic manifold \(\mathbb {CP}^2{\setminus } E\) is constructed from \((\mathbb {C}^*)^2\) by handle attachment. We keep the notation \(\pi ^{1}\) so that it is consistent with the inverse image functor from our earlier discussion on the Bmodel.
We observe that the thimbles of the newly introduced nodes (as in Fig. 24) do not arise as lifts of Lagrangians in \((\mathbb {C}^*)^2\). When constructing the Lagrangian thimble, there is a choice of argument in the invariant direction of the node. We take the convention that in the local model \(Y_{C_{\alpha }'}\), the argument of the constructed thimble is positive and decreasing to zero along the thimble. With this choice of argument an application of the wrapping Hamiltonian will separate the \(\tau _i\) and \(\pi ^{1}(L)\) so that
In the monomial admissible category, Lagrangians are infinitesimally wrapped before computing their Floer homology; this infinitesimal wrapping slightly increases the argument of each monomial on the Lagrangian over each area of control. A feature of working with monomial admissible category is that monomially admissible Lagrangians which are initially disjoint remain disjoint after the infinitesimal wrapping, and so we conclude that \(\hom (\pi ^{1}(L), \tau _i)=0\). In summary: see Figs. 23 and 24.
Assumption 5.3.6
(Monomial Admissible Blowup II) There exists a Lagrangian correspondence between \(((\mathbb {C}^*)^2, W_\Sigma )\) and \((\mathbb {CP}^2, W_E)\), giving us a functor
This functor gives us a semiorthogonal decompositions of categories:
We furthermore assume that this is mirror to the decomposition:
Remark 5.3.7
While to our knowledge this has not been proven for the monomial admissibility condition, this statement is understood by experts in the symplectic Lefschetz fibration admissibility setting [3, 20]. We give a translation of our statement into the Lefschetz viewpoint. Consider the pencil of elliptic curves
where \(p(z_1z_2z_3)=0\) is homogeneous degree 3 polynomial defining a generic elliptic curve E meeting \(z_1z_2z_3=0\) at 9 distinct points. Consider the elliptic fibration \(W_{E3}:X_{E3}\rightarrow \mathbb {CP}^1\) obtained by blowing up the 9 base points of this elliptic pencil, with exceptional divisors \(P_1, \ldots P_9\subset X_{E3}\). Let \(z_\infty \in \mathbb {CP}^1\) be a critical value so that \(W^{1}_{E3}(z_\infty )=I_3.\) Then
and we may look at the restriction
By construction, this is a rational function which expands into 9 monomial terms, and has 9 critical points. The nine monomial terms correspond to the 9 directions in the fan drawn in Fig. 22b. The Fukaya–Seidel category constructed with \(W_{E3}_{(\mathbb {C}^*)^2}: (\mathbb {C}^*)^2\rightarrow \mathbb {CP}^1\) is mirror to \(X_{\Sigma ^{int }}\), where the 9 thimbles drawn from these critical points are mirror to a collection of 9 line bundles generating \(D^b{{\,\mathrm{Coh}\,}}({\check{X}}_{\Sigma ^{int }})\). These 9 thimbles correspond to 9 tropical Lagrangian sections \(\sigma _\phi :Q_{\Sigma ^{int }}\rightarrow (\mathbb {C}^*)^2\) in the monomial admissible Fukaya category with fan Fig. 22b. The elliptic curve E is a smoothing of the \(I_3\) singularity. We now consider \(X=(\mathbb {CP}^2{\setminus } E )= (X_{E3}{\setminus }( E \cup P_1\cup \cdots \cup P_9))\). The restriction
has 12 critical points, 9 of which may be identified with the critical points from the example before. Conjecturally, this is mirror to \({\check{X}}_{9111}\), where the thimbles from the three additional critical points are mirror to the exceptional divisors introduced in the blowup \({\check{X}}_{9111}\rightarrow X_{\Sigma ^{int }}\). In the monomial admissible picture, the three additional thimbles are matched to the tropical Lagrangian thimbles introduced from the nodes appearing in the toric base diagram \(Q_{\mathbb {CP}^2{\setminus } E}\) drawn in Fig. 22c.
5.3.2 A return to the Lagrangian \(L_{T^2}\subset \mathbb {CP}^2{\setminus } E\).
We now look at the Lagrangian three punctured torus \(L_{{\phi _{T^2}}}\subset (\mathbb {C}^*)^2=\mathbb {CP}^2{\setminus } I_3\) described in Example 3.1.12. In order to make a homological mirror symmetry statement, we need to use the nonArchimedean mirror \({\check{X}}_{9111}^\Lambda \), however the intuition should be independent of the use of Novikov coefficients.
Let \(\phi _{T^2}= x_1\oplus x_2\oplus (x_1x_2)^{1}\) be the tropical polynomial whose critical locus passes through the rays of the nodes added in the modification of \(Q_{\Sigma ^{int}}\) to \(Q_{9111}\).
Theorem 5.3.8
There exists a threeended Lagrangian cobordism with ends
where \(\tau _1\cup \tau _2\cup \tau _3\) is a disconnected Lagrangian in the Fukaya category. Provided that Assumption 5.3.6 holds and the cobordism is unobstructed, the Lagrangian \(L_{T^2}\) is mirror to a divisor Chowequivalent to a fiber of the elliptic fibration \({\check{W}}_{9111}:{\check{X}}_{9111}\rightarrow \mathbb {CP}^1\).
Proof
We first construct the Lagrangian cobordism. At each of the 3 nodal points in the base of the SYZ fibration \(Q_{\mathbb {CP}^2{\setminus } E}\) the Lagrangian \(L_{T^2}\) meets \(\tau _i\) at a single intersection point. In our local model for the nodal neighborhood, this is the intersection of two Lagrangian thimbles. The surgery of those two thimbles is a smooth Lagrangian whose argument in the eigendirection of the node avoids the node. This was our local definition for \(\pi ^{1}(L(\phi _{T^2}))\) in a neighborhood of the node.
Recall that in this setting, we have an exact sequence of sheaves
In the event that the cobordism constructed above is unobstructed, by [6] we have a similar exact triangle on the Aside,
Remark 5.3.9
It is reasonable to expect that the Lagrangian cobordism in question is unobstructed, as the intersections between the \(\tau _i\) and \(L_{T^2}\) are all in the same degree, therefore for index reasons we can rule out the existence of holomorphic strips on \(L_{T^2}\cup \tau _i\). In complex dimension 2, one can additionally choose an almost complex structure to rule out the existence of Maslov 0 disks with boundary on \(L_{T^2}\cup \tau _i\). These are similar to the conditions used to prove unobstructedness of tropical Lagrangian hypersurfaces [19].
Under the assumptions of [19, A.3.2] on the existence of a restriction morphism for the pearly model of Lagrangian Floer theory of Lagrangian cobordisms , the first and third term in these exact triangles are mirror to each other. This identifies the mirror of the middle term in the Chow group, proving the theorem. \(\square \)
This mirror symmetry statement ties together several lines of reasoning. To each fiber \(F_q\subset \mathbb {CP}^2{\setminus } E\) equipped with local system \(\nabla \), we can associate a value \(OGW(F_q, \nabla )\) which is a weighted count of holomorphic disks with boundary \(F_q\) in the compactification \(F_q\subset \mathbb {CP}^2\). By viewing \({\check{X}}_{9111}\) as the moduli space of pairs \((F_q, \nabla )\), we obtain a function
This function matches the restriction \({\check{W}}_{9111}_{{\check{X}}_{9111}{\setminus } I_9}\). In the previous discussion we conjectured that sheaves supported on \(W^{1}_{OGW}(0)\) are mirror to \(L_{T^2}\). Recall that \(L_{T^2}\) can also be constructed as the dual dimer Lagrangian (Definition 3.3.4) to the mutation configuration for the monotone fiber \(F_0\). In this example, these two constructions of \(L_{T^2}\) suggest that the dual dimer Lagrangian for a mutation configuration is mirror to the fiber of the Open Gromov–Witten superpotential.
Notes
The notation \(\alpha _D(L)\) is chosen as the character \(\alpha \) results from applying antisurgery on the character c.
In [14], these are called piecewise linear affine multivalued functions.
This is an abuse of notation, as there may not be a globally defined function whose differential describes this section. However, this will make the remainder of our discussion consistent with the notation used to construct tropical Lagrangians.
Here, strictly linear means not just that the derivative is constant, but the extension to all of Q sends the origin to 0. It is worth pointing this out, as the standard convention is to use piecewise linear to mean piecewise affine.
We apologize for the tragic conflict of notation here. We’re forced to use q as the coordinate on Q, the base of the SYZ fibration, and p for the coordinate on \(T^*_0Q/T^*_\mathbb {Z}Q\), the fiber of the SYZ fibration. Unfortunately, when we want to treat this as the cotangent bundle of the fiber, our choices make q the fiber coordinate on \(T^*T^n\), p the coordinate on the base \(T^n\), and \(\eta =q\cdot dp\) the canonical 1form.
We again apologize for the inconvenience of using (q, p) for coordinates on \(T^*Q/T^*_\mathbb {Z}Q\).
In fact, the same argument shows that \(L_{outer}\) and \(F_q\) are not topologically isotopic.
References
Abouzaid, M.: Morse homology, tropical geometry, and homological mirror symmetry for toric varieties. Sel. Math. New Ser. 15(2), 189–270 (2009)
Artebani, M., Garbagnati, A., Laface, A.: Cox rings of extremal rational elliptic surfaces. Trans. Am. Math. Soc. 368(3), 1735–1757 (2016)
Auroux, D., Katzarkov, L., Orlov, D.: Mirror symmetry for del Pezzo surfaces: vanishing cycles and coherent sheaves. Inventiones mathematicae 166(3), 537–582 (2006)
Abouzaid, M., Smith, I.: Khovanov homology from Floer cohomology. J. Am. Math. Soc. 32, 1–79 (2018)
Auroux, D.: Mirror symmetry and Tduality in the complement of an anticanonical divisor. J. Gökova Geom. Topol. 1, 51–91 (2007)
Biran, P., Cornea, O.: Lagrangian cobordism and Fukaya categories. Geom. Funct. Anal. 24(6), 1731–1830 (2014)
Biran, P., Cornea, O.: Lagrangian cobordism in Lefschetz fibrations. (2015). arXiv:1504.00922
Biran, P., Cornea, O.: Conedecompositions of Lagrangian cobordisms in Lefschetz fibrations. Sel. Math. New Ser. 23(4), 2635–2704 (2017)
Bondal, A., Orlov, D.: Semiorthogonal decomposition for algebraic varieties (1995). arXiv preprint arXiv:alggeom/9506012
Candelas, P., De La Ossa, X.C., Green, P.S., Parkes, L.: A pair of Calabi–Yau manifolds as an exactly soluble superconformal theory. Nucl. Phys. B 359(1), 21–74 (1991)
Feng, B., He, Y.H., Kennaway, K.D., Vafa, C., et al.: Dimer models from mirror symmetry and quivering amoebae. Adv. Theor. Math. Phys. 12(3), 489–545 (2008)
Forsgård, J.: On dimer models and coamoebas. Annales de l’Institut Henri Poincaré D 6(2), 199–219 (2019)
Fukaya, K.: Lagrangian Intersection Floer Theory: Anomaly and Obstruction, Part I, vol. 41. American Mathematical Society, Philadelphia (2010)
Gross, M.: Tropical Geometry and Mirror Symmetry, vol. 114. American Mathematical Society, Philadelphia (2011)
Gross, M., Siebert, B.: Affine manifolds, log structures, and mirror symmetry. Turk. J. Math. 27(1), 33–60 (2003)
Gulotta, D.R.: Properly ordered dimers, Rcharges, and an efficient inverse algorithm. J. High Energy Phys. 2008(10), 014 (2008)
Hanlon, A.: Monodromy of monomially admissible Fukaya–Seidel categories mirror to toric varieties. Adv. Math. 350, 662–746 (2019)
Haug, L.: Lagrangian antisurgery (2015). arXiv:1511.05052
Hicks, J.: Tropical Lagrangian hypersurfaces are unobstructed. J. Topol. 13(4), 1409–1454 (2020)
Hacking, P., Keating, A.: Homological mirror symmetry for log Calabi–Yau surfaces (2020). arXiv:2005.05010
Jordan, C.: Mémoire sur les équations différentielles linéaires á intégrale algébriques. J. Reine Angew. Math. 84, 89–215 (1877)
Kontsevich, M.: Homological algebra of mirror symmetry. In: Proceedings of the International Congress of Mathematicians (1994)
Kenyon, R., Okounkov, A., Sheffield, S.: Dimers and amoebae. Ann. Math. 163, 1019–1056 (2006)
Kontsevich, M., Soibelman, Y.: Homological Mirror Symmetry and Torus Fibrations. World Scientific, Singapore (2001)
Leung, N.C., Symington, M.: Almost toric symplectic fourmanifolds. J. Sympl. Geom. 8(2), 143–187 (2010)
Matessi, D.: Lagrangian pairs of pants. Int. Math. Res. Not. (2018). https://doi.org/10.1093/imrn/rnz126
Mikhalkin, G.: Enumerative tropical algebraic geometry in R2. J. Am. Math. Soc. 18(2), 313–377 (2005)
Mikhalkin, G.: Examples of tropicaltoLagrangian correspondence. Eur. J. Math. 5(3), 1033–1066 (2019)
Miranda, R.: The Basic Theory of Elliptic Surfaces. Princeton, ETS (1989)
Mak, C.Y., Ruddat, H.: Tropically Constructed Lagrangians in Mirror Quintic Threefolds. Forum of Mathematics, Sigma, vol. 8. Cambridge University Press, Cambridge (2020)
Mak, C.Y., Wu, W.: Dehn twist exact sequences through Lagrangian cobordism. Compos. Math. 154(12), 2485–2533 (2018)
Polterovich, L.: The surgery of Lagrange submanifolds. Geom. Funct. Anal. GAFA 1(2), 198–210 (1991)
Pascaleff, J., Tonkonog, D.: The wallcrossing formula and Lagrangian mutations. Adv. Math. 361, 106850 (2020)
Seidel, P.: Fukaya \(\text{ A}_\infty \)structures associated to Lefschetz fibrations. II 1/2. Adv. Theor. Math. Phys. 20(4), 883–944 (2016)
Shende, V., Treumann, D., Williams, H., Zaslow, E.: Cluster varieties from Legendrian knots. Duke Math. J. 168(15), 2801–2871 (2019)
Symington, M.: Four dimensions from two in symplectic topology. In: Proceedings of Symposia in Pure Mathematics, vol. 71, pp. 153–208. American Mathematical Society (2003)
Strominger, A., Yau, S.T., Zaslow, E.: Mirror symmetry is Tduality. Nucl. Phys. B 479(1–2), 243–259 (1996)
Dmitry, T.: String topology with gravitational descendants, and periods of LandauGinzburg potentials (2018). arXiv:1801.06921
Treumann, D., Williams, H., Zaslow, E.: Kasteleyn operators from mirror symmetry. Sel. Math. New Ser. 25(4), 60 (2019)
Ueda, K., Yamazaki, M.: Homological mirror symmetry for toric orbifolds of toric del Pezzo surfaces. J. Reine Angew. Math. (Crelles J.) 2013(680), 1–22 (2013)
Vianna, R.: On exotic Lagrangian tori in CP2. Geom. Topol. 18(4), 2419–2476 (2014)
Vianna, R.: Infinitely many monotone Lagrangian tori in del Pezzo surfaces. Sel. Math. New Ser. 23(3), 1955–1996 (2017)
Acknowledgements
This project wouldn’t be possible without the support of my advisor Denis Auroux during my studies at UC Berkeley. While working on this project, I benefited from conversations with Ailsa Keating, Mark Gross, Diego Matessi, Nick Sheridan who have been very generous with their time and advice. I also thank Jake Solomon for providing useful feedback on the introduction to this paper. Additionally, I would like to thank Paul Biran, who provided me with great amount of mathematical and professional advice during my visit at ETH Zürich. Finally, the exposition of this paper benefitted from the thoughtful feedback of an anonymous reviewer. A portion of this work was completed at ETH Zürich. This work was partially supported by NSF Grants DMS1406274 and DMS1344991 and by a Simons Foundation Grant (# 385573, Simons Collaboration on Homological Mirror Symmetry).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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/.