Tropical Lagrangians in toric del-Pezzo surfaces

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 del-Pezzo whose wall-crossing transformations match those of monotone SYZ fibers. An example is worked out for the mirror pair $(\mathbb{CP}^2\setminus E, W), 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 $X_{9111}$.


Homological Mirror Symmetry and Tropical Geometry
Tropical geometry plays an important role in mirror symmetry, a duality proposed in [COGP91] between symplectic geometry on a space X, and complex geometry on a mirror spaceX. A proposed mechanism for constructing pairs of mirror geometries comes from SYZ mirror symmetry ( [SYZ96]) where X andX have dual Lagrangian torus fibrations over a common affine manifold Q. XX Q valv al From this viewpoint, mirror symmetry is recovered by degenerating the symplectic geometry of X and complex geometry ofX to tropical geometry on the base Q. In the complex setting, this degeneration was studied by [KS01;Mik05], where a correspondence between the valuations of complex curves (called the amoeba) and tropical curves was established. More recently, tropical-Lagrangian correspondences have been constructed in the parallel works of [Mik18; Mat18; Hic19; MR19]. These papers show that for a given tropical curve V ⊂ Q there exists a Lagrangian submanifold L(V ) ⊂ X with val(X) approximating V .
A more precise relation of these two geometries is the homological mirror symmetry conjecture of [Kon94]. This predicts that Lagrangian submanifolds of X and complex submanifolds ofX should be compared as objects via a mirror functor between the categories Fuk(X) and D b Coh(X). An expectation is that homological and SYZ mirror symmetry interact by relating Lagrangian torus fibers of val : X → Q to skyscraper sheaves of points onX, and sections of the Lagrangian torus fibration to line bundles ofX.
This intuition was used in [Abo09] which proved that the Fukaya-Seidel category Fuk((C * ) n , W Σ ) is equivalent to D b Coh(X Σ ), the derived category of coherent sheaves on a mirror toric manifold. This was achieved by using tropical geometry to construct Lagrangian sections of val : (C * ) n → R n , and to show that these were mirror to line bundles onX Σ . In [Hic19], it was shown that the tropical-Lagrangian and tropical-complex correspondences are compatible with this mirror functor, in the sense that when a tropical hypersurface V is approximated byv al(D) for a divisor D, the Lagrangian L(V ) is mirror to the sheaf O D . This extends the relation between homological and SYZ mirror symmetry to sheaves beyond line bundles and skyscrapers of points.

Wall-Crossings 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 is expected to be the mirror spaceX. A hands-on approach to understanding this moduli space is to build complex coordinate charts. These coordinate functions are constructed by taking an appropriately weighted count of holomorphic disks with boundary on L. A first example are the product tori in C 2 , whose holomorphic disks have areas dependent on the radii chosen to construct the tori.
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 these coordinates. In [Aur07] these discontinuities are explained in terms of a wall-crossing correction which describes how such bubblings can be appropriately incorporated into coordinates on the space. For example, the monotone Chekanov and product tori in C 2 are related by a Lagrangian isotopy which exhibits one of these wall-crossing corrections.
This technique inspired [Via14] to produce examples of non-Hamiltonian isotopic monotone Lagrangians in toric del-Pezzos. These Lagrangians are constructed by Lagrangian isotopies where wall-crossing 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 [PT17] , which showed that Lagrangians constructed via Lagrangian mutation (a kind of Lagrangian surgery presented in [Hau15]) had disk counts which were related by a wall-crossing transformation. The examples considered in [Via14] were shown to be constructed via this Lagrangian mutation process.

Statement of Main Results
The goal of this paper is to extend the constructions of [Hic19] to Lagrangian fibrations X → 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 [Mat18, section 6.3] regarding the homological mirror symmetry interpretation of monotone tropical Lagrangian tori in toric del-Pezzos.
This paper first provides an alternate description of the tropical Lagrangian submanifolds from [Hic19] using the combinatorics of dimers (classically, an embedded bipartite graph G ⊂ T 2 ). To a dimer we construct a Lagrangian in (C * ) n whose valuation projection lies near a tropical curve (definition 3.1.4). The argument projection arg : (C * ) n → 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 (Dimer-Mutation Correspondance, Restatement of 3.3.3). Let L be a Lagrangian described by the dimer G ⊂ T 2 . Suppose a face f of G has boundary satisfying the zero weight condition (definition 3.3.1). Then we can construct another Lagrangian by mutation, µ D f L, whose argument projection can be explicitly described by another dimer.
This motivates the construction of tropical Lagrangian submanifolds inside of toric del-Pezzos. In the case where dim C (X) = 2, the singular fibers of a toric fibration X → Q can be chosen to be of a particularly nice form. We then call Q an almost-toric base diagram, which has the structure of a tropical manifold. We show that tropical curves V ⊂ Q meeting the discriminant locus of Q admissibly admit Lagrangian lifts L(V ) ⊂ Q. We then use this to construct some tropical Lagrangian tori in toric del-Pezzos. As Lagrangian tori, these are interesting because in the complement of an anticanonical divisor they are not isotopic to those constructed in [Via14].
Theorem (Restatment of 4.1.3,5.1.1). Let X be a toric del-Pezzo. Let E ⊂ X be a smooth anticanonical divisor chosen so that there is an SYZ fibration X \ E → Q obtained from pushing in the corners of the Delzant polytope. There exists a tropical Lagrangian torus L T 2 ⊂ X \ 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, their moduli spaces match up. 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 = CP 2 . The mirror to CP 2 \E is known to be X 9111 , an extremal rational elliptic surface. There is an automorphism of D b Coh(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 CP 2 \ 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 : (CP 2 \ E) → (CP 2 \ 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 X 9111 .

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 : CP 2 \ E → CP 2 \ E. Section 2 starts with some necessary background and notation. In section 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. ?? reviews tropical geometry on affine manifolds, with an emphasis on dimension two.
Section 3 extends the results of [Hic19] to construct tropical Lagrangian submanifolds from the data of a dimer. This involves giving a definition for a dual-dimer (definition 3.0.2) in higher dimensions as a collection of polytopes {∆ • v }, {∆ • 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 (a) A dual dimer. The three white hexagons correspond to antisurgery disks for mutation.  polytopes corresponds to a tropical hypersurface in R n . In section 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 Floer-theoretic support of a tropical Lagrangian in terms of the Kasteleyn operator (similar to the computation in [TWZ18] for microlocal sheaf theory). The Lagrangian mutation story is introduced in section 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 section 4, we generalize beyond tropical Lagrangians in (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 [AS18] 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 section 5 we apply the tropical lifting construction from the previous section to build tropical Lagrangian tori in toric del-Pezzos 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 [Via17;PT17]. This constructs the tropical Lagrangian tori from the first theorem.
Finally, in section 5.2 we present an in-depth example of homological mirror symmetry for the example of CP 2 \ E following [AKO06]. 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 : CP 2 \ E → CP 2 \ 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 nodal-trade 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 CP 2 \ E, which characterizes the mirror object to L T 2 in D b Coh(X 9111 ).

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.
A portion of this work was completed at ETH Zürich. This work was partially supported by NSF grants DMS-1406274 and DMS-1344991 and by a Simons Foundation grant (# 385573, Simons Collaboration on Homological Mirror Symmetry).
2 Some Background

Lagrangian Surgery and Mutations
Lagrangian surgery is a tool for modifying a Lagrangian along its self intersection locus. It was introduced by [Pol91] in the case where a Lagrangian is immersed with transverse self-intersections. 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 [Hau15]. Hau15]). 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 α D (L) ⊂ X called the Lagrangian antisurgery of L along D, which satisfies the following properties • α D (L) is topologically obtained by performing surgery along D k , • α 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 α 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 self-intersection. 1 There exists a choice of surgery neck so that the resolution of the self-intersection of α 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 anti-surgery with surgery, we can obtain a new embedded Lagrangian.
Definition 2.1.2. Let L be an embedded Lagrangian submanifold, and D n a surgery disk. Let α D (L) be obtained from D n by antisurgery. The mutation of L along D n is the Lagrangian µ D (L) obtained from α D (L) by resolving the resulting single self-intersection 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 [PT17]. A typical example of Lagrangians related by mutation are the Chekanov and Clifford tori in 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 non-transverse intersection with a particular collared neighborhood. This surgery replaces two Lagrangians with one in a neighborhood of their symmetric difference. • The function f is decreasing and convex in the r-variable • The function vanishes on the complement of B (∂U ).
• 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 L 1 satisfying the following properties: • There exists a Lagrangian cobordism (in the sense of [BC14]) K : The proof is analogous to the proof for the case when U is contractible presented in [Hic19, Proposition 3.1.1.].

Affine and Tropical Geometry
We summarize a description of these tropical manifolds from [Gro11].
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(Z n ) R n .
• ∆ := Q \ Q 0 , the discriminant locus, is codimension 2 • ∂Q ⊂ Q can be locally modelled after a SL(Z n ) R n coordinate change on R n−k × R k ≥0 .
We will be interested in tropical manifolds where the discriminant locus additionally comes with some affine structure. A tropical manifold is a pair (Q, P), where P is a polyhedral decomposition of Q. For a full definition of the data of a tropical manifold (Q, P), we refer the reader to [Gro11, 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 2-dimensional, and the notions of tropical manifold and tropical affine manifold agree with each other.

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 4-dimensional symplectic manifold X [LS+10]. 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, P) be a 2-dimensional tropical manifold. Let Q 0 be the set of singular points. At each point q i ∈ Q 0 we define the eigenray R i ⊂ 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 \ i R i to 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 × k , where the monodromy around q i is a k-Dehn twist.
The Lagrangian fibers F q of X → Q can be described by the points in the base diagram.
• If a point q ∈ Q \ R has a standard affine neighborhood, then F q is a Lagrangian torus. × × × Figure 2: The nodal trade applied three times to the toric diagram of CP 2 . The toric divisor given by a nodal elliptic curve is transformed into a smooth symplectic torus.
• If the point q ∈ Q \ R has an affine neighborhood modelled on R × R ≥0 then fiber F q is an elliptic fiber of corank 1, corresponding to an isotropic circle in X.
• If the point q ∈ Q \ R has an affine neighborhood modelled on R ≥0 × R ≥0 , the fiber F q is an elliptic fiber of corank 2, which is simply a point in X.
• If a point q ∈ Q \ 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 → 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.

Tropical Differentials
In the setting where Q = R n , a tropical hypersurface is defined via the critical locus of a tropical function φ : Q → 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 Ω 1 af f on the space Q 0 . It is given by the sheafification of the quotient: where φ : U → R is a piecewise linear polynomial satisfying the following conditions: • dφ ∈ T * Z U whenever dφ is defined, • For every point q ∈ U there exists an integral affine neighborhood B (q) so that the restriction φ| B (q) is concave.
The sheaf R here is the sheaf of constant functions. The sheaf of integral tropical differentials is the subsheaf of constant sections of T * Z (Q 0 ). Let i : Q 0 → Q be the inclusion. We define the sheaf of tropical sections 2 to be the quotient sheaf We will call the sections of this sheaf the tropical sections, and denote them φ ∈ dTrop(U ). 3 Given a tropical section φ, we denote the locus of non-linearity as V (φ) ⊂ Q. Should φ have a representation in each chart by a smooth tropical polynomial, we say that φ 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.
When Q = R n , there is no difference between the global sections of dTrop and the differentials of global tropical polynomials.
Given a triple (Q, P, φ), one can construct a dual triple (Q,P,φ) using a process called the discrete Legendre transform. Away from the boundary the base manifolds Q andQ agree as topological spaces, however their affine structures differ at the singular points. At the boundary these spaces are modified so that the non-compact facets of Q are compactified inQ and vice-versa. The simplest example of this phenomenon is whenQ = ∆ Σ ⊂ R 2 is a compact polytope. The Legendre dual toQ is the plane Q = R 2 , equipped with a fan decomposition whose non-compact regions correspond to the boundary vertices ofP .
Given a tropical manifold Q, we can produce a torus bundle X 0 = T * Q 0 /T * 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 manifoldX overQ. The pair of spaces X andX are candidate mirror spaces. When Q is non-compact 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 ofF 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 ad-hoc manner. Figure 3: Tropical subvarieties associated to some tropical sections on CP 2 \ E.

Some examples of tropical sections
A running example that we will use is the symplectic manifold CP 2 \ E. One can construct an almost toric fibration for CP 2 \ E by starting with the toric base diagram for CP 2 . By applying nodal trades at each corner, we obtain a toric fibration val : CP 2 → Q CP 2 , where the boundary of Q CP 2 is an affine S 1 (see fig. 2). The preimage of val −1 (∂Q CP 2 ) = E ⊂ CP 2 , a symplectic submanifold isotopic to a smooth cubic. CP 2 \ E is an almost toric fibration over the interior of this set, Q CP 2 \E = Q CP 2 \ ∂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 CP 2 \E . Figure 3a 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. 3b 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. 3c. 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 ⊂ Q be a tropical curve in an affine tropical surface.
We say that V avoids the critical locus if V is disjoint from ∆ and ∂Q.
We say that the interior of V avoids the critical locus if V is disjoint from ∂Q,and at each node q ∈ Q \ ∆, there is a neighborhood B (q) so that the restriction of V ∩ B (q) is a ray parallel to the eigenray of q.

Tropical Lagrangians from Dimers
We now introduce a combinatorial framework generalizing some of the ideas discussed in [Mat18, Section 5.2], and the previous work of [TWZ18; UY13; STWZ15; FHKV+08].
A zigzag configuration for a dimer G is a set of transverse cycles Σ ⊂ C 1 (T 2 ) satisfying the following conditions: • Each connected component in T 2 \ Σ contains at most one vertex of 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 • dimer faces, and inward on the V • dimer faces.
We will now restrict to the setting of dual dimers, where Σ is a collection of affine cycles. 4 It is the case that for every [Σ] ⊂ H 1 (T 2 ) we can find a dimer whose zigzag collection is [Σ], however, it is not necessarily the case that we can find an affine dimer with this property [Gul08],[For19, Section 4]. A dimer picks out an oriented two chain whose boundary is Σ. This is similar to the data used in [STWZ15]. More generally, we will consider pairs of the following form: which satisfy the following properties.

• Each vertex set {∆
•/• v } 0 is a set of distinct points on the torus in the sense that whenever w 1 , w 2 ∈ {∆ • v } 0 and w 1 ≡ w 2 mod Z n ,then w 1 = w 2 . • We require that these two vertex sets match after quotienting by the lattice, • Let p 1 ∈ ∆ • v 1 be a vertex, and let p 2 ∈ ∆ • v 2 be the corresponding vertex so that p 1 ≡ p 2 mod Z n . Let {e 1 , . . . , e k } be the edges of ∆ • v 1 containing the vertex p 1 . We require that the edges of ∆ • v 2 containing p 2 point in the opposite directions {−e 1 , . . . , −e k }.
If the interiors of the ∆ • v and ∆ • w are disjoint mod Z n , we say that the dual dimer configuration has no self-intersections.
From this data, we obtain a bipartite graph G ⊂ T n , whose vertices are indexed by 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 then G can be chosen to be embedded. A dual dimer prescribes the data of a n-chain in T n . Our requirement that G is bipartite guarantees that this n-chain is oriented.
We now briefly explore some of the combinatorics of these dual dimers to produce the data of a tropical hypersurface in R n .
From our definition of a dual dimer, there exists an edge e − in some ∆ • w 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 , Z) associated to each edge e.
Consider T α ⊂ T n , the affine (n − 1) subtorus spanned by α. The set of (n − 1) polytopes ∆ •/• β given by the facets of our original set of polytopes which satisfy is the data of an (n − 1) dimer on T α .
By induction, we get the same result for all faces.
Corollary 3.0.5. Let α be a k-face of some ∆ • v . Consider T α ⊂ T n , the affine sub-torus spanned by α. The set of k polytopes given by the k-faces satisfying Each of these k dimensional dual dimers gives the data of a k-chain in T α . We denote these k-chains of T n , This can also be thought of an equivalence relation on the set of k-faces of the dual-dimer, where two faces are equivalent if they define the same dual k-dimer chain. A cone is the real positive span of a finite set of vectors. Given a cone V ⊂ R n , a subspace U ⊂ R n , the U -relative dual cone of V is To each k-chain U β we can associate a cone in R n .
Definition 3.0.6. Let U β be a chain given by a facet β ⊂ ∆ so that the origin is an interior point of the face β. Let R β be the affine subspace generated by β. Let (R β ) ⊥ be the corresponding perpendicular subspace. We define the dual cone to the facet U β to be Suppose that α and β are facets in the same dual k-dimer so that This also shows that the definition of the cone is really only dependent on the data of the k-chain represented by the choice of facet α, in that U α = U β whenever U α = U β . Consider the polyhedral complex containing the subset U β . This complex satisfies the zero tension condition, and therefore describes a tropical subvariety of R n .

Dimer Lagrangians
From the data of a dimer, we now construct a Lagrangian inside of X = (C * ) n . The construction of these Lagrangians are similar to the construction of tropical Lagrangians in [Hic19, sections 3.1, 3.2]. Let Q = R n , and T * Z Q be the lattice in the cotangent bundle generated by dx 1 , . . . , dx n . We give X the symplectic structure via identification with T * Q/T * Z Q, and let val : X → Q be the valuation projection. The fibers of this projection are Lagrangian tori. We denote by arg : X → (T * ) 0 Q/(T * Z ) 0 Q = T n the argument projection to a torus fiber.
We choose the function which is maximally degenerate in the sense that each domain of linearity contains the origin.
Each polytope ∆ defines a tropical function φ ∆ : R n → R whose Newton polytope is ∆, and whose tropical locus contains a single 0-dimensional strata. Given a dual dimer be the associated dual tropical functions. Following [Hic19], letφ •/• : R n → R be smoothings of the convex functions by a kernel of small radius.
We glue together the tropical Lagrangian submanifolds σ •/• k along their overlapping regions.
Furthermore, the sections σ The structure of a collared boundary on the intersections U e follows from the convexity/concavity of the primitive functions φ The set U β is very close to the set U e , where β is the common vertex of the two dimer polytopes corresponding to the edge e. As a result, the valuation of a dimer Lagrangian is close to the tropical hypersurface associated to the dimer.
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(φ • w , φ • 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 [Hic19], where Example 3.1.6. 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. 5a 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.7. It is not necessary for the dimer model to consist of disjoint faces. In fig. 5b 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. 5c.
The relation between these three examples is that of Lagrangian mutation, which we will formalize to other examples in section 3.3.

Floer Theoretic Support from Dimer Model
We now restrict ourselves to the setting (C * ) 2 = T * F 0 and describe a combinatorial approximation of , the Floer theory of our tropical Lagrangian against fibers of the SYZ fibration.
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 [KOS06]. By letting the local system ∇ 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 (∇) of the dimer.
We now explain the relation between the Kasteleyn complex C • (G, ∇) and the Lagrangian intersection . These complexes are isomorphic as vector spaces, as the intersection points of is built from taking a surgery of the pieces σ v •/• . An expectation from [Fuk10] is that holomorphic strips contributing to the differential µ 1 : CF (L 0 # p L 1 , L 2 ) are in correspondence with holomorphic triangles contributing to µ 2 : CF (L 0 , L 1 ) ⊗ CF (L 1 , L 2 ). In our construction of L(φ • w , φ • v ) we smoothed regions larger than intersection points between the sections σ •/• v , 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(φ • w , φ • v ), (F 0 , ∇)) should be given by weighted count of edges in the dimer. The local system ∇ on F 0 determines the weight of the holomorphic strips corresponding to each edge.
is a chain homomorphism.
If this conjecture holds, we have a new tool for computing the support of the Lagrangian , which will be determined by the zero locus of Z G (∇).
Example 3.2.3. A first example to look at is the Kasteleyn complex of example 3.1.5. We give the polygons of the dimer the labels from example 3.1.5. We can rewrite Z G (∇) as a polynomial by picking coordinates on the space of connections. Let z 1 and z 2 be the holonomies of a local system ∇ along the longitudinal and meridional directions of the torus. The differential on the complex C • (G, ∇) in the prescribed coordinates is This polynomial is a reoccurring character in the mirror symmetry story of CP 2 ; for example, it is the superpotentialW Σ determining the mirror Landau-Ginzburg model. This computation motivates section 5.

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.
be a dimer Lagrangian. Let G be the associated graph. Give G the structure of a directed graph with edges going from • to •. 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 η = p · dq is the tautological one form on the cotangent bundle.
We say that a cycle c ⊂ E(G) has zero weight if e∈c w e = 0.
For each face f ∈ F (G), let c = ∂ f be the boundary cycle of the face. Suppose that c has zero weight. Let γ c : There exists a Lagrangian disk Proof. Let V f ⊂ T 2 be the subset of the Lagrangian torus T 2 ⊂ T * T 2 corresponding to the face f . The zero weighting condition tells us that γc η = 0, and so there is no obstruction to finding a closed one form over V f whose value on the boundary matches (γ c ) q . The Lagrangian disk D f is defined by the graph of this one form.
The Lagrangian antisurgery is an immersed Lagrangian, which we now describe with a dual dimer model. Let ∂f : be the sequence of vertices of G corresponding to the boundary of f . Recall that Σ is the set of cycles in T 2 given by the boundary polygons of the dual dimer model. Let Im(Σ) ⊂ T 2 be the image of these cycles. After taking an isotopy of c, we may assume that arg(c) ⊂ Im(Σ). We can also require that arg(c) is a homeomorphism onto its image.
We now take a parameterization . The boundary components of the collar h : The path γ has argument contained within Σ, but we require the map h(θ, t) : which "alternates" between bleeding into the ∆ • v and ∆ • w polytopes. We now state this alternating condition. We require at each θ exactly one of the three following cases occur: • That the • component bleeds out of Σ into the interior of the dimer so arg •h(θ, 1) ∈ Σ is again described by a higher dimer model, whose polygons are given by the collections The graph for this dimer is immersed. For example, the dimers in figs. 5a to 5c describes the antisurgery and subsequent mutation of a dimer Lagrangian.

Seeds and surgeries
Besides using antisurgery to modify Lagrangian submanifolds, we may use the presence of antisurgery disks for L(φ • w , φ • v ) to construct a Lagrangian seed in the sense of [PT17]. 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 * L of L. Let {∆ • v }, {∆ • w } be the dimer model on L induced by the Lagrangian seed structure. Using definition 3.1.4, we can construct is contained in the -cotangent sphere S * L and consists of the -conormals Legendrians N * (∂D i ). After taking a Hamiltonian isotopy, the disks {D i } can be made to intersect S * L along N * (∂D i ). By gluing the dimer Lagrangian to these antisurgery disks, we compactify 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.3 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.6. The geometric portion of this construction does not require L or L * to be tori, although statements about mutations of Lagrangians from [PT17] and relations to mirror symmetry use that L is a torus.

Tropical Lagrangians in Almost Toric Fibrations
Much of the machinery we have constructed for building Lagrangians lifts of tropical hypersurfaces in the fibration (C * ) n → R n carries over to building tropical Lagrangian hypersurfaces for almost toric fibrations X → Q with the dimension of the base dim Q = 2. In section 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.

Lifting to Tropical Lagrangian Submanifolds
Recall that X → Q is an almost toric fibration, X 0 → Q 0 = Q \ Q 0 is an honest toric fibration in the complement of the discriminant locus ∆. By abuse of notation, when we are given a tropical section φ ∈ dTrop(U ) where U ⊂ Q 0 , we will write σ φ : U → X| U to mean the Lagrangian section defined over the bundle X| U → U given by some choice of smoothing parameter (see [Hic19]). 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 val : X → Q be an almost toric Lagrangian fibration. Suppose that V (φ) ⊂ Q is a tropical curve which is disjoint from the critical locus. Then there exists a Lagrangian submanifold L(φ) ⊂ X whose valuation projection lies in a small neighborhood of V . Furthermore, if Q has no boundary, there exists a tropical section φ so that L(φ) = σ 0 #σ −φ .
In the case where 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. 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 ) → (e iθ z 1 , e −iθ z 2 ) is a global Hamiltonian S 1 symmetry which preserves the fibers of the fibration. Let µ : (C * ) 2 → R be the moment map of this Hamiltonian action, which also descends to a moment map µ : W −1 (z) → R. This map gives an SYZ fibration on the fibers of the Lefschetz fibration. The base of the Lefschetz fibration C\{1} comes with a standard SYZ fibration by circles 1 + re 2πiθ . 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 {C 2 \ z 1 z 2 = 1} by taking the circles val −1 W −1 (z) (s) and parallel transporting them along circles 1 + re iθ of the second fibration to obtain Lagrangian tori F r,s = {(z 1 , z 2 ) | |z 1 z 2 − 1| = r, µ(z 1 , z 2 ) = s}. The nodal degeneration occurs from parallel transport of vanishing cycle through the path 1 + e iθ . This corresponds to the single almost toric fiber of this fibration, a Whitney sphere, which occurs in the base when q × = (1, 0). Q comes with an affine structure by identifying the cotangent fiber at q with H * (F q , 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 × are those tori which are built from parallel transport of the vanishing cycle. See fig. 8 for the correspondence between Lagrangians in the Lefschetz fibration and almost toric fibration.
We now consider the Lagrangian thimble τ 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 × . Therefore, this Lagrangian thimble has valuation projection travelling in the eigenray direction of q × , proving the claim.
Corollary 4.1.3. Let val : X → 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 ∆. Then there exists a tropical Lagrangian lift L ⊂ X of V .
Proof. First, construct the lift of V to a LagrangianL on X \ X 0 . It remains to compactifẙ L to a Lagrangian submanifold of X. At each point q i ∈ 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 ofL with valuation over B i is a Lagrangian cylinder given by the periodized conormal to the eigenray of q i . Similarly, the thimble τ i restricted to this valuation is a Lagrangian cylinder given by the periodized conormal to the eigenray of q i . Therefore, we may compactifyL to a Lagrangian L ⊂ X by gluing the thimbles τ i to L at each nodal point such that q i ∈ V . This allows us to build tropical Lagrangian lifts of the tropical curves described in figs. 3a to 3c. We may generalize the examples of compact Lagrangian tori in CP 2 to more toric symplectic manifolds with dim C (X) = 2. Let X Σ be a toric surface, and let val : X Σ → Q dz Σ be the standard moment map projection. The moment polytope Q dz is an example of an Example 4.1.4. The neighborhood of ∂Q Σ is topologically ∂Q Σ × [0, ) t . For fixed real constant 0 < r < , we construct the tropical function r ⊕ t, which only has dependence on collar direction t. This extends to a tropical function over Q Σ , whose critical locus is an affine circle pushed off from the boundary ∂Q Σ . The critical locus is a tropical curve which avoids the discriminant locus, so there is an associated Lagrangian torus L ∂Q Σ r ⊂ X Σ corresponding to this tropical curve.
This Lagrangian torus can also be constructed without using the machinery of Lagrangian surgery. Let γ ⊂ E be a curve. There is a neighborhood D of E ⊂ X Σ which is a disk bundle D → E. There is a standard procedure to take γ and lift it to a Lagrangian ∂D γ , the union of real boundaries of this disk bundle along the curve γ. See fig. 9a.
As one increases the parameter r, the Lagrangian L ∂Q Σ r approaches the critical locus ∆ Σ . 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 Σ . The index i is cyclically ordered by the boundary of the Delzant polytope. Let Σ i be the fan generated by vectors v − i , v + i given by the edges of the corner corresponding to q i . Let v λ i be the eigenray of q i . Then Σ i ∪ {v λ i } is a balanced fan. At each nodal point q i , consider the tropical pair of pants with legs in the directions Σ i ∪ {v λ 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 ∂Q Σ 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 Σ . See fig. 9b

Nodal Trade for Tropical Lagrangians
The tropical curves from figs. 9a and 9b 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 [BC17]. See fig. 10.
The first piece is suspension of Hamiltonian isotopy. Given a path e : [0, 1] → C avoiding the critical values of W : X → C, and Hamiltonian isotopic Lagrangians 0 and 1 in W −1 (e(0)) and W −1 (e(1)), we can create a Lagrangian L e which is the suspension of Hamiltonian isotopy along the path e. We assume that this Hamiltonian isotopy is small enough so that the trace of the isotopy similarly avoids the critical fibers. This Lagrangian has two boundary components, one above e(0) and one above e(1). In practice, we will simply specify the Lagrangian 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] → C with e(0) a critical value of W : X → C, and letting be a vanishing cycle for a critical point in W −1 (e(1/2)). The Lagrangian thimble, also denoted L 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 ⊂ C of C which does not contain a critical value of W : X → C, we can use symplectic parallel transport to trivialize the fibration so it is W −1 (p) × D 2 for some p ∈ U . We then consider cycles 1 , 2 , 3 ⊂ W −1 (p) so that 1 # 2 = 3 with neck size . There is the trace cobordism of the Lagrangian surgery between these three cycles which produces a Lagrangian cobordism in the space W −1 (p) × C. Given paths e 1 , e 2 , e 2 ⊂ D 2 indexed in clockwise order, with e i (1) = p, we let L i e i be the trace cobordism of the surgery between the 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 → C be a symplectic fibration. A Lagrangian glove L ⊂ X is a Lagrangian submanifold so that for each point z ∈ C, there exists a neighborhood U z so that W −1 (U ) ∩ 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 ⊂ C. This graph is allowed to have semi-infinite edges and loops.
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 semi-infinite 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 1 , 2 and 3 which satisfy the relation 1 # 2 = 3 for a surgery of neck size small enough that there exists a disk D ⊃ v containing the trace of this surgery.
Such a collection of data gives us a Lagrangian L e G ⊂ X. We will diagram these Lagrangians by additionally picking a choice of branch cuts b i for C so that W : (X \W −1 (b i )) → (C\{b i }) is a trivial fibration. We can then consistently label the edges of the graph G ⊂ C with Lagrangians in e ∈ W −1 (p) for some fixed non-critical 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 [MW15; AS18], 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. Suppose additionally that the Lagrangians 1 and 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 G 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. 11). Then the graph H = G∪{f 1,3 }\{e i } equipped with Lagrangian labelling data inherited from G (with the additional label f 1,3 = e 1 ) is again a Lagrangian glove. We call the Lagrangian obtained via this exchanging operation τ w L e G . 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 e G with τ w L e G at some vertex w.
Proof. The first two types of modifications are clear. For the third kind of modification, see [AS18,Lemma A.25].

Comparisons between tropical and Lefschetz: pants
We now will provide a construction of a Lagrangian pair of pants in the setting of (C 2 \{z 1 z 2 = 1}) from the perspective of the Lefschetz fibration considered in section 4.1: fig. 8 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 = R ⊂ W −1 (1). For small < 1, we consider the loop γ = e iθ − 1. The parallel transport of along this loop builds a Lagrangian L γ . The Lagrangian L γ only pairs against tori F ,s , so its support in the almost toric fibration will be a line. See the blue Lagrangian as drawn in fig. 12.
By exchanging a Dehn twist for an additional vertex in the glove (proposition 4.2.2), we can build a new Lagrangian τ 0 L γ (drawn in red in fig. 12). This description provides us with another construction of the Lagrangian pair of pants. These local models are compatible with the discussion from section 4. Let Q × be the integral tropical manifold which is the base of X = C 2 \ {z 1 z 2 = 1}. Q × can be covered with two affine charts. Call the charts (a) Two Lagrangian gloves for the Lefschetz fibration z 1 z 2 : C 2 \ {z 1 z 2 = 1} → C.  The charts are glued with the change of coordinates We now consider two tropical curves inside of Q × . The first is an affine line, which is given by the critical locus of a tropical polynomial defined over the Q 0 chart φ 0 (x 1 , x 2 ) = 1 ⊕ x 1 .
The second tropical curve we consider is a pair of pants with a capping thimble (as described in section 4,) given by the critical locus of a tropical polynomial defined over the Q 1 chart, φ 1 (y 1 , y 2 ) = y 1 ⊕ y 2 ⊕ 1.
From proposition 4.2.2, we get the following corollary: Corollary 4.2.3 (Nodal Trade for Tropical Lagrangians). Consider the tropical curves V (φ 0 ) and V (φ 1 ) inside of Q × . The Lagrangians L(φ 0 ) and L(φ 1 ) are Lagrangian isotopic in 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 C * given by the smoothed A n singularity as in fig. 13. We construct the Lagrangian glove where we parallel transport the real arc = R ⊂ 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 × × × × × × Figure 13: The resolved A 3 singularity, a Lagrangian glove, and its associated tropical curve.
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.

Lagrangian tori in toric del-Pezzos
We now introduce a monotone Lagrangian torus which exists in a toric del-Pezzo. We show that in the setting of 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 ⊂ CP 2 \ E, where this Lagrangian is no longer isotopic to F q . We exhibit a symplectomorphism g : CP 2 \ E → CP 2 \ E expected to be mirror to fiberwise Fourier-Mukai transform on the mirror.

Examples from toric del-Pezzos
Monotone Lagrangian tori and Lagrangian seeds in del-Pezzo surfaces have been studied in [Via17;PT17]. Let X Σ be a toric del-Pezzo. There exists a choice of symplectic structure on X Σ so that the monotone Lagrangian torus F Σ at the barycenter of the moment polytope has a Lagrangian seed structure {D i,Σ } given by the Lagrangian thimbles extending from the corners of the moment polytope. The Lagrangian thimbles and corresponding dimers are drawn in figs. 14a to 14e. In these 5 examples, the dimer Lagrangian F * Σ constructed from the data of (F Σ , D i,Σ ) again has the topology of a torus. This can be checked from the computation of the Euler characteristic of the dual Lagrangian, where |Σ| is the number of antisurgery disks with boundary on L. Figure 14: Top: Lagrangian seeds in toric del Pezzo surfaces. The antisurgery disks are drawn in red. Middle: The corresponding dual dimer models associated the Lagrangian seeds. In the first example of CP 2 , we additionally draw the classes of the cycles ∂D f i,Σ ⊂ F * Σ . Bottom: Cycle classes of the zigzag diagram, corresponding to mutation directions.
One method of distinguishing Lagrangians is to compute their open Gromov-Witten potentials. In the case of toric Fanos, it was proven in [Ton18] that all Lagrangian tori have the potentials given by one of those in [Via17]. A computation shows that the Lagrangians F Σ and F * Σ have the same mutation configuration. Claim 5.1.1. Let X Σ be a toric Fano, F Σ the standard monotone Clifford torus in X Σ , and F * Σ be the dual torus constructed using the Lagrangian seed structure on F Σ . There is a set of coordinates for H 1 (F * Σ ) and H 1 (F Σ ) 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 * Σ . Remark 5.1.2. In the example fig. 14c, there are more faces of G than mutation directions. However, some of the disks represent the same homology classes.
As a corollary, the wall and chamber structure on the moduli space of Lagrangians F Σ obtained by mutations may be replicated in a similar fashion on the moduli space of the Lagrangians F * Σ . Corollary 5.1.3. In the setting of toric Fanos, the Landau-Ginzburg potential of F Σ is the same as F * Σ . In both figs. 14a and 14b 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 figs. 14a and 14b are Lagrangian isotopic to tropical Lagrangians constructed in section 4. 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 CP 2 \ E and the elliptic surfaceX 9111 . Here,X 9111 is the extremal elliptic surface in the notation of [Mir89]. This elliptic surface W 9111 :X 9111 → CP 1 has 3 singular fibers of type I 1 , and one singular fiber of type I 9 . We can present this elliptic surface [AGL16, Table Two] as the blowup of a pencil of cubics on CP 2 , (z 2 1 z 2 + z 2 2 z 3 + z 2 3 z 1 ) + t · (z 1 z 2 z 3 ) = 0.
From this pencil, we get a mapπ bl :X 9111 → 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 fibrationW 9111 :X 9111 → CP 1 . We've already looked at homological mirror symmetry for tropical Lagrangians when we place the A-model on X 9111 \ (I 9 ∪ {D i } 3 i=1 ) = (C * ) 2 , and the B model on CP 2 . We now switch the model used to study each space, and instead study the A-model on CP 2 . Of principle interest will be the Lagrangian discussed in fig. 3c, which we will call L inner ⊂ CP 2 . The Lagrangian discussed in fig. 3a will be called L outer ⊂ CP 2 .
In section 5.2, we use methods from section 4.2 to compare the Lagrangian L T 2 to a fiber F q ⊂ CP 2 of the moment map. Finally, we make a homological mirror symmetry statement for L T 2 and the fibers of the elliptic surfaceX 9111 in section 5.3.

Tropical Lagrangian Tori in CP 2 .
We now apply the tools from Lefschetz fibrations to give us a better understanding of the tropical Lagrangians in CP 2 from fig. 14a.
Proposition 5.2.1. The Lagrangian L inner drawn in fig. 14a is Lagrangian isotopic to the moment map fiber F p of CP 2 .
This relation is already somewhat expected. [Via14] 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 CP 2 . From corollary 5.1.3 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 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 (z 3 1 + z 3 2 + z 3 3 ) + t · (z 1 z 2 z 3 ) = 0 which has four degenerate I 3 fibers at equidistant points p 1 , p 2 , p 3 , p 4 ∈ CP 1 . Let E 12 ⊂ CP 2 be the member of the pencil whose projection to the parameter space CP 1 is the midpoint p 12 between p 1 and p 2 . The generic fiber of the projection W 3333 : CP 2 \ E 12 → C is a 9-punctured torus. From each I 3 fiber we have three vanishing cycles. After picking paths from these degenerate fibers to a fixed point p ∈ C, we can match the vanishing cycles to the cycles in E p as drawn in fig. 15.
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 X 3333 . One might expect that the configuration of vanishing cycles which appear in fig. 15 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 CP 1 . By choosing p = p 123 to be the center of a face spanned by three of these critical values, 3 paths (say, γ 1 , γ 2 , γ 3 ) from p to the critical values are completely symmetric. From such a choice, we obtain vanishing cycles j 1 , j 2 , j 3 , where j ∈ {1, 2, 3}. The homology classes (and in fact, honest vanishing cycles) are indistinguishable after action of SL(2, Z), reflecting the overall symmetry of both the X 3333 configuration and the symmetry of the paths. The action of SL(2, 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 1 and 2 . In this setup, the vanishing cycles i 4 lies in the class 1, −1 . Correspondingly, the class 1, −1 distinguishes the class 3 from the other classes by intersection number.
This pencil is sometimes called the anticanonical pencil of CP 2 . The automorphism group of the Hesse pencil is called the Hessian Group [Jor77]. This group acts on CP 1 by permuting the critical values by even permutations. Consider a pencil automorphism g : CP 2 → CP 2 which acts on the 4 critical values via the permutation (p 1 p 2 )(p 3 p 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 non-trivial automorphism of the fiber, swapping the vanishing cycles Figure 15: A basis for the vanishing cycles for X 3333 given in [Sei17].
for p 1 and p 2 : We can use the Lefschetz fibration to associate to each cycle in E 12 a Lagrangian in CP 2 by taking the Hamiltonian suspension cobordism of in a small circle p 12 + e iθ around the point p 12 in the base of the Lefschetz fibration. Call the Lagrangian torus constructed this way T , . The automorphism of the pencil g : CP 2 → CP 2 interchanges the Lagrangians T , 1 and T , 2 The standard moment map val dz : CP 2 → Q 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 CP 2 . We choose the moment map so that val −1 dz (∂Q 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 CP 2 . The boundary of the base of the almost toric fibration val : CP 2 → Q CP 2 corresponds to a smooth symplectic torus. We arrange that val −1 (∂Q CP 2 ) = E 12 ⊂ CP 2 .
By comparison to the standard moment map, one sees that the cycle 1 ⊂ E 12 projects to a point in the boundary of the moment map, while the cycle 2 ⊂ E 12 projects to the whole boundary cycle. This gives us an understanding of the valuation projections of Lagrangian T , 1 and T , 2 . T , 1 has valuation projection which roughly looks like a point, and T , 2 has valuation projection which is a cycle that travels close to the boundary of Q CP 2 . As a result Figure 16: Relating tropical Lagrangians to thimbles we have Hamiltonian isotopies identifying the Lagrangians See fig. 16, where L outer is drawn in red, and F p is drawn in blue. We conclude g(L outer ) ∼ F p . As the projective linear group is connected, the morphism g is symplectically isotopic to the identity, and since H 1 (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.
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.  These tori are isomorphic objects of the Fukaya category, but this is a consequence of Fuk(CP 2 ) having so few objects.

A-Model on CP 2 \ E.
We now study the map g : CP 2 → CP 2 given by the automorphism of the Hesse configuration. The category Fuk(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 CP 2 \ E.
Claim 5.3.1. L outer and F q are not isomorphic objects of Fuk(CP 2 \ E) Proof. The symplectic manifold CP 2 \ E contains a Lagrangian thimble τ 1 which is constructed from the singular fiber of the almost toric fibration and extends out towards the removed curve E (see fig. 3b). This thimble τ 1 intersects L outer at a single point, and therefore CF • (L outer , τ 1 ) is nontrivial. However, τ 1 is disjoint from the fiber F q , so CF • (F q , τ 1 ) is trivial. As a result, F q and L outer are not isomorphic objects of the Fukaya category. 5 Since E 12 was fixed by the symplectomorphism g : CP 2 → CP 2 , the restriction to the complement g : CP 2 \ E 12 → CP 2 \ E 12 is still defined. This section of the paper is a series of observations and conjectures outlining homological mirror symmetry with the A-model on CP 2 \ E, and B-model onX 9111 which hope to shed light on the following conjecture.
Conjecture 5.3.3. The symplectomorphism g : CP 2 → CP 2 is mirror to fiberwise Fourier Mukai transform on the elliptic surfaceX 9111 which interchange the points ofX 9111 with line bundles supported on the fibers of the elliptic fibration.

Homological mirror symmetry for CP 2 \ E
To that end, we study L T 2 ⊂ CP 2 \ E.

An intermediate Blowup and Base
Diagrams for X 9111 : We will begin with a description of the elliptic surface X 9111 as an iterated blow up of CP 2 along the base points of an elliptic pencil following [AKO06]. Consider the pencil (z 2 1 z 2 + z 1 z 2 2 + z 3 3 ) + tz 1 z 2 z 3 = 0.
This elliptic fibration has 3 base points of degree 4, 4, and 1. LetW 9111 :X 9111 → CP 1 be projection to the parameter of the pencil. 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 betweeň CP 2 andX 9111 which is the toric symplectic manifoldX Σ int . The toric diagram Q Σ int is the Delzant polytope with 9 edges. The remaining 3 blowups introduce nodal fibers in the toric 5 In fact, the same argument shows that L outer and F q are not topologically isotopic.
(c) Figure 17: Top: obtainingX 9111 as a toric base diagram by first blowing up CP 2 6 times, then blowing up 3 more times. Bottom: Admissibility conditions for the A-model mirrors.
base diagramQ 9111 forX 9111 which has 9 edges and 3 nodal fibers. The 9 edges of the toric base correspond to the nine 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. 17 for the base diagrams of these different blowups.
B-model of X 9111 : Letπ :X 9111 →X Σ int be the projection of the blowup. By [BO95] have a semiorthogonal decomposition of the category of the blowup as For sheaves O H ∈ D b Coh(X Σ int ) with support on a hypersurface H, this semiorthogonal decomposition states that there is a corresponding sheaf in X 9111 whose support is on the total transform of H. Should H avoid the points of the blow-up, 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 blow-up. A fiber of the elliptic surface W −1 9111 (p) is the proper transform of E p ⊂ X Σ int , a member of the pencil. On sheaves, we have an exact sequence: We will now set up some background necessary to state a similar story for the A-model, summarized in assumption 5.3.6.
Base for CP 2 \ E: Running the machinery of [GS03] onQ 9111 , the SYZ base forX 9111 , will yield the SYZ base Q CP 2 \E for CP 2 \ E. The base diagram Q CP 2 \E can also be constructed by Figure 18: Relating Lagrangians and Admissibility conditions between (C * ) 2 and CP 2 \ E with local Lefschetz models near corners.
first constructing the mirror to the spaceX Σ int . AsX Σ int is a toric variety, the mirror space is a Landau Ginzburg model (X Σ int , W Σ int ) = ((C * ) 2 , W Σ int ), where the superpotential W Σ int yields a monomial admissibility condition (in the sense of [Han18]) ∆ Σ int on Q Σ int = R 2 .
Assumption 5.3.4 (Monomial Admissible Blow-up). There is notion of monomial admissibility condition for CP 2 \ E. This monomial admissibility condition is constructed from the data of the monomial admissibility condition ((C * ) 2 , W Σ int ).
We now provide some motivation for this assumption. Recall, a monomial admissibility condition assigns to each monomial c α z α a closed set C α on which arg cαz α (L| Cα ) = 0. For a set C α , denote by X| Cα the portion of the SYZ valuation with valuation lying inside of C α . The restriction of admissible Lagrangians L| C α are contained within arg −1 cαz α (0). The projection arg −1 cαz α (0) → C α is an S 1 subbundle of the SYZ fibration X| Cα → C α . To obtain Q CP 2 \E from Q Σ int , we add in three cuts mirror to the three blowups. These three cuts are added by replacing the regions C z 1 z 2 , C z 1 z −2 2 and C z −2 1 z 2 with affine charts C z 1 z 2 , C z 1 z −2 2 and C z −2 1 z 2 each containing a nodal fiber. The charts C α can be locally modelled on C 2 \ {y 1 y 2 = 0} with monomial admissibility condition (y 1 y 2 ) −1 . We replace these with charts containing a nodal fiber modeled on Y := C 2 \ {y 1 y 2 = } and admissibility condition controlled by the monomial (y 1 y 2 − ) −1 . The valuation map Y | Cα → C α is an almost toric fibration. We still have an S 1 subbundle arg −1 y 1 y 2 − (0) ⊂ Y | Cα of the SYZ fibration Y | Cα → C α whenever is not negative real. This S 1 -subbundle, and the monomial (y 1 y 2 − ) −1 , should be used to construct a monomial admissibility condition on CP 2 \ E. See figs. 18 and 19 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.
A-model on CP 2 \E We now conjecture the existence of a mirror to the inverse-image functor on the B-model. Lagrangian submanifolds which lie in the S 1 subbundle arg −1 cαz α (0) → C α should be in correspondence with Lagrangians which lie in the subbundle arg −1 y 1 y 2 − (0) ⊂ Y | C α . In particular monomial admissible Lagrangians of X give us monomial admissible Lagrangians of CP 2 \ E. This allows us to transfer Lagrangians L in Fuk((C * ) 2 , W Σ int ) to Lagrangians π −1 (L) ∈ Fuk(CP 2 \ E, W E ).
Remark 5.3.5. π −1 (L) does not arise from a map between the spaces CP 2 \ E and (C * ) 2 . The symplectic manifold CP 2 \ E is constructed from (C * ) 2 by handle attachment. We keep the notation π −1 so that it is consistent with the inverse image functor from our earlier discussion on the B-model.
We observe that the thimbles of the newly introduced nodes (as in fig. 19) do not arise as lifts of Lagrangians in (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 α , 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 τ i and π −1 (L) so that π −1 (L) ∩ θ(τ i ) = ∅, and hom(π −1 (L), τ i ) = 0. In summary: see figs. 18 and 19 Assumption 5.3.6 (Monomial Admissible Blow-up II). There exists a Lagrangian correspondence between ((C * ) 2 , W Σ ) and (CP 2 , W E ), giving us a functor π −1 : Fuk ∆ ((C * ) 2 , W Σ ) → Fuk ∆ (CP 2 \ E, W E ).
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 [HK;AKO06]. We give a translation of our statement into the Lefschetz viewpoint. Consider the pencil of elliptic curves p(z 1 , z 2 , z 3 ) + t · (z 1 z 2 z 3 ).
where p(z 1 z 2 z 3 ) = 0 is homogeneous degree 3 polynomial defining a generic elliptic curve E meeting z 1 z 2 z 3 = 0 at 9 distinct points. Consider the elliptic fibration W E3 : Figure 19: The Lagrangians in CP 2 \ E relevant to our homological mirror symmetry statement.
obtained by blowing up the 9 base points of this elliptic pencil, with exceptional divisors P 1 , . . . P 9 ⊂ X E3 . Let z ∞ ∈ CP 1 be a critical value so that W −1 E3 (z ∞ ) = I 3 . Then (C * ) 2 X E3 \ (I 3 ∪ P 1 ∪ · · · ∪ P 9 ), and we may look at the restriction W E3 | (C * ) 2 : (C * ) 2 →CP 1 \ {z ∞ } = C (z 1 , z 2 ) → p(z 1 , z 2 , 1) z 1 z 2 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. 17b. The Fukaya-Seidel category constructed with W E3 | (C * ) 2 → CP 1 is mirror to X Σ int , where the 9 thimbles drawn from these critical points are mirror to a collection of 9 line bundles generating D b Coh(X Σ int ). These 9 thimbles correspond to 9 tropical Lagrangian sections σ φ : Q Σ int → (C * ) 2 in the monomial admissible Fukaya category with fan fig. 17b. We now consider X = (CP 2 \ E) = (X E3 \ (E ∪ P 1 ∪ · · · ∪ P 9 )). The restriction W E3 | X : X → (CP 1 \ {0}) = C has 12 critical points, 9 of which may be identified with the critical points from the example before. Conjecturally, this is mirror to X 9111 , where the thimbles from the three additional critical points are mirror to the exceptional divisors introduced in the blowup X 9111 → X Σ 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 CP 2 \E drawn in fig. 17c 5.3.2 A return to the Lagrangian L T 2 ⊂ CP 2 \ E.
We now look at the Lagrangian three punctured torus L φ T 2 ⊂ (C * ) 2 = CP 2 \ I 3 described in example 3.1.5. In order to make a homological mirror symmetry statement, we need to use A-side B-side (C * ) 2 , W Σ int X Σ int 9 Thimbles of W Σ int 9 Line Bundles L(φ T 2 ) Member of 9111-pencil (a) A-side B-side CP 2 \ E, W E X 9111 Thimbles τ i Exceptional Divisors D i π −1 (L(φ T 2 )) Total transform of member of 9111 Pencil L T 2 Fiber of X 9111 → CP 1 .  the non-Archimedean mirrorX Λ 9111 , however the intuition should be independent of the use of Novikov coefficients.
Let φ T 2 = x 1 ⊕ x 2 ⊕ (x 1 x 2 ) −1 be the tropical polynomial whose critical locus passes through the rays of the nodes added in the modification of Q Σ int to Q 9111 . Theorem 5.3.8. There exists a Lagrangian cobordism with ends Provided that assumption 5.3.6 holds and the cobordism is unobstructed, the Lagrangian L T 2 is mirror to a divisor Chow-equivalent to a fiber of the elliptic fibrationW 9111 :X 9111 → CP 1 .
Proof. We first construct the Lagrangian cobordism. At each of the 3 nodal points in the base of the SYZ fibration Q CP 2 \E the Lagrangian L T 2 meets τ 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 π −1 (L(φ 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 [BC14] we have a similar exact triangle on the A-side, Remark 5.3.9. It is reasonable to expect that the Lagrangian cobordism in question is unobstructed, as the intersections between the τ 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 ∪ τ 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 ∪ τ i . These are similar to the conditions used to prove unobstructedness of tropical Lagrangian hypersurfaces [Hic19].
Under the assumptions of [Hic19, 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.
This mirror symmetry statement ties together several lines of reasoning. To each fiber F q ⊂ CP 2 \ E equipped with local system ∇, we can associate a value OGW (F q , ∇) which is a weighted count of holomorphic disks with boundary F q in the compactification F q ⊂ CP 2 . By viewing X 9111 as the moduli space of pairs (F q , ∇), we obtain a function W OGW : X 9111 \ I 9 → C.
This function matches the restriction W 9111 | X 9111 \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.5 )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.