Skip to main content

Full ellipsoid embeddings and toric mutations

Abstract

This article introduces a new method to construct volume-filling symplectic embeddings of 4-dimensional ellipsoids by employing polytope mutations in toric and almost toric varieties. The construction uniformly recovers the full sequences for the Fibonacci Staircase of McDuff–Schlenk, the Pell Staircase of Frenkel–Müller and the Cristofaro-Gardiner–Kleinman Staircase, and adds new infinite sequences of ellipsoid embeddings. In addition, we initiate the study of symplectic-tropical curves for almost toric fibrations and emphasize the connection to quiver combinatorics.

Introduction

The novel contribution of the article is the use of polytope mutations as a method for generating full ellipsoid embeddings in infinite staircases. In particular, we give a uniform toric mutation explanation for the full embeddings of ellipsoids, see [35], in the two classical staircases: the McDuff–Schlenk Fibonacci Staircase [43, 44] and the Frenkel–Müller Pell Staircase [16], as well as the more recent discovery by Cristofaro-Gardiner–Kleinman [10]. In addition, we discuss nine 4-dimensional symplectic toric domains \((X,\omega )\) with a sharp infinite staircase in its symplectic ellipsoid embedding function. These are conjecturally all such domains with this property, as formulated in [11, Conjecture 6.1]. This is the content of the first part of the article, in Sects. 2 and 3.

The manuscript also develops new techniques in the study of symplectic-tropical curves in almost toric fibrations, incorporating the works of Symington [37, 52] and Mikhalkin [47, 48] into the study of symplectic ellipsoid embeddings, and the connections with the theory of cluster algebras and quiver mutations. This is the content of the second part of the article, developed in Sect. 4.

Context and results

Let \(({\mathbb {R}}^4,\omega _\text {st})\) be standard symplectic 4-space, \(a,b\in {\mathbb {R}}^{>0}\), and consider the symplectic ellipsoid

$$\begin{aligned} E(a_1,a_2):=\left\{ (x_1,y_1,x_2,y_2)\in {\mathbb {R}}^4:\frac{x_1^2+y_1^2}{a_1}+\frac{x_2^2+y_2^2}{a_2}\le 1\right\} \subseteq ({\mathbb {R}}^4,\omega _\text {st}). \end{aligned}$$

Let \((X,\omega _X)\) be a 4-dimensional symplectic almost toric domain, as introduced in Sect. 2. The first goal of this article is to discuss the existence of infinite staircases for the function

$$\begin{aligned} c_X(a):=\inf \{\sigma \text{ such } \text{ that } \exists i:(E(1,a),\omega _\text {st})\hookrightarrow (X,\sigma \cdot \omega _\text {st})\}, \end{aligned}$$

where i denotes a symplectic embedding, i.e. \(i^*\omega _X=\omega _\text {st}\). A symplectic embedding is volume preserving, and thus the volume bound \(\pi ^2a\le 2\sigma ^2\cdot {\text {Vol}}(X,\omega _\text {st})\) implies

$$\begin{aligned} \frac{\pi \sqrt{a}}{\sqrt{2{\text {Vol}}(X,\omega _\text {st})}}\le c_X(a). \end{aligned}$$

The function \(c_X(a)\) is non-decreasing and continuous. The symplectic non-squeezing phenomenon [20] states the existence of values \(a\in {\mathbb {R}}^{>0}\) for which the above inequality is actually strict. The ground-breaking work of McDuff and Schlenk [44] establishes for \((X,\omega _\text {st})=(E(1,1),\omega _\text {st})\) the existence of a non-empty interval \(I_X=[\alpha _X,\Omega _X]\subseteq {\mathbb {R}}^{>0}\) and a convergent sequence \(S=\{s_n\}_{n\in {\mathbb {N}}}\subseteq I_X\) such that \(c_X(s_n)\) coincides with the volume lower bound and \(c_X|_{I_X\setminus S}\) is strictly larger than the volume bound. The exact graph for the function \(c_X\) in this case is depicted in [44, Figure 1.1].

Definition 1.1

A 4-dimensional symplectic domain \((X,\omega _\text {st})\) is said to admit a sharp infinite staircase if there exists a non-zero interval \(I_X=[\alpha _X,\Omega _X]\subseteq {\mathbb {R}}^{>0}\) and an infinite sequence \(S=\{s_n\}_{n\in {\mathbb {N}}}\subseteq I_X\) of distinct points converging to \(\Omega _X\), such that \(c_X(s_n)\) coincides with the volume lower bound and \(c_X|_{(I_X\setminus S)}\) is strictly greater than the volume bound. The sharp points of a sharp infinite staircase \((I_X,S)\) are the points \(S=\{s_n\}_{n\in {\mathbb {N}}}\) where the volume bound for \(c_X|_{I_X}\) is sharp. \(\square \)

The existence of a sharp infinite staircase for a 4-dimensional symplectic domain \((X,\omega _\text {st})\) has been a central question in the study of low-dimensional quantitative symplectic geometry, as beautifully developed by McDuff et al. [7, 8, 43, 44, 51]. In the first crucial discovery [44], it is shown that \((X,\omega _\text {st})=({\mathbb {D}}^4(1),\omega _\text {st})\), the standard unit ball, admits an infinite staircase. Two additional results were obtained for the polydisk \((X,\omega _\text {st})=({\mathbb {D}}^2(1)\times {\mathbb {D}}^2(1),\omega _\text {st}\oplus \omega _\text {st})\) by Frenkel–Müller [16], and for the ellipsoid \((X,\omega _\text {st})=(E(2,3),\omega _\text {st})\) by Cristofaro-Gardiner-Kleinman [10].

Remark 1.2

Definition 1.1 is the notion we use in this manuscript, we refer to Usher’s [53, Section 1.3] for comparison. The article [11] also considers non-sharp staircases where the volume lower-bound is not sharp. This corresponds to their \(J=3\) case, which would not abide by Definition 1.1. \(\square \)

Let us consider the almost toric base diagrams in Fig. 1. Each such base diagram B yields a closed monotone symplectic 4-manifold \((X_B,\omega _B)\), as explained in [37, Section 3], cf.  also [54, Section 2.3] and [55, Section 3]. The almost toric diagrams in the first row yield \({\mathbb {C}}{\mathbb {P}}^2\) (left) and \({\mathbb {C}}{\mathbb {P}}^1\times {\mathbb {C}}{\mathbb {P}}^1\) (right), the four diagrams in the second row correspond to \(Bl_3({\mathbb {C}}{\mathbb {P}}^2)\) and the last two diagrams in the fourth row yield \(Bl_4({\mathbb {C}}{\mathbb {P}}^2)\). In this manuscript, we focus on 4-dimensional symplectic domains which are obtained by removing (neighborhoods of) symplectic divisors and Lagrangian 2-spheres from closed symplectic 4-manifolds. For each base diagram B in Fig. 1, we choose the symplectic divisors associated to the blue sides of the diagram and the Lagrangian 2-spheres lying over red cuts, both according to the constructions in [37], and see also [54]. By definition, the symplectic domain associated to an almost toric base in Fig. 1 endowed with the data of the blue sides and red cuts is the symplectic complement of the corresponding symplectic divisors and Lagrangian 2-spheres inside the closed symplectic 4-manifold \((X_B,\omega _B)\). See Sect. 2 for definitions and further details.

Let \({\mathscr {H}}\) be the set of the nine symplectic domains listed in Fig. 1, as described in the above paragraph. These domains \((X,\omega _X)\in {\mathscr {H}}\) are obtained from one of the monotone closed symplectic 4-manifolds \({\mathbb {C}}{\mathbb {P}}^2,{\mathbb {C}}{\mathbb {P}}^1\times {\mathbb {C}}{\mathbb {P}}^1,Bl_3({\mathbb {C}}{\mathbb {P}}^2)\) and \(Bl_4({\mathbb {C}}{\mathbb {P}}^2)\) by removing a configuration of surfaces. These surfaces depend on each base in Fig. 1: each of these configurations consists of a union of symplectic 2-spheres, lying above the blue sides of the almost toric base, and Lagrangian 2-spheres, located above the red cuts. See Sect. 3 for a more detailed description of these symplectic domains.

Example 1.3

The closed symplectic 4-manifold associated to the base in the leftmost diagram in the first row is \((\mathbb {CP}^2,\omega _{\text {st}})\), and the symplectic surface associated to the blue side is a symplectic line \(\mathbb {CP}^1\subseteq (\mathbb {CP}^2,\omega _{\text {st}})\). Thus, the associated symplectic domain is the unit Darboux 4-ball \(({\mathbb {D}}^4(1),\omega _{\text {st}})\), presented as the complement \(\mathbb {CP}^2\setminus \mathbb {CP}^1\). In contrast, the closed symplectic 4-manifold associated to the base in the rightmost diagram in the first row is \((\mathbb {CP}^1\times \mathbb {CP}^1,\omega _{\text {st}}\oplus \omega _{\text {st}})\). The symplectic surface associated to the blue hypotenuse is the symplectic diagonal \(\mathbb {CP}^1\subseteq (\mathbb {CP}^1\times \mathbb {CP}^1,\omega _{\text {st}}\oplus \omega _{\text {st}})\) and the Lagrangian 2-sphere associated to the red cut is the Lagrangian anti-diagonal. The associated symplectic domain is the E(1, 2) ellipsoid. In general, the symplectic domains \({\mathscr {H}}\) do not have a particular name, except for the cases of \({\mathbb {D}}^4\) and E(1, 2) just discussed, and the polydisk \( {\mathbb {D}}^2(1)\times {\mathbb {D}}^2(1)\) and the ellipsoid E(2, 3), which correspond to the center base diagram in the first row and the rightmost diagram in the second row, respectively. \(\square \)

First, let us state our main result on the construction of ellipsoid embeddings:

Theorem 1.4

Let \((X,\omega _X)\in {\mathscr {H}}\) be a 4-dimensional symplectic domain. Then the non-decreasing function \(c_{X}:{\mathbb {R}}\longrightarrow {\mathbb {R}}\) admits a sequence of sharp points \(S\subseteq I_X\). \(\square \)

Theorem 1.4 establishes the existence of sharp points, which is the constructive ingredient towards infinite staircases. Indeed, the existence of sharp infinite staircases consists of two independent arguments. First, a constructive result showing the existence of a sequence of sharp points \(S\subseteq I_X\). Second, an obstructive result stating that the volume bound is not an equality for the non-sharp points \(I_X\setminus S\). Our Theorem 1.4 contributes to the constructive part, which is the part that the present manuscript geometrically establishes.

Important point: It is crucial to emphasize that, in Theorem 1.4, we are able to embed an infinite staircase of ellipsoids into the symplectic domains associated to Fig. 1, and not just into the closed (almost toric) symplectic 4-manifolds: we must show that the ellipsoid embeddings can be made to avoid the required configurations of symplectic 2-spheres and Lagrangian 2-spheres, and this is achieved explicitly by using symplectic-tropical curves, see Sects. 3 and 4.

Remark 1.5

Consider a 4-dimensional symplectic domain \((X,\omega _X)\in {\mathscr {H}}\), and a correponding ellipsoid E associated with a sharp point in \(S\subseteq I_X\), from Theorem 1.4. Let \(E_k \subseteq E\) be the rescaling of E such that the volume of \(E \setminus E_k\) is 1/k, \(k\in {\mathbb {N}}\). In this manuscript, we construct a family of almost toric fibrations \({\mathfrak {m}}^k:({\overline{X}},\omega _{{\overline{X}}}) \longrightarrow {\mathbb {R}}^2\) (see Sects. 2.12.3) on the compactification \({\overline{X}}\) of X, which will be either \({\mathbb {C}}{\mathbb {P}}^2, {\mathbb {C}}{\mathbb {P}}^1\times {\mathbb {C}}{\mathbb {P}}^1, Bl_3({\mathbb {C}}{\mathbb {P}}^2)\) or \(Bl_4({\mathbb {C}}{\mathbb {P}}^2)\). This provides a sequence of embeddings \(\Psi _k:E_k \hookrightarrow {\overline{X}}\). Since the nodal slide operation in almost toric fibrations (see [37, 52]) can be taken to only modify the fibration in a neighbourhood of the cut where the slide happens, we can obtain a family of symplectomorphisms \(\Phi _k: {\overline{X}} \longrightarrow {\overline{X}}\) such that \(\Phi _l\) leaves \(\Psi _k(E_k)\) invariant and \(\Psi _k(E_k) \subseteq \Psi _l(E_l)\), if \(k \le l\). This construction will yield an embedding \(E \hookrightarrow {\overline{X}}\) as follows. From the almost toric fibrations \({\mathfrak {m}}^k:({\overline{X}},\omega _{{\overline{X}}}) \longrightarrow {\mathbb {R}}^2\), we get a sequence of embeddings \(\varphi _k: X \hookrightarrow {\overline{X}}\), by identifying X with the complement of a configuration \({\overline{X}}\setminus \varphi _k(X)\) of symplectic-tropical curves and, in some cases, Lagrangian spheres. Taking the symplectomorphisms \(\Phi _k: {\overline{X}} \longrightarrow {\overline{X}}\) into consideration, we get a family of symplectomorphisms \(\phi _k: X \longrightarrow X\) such that \(\Phi _k\circ \varphi _k=\varphi _{k+1}\circ \phi _k\).

In the cases being discussed, the isotopy taking \(\Phi _k ({\overline{X}}\setminus \varphi _k(X))\) to \({\overline{X}}\setminus \varphi _{k+1}(X)\) can be taken in the complement of \(\Phi _k(\Psi _k(E_k)) = \Psi _k(E_k)\). Hence, we may assume that \(\phi _k\) is identity in the complement of \(\Psi _k(E_k)\), which gives the inclusion \(\varphi _k^{-1}(\Psi _k(E_k))=\varphi _l^{-1}(\Psi _k(E_k)) \subseteq \varphi _l^{-1}(\Psi _l(E_l)) \subseteq X\), for all \(k\le l\), defining an embedding \(E \hookrightarrow X\). \(\square \)

Remark 1.6

Even if we find the obstructive part equally interesting, our geometric argument is only constructive, not obstructive. The manuscript [11] uses the symplectic capacities from Embedded Contact Homology (ECH), as developed by M. Hutchings [27, 29], to provide the desired obstructions. The combination of our Theorem 1.4, being constructive, and the ECH obstructions in [11] imply that the sequence of sharp points \(S\subseteq I_X\) are indeed part of an infinite staircase. We refer to [11] for a detailed discussion and computation of these ECH capacities. \(\square \)

Example 1.7

The three domains \((X,\omega _X)\in {\mathscr {H}}\) in the first row of Fig. 1 are the unit ball \({\mathbb {D}}^4(1)\), presented as the complement of a symplectic sphere \({\mathbb {C}}{\mathbb {P}}^1\subseteq ({\mathbb {C}}{\mathbb {P}}^2,\omega _\text {st})\), the polydisk \({\mathbb {D}}^2(1)\times {\mathbb {D}}^2(1)\), arising as the complement of the two symplectic spheres \({\mathbb {C}}{\mathbb {P}}^1\times \{pt\},\{pt\}\times {\mathbb {C}}{\mathbb {P}}^1\subseteq ({\mathbb {C}}{\mathbb {P}}^1\times {\mathbb {C}}{\mathbb {P}}^1,\omega _\text {st}\oplus \omega _\text {st})\), and E(1, 2), presented as the complement of a symplectic sphere \({\mathbb {C}}{\mathbb {P}}^1\subseteq ({\mathbb {C}}{\mathbb {P}}^1\times {\mathbb {C}}{\mathbb {P}}^1,\omega _\text {st}\oplus \omega _\text {st})\) and a Lagrangian 2-sphere \(S^2\subseteq ({\mathbb {C}}{\mathbb {P}}^1\times {\mathbb {C}}{\mathbb {P}}^1,\omega _\text {st}\oplus \omega _\text {st})\) in the homology class of the anti-diagonal. Theorem 1.4 for these three domains recovers the Fibonacci stairs [44] and the Frenkel-Müller Pell stairs [16]. The Cristofaro-Gardiner-Kleinman staircase [11] for E(2, 3) correspond to the rightmost almost toric base in the second row. \(\square \)

The symplectic domains \((X,\omega _X)\in {\mathscr {H}}\) not discussed in Example 1.7 do not have particular names, with the exception of the rightmost domain in the second row. For instance, the leftmost domain \((X,\omega _X)\in {\mathscr {H}}\) in the second row is the complement in \(Bl_3({\mathbb {C}}{\mathbb {P}}^2)\), \({\mathbb {C}}{\mathbb {P}}^2\) blown-up at three generic points \(p_1,p_2,p_3\in {\mathbb {C}}{\mathbb {P}}^2\), of a configuration of four symplectic 2-spheres: two of the exceptional divisors and the proper transforms of the projective line through \(p_1,p_2\), and the projective line through \(p_2,p_3\). These complements do not typically have a given name, except for E(2, 3), which appears as the complement of an exceptional divisor and three Lagrangian 2-spheres in \(Bl_3({\mathbb {C}}{\mathbb {P}}^2)\).

Fig. 1
figure 1

The almost toric base diagrams for the symplectic domains \((X,\omega _X)\) in Theorem 1.4. The domains \((X,\omega _X)\) are the complements of symplectic 2-spheres, in blue, and Lagrangian 2-spheres, in red, in the closed almost toric symplectic manifold corresponding to each diagram. Note that the same closed symplectic manifold might yield different symplectic domains \((X,\omega _X)\), as the choices of symplectic and Lagrangian 2-spheres depend on the almost toric base diagram. In each case, the polytope associated to the almost-base is given by the convex hull of the indicated vertices in the standard lattice \({\mathbb {Z}}\langle (1,0),(0,1)\rangle \cong {\mathbb {Z}}^2\subseteq {\mathbb {R}}^2\)

Second, our method for showing the existence of sharp points requires applying symplectic techniques coming from tropical combinatorics in almost toric diagrams [37, 52]. In particular, our method—including the proof for Theorem 1.4—requires the introduction and study of symplectic-tropical curves in almost toric fibrations, which represent (configurations of) smooth symplectic curves in 4-dimensional almost toric symplectic manifolds. In a nutshell, our construction in Sect. 4 yields the following result:

Theorem 1.8

Let \(\pi :(X,\omega _{X})\longrightarrow B\) be an almost toric fibration and \({\mathscr {C}}\subseteq B\) a symplectic-tropical curve.Footnote 1 Then there exists a symplectic curve \(C\subseteq X\) with \(\pi (C)={\mathscr {C}}\).

The statement of Theorem 1.8, as well as the methods we introduce for its proof, are hopefully of interest on their own terms, as they extend the algebraic geometric tropical methods [47, 48] to the almost toric symplectic context. Symplectic tropical curves will be defined in Sect. 4, where we shall develop the diagrammatics, arithmetic and symplectic geometry associated to sympletic-tropical diagrams in almost toric polytopes.

Remark 1.9

The tropical diagrams \({\mathscr {C}}\subseteq B\) in Theorem 1.8 also allow us to readily compute homological (and geometric) intersection numbers. The referee kindly informed us that homological intersection numbers can be defined in the general setting of tropical cycles [6] and our symplectic-tropical diagrams can be treated, away from the nodes, as a special kind of (1,1)-tropical cycles. \(\square \)

The construction of the infinite staircases in Theorem 1.4 relies on our study of the symplectic isotopy classes of the symplectic curves \(C_X\subseteq ({{\overline{X}}},\omega _{{{\overline{X}}}})\) associated to specific tropical diagrams \({\mathscr {C}}\). Theorem 1.8 further develops the work of M. Symington [52] in line with G. Mikhalkin’s study of complex tropical geometry [47]. Section 4 contains a detailed study of the required local models, in Sects. 4.14.2.2, as well as the construction of symplectic chains of embedded curves associated to symplectic-tropical diagrams, in Sects. 4.4 through 4.5.

Finally, the combinatorics and numerics appearing in the infinite staircases from Theorem 1.4 strongly intertwine with the recent developments in the study of cluster algebras [13, 14] and quiver mutations [3, 32].

Organization. The article is organized as follows. Section 2 introduces basic ingredients of almost toric symplectic geometry. Section 3 proves Theorem 1.4 by constructing the required infinite staircases with the results from Sect. 4. Section 4 proves Theorem 1.8. \(\square \)

Relation to [11]. This article has been posted in parallel with the manuscript [11]. We are grateful to each of its authors, Dan Cristofaro-Gardiner, Tara Holm, Alessia Mandini and Ana Rita Pires, for the fluid and helpful communication with us. It is our understanding that both groups of authors came to the study of this problem from different perspectives, with the idea of using polytope mutations originating with the first author of the present manuscript. Both collaborations have benefited from our exchanges of ideas.

We encourage the reader to study the manuscript [11], which we find to be a very valuable contribution to the theory of symplectic ellipsoid embeddings as well. The results in our article, especially Theorem 1.4 are strengthened by their contributions to the obstructive side of the theory, as their manuscript [11] shows that ECH obstructions make the volume bound not optimal away from the required sequences. This clearly highlights the importance of the full ellipsoid embeddings we construct, and we gladly acknowledge the relevance and non-triviality of these ECH computations. Their manuscript [11] also proves Theorem 1.4, equally based on polytope mutations but concluding in a more succinct abstract manner, and formulates a compelling conjecture regarding infinite staircases of rational convex toric domains. Each of the articles addresses the arithmetic of staircases from a different perspective: in this manuscript we directly use the implicit Diophantine equations, and the manuscript [11] proceeds parametrically, in terms of recursions. Even though both manuscripts could potentially be joined, we find that having both articles available is also enriching for the literature, as they discuss different techniques and perspectives. \(\square \)

Preliminaries

In this section we develop notations for the base diagrams of almost toric fibrations, also known as ATFs [52], which we use in our description of symplectic ellipsoid embbedings. The present section is focused on understanding combinatorial mutations of polytopes that describe these almost toric fibrations—particularly from the viewpoint of smoothing, and degenerating, toric orbifolds. The more technical aspects of the symplectic topology shall be presented in Sect. 2.1.

Almost-toric fibrations

We start by succinctly discussing almost toric fibrations, henceforth abbreviated ATF [52]. Almost-toric fibrations are generalizations of the toric ones, where we allow so-called nodal singularities, besides the usual toric singularities of a moment map. We refer the reader to [37, 52] for additional details. The necessary definition, [52, Definition 4.5] and [37, Definition 2.2], reads as follows:

Definition 2.1

([37, 52]) An almost toric fibration of a symplectic 4-manifold \((X,\omega )\) is a Lagrangian fibration \(\pi : (X, \omega ) \rightarrow B\) such that any point of \((X, \omega )\) there exists a Darboux neighborhood \((x_1,y_1,x_2,y_2)\in ({\mathbb {D}}^4,\omega _\text {st})\), with symplectic form \(\omega _\text {st}=dx_1\wedge dy_1 + dx_2\wedge dy_2\), in which the map \(\pi \) has one of the following local normal forms:

$$\begin{aligned} \pi (x,y)= & {} (x_1, x_2), \text {regular point}, \\ \pi (x,y)= & {} (x_1, x_2^2 + y_2^2), \text {elliptic, corank one}, \\ \pi (x,y)= & {} (x_1^2 + y_1^2, x_2^2 + y_2^2), \text { elliptic, corank two}, \\ \pi (x,y)= & {} (x_1y_1 + x_2y_2, x_1y_2 - x_2y_1), \text { nodal or focus-focus}, \end{aligned}$$

with respect to some choice of coordinates near the image point in the almost toric base B. \(\square \)

For the nodal singularity, writing \(x = x_1 + i x_2\) and \(y = y_1 + i y_2\), the almost toric fibration \(\pi \) reads \(\pi (x,y)={\overline{x}} y \in {\mathbb {C}}\). The following remark will be relevant to Sect. 4.

Remark 2.2

By the Arnold-Liouville Theorem [4], given any point q in a regular fibre, there is a neighborhood of the form \(U \times T^2\), with action-angle coordinates \((p_1,p_2, \theta _1, \theta _2)\), \((p_1,p_2) \in {\mathbb {R}}^2\) and \((\theta _1, \theta _2) \in T^2 = {\mathbb {R}}^2/{\mathbb {Z}}^2\), where the symplectic for \(\omega \) is \(dp_1\wedge d\theta _1 + dp_2\wedge d\theta _2\). Here, we identify simultaneously U with a neighborhood of \(\pi (q)\) in B, as well as, a neighborhood in \({\mathbb {R}}^2\). Consider then a 1-cycle \(\gamma (t) = (\theta _1(t), \theta _2(t)) \in \pi ^{-1}(q) = {\mathbb {R}}^2/{\mathbb {Z}}^2\) and move it along a curve \(\sigma (s)\) in \(U \subset {\mathbb {R}}^2\) so as to get the cylinder \(\Gamma (s,t) = (\sigma (s), \gamma (t))\) in the \((p_1,p_2, \theta _1, \theta _2)\) coordinates. Up to a choice of orientation, \(\Gamma (s,t)\) is symplectic iff \(\langle {\sigma '}(s)| \gamma '(t) \rangle \ne 0\), for all s and t. In particular, if we fix the cycle with \(\gamma '(t) =(a,b)\), \((a,b) \in {\mathbb {Z}}^2\), we are allowed to move in any direction in U, as long as we are never parallel to \((b, -a)\), in order to get a symplectic cylinder. \(\square \)

The set \(B_0\) of regular values of \(\pi : X^{4} \rightarrow B^2\) carries naturally an affine structure, and circling around a node, i.e. the image of a nodal critical point, provides a monodromy for this affine structure, that is a shear with respect to some eigendirection associated to the node—see [37, 52] for details. In local action-angles coordinates (see Remark 2.2), where we have \(\pi _{|V} : V \cong U \times T^2 \rightarrow U \subset {\mathbb {R}}^2\), with \(U \hookrightarrow B\), this affine structure is identified with the standard lattice \({\mathbb {Z}}^2 \subset {\mathbb {R}}^2 \cong T_b^*U\) for each \(b \in U\). In the sense of [21, Definition 1.24], B is viewed as an integral affine surface with singularities.

If B is topologically a disk, an ATF can be described by an almost toric base diagram (ATBD) [52, Section 5.2]. We choose a set of cuts \({\mathcal {C}}\) consisting of rays on \(B_0\) from the nodes to \(\partial B\), so we don’t have monodromy on \(B_0 \setminus {\mathcal {C}}\) and hence we can get an affine embedding of \(B_0 \setminus {\mathcal {C}}\) into \({\mathbb {R}}^2\). The closure of the image is the ATBD. The monodromy around the nodes informs us how to glue the limits as we approach the cuts from both sides (for more details see [52, Figure 7 and Section 5.2]). In particular, if we choose a cut associated to a node to be a ray in the direction of an eigenvector of the monodromy associated to that node, as we approach a point in the cut from both sides, the limit of the images under the embedding \(B_0 \setminus {\mathcal {C}}\rightarrow {\mathbb {R}}^2\) agree. In this paper we always assume that all the cuts satisfy this condition and B is topologically a disk. Hence, we can extend the affine embedding \(B_0 \setminus {\mathcal {C}}\rightarrow {\mathbb {R}}^2\) to a continuous map \(B \rightarrow {\mathbb {R}}^2\) and the ATBD is depicted as a polytope P, with nodes (represented by \(\times \) or \(\star \)) in the interior representing the nodal fibres, and cuts (represented by dashed segments) towards the edge, that encode the monodromy around the singular fibres.

Example 2.3

Figure 2 is an ATBD, with underlying polytope P, representing an ATF of \((\mathbb {CP}^2,\omega _\text {st})\), see also Figs. 3 and 1, and [56] for several ATBDs representing ATFs of Del Pezzo surfaces. To each cut, we associate a monodromy matrix in \(SL(2, {\mathbb {Z}})\), with eigenvector in the direction of the cut, representing, in the standard basis of \({\mathbb {R}}^2\), the monodromy associated to a counter-clockwise loop around the node. \(\square \)

Fig. 2
figure 2

ATBD for \(\mathbb {CP}^2\)

Remark 2.4

In an ATBD with underlying polytope P, if a vertex has no cut arriving into it, then it represents a corank two elliptic singularity. Its pre-image is a point and a neighbourhood of the vertex describes a toric structure on its pre-image, hence we call it a toric vertex. Otherwise the vertex is inside the cut and its pre-image is a circle of corank one elliptic singularities. \(\square \)

Almost-toric base

In this section we develop a notation for base diagrams that is suitable for almost toric mutations; it is more in line with the notions of mutations [2, 3, 18] in algebraic geometry that arose from the pioneering work [18].

Definition 2.5

An almost toric base content \({\mathscr {P}}=(P,{\mathscr {B}})\) is a pair where

$$\begin{aligned} P={\text {conv}}(v_1,\ldots ,v_{|V(P)|})\subseteq {\mathbb {R}}^2 \end{aligned}$$

is the polytope defined by the convex hull of counter-clockwise cyclically ordered |V(P)| vertices \(v_i\in {\mathbb {R}}^2\), \(1\le i\le |V(P)|\) and \({\mathscr {B}}\) is the cut content of \({\mathscr {P}}\). The cut content \({\mathscr {B}}\) is defined as the union of pairs \(B_i\), \(1\le i\le |V(P)|\), where \(B_i=(c_i,n_i)\in {\mathbb {R}}^2\times {\mathbb {N}}\) consists of a primitive vector \(c_i\in {\mathbb {Z}}^2 \subset {\mathbb {R}}^2\), pointing inside P from \(v_i\), and a positive number \(n_i\in {\mathbb {N}}\), which accounts for the total number of nodes along \(c_i\). Let us denote by \((v)_p\) the primitive vector pointing in the direction of v. The following consistency condition must be satisfied:

figure a

where we take the indices \(i \in {\mathbb {Z}}/|V(P)|{\mathbb {Z}}\) and \(M_i\in GL(2,{\mathbb {Z}})\) denotes the shear in \({\mathbb {R}}^2\) with respect to \(c_i\), given by \(M_i v := v + \det [c_i,v] c_i\). For a matrix form of \(M_i\) in terms of \(c_i = (a_i,b_i)\) see [52, (4.11)].

By definition, an almost toric base is an almost toric base content \({\mathscr {P}}=(P,{\mathscr {B}})\) , together with choices of \(r_{i,j} \in {\mathbb {R}}^{\ge 0}\), for \(j = 1 , \dots , n_i\), \(r_{i,j} < r_{i,j-1}\), so that the cuts \(v_i + tc_i\), \(t\in [0,r_{i,1}]\) are disjoint and inside P. The \(n_i\) nodes associated with \(v_i\) are said to be positioned at \(v_i + r_{i,j}c_i\). \(\square \)

Definition 2.5 is suitable for almost toric fibrations [37, 52] whose base is topologically a disk, as shall be the case in this manuscript. In the case that \((X,\omega )\) is a Del Pezzo surface, which symplectically means that the symplectic structure is monotone, and all the cuts point towards the monotone fibre that, up to translation, we assume centered at 0. In that case, we have that the cut at the vertex \(v_i\) is \(c_i = - (v_i)_p\) and the number \(n_i\in {\mathbb {N}}\) is the number of singular nodes along the cut at \(v_i\), placed in the positions \(v_i + r_{i,j}c_i\), for \(j = 1 ,\dots , n_i\), with \(r_{i,1} < |v_i|\). For instance, if \(v_i\) is a toric vertex then \(B_i=(c_i,1)\) and \(r_{i,1} = 0\). We have chosen the notation cut content in line with the singular content as defined in [32]. From now onwards, we informally refer to \({\mathscr {P}}=(P,{\mathscr {B}})\) as an almost toric base, referring to an almost toric base with almost toric base content \({\mathscr {P}}=(P,{\mathscr {B}})\). Given an almost toric base \({\mathscr {P}}=(P,{\mathscr {B}})\), we denote by \(X({\mathscr {P}})\) the almost toric symplectic 4-manifold associated to the almost toric base diagram defined by the polytope P and cut content \({\mathscr {B}}\), as constructed in [37] (cf.  also [52, Section 5], [54, Section 3]).

Remark 2.6

If P is a Delzant polytope, it represents a smooth toric symplectic manifold X(P). In this case its cut content satisfies \(n_i = 1\) and \(c_i = (v_{i+1} - v_{i}) - (v_i - v_{i-1})\) (the Delzant condition implies that in the counter-clockwise orientation, \(\det [c_i, (v_{i+1} - v_{i})_p] = -1\)). Moreover, its toric base satisfies \(r_{i,1} = 0\), for all \(1\le i\le |V(P)|\). We call that the 0-content (or empty content) associated to the Delzant polytope P.

It P is not Delzant, than it represents a singular toric symplectic manifold X(P). If all singularities are T-singularities, in the sense of [1], then each singularity is of the form

$$\begin{aligned} \frac{1}{n_il_i^2}(1, n_il_ik_i - 1), \end{aligned}$$

following the notation in [1], for some \(n_i,l_i,k_i\in {\mathbb {N}}\). If we identify \((v_{i-1} - v_{i})_p\) with (0, 1), and \((v_{i+1} - v_{i})_p\) with \((n_il_i^2, n_il_ik_i - 1)\), then \(c_i = (l_i,k_i)\). In consequence, the base content \((P,{\mathscr {B}})\) is extracted from the singularity types and the multiplicity \(n_i\) is such that Eq. (2–1) is satisfied. Also, the weight \(n_il_i^2\) of the singularity satisfies \(l_i = |\det [c_i, (v_{i+1} - v_{i})_p]|\). In this case, X(P) is smoothable and the smoothing has an almost toric fibration with base content \((P,{\mathscr {B}})\), hence we denote the smoothing by \(X(P,{\mathscr {B}})\). \(\square \)

Remark 2.7

Symington defined modifications of a base diagram [52, Section 6.1] called nodal trade and nodal slide and proved that they provide diagrams for another ATF of the same symplectic manifold. Modifying the ATF by changing \(r_{i,n_i} = 0\) to \(r_{i,n_i} > 0\) corresponds to a nodal trade [52, Section 6.1]. Modifying the ATF by changing the value of \(r_{i,j} > 0\) to another positive value corresponds to a nodal slide [52, Section 6.1]. A further explanation is provided in Remark 2.13, and we encourage the reader to study [52] for more details. \(\square \)

Remark 2.8

In some diagrams of Fig. 1, there are “nodes” with \(r_{i,n_i} = 0\). Though the vertex of the polytope is not Delzant if \(n_i > 1\), when \(r_{i,n_i} = 0\), over the vertex lies a corank two elliptic singularity and a neighbourhood of the vertex, excluding the other associated nodes, is indeed toric. Though it represents a corank two elliptic singularity, we still depict it with \(\times \) or \(\star \) over the vertex \(v_i\), if \(n_i > 1\). We can only make \(r_{i,n_i} = 0\) and remain almost toric if the corresponding singularity for the toric orbifold X(P) (as we disregard the nodes and cuts) is a Du Val singularity of \(A_{n_i - 1}\) type. Modifying \(r_{i,n_i} > 0\) to \(r_{i,n_i} = 0\) in this case can be regarded as the inverse of a nodal trade. \(\square \)

Fig. 3
figure 3

Almost-toric bases for rescalings of \(({\mathbb {C}}{\mathbb {P}}^2,\omega _\text {st})\)

Example 2.9

([40], see also [23]) Consider the five almost toric bases \({\mathscr {P}}_i=(P_i,{\mathscr {B}}_i)\), \(1\le i\le 5\), depicted in Fig. 3, increasingly ordered left to right. In this case, the five symplectic almost toric varieties \(X({\mathscr {P}})\) are smooth 4-manifolds and, in fact, rescalings of \(({\mathbb {C}}{\mathbb {P}}^2,\omega _\text {st})\). The toric varieties \(X(P_i)\) are singular for \(2\le i\le 5\), respectively corresponding to the weighted projective spaces \({\mathbb {C}}{\mathbb {P}}^2(1,1,4)\), \({\mathbb {C}}{\mathbb {P}}^2(1,4,25)\), \({\mathbb {C}}{\mathbb {P}}^2(1,25,169)\) and \({\mathbb {C}}{\mathbb {P}}^2(1,169,1156)\). These correspond to the fact that \({\mathbb {C}}{\mathbb {P}}^2\) is a smoothing of each of these weighted projective spaces. \(\square \)

Let us now define mutation of an almost toric base.Footnote 2

Definition 2.10

An almost toric base content \(\mu _{v_i}^k {\mathscr {P}}=(\mu _{v_i}^kP, \mu _{v_i}^k{\mathscr {B}})\) is said to be mutated from the almost toric base content \({\mathscr {P}}=(P,{\mathscr {B}})\) at the vertex \(v_i\) with order \(k \in \{1,\dots ,n_i\}\) if it satisfies the following:

  • Consider the ray \(\gamma _i\) that leaves \(v_i\) in the direction of \(c_i\), and \({\tilde{v}}\) the intersection with \(\partial P\). The polytope is divided by \(\gamma _i\) into \(P = P^{(1)} \cup P^{(2)}\), with \(v_{i-1} \in P^{(1)}\) and \(v_{i+1} \in P^{(2)}\). Then \(\mu _{v_i}^kP = P^{(1)} \cup M_i^{k}(P^{(2)})\) or \(\mu _{v_i}^kP = M_i^{-k}(P^{(1)}) \cup P^{(2)}\).

  • The consistency condition for \(\mu _{v_i}^k {\mathscr {P}}\) implies that, if \(k < n_i\), \(v_i\) is a vertex of \(\mu _{v_i}^k {\mathscr {P}}\), with content \((c_i, n_i - k)\). If \(k = n_i\), \(v_i\) is not a vertex of \(\mu _{v_i}^k {\mathscr {P}}\). If \({\tilde{v}} = v_j\) for some \(j\ne i\), we assume that \(c_j = -c_i\), and the content of \({\tilde{v}}\) is \((c_j, n_j + k)\), otherwise, the content of \({\tilde{v}}\) is \((-c_i, k)\).

An almost toric base is said to be mutated from another at the vertex \(v_i\) with order \(k \in \{0,\dots ,n_i\}\), if their almost toric base contents are related as above and the position of all the nodes in \(\gamma _i\) are the same. A mutation of order is 1 is said to be a single mutation, and a full mutation will refer to a mutation of order \(n_i\) at the vertex \(v_i\). \(\square \)

The symplectic domains \((X,\omega _X)\in {\mathscr {H}}\) featured in Theorem 1.4 are open subsets of the symplectic 4-manifolds \(X({\mathscr {P}})\) obtained by removing collections of symplectic and Lagrangian 2-spheres. (The collection of Lagrangian 2-spheres being removed might be empty in some cases.) Let us introduce a combinatorial structure to encode these surface configurations.

Definition 2.11

A relative almost toric base consists of a pair \(({\mathscr {P}},{\mathscr {S}})\) where \({\mathscr {P}}=(P,{\mathscr {B}})\) is an almost toric base, and \({\mathscr {S}}=S\cup {\mathscr {L}}\) is a set consisting of sides of the polytope P, forming a subset \(S\subseteq {\mathscr {S}}\), and segments \(l\subseteq {\mathscr {S}}\) within each cut, a segment being bounded by two consecutive nodes, forming a subset \({\mathscr {L}}\subseteq {\mathscr {S}}\). \(\square \)

In the cases of Theorem 1.4, the sides \(S\subseteq {\mathscr {S}}\) yield symplectic 2-spheres [37, 52] and the segments \({\mathscr {L}}\subseteq {\mathscr {S}}\) give rise to Lagrangian 2-spheres in the symplectic 4-manifold \(X({\mathscr {P}})\), as visible surfaces [52, Section 7]. Indeed, the cut content \({\mathscr {B}}\) of an almost toric base defines a sequence of Lagrangian 2-spheres \(L^j(B_i)\), \(1\le j\le n_i - 1\), \(1\le i\le |V(P)|\), whenever \(n_i \ge 2\). By definition, \(L^j(B_i)\), \(1\le j\le n_i - 1\), will be the exact Lagrangian 2-sphere with matching cycle the segment in the direction \(c_i\in {\mathbb {R}}^2\) from the jth node to the \((j+1)\)th node, where nodes are ordered increasingly from the vertex \(v_i\) inwards.

Consider a relative almost toric base \(({\mathscr {P}},{\mathscr {S}})\). We denote by \(D({\mathscr {S}})\subseteq X({\mathscr {P}})\) the configuration of symplectic divisors D(S), associated to the pre-image of the sides of \(S\subseteq {\mathscr {S}}\) under the almost toric fibration, and by \(L({\mathscr {L}})\) the collection of Lagrangian spheres in the symplectic 4-manifold \(X({\mathscr {P}})\) associated to the segments in \({\mathscr {L}}\subseteq {\mathscr {S}}\); cf.  [37, 56]. Note that for the same choice of sides S in P, the topology of D(S) typically depends on the cut content \({\mathscr {B}}\) of \({\mathscr {P}}\). We shall denote

$$\begin{aligned} X({\mathscr {P}},{\mathscr {S}}):=X({\mathscr {P}})\setminus (D(S)\cup L({\mathscr {L}})), \end{aligned}$$

the symplectic complement of the symplectic divisors D(S) and the Lagrangian spheres \(L({\mathscr {L}})\) in \(X({\mathscr {P}})\).

Example 2.12

The unique cut in the rightmost relative almost toric base \(({\mathscr {P}},{\mathscr {S}})\) of the first row on Fig. 1 yields a Lagrangian 2-sphere \(S^2\subseteq X({\mathscr {P}})\cong {\mathbb {C}}{\mathbb {P}}^1\times {\mathbb {C}}{\mathbb {P}}^1\). This is the unique Lagrangian sphere in \({\mathbb {C}}{\mathbb {P}}^1\times {\mathbb {C}}{\mathbb {P}}^1\), in the same Hamiltonian isotopy class as the anti-diagonal [25]. The blue side S in this almost toric base gives a symplectic divisor in the homology class of \(D(S)={\mathbb {C}}{\mathbb {P}}^1\times \{pt\}\subseteq X({\mathscr {P}})\), and thus \(X({\mathscr {P}},S)\cong {\mathbb {C}}{\mathbb {P}}^1\times {\mathbb {D}}^2(1)\). Finally, the complement of the anti-diagonal Lagrangian and the symplectic 2-sphere D(S) is symplectomorphic to the ellipsoid \(X({\mathscr {P}},{\mathscr {S}})\cong E(1,2)\), as can be seen from the almost toric diagram. (E.g. toric diagrams for ellipsoids E(1, k) are provided in [43, Section 2] and then see [56] for the almost toric modification where the anti-diagonal Lagrangian 2-sphere is isotoped to be above a vertex.) \(\square \)

Polytope mutations in almost-toric diagrams

Let \((X,\omega _X)\) be a 4-dimensional closed toric symplectic manifold. The moment map \({\mathfrak {m}}:X\longrightarrow {\mathbb {R}}^2\) associated to the Hamiltonian \(T^2\)-action yields a convex polytope \({\mathfrak {m}}(X)=P_X\subseteq {\mathbb {R}}^2\). This polytope is the base \({\mathscr {P}}=(P,\varnothing )\) of the Lagrangian toric fibration \({\mathfrak {m}}:X\longrightarrow {\mathfrak {m}}(X)\), which is a singular fibration at the boundary \(\partial (P_X)={\mathfrak {m}}(X)\setminus \text{ Int }({\mathfrak {m}}(X))\), with isotropic fibers. The standard affine structure \({\mathbb {Z}}^2\subseteq {\mathbb {R}}^2\) in the real plane endows the base of this fibration with an affine structure, which itself coincides with the affine structure associated to the Lagrangian fibration [4].

Recall from Definition 2.1 that an almost toric fibration on a symplectic 4-manifold \((X,\omega _X)\) contains the data of a smooth surface B and a smooth map \(\pi : X \rightarrow B\) with Lagrangian fibres (which here we assume compact), whose singular fibres can be toric (a corank 2 singularity or a circle of corank 1 singularities) or nodal. The regular locus \(B_0\) is endowed with an integral affine structure. We assume B is a disk, and a suitable choice of cuts \({\mathcal {C}}\)—recall Sect. 2.1—gives rise to a continuous map \(B \rightarrow P_X \subset {\mathbb {R}}^2\), that is affine when restricted to \(B_0 \setminus {\mathcal {C}}\) (with respect to the standard affine structure \({\mathbb {Z}}^2 \subset {\mathbb {R}}^2\), generated by the unit vectors tangent to the coordinate axes [52, Example 2.8]). We encode the information of the nodes and cuts into an almost toric base \({\mathscr {P}}=(P_X,{\mathscr {B}})\). The composition \(X \xrightarrow {\pi } B \rightarrow P_X\) can be regarded as an analogue of the moment map \({\mathfrak {m}}:X\longrightarrow {\mathbb {R}}^2\) and also yields a convex polytope \({\mathfrak {m}}(X)=P_X\subseteq {\mathbb {R}}^2\), see [52].

Let \((X,\omega _X)=X(P,{\mathscr {B}})\) be an almost toric symplectic variety with almost toric base \((P,{\mathscr {B}})\), and \(v\in P\) be a vertex of its polytope \(P={\mathfrak {m}}(X)\), with content \((c_v,n_v)\). Let us construct a family of Lagrangian almost toric fibrations

$$\begin{aligned} {\mathfrak {m}}^t:(X,\omega )\longrightarrow {\mathbb {R}}^2,\quad t\in [0,1], \end{aligned}$$

with \({\mathfrak {m}}^0={\mathfrak {m}}\) and the image \({\mathfrak {m}}^1(X)\) being the polytope \(\mu _v^{1}(P_X)\) obtained by combinatorially mutating \(P_X\) at \(v\in P_X\), as defined in [2, Section 3], which corresponds to an order one mutation in Definition 2.10 above. This shall be denoted \({\mathfrak {m}}^1 = \mu _v^{1}({\mathfrak {m}})\).

The crucial fact is that these are all fibrations of the same symplectic variety \((X,\omega _X)\). It is only the presentation of \((X,\omega _X)\) as an almost toric symplectic domain that varies. In a nutshell, the geometric idea behind Theorem 1.4 is that different almost toric fibrations for \((X,\omega _X)\) make different full embeddings of symplectic ellipsoids in \((X,\omega _X)\) visible.

Remark 2.13

Following a suggestion by the referee, we recall the two notions of nodal slide and nodal trade, as introduced in [52], and refer also to [37, 54,55,56] among others. Recall that two almost toric bases \((B,A_1,S_1)\) and \((B,A_2,S_2)\), \(A_i\) integral affine structures on B, and \(S_i\) the stratifications of the toric base (see [52, Section 5]), \(i=1,2\), are said to be related by a nodal slide if there is a curve \(\gamma \) in the base B such that \((B\setminus \gamma ,A_1,S_1)\) and \((B\setminus \gamma ,A_2,S_2)\) are isomorphic and the curve \(\gamma \) contains one node and belongs to the eigenline through that node.

For the definition of nodal trade, we follow [52, Lemma 6.3]. This result states that given an almost toric base (BAS), R an embedded eigenray that connects a node s with a point b in an edge E of the reduced boundary of B where there are no other nodes on R, and \(v^*,w^*\in T^*_bB\) vanishing and collapsing covectors spanning the integral (dual) affine structure in \(T^*_bB\), then there is an almost toric base \((B,A',S')\) such that

  1. (1)

    \((B,A',S')\) contains one fewer node than (BAS),

  2. (2)

    \((B\setminus R,A',S')\) is isomorphic to \((B\setminus R,A,S)\),

  3. (3)

    In \((B,A',S')\), the intersection of the ray R and the reduced boundary is a vertex.

By definition, two almost toric bases (BAS) and \((B,A',S')\) are said to be related by a nodal trade if they satisfy these hypotheses. \(\square \)

Let us detail the steps producing the family of maps \({\mathfrak {m}}^t\).

  1. 1.

    First, the introduction of a nodal trade at v (if \(n_v= 1\) and \(r_{1,1} = 0\)) and subsequent nodal slides at the \(n_v\)-th node in direction \(c_v\), as defined by M. Symington [52], produces a family of almost toric fibrations, described by \({\mathfrak {m}}^t\), \(t\in [0,1)\), with \({\mathfrak {m}}^0={\mathfrak {m}}\), converging to \({{\mathfrak {m}}'}^1\) as \(t\rightarrow 1\), all with polytope \(P_X\).

  2. 2.

    Second, apply a single mutation to the almost toric base for \({{\mathfrak {m}}'}^1(X)\), obtaining another map \({\mathfrak {m}}^1:(X,\omega )\longrightarrow {\mathbb {R}}^2\), by composing \({{\mathfrak {m}}'}^1\) with the map \(P_X \longrightarrow \mu _v^{1}(P_X)\) in Definition 2.10.

We assume that we slide the \(n_v\)-th node long enough so that it is very close to the (often new) vertex \({\tilde{v}}\) coming from mutation. In particular, in the case X is Del Pezzo, we also assume that the node crossed \(0 \in {\mathbb {R}}^2\), which represents the monotone fibre. For now, let us assume that \(P_X\) is a triangle, which will simplify our notation, and that we apply full mutations, so we consider \(\mu _v := \mu _v^1 \circ \cdots \circ \mu _v^1 = \mu _v^{n_v}\).

The process described in the steps above can be iterated for the initial symplectic domain \((X,\omega _X)\), as follows. Let \(V=(v_n)_{n\in {\mathbb {N}}}\) be a sequence of vertices, with \(v_1,v_2\) distinct, such that

$$\begin{aligned} v_i\in \mu _{v_{i-1}}\mu _{v_{i-2}}\circ \ldots \circ \mu _{v_1}(P_X), \quad i\in {\mathbb {N}}, \end{aligned}$$

and \(v_{j}={\widetilde{v}}_{j-2}\) for all \(j\in {\mathbb {N}}\). In short, we choose two vertices \(v_1,v_2\in P_X\) in a triangle and we first mutate at \(v_1\) and then at \(v_2\). Then we mutate at the new vertex \(v_3={\widetilde{v}}_1\in \mu _{v_2}\mu _{v_1}(P_X)\), which was first opposite to \(v_1\) in \(P_X\), and then at \(v_4={\widetilde{v}}_2\in \mu _{v_3}\mu _{v_2}\mu _{v_1}(P_X)\), which was initially opposite to \(v_2\) in \(\mu _{v_1}(P_X)\). Note that the triangle \(P_X\) has a vertex \(v_f\in P_X\) which remains fixed under these iterative mutations.

Example 2.14

([18]) Figure 3 shows a sequence of rescaled almost toric fibrations \(\{{\mathfrak {m}}^t\}_{t\in [0,4]}\) at the values \(t=0,1,2,3,4\), on the symplectic manifold \(({\mathbb {C}}{\mathbb {P}}^2,\omega _\text {st})\). First, there is a mutation from the toric moment polytope P for \(({\mathbb {C}}{\mathbb {P}}^2,\omega _\text {st})\) to \({\mathscr {P}}_1=(P_1,{\mathscr {B}}_1)\), where \(\mu ^1(P)\) is the toric moment polytope for \({\mathbb {C}}{\mathbb {P}}^2(1,1,4)\). The second mutation moves from \({\mathscr {P}}_1=(\mu ^1(P),{\mathscr {B}}_1)\) to \({\mathscr {P}}_2=(\mu ^2(P),{\mathscr {B}}_2)\), where \(\mu ^2(P)\) is the toric moment polytope for \({\mathbb {C}}{\mathbb {P}}^2(1,4,25)\). The third mutation leads to the almost toric base with polyope \(\mu ^3(P)\), the toric moment polytope for \({\mathbb {C}}{\mathbb {P}}^2(1,25,169)\), and the fourth mutation arrives at \(\mu ^4(P)\), the toric moment polytope for \({\mathbb {C}}{\mathbb {P}}^2(1,169,1156)\). This procedure can be iterated indefinitely, yielding almost toric bases with their polytope \(\mu ^n(P)\) being the toric moment polytope for \({\mathbb {C}}{\mathbb {P}}^2(1,a_n,b_n)\), where \((a_n,b_n)\) will always be squares of consecutive odd Fibonacci numbers. A clear understanding of this sequence of almost toric mutations makes Theorem 1.4 for the unit 4-ball \({\mathbb {D}}^4(1)\) much more intuitive. Note nevertheless that we require the symplectic ellipsoid embeddings to lie in \({\mathbb {D}}^4(1)\) and not just a compactification. \(\square \)

Existence of sharp sequences of ellipsoid embeddings

The central idea that this manuscript introduces is the use of almost toric mutations in the study of symplectic ellipsoid embeddings. In this section we prove our main result Theorem 1.4, assuming Theorem 3.12, whose proof will require the tropical symplectic techniques developed in Sect. 4.

Let us start by explaining how to construct symplectic ellipsoid embeddings in an almost toric domain \(X({\mathscr {P}},{\mathscr {S}})\) with \(({\mathscr {P}},{\mathscr {S}})\) a relative almost toric base.

Definition 3.1

Let \(P\subseteq {\mathbb {R}}^2\) be a convex polygon and \(v_0,v_1,v_2\in V(P)\) three vertices of P. The triangle \({\overline{T}}_{v_0,v_1,v_2}\subseteq P\) is the convex hull of \(v_0,v_1,v_2\). For \(\varepsilon \in {\mathbb {R}}_{\ge 0}\), the open \(\varepsilon \)-triangle \(T^\varepsilon _{v_0,v_1,v_2}\subseteq P\) is the complement \({\overline{T}}_{v_0,v_1,v_2}\setminus t^\varepsilon \), where \(t^\varepsilon \subseteq {\overline{T}}_{v_0,v_1,v_2}\) is an \(\varepsilon \)-neighborhood of the (open) side \({\text {conv}}(v_0,v_2)\) connecting \(v_0,v_2\in V(P)\). \(\square \)

Let \((X,\omega )=X({\mathscr {P}},{\mathscr {S}})\) be symplectic almost toric manifold with polytope \(P\subseteq {\mathscr {P}}\), and assume that \(v_1\in V(P)\) is a smooth toric vertex. Let \(v_0,v_2\) be the two vertices in P closest to \(v_1\). If the open triangle \(T^\varepsilon _{v_0,v_1,v_2}\subseteq P\) does not contain any critical values for the almost toric fibration \({\mathfrak {m}}_X:X\longrightarrow P\), the pre-image of \(T^\varepsilon _{v_0,v_1,v_2}\) under \({\mathfrak {m}}\) yields a symplectic embedding

$$\begin{aligned} i_{v_1}:E(a,b)\longrightarrow (X,\omega ), \end{aligned}$$

where ab are the affine lengths of the two sides \({\text {conv}}(v_0,v_1)\cap T^\varepsilon _{v_0,v_1,v_2}\), \({\text {conv}}(v_1,v_2)\cap T^\varepsilon _{v_0,v_1,v_2}\) respectively. This construction is a potential method for construction symplectic ellipsoid embeddings, but it has the following two disadvantages.

First, for a given \(\varepsilon \in {\mathbb {R}}^{>0}\), there are only finitely many open triangles in a moment polytope \(P\subseteq {\mathbb {R}}^2\) for \((X,\omega )\) and thus, even if we considered the \({\text {GL}}(2,{\mathbb {Z}})\) action, this observation on its own is not sufficient to build an infinite sequence of ellipsoid embeddings. Second, unless P is a triangle, i.e. \(|V(P)|=3\), the symplectic ellipsoid embeddings of the form \(i_{v_1}\) will not be volume-filling.

The first new geometric idea is that the symplectic manifold \((X,\omega )\) admits a sequence of almost toric fibrations \(({\mathfrak {m}}_n)_{n\in {\mathbb {N}}}:X\longrightarrow {\mathbb {R}}^2\), as introduced in Sect. 2.3, which themselves can be used to construct a sequence of symplectic ellipsoid embeddings. The images \({\mathfrak {m}}_n(X)\) of these almost toric fibrations are also convex polytopes \(P_n\subseteq {\mathbb {R}}^2\). In this almost toric case, the symplectic embeddings \(i_{v_1}\) are built as above, where the main condition is that the open triangles \(T^\varepsilon _{v_0,v_1,v_2}\subseteq P\) do not include any interior singular values of \({\mathfrak {m}}_n\). (This condition is always satisfied in the toric case, as there are no interior singular values for the Lagrangian fibration.)

In Sect. 3.2, we describe the properties for a sequence of almost toric fibrations \(({\mathfrak {m}}_n)_{n\in {\mathbb {N}}}:X\longrightarrow {\mathbb {R}}^2\) such that each almost toric fibration admits a volume-filling open triangle \(T^\varepsilon _{v_0,v_1,v_2}\subseteq P\), for arbitrarily small \(\varepsilon \in {\mathbb {R}}^{>0}\). These open triangles give rise to symplectic embeddings

$$\begin{aligned} i^{(n)}_{v_1}:E(a_n,b_n)\longrightarrow (X,\omega ). \end{aligned}$$

The arithmetic of the sequence of pairs \((a_n,b_n)\in {\mathbb {N}}^2\) is governed by a diophantine equation which depends on the initial choice of \(({\mathscr {P}},{\mathscr {S}})\). These equations have featured prominently in birational geometry [23, 30, 31] and the study of coherent sheaves [19, 49, 50], and we present them systematically in Sect. 3.2.

The use of almost toric fibrations has many advantages, including the fact that we can build sequences of almost toric fibrations using the theory of mutations in algebraic geometry [2, 3, 23]. Nevertheless, the standard techniques have the disadvantage that it requires our symplectic almost toric manifold \((X,\omega )\) to be closed. That said, the known tools for polytope mutations and algebraic degenerations do not include the relative case of symplectic divisors and Lagrangian submanifolds. This article starts developing techniques in this direction.

In Theorem 1.4, we are interested in open symplectic toric domains \(X({\mathscr {P}},{\mathscr {S}})\), with \({\mathscr {S}}\ne \varnothing \). In order to address this dissonance, we first compactify \(X({\mathscr {P}},{\mathscr {S}})\) to the closed symplectic toric manifold \(X({\mathscr {P}})\) by adding the surface configuration \(D({\mathscr {S}})\subseteq (X,\omega )\). Then we construct the sequence of almost toric fibrations \(({\mathfrak {m}}_n)_{n\in {\mathbb {N}}}:X({\mathscr {P}})\longrightarrow {\mathbb {R}}^2\) and, at the same time, keep track of the images of \(D({\mathscr {S}})\subseteq (X,\omega )\) under these almost toric fibrations. We achieve this latter step by developing a new theory of tropical symplectic curves, in Sect. 4, and use the uniqueness of certain symplectic isotopy classes in symplectic 4-manifolds [34, 41, 42] and the classification of Lagrangian 2-spheres in the monotone symplectic 4-manifolds \({\mathbb {C}}{\mathbb {P}}^1\times {\mathbb {C}}{\mathbb {P}}^1,Bl_3({\mathbb {C}}{\mathbb {P}}^2),Bl_4({\mathbb {C}}{\mathbb {P}}^2)\) [5, 25, 38, 39].

In conclusion, the two main ingredients to execute the above scheme, and thus prove Theorem 1.4, are:

  1. (i)

    The construction of a sequence \(({\mathfrak {m}}_n)_{n\in {\mathbb {N}}}:X\longrightarrow {\mathbb {R}}^2\) of almost toric fibrations, and its associated volume-filling symplectic ellipsoid embeddings \(i^{(n)}:E(a_n,b_n)\longrightarrow (X,\omega )\). This is the content of Sects. 3.2 and 3.3.

  2. (ii)

    Showing that the images \(i^{(n)}(E(a_n,b_n))\) of the symplectic embeddings in Part (i) lie in the complement of the compactifying divisor \(D({\mathscr {S}})\subseteq X({\mathscr {P}},{\mathscr {S}})\). This will be shown in Sect. 3.4.

The proof of Theorem 1.4 then proceeds in the following three steps. First, the existence and choice of a Symington Sequence, which addresses the first item above. Second, the construction of tropical configurations realizing \(D({\mathscr {S}})\) at each stage of the Symington Sequence, in Sect. 4. Third, the study of the Hamiltonian isotopy class of these configurations in \(X({\mathscr {P}})\), which is the content of Sect. 3.4. The second and third steps address the second item above.

The symplectic domains in Fig. 1

The combinatorial reason that sharp ellipsoid staircases can be constructed for the domains in Fig. 1 is that they have almost toric basis with a smooth toric vertex, which admit infinitely many polytope mutations to triangular almost toric polytopes, with the smooth toric vertex fixed. The nine polytopes in Fig. 1 are a subset of the 16 reflexive polytopes [32].

These reflexive polytopes also yield one symplectic domain inside of \(Bl_1({\mathbb {C}}{\mathbb {P}}^2)\), and two symplectic domains inside of \(Bl_2({\mathbb {C}}{\mathbb {P}}^2)\), the three of them with infinitely many triangular polytope mutations. The arguments presented in this article provide infinitely many ellipsoid embeddings \(E(1,a_n)\), with \((a_n)_{n\in {\mathbb {N}}}\) a convergent sequence, into \(Bl_1({\mathbb {C}}{\mathbb {P}}^2)\) and \(Bl_2({\mathbb {C}}{\mathbb {P}}^2)\). Nevertheless, these ellipsoid embeddings are not full. The twelve symplectic domains presented in [10] are precisely the nine domains in Fig. 1 with the addition of these three domains. At this stage, it seems rather natural to ask about the remaining four, of the sixteen, reflexive polytopes. It might be possible to extract interesting staircases using our polytope mutation methods, however, the sequence of polytope mutations shall not be of triangular polytopes. The reader is referred to [2, 32] for a thorough study of the mutation classes of reflexive polytopes. \(\square \)

Realization of a symington sequence

Given an almost toric symplectic 4-manifold \(X({\mathscr {P}})\), it is possible to mutate an almost toric fibration for \(X({\mathscr {P}})\) as in Sect. 2.3 in many ways. It is not true that any mutation, even if the underlying polytope is always triangular, will yield a full symplectic ellipsoid embedding.

Example 3.2

We can mutate the triangular polytope \(P_{{\mathbb {C}}{\mathbb {P}}^2}\) for \({\mathbb {C}}{\mathbb {P}}^2=X(P_{{\mathbb {C}}{\mathbb {P}}^2},\varnothing )\) to the toric moment polytope for the weighted projective space \({\mathbb {C}}{\mathbb {P}}^2(2,5,29)\). In fact, there are infinitely many (\({\mathbb {Q}}\)-Gorenstein) degenerations of \({\mathbb {C}}{\mathbb {P}}^2\) obtained by mutating the triangular polytope \(P_{{\mathbb {C}}{\mathbb {P}}^2}\), including \({\mathbb {C}}{\mathbb {P}}^2(5,29,433)\) and \({\mathbb {C}}{\mathbb {P}}^2(2,29,169)\) [3, 23]. Neither of these weighted projective spaces readily admits a full symplectic ellipsoid embedding, since the three vertices of their toric moment polytopes are singular. \(\square \)

Example 3.2 illustrates that a specific choice of sequence of mutations is needed in order to construct full ellipsoid embeddings with our method. This leads to the following definition, which we have named after Symington, after her exemplary article [52].

Definition 3.3

A Symington sequence for an almost toric symplectic manifold \(X({\mathscr {P}},{\mathscr {S}})\) consists of a sequence of pairs \(\{({\mathscr {P}}_n,v_n)\}_{n\in {\mathbb {N}}}\) such that:

  1. (S1)

    \(X({\mathscr {P}}_n)=X({\mathscr {P}})\) for all \(n\in {\mathbb {N}}\),

  2. (S2)

    \(P_n\) is a triangle and \(v_n\in V(P_n)\) is a vertex,

  3. (S3)

    \(P_{n+1}=\mu _{v_n}(P_n)\), where \(\mu _{v_n}(P_n)\) is the polytope mutation of \(P_n\) at \(v_n\),

  4. (S4)

    There exists \(v_f\in {\mathbb {R}}^2\) such that \(v_f\in V(P_n)\) is a smooth toric vertex, for all \(n\in {\mathbb {N}}\).

The vertex \(v_f\) in (S4) will be referred to as a frozen vertex, as it does not appear in the sequence \((v_n)_{n\in {\mathbb {N}}}\) specifying the sequence of mutations \((\mu _{v_n})_{n\in {\mathbb {N}}}\). \(\square \)

The crucial geometric properties in Definition 3.3 are (S1) and (S3), and the fact that we are interested in ellipsoid embeddings leads to requiring (S2) and (S4).

Proposition 3.4

Let \(X({\mathscr {P}},{\mathscr {S}})\) be a symplectic domain with relative almost toric base \(({\mathscr {P}},{\mathscr {S}})\in {\mathscr {H}}\). Then there exists a Symington sequence for \(X({\mathscr {P}},{\mathscr {S}})\).

Proof

The statement readily holds for those \(X({\mathscr {P}},{\mathscr {S}})\) such that \(P\in {\mathscr {P}}\) is a triangle with a smooth toric vertex. Indeed, if P is a triangle, a Symington sequence is obtained by choosing one of the two vertices in P different from \(v_f\), and iteratively mutating and choosing the only vertex in the mutated polytope which differs from \(v_f\) and the newly created vertex. In case \(P\in {\mathscr {P}}\) is not a triangle, we must directly verify that the almost toric diagram \({\mathscr {P}}\) can be mutated to triangular almost toric diagram with a smooth toric vertex. This is explicitly shown in [56], and Fig. 1 for \(Bl_3({\mathbb {C}}{\mathbb {P}}^2)\). \(\square \)

The arithmetic of the vertices of a Symington sequence for each \(X({\mathscr {P}},{\mathscr {S}})\in {\mathscr {H}}\) is discussed in the subsequent Sect. 3.3. The usefulness of a Symington sequence in the study of the Ellipsoid Embedding function \(c_X\) comes from the following:

Proposition 3.5

Let \(P\subseteq {\mathbb {R}}^2\) be a triangular polytope with a smooth toric vertex \(v_f\in V(P)\), and let \((a,b)\in {\mathbb {Z}}^2\) be the affine length of the two sides of P incident to \(v_f\). Then there exists a full symplectic embedding \(i:E(a,b)\longrightarrow X(P)\). \(\square \)

See [35] for the notion of a full symplectic embedding. Proposition 3.5 follows by noticing that the complement of the symplectic divisor associated to the side in P non-incident to \(v_f\) is the symplectic domain E(ab) [17, 26, 51]. In particular, let \(\{({\mathscr {P}}_n,v_n)\}_{n\in {\mathbb {N}}}\) be a Symington sequence and denote by \((a_n,b_n)\in {\mathbb {Z}}^2\) the affine lengths of the sides of \(P_n\) incident to \(v_f\). Then there exist a sequence of symplectic ellipsoid embeddings

$$\begin{aligned} i_n:E(a_n,b_n)\longrightarrow X(P_n). \end{aligned}$$

This is at the core of the relation between the existence of infinite staircases and polytope mutations. It is a powerful starting point, but it not enough to conclude Theorem 1.4 since the symplectic varieties \(X(P_n)\) are not isomorphic. As emphasized, \(X(P_n)\) are typically singular algebraic varieties, and their algebraic isomorphism type strongly depends on \(n\in {\mathbb {N}}\). That said, the fundamental defining property (S1) of a Symington sequence states that \(X({\mathscr {P}}_n)=X({\mathscr {P}})\) for all \(n\in {\mathbb {N}}\).

The difference between the equalities \(X({\mathscr {P}}_n)=X({\mathscr {P}})\), for all \(n\in {\mathbb {N}}\), and the sequence of algebraic varieties \(X(P_n)\) is contained in the cut content \({\mathscr {B}}_n\) in \({\mathscr {P}}_n=(P_n,{\mathscr {B}}_n)\). In particular, Proposition 3.5 implies the following:

Proposition 3.6

Let \(P\subseteq {\mathbb {R}}^2\) be a triangular polytope with a smooth toric vertex \(v_f\in V(P)\), and let \((a,b)\in {\mathbb {Z}}^2\) be the affine length of the two sides of P incident to \(v_f\). Suppose that \({\mathscr {P}}=(P,{\mathscr {B}})\) has empty cut content at \(v_f\). Then there exists a full symplectic embedding \(i:E(a,b)\longrightarrow X({\mathscr {P}})\). \(\square \)

Note that introducing the cut content \({\mathscr {B}}\) can be achieved by choosing arbitrarily short cuts at the vertices of P. In this manner, we can choose \(N\subseteq P\) to be a neighborhood of the side in P opposite to \(v_f\) containing the cuts in \({\mathscr {B}}\), so that the complement in \(X({\mathscr {P}})\) of the pre-image of \(N\subseteq P\) is the symplectic ellipsoid \(E(a-\varepsilon ,b-\varepsilon )\) for any \(\varepsilon \in {\mathbb {R}}^{>0}\), depending on the choice of N; since \(\epsilon > 0\) can be chosen arbitrarily small, the claim follows by taking into account Remark 1.5.

Given a Symington sequence \(\{({\mathscr {P}}_n,v_n)\}_{n\in {\mathbb {N}}}\) for \(X({\mathscr {P}},{\mathscr {S}})\), Proposition 3.4 and Proposition 3.6 allow us to construct a sequence of full symplectic ellipsoid embeddings

$$\begin{aligned} i_n:E(a_n,b_n)\longrightarrow X({\mathscr {P}}). \end{aligned}$$

The challenge is now upgrading these absolute ellipsoid embeddings \((i_n)_{n\in {\mathbb {N}}}\) to a sequence of relative full symplectic ellipsoid embeddings

$$\begin{aligned} \iota _n:E(a_n,b_n)\longrightarrow X({\mathscr {P}},{\mathscr {S}}). \end{aligned}$$

This would conclude the proof of Theorem 1.4 once we study the arithmetic properties of the Symington sequence \((a_n,b_n)\) associated to \(X({\mathscr {P}},{\mathscr {S}})\) as in Proposition 3.4. The focus of Sects. 3.4 and 4 is the construction of the relative embeddings \(\iota _n\) into \(X({\mathscr {P}},{\mathscr {S}})\) from the absolute embeddings \(i_n\) into \(X({\mathscr {P}})\).

The central difficulty in showing the existence of \(\iota _n\) is understanding the surface configuration \(D({\mathscr {S}})\subseteq X({\mathscr {P}})\) under the identifications \(X({\mathscr {P}})\cong X({\mathscr {P}}_n)\), for each \(n\in {\mathbb {N}}\). In order to achieve that, we will develop a diagrammatic tropical calculus for surface configurations \(D({\mathscr {S}})\subseteq X({\mathscr {P}})\) in almost toric symplectic manifolds. In particular, such a tropical calculus starts with a configuration \(D({\mathscr {S}})\subseteq X({\mathscr {P}}_n)\) and describes a diagram \(\Delta _n\subseteq {\mathscr {P}}_n\) such that the Hamiltonian isotopy class of the configuration \(D({\mathscr {S}})\) admits a representative contained in the pre-image of this diagram \(\Delta _n\).

Remark 3.7

There is an alternative course of action to construct \(\iota _n\). It should be possible to understand how the surface configuration \(D({\mathscr {S}})\) is explicitly carried along a polytope mutation through almost toric diagrams [52, 56]. Starting with \(D({\mathscr {S}})\subseteq X({\mathscr {P}})\), this would yield an understanding of the inclusions \(D({\mathscr {S}})\subseteq X({\mathscr {P}}_n)\), upon identifying \(X({\mathscr {P}}_n)\cong X({\mathscr {P}})\) along the mutation sequence. This is an interesting line of research, but we shall not discuss it in the present manuscript. \(\square \)

Let us now provide a detailed and self-contained account of the numerics appearing in symington sequences for \(X({\mathscr {P}},{\mathscr {S}})\) for \(({\mathscr {P}},{\mathscr {S}})\in {\mathscr {H}}\).

Arithmetic of symington sequences for \(({\mathscr {P}},{\mathscr {S}})\in {\mathscr {H}}\)

The polytope \(P\in {\mathscr {P}}\) in an almost toric base contains all the arithmetic information for its mutations. The useful property of polytopes in Fig. 1 is the following:

Lemma 3.8

Each of the polytopes in Fig. 1 is mutation equivalent to a triangular polytope.

Proof

This is immediate for the first two rows: the toric moment polytope for \({\mathbb {C}}{\mathbb {P}}^2\) is triangular, the square toric moment polytope for the monotone \({\mathbb {C}}{\mathbb {P}}^1\times {\mathbb {C}}{\mathbb {P}}^1\) is mutation equivalent to the triangular moment polytope for \({\mathbb {C}}{\mathbb {P}}^2(1,1,2)\), and the hexagonal moment polytope for the monotone \(Bl_3({\mathbb {C}}{\mathbb {P}}^2)\) is mutation equivalent to the triangular moment polytope for \({\mathbb {C}}{\mathbb {P}}^2(1,2,3)\). These triangular polytopes are depicted in Fig. 1 at the rightmost part for each region corresponding to each symplectic 4-manifold. Finally, the almost toric polytope \(Bl_4({\mathbb {C}}{\mathbb {P}}^2)\) can be mutated to \({\mathbb {C}}{\mathbb {P}}^2(1,4,5)\) as shown in [56]. \(\square \)

This allows us to reduce the arithmetic of Symington sequences for the polytopes in Fig. 1 to those for the weighted projective spaces \({\mathbb {C}}{\mathbb {P}}^2(1,1,1),{\mathbb {C}}{\mathbb {P}}^2(1,1,2),{\mathbb {C}}{\mathbb {P}}^2(1,2,3)\) and \({\mathbb {C}}{\mathbb {P}}^2(1,4,5)\). The following result covers all the necessary arithmetic for our Theorem 1.4:

Proposition 3.9

Let \(P(\alpha ,\beta ,\gamma )\) be the toric moment polytope for \({\mathbb {C}}{\mathbb {P}}^2(\alpha ,\beta ,\gamma )\).

  1. (i)

    Suppose that \(\alpha \) corresponds to a smoothable singularity of \({\mathbb {C}}{\mathbb {P}}^2(\alpha ,\beta ,\gamma )\) and divides \((\beta +\gamma )^2\), with \(\alpha \cdot \delta =(\beta +\gamma )^2\). Then the polytope \(P(\alpha ,\beta ,\gamma )\) admits a polytope mutation to the triangle \(P(\beta ,\gamma ,\delta )\).

  2. (ii)

    (Vieta jumping) Suppose that \((p,q,r)\in {\mathbb {Z}}^3\) solves the Diophantine equation

    $$\begin{aligned} C_0p^2+C_1q^2+C_2r^2=mpqr. \end{aligned}$$

    Suppose that the \(C_i\) divide m, \(1\le i\le 3\). Then either of the three triples \((p,q,mpq/C_2-r)\), \((p,mpr/C_1-q, r)\) and \((mqr/C_0-p,q,r)\) solves this Diophantine equation. \(\square \)

Remark 3.10

A toric orbifold singularity being smoothable is equivalent to being a T-singularity [3, 32]. If \({\mathbb {C}}{\mathbb {P}}^2(\alpha ,\beta ,\gamma )\) is smoothable, then it is of the form \({\mathbb {C}}{\mathbb {P}}^2(C_0p^2,C_1q^2,C_2r^2)\), where \((p,q,r)\in {\mathbb {Z}}^3\) solves the Diophantine equation above. Vieta jumping is then equivalent to the change \(\alpha \leftrightarrow \delta \) in Proposition 3.9(i), with \(\delta = C_0(mqr/C_0-p)\). Note that Proposition 3.9 is proven in [3] for more general toric orbifolds with triangular moment map and smoothable corner, and it appears in the context of Del Pezzo surfaces in [56] as Lemma 4.2. \(\square \)

Arithmetic for \(({\mathbb {C}}{\mathbb {P}}^2,\omega _\text {st})\). The toric moment polytope for \(({\mathbb {C}}{\mathbb {P}}^2,\omega _\text {st})\) is mutation equivalent to the toric moment polytope for \({\mathbb {C}}{\mathbb {P}}^2(p^2,q^2,r^2)\) if and only if \((p,q,r)\in {\mathbb {Z}}^3\) is a Markov triple, i.e.

$$\begin{aligned} p^2+q^2+r^2=3pqr. \end{aligned}$$

This explains the numerics in Example 3.2. An arbitrary sequence of Markov triples, even if they differ only in one component, does not yield a Symington Sequence, since condition (S4) in Definition 3.3 imposes a non-trivial constraint. Indeed, \({\mathbb {C}}{\mathbb {P}}^2(p^2,q^2,r^2)\) has a smooth toric vertex if and only if one of the numbers \(p,q,r\in {\mathbb {Z}}\) equals one. Thus a Symington Sequence for \(({\mathbb {C}}{\mathbb {P}}^2,\omega _\text {st})\) can be obtained using the construction in the proof of Proposition 3.4 yielding any of the toric polytopes for \({\mathbb {C}}{\mathbb {P}}^2(1,q^2,r^2)\), if \((q,r)\in {\mathbb {Z}}^2\) satisfy

$$\begin{aligned} 1+q^2+r^2=3qr. \end{aligned}$$

Let \(F_n\) be the nth odd-index Fibonacci number, starting at \(F_1=1\). The recursion \(F_{n+2}=3F_{n+1}-F_n\) implies that \((1,F_n,F_{n+1})\) is a Markov triple with \(p=1\), as required. Hence, a Symington Sequence for \(({\mathbb {C}}{\mathbb {P}}^2,\omega _\text {st})\) yields the sequence of toric polytopes \({\mathbb {C}}{\mathbb {P}}^2(1,F^2_n,F^2_{n+1})\) for all \(n\in {\mathbb {N}}\). Conversely, all positive integral solutions (1, qr) of the Markov equation are of the form \((1,F_n,F_{n+1})\). These Fibonacci solutions are directly obtained by iteratively applying the Vieta jumping in Proposition 3.9 starting with the minimal solution \((p,q,r)=(1,1,1)\). The ratio \(F_{n+1}/F_{n}\) is known to converge to \(1 + \varphi \), where \(\varphi \) is the golden ratio. This is readily extracted from \(1+q_n^2+r_n^2=3q_nr_n\), by dividing by \(r_n^2\) and noticing that in the limit \(1/r_n^2 \rightarrow 0\) as \(n\rightarrow \infty \), since \(1+\varphi \) is the root of \(1 -3x + x^2\), that is grater than 1.

This is the explanation for the appearance of the odd Fibonacci numbers in the McDuff-Schlenk Fibonacci staircase from the viewpoint of polytope mutations. Indeed, this computation shows that the \(E(1,F^2_{n+1}/F^2_n)\) admits a full symplectic embedding into

$$\begin{aligned} \left( {\mathbb {C}}{\mathbb {P}}^2,\sqrt{\frac{2{\text {Vol}}(E(1,F^2_{n+1}/F^2_n))}{\pi ^2}}\cdot \omega _\text {st}\right) , \end{aligned}$$

and that any symplectic ellipsoid embedding obtained via toric mutations must be of this form.

Remark 3.11

From the proof of Theorem 6.5 in [36], see [36, Figure 15], we can readily conclude that \(E(1,F^2_{n+1}/F^2_n)\) embeds into

$$\begin{aligned} \left( Bl_k({\mathbb {C}}{\mathbb {P}}^2), \frac{F^2_{n+1}/F^2_n}{3F_{n+1}/F_n - k} \sqrt{\frac{2{\text {Vol}}(E(1,F^2_{n+1}/F^2_n))}{\pi ^2}}\cdot \omega _\text {st}\right) ,\quad k \le 5. \end{aligned}$$

We learned about staircases in the toric domains related to \(Bl_1({\mathbb {C}}{\mathbb {P}}^2)\) and \(Bl_2({\mathbb {C}}{\mathbb {P}}^2)\) from [11]. \(\square \)

Arithmetic for \(({\mathbb {C}}{\mathbb {P}}^1\times {\mathbb {C}}{\mathbb {P}}^1,\omega _\text {st}\oplus \omega _\text {st})\). The toric moment polytope for \(({\mathbb {C}}{\mathbb {P}}^2(1,1,2),\omega _\text {st})\) is mutation equivalent to the toric moment polytope for \({\mathbb {C}}{\mathbb {P}}^2(p^2,q^2,2r^2)\) if and only if \((p,q,r)\in {\mathbb {Z}}^3\) satisfies

$$\begin{aligned} p^2+q^2+2r^2=4pqr. \end{aligned}$$

As above, these \({\mathbb {C}}{\mathbb {P}}^2(p^2,q^2,2r^2)\) have a smooth toric vertex if and only if one of the numbers \(p,q,r\in {\mathbb {Z}}\) equals one. Thus a Symington Sequence for \(({\mathbb {C}}{\mathbb {P}}^1\times {\mathbb {C}}{\mathbb {P}}^1,\omega _\text {st}\oplus \omega _\text {st})\) exists and yields any of the toric polytopes for \({\mathbb {C}}{\mathbb {P}}^2(1,q^2,2r^2)\), if \((q,r)\in {\mathbb {Z}}^2\) satisfy

$$\begin{aligned} 1+q^2+2r^2=4qr. \end{aligned}$$

Let \(P_n,H_n\) be the nth Pell number and the nth half-companion Pell number. They are defined by the initial values

$$\begin{aligned} P_0=0,P_1=1,\quad H_0=H_1=1, \end{aligned}$$

and the recurrence relations

$$\begin{aligned} P_n=2P_{n-1}+P_{n-2} , \quad H_n=2H_{n-1}+H_{n-2}. \end{aligned}$$

The triples \((1,q,r) = (1, H_{2n},P_{2n\pm 1})\) verify the above Diophantine equation. Indeed, rewriting the Diophantine equation as \(1+2r^2= q(4r - q)\) and \(1+q^2= 2r(2q - r)\), we see that mutations induce the recurrence relations:

$$\begin{aligned} q_0&= r_0 = 1, \ \ q_{2n+1} = 4r_{2n} - q_{2n}, \ \ q_{2n+2} = q_{2n+1}, \ \ r_{2n+1} = r_{2n}, \ \ r_{2n + 2} \\&= 2q_{2n+1} - r_{2n+1}. \end{aligned}$$

Then, one shows by induction that the Pell numbers satisfy \(P_n = H_n - P_{n-1}\), and that the relations \(H_{2n+2} = 4P_{2n+1} - H_{2n}\) and \(P_{2n+1} = 2H_{2n} - P_{2n-1}\) follow from the recurrence relations and \(P_n = H_n - P_{n-1}\). Therefore, setting \(q_{2n} = q_{2n -1} = H_{2n}\) and \(r_{2n+1} = r_{2n} = P_{2n+1}\), we conclude that the triples \((1,q_n,r_n)\) form solutions to the above Diophantine equation.

Rescaling the ellipsoid \(E(q_n^2,2r_n^2)\) and setting

$$\begin{aligned}&c_{2n - 1}=\max {\{2P_{2n-1}^2/H_{2n}^2,H_{2n}^2/(2P_{2n-1}^2)\}},\quad \\&c_{2n}=\max {\{2P_{2n+1}^2/H_{2n}^2,H_{2n}^2/(2P_{2n+1}^2)\}}, \end{aligned}$$

we obtain that the symplectic ellipsoid \(E(1,c_n)\) symplectically embeds into \(({\mathbb {C}}{\mathbb {P}}^1\times {\mathbb {C}}{\mathbb {P}}^1,{{\widetilde{{\text {Vol}}}}}(E(1,c_n))\cdot (\omega _\text {st}\oplus \omega _\text {st}))\) for all \(n\in {\mathbb {N}}\), where \({{\widetilde{{\text {Vol}}}}}\) denotes the rescaled volume, as in Remark 3.11. This explains the numerics in the Frenkel–Müller Pell staircase via polytope mutations. The limit of \(c_n\), for large enough \(n\in {\mathbb {N}}\), can be also extracted from \(1+q_n^2+2r_n^2=4q_nr_n\): dividing by \(r_n^2\) and taking the solution of \(x^2 -4x + 2 = 0\) that satisfies \(x^2/2 > 1\), which is \(2 + \sqrt{2}\), one obtains that \(c_n \rightarrow x^2/2 = 3 + 2\sqrt{2}\).

Arithmetic for \((Bl_3({\mathbb {C}}{\mathbb {P}}^2),\omega _\text {st})\). The toric moment polytope for \(({\mathbb {C}}{\mathbb {P}}^2(1,2,3),\omega _\text {st})\) is mutation equivalent to the toric moment polytope for \({\mathbb {C}}{\mathbb {P}}^2(p^2,2q^2,3r^2)\) if and only if \((p,q,r)\in {\mathbb {Z}}^3\) satisfies

$$\begin{aligned} p^2+2q^2+3r^2=6pqr. \end{aligned}$$

A Symington Sequence for \((Bl_3({\mathbb {C}}{\mathbb {P}}^2),\omega _\text {st})\) thus yields any of the toric polytopes for \({\mathbb {C}}{\mathbb {P}}^2(1,q,r)\), if \((q,r)\in {\mathbb {Z}}\) satisfy

$$\begin{aligned} 1+2q^2+3r^2=6qr. \end{aligned}$$

This Diophantine equation gives rise to the numerics of the Cristofaro-Gardiner–Kleinman staircase. Indeed, Vieta jumping alternately applied to the second and third components of \((p,q,r)=(1,1,1)\) yields the sequence of triples

$$\begin{aligned} (1,1,1)\longmapsto (1,2,1)\longmapsto (1,2,3)\longmapsto (1,7,3)\longmapsto \ldots \end{aligned}$$

which prove the existence of full ellipsoid embeddings into the appropriately rescaled \((Bl_3({\mathbb {C}}{\mathbb {P}}^2),\omega _\text {st})\), starting with the corresponding sequence

$$\begin{aligned} E(1,3/2),E(1,8/3),E(1,27/8),E(1,98/27),\ldots , \end{aligned}$$

associated to the triples above. The sequence of ellipsoids \(E(1,k_n)\), where \(\{k_n\}_{n\in {\mathbb {N}}}\) is associated to ratios of solutions for the Diophantine equation obtained by Proposition 3.9 is a convergent infinite sequence, limiting to \(2x^2/3 = 2 + \sqrt{3}\), where \( x = \frac{3+\sqrt{3}}{2}\) is the solution of \(2x^2 -6x + 3 =0\) with \(2x^2/3 = 2 + \sqrt{3} > 1\), which is obtained from dividing \(1+2q_n^2+3r_n^2=6q_nr_n\) by \(r_n^2\) and taking the limit \(n \rightarrow \infty \).

Arithmetic for \((Bl_4({\mathbb {C}}{\mathbb {P}}^2),\omega _\text {st})\). The toric moment polytope for \(({\mathbb {C}}{\mathbb {P}}^2(1,4,5),\omega _\text {st})\) mutates to the toric moment polytope for \({\mathbb {C}}{\mathbb {P}}^2(p^2,q^2,5r^2)\) if and only if \((p,q,r)\in {\mathbb {Z}}^3\) satisfies

$$\begin{aligned} p^2+q^2+5r^2=5pqr. \end{aligned}$$

In conclusion, a symington sequence for \((Bl_4({\mathbb {C}}{\mathbb {P}}^2),\omega _\text {st})\) yields any of the toric polytopes for \({\mathbb {C}}{\mathbb {P}}^2(1,q^2,5r^2)\), if \((q,r)\in {\mathbb {Z}}^2\) satisfy

$$\begin{aligned} 1+q^2+5r^2=5qr. \end{aligned}$$

The full ellipsoid embeddings come from the sequence of triples

$$\begin{aligned} (1,2,1)\longmapsto (1,3,1)\longmapsto (1,3,2)\longmapsto (1,7,2)\longmapsto (1,7,5)\longmapsto \ldots , \end{aligned}$$

which yields the sequence of optimal embeddings of \(E(1,5/4),E(1,9/5),E(1,20/9),E(1,49/20),E(1,125/49)\ldots \) into a rescaling of \((Bl_4({\mathbb {C}}{\mathbb {P}}^2),\omega _\text {st})\). This is a new full ellipsoid staircase \(E(1,l_n)\), with sequence \(\{l_n\}_{n\in {\mathbb {N}}}\) of ratios of solutions converging to \(1+\varphi \), where \(\varphi \) is again the golden ratio. Indeed, \(1+\varphi = x^2/5\), where

$$\begin{aligned} x = \frac{5 + \sqrt{5}}{2}, \end{aligned}$$

is the solution of \(x^2 - 5x + 5 = 0\), with \(x^2/5 > 1\), obtained from dividing \(1+q_n^2+5r_n^2=5q_nr_n\) by \(r_n^2\) and taking \(n \rightarrow \infty \).

Proof of Theorem 1.4

Let us now prove Theorem 1.4, building on the Symington sequences discussed in Sects. 3.2 and 3.3. For that, let us first state the result that we need from the theory of symplectic-tropical curves, as developed in Sect. 4. The following statement is the only tropical ingredient for our proof of Theorem 1.4, its proof will be the content of Sect. 4.

Theorem 3.12

Let \(X({\mathscr {P}},{\mathscr {S}})\) be a symplectic toric domain, with \(({\mathscr {P}},{\mathscr {S}})\in {\mathscr {H}}\), let \(({\mathscr {P}}_n,{\mathscr {S}}_n)\) be the associated Symington sequence, and let

$$\begin{aligned} i_n:E(a_n,b_n)\longrightarrow X({\mathscr {P}}) \end{aligned}$$

be a full symplectic ellipsoid embedding. For any \(\varepsilon \in {\mathbb {R}}^{>0}\), there exists a tropical symplectic curve \({\widetilde{S}}_n\subseteq {\mathscr {P}}_n\) such that

  1. (i)

    The tropical symplectic curve \({\widetilde{S}}_n\subseteq {\mathscr {P}}_n\) represents any embedded (configuration of) symplectic surface(s) \(D({\widetilde{S}}_n)\subseteq X({\mathscr {P}}_n)\) in the same homology class as the (configuration of) embedded symplectic curve(s) in D(S),

  2. (ii)

    There exists a neighborhood \({{\mathcal {O}}}{} { p}\,({\widetilde{S}}_n)\subseteq P_n\) and a volume-filling symplectic embedding

    $$\begin{aligned} \iota _n:E(a_n,b_n)\longrightarrow X({\mathscr {P}}_n)\setminus {{\mathcal {O}}}{} { p}\,({\widetilde{S}}_n). \end{aligned}$$

    \(\square \)

The inclusion \({\widetilde{S}}_n\subseteq {\mathscr {P}}_n\) in Theorem 3.12 is to be understood as \({\widetilde{S}}_n\subseteq P_n\) for a realization of the cut content \({\mathscr {B}}_n\) of \({\mathscr {P}}_n\). The exact realization of the cut content \({\mathscr {B}}_n\), as cuts in \(P_n\), is a choice and, in Theorem 3.12, this choice depends on the initial value of \(\varepsilon \in {\mathbb {R}}^{>0}\). Let us now apply Theorem 3.12 and conclude Theorem 1.4 in each of the cases.

Remark 3.13

The exact configurations of symplectic curves that we shall use in Theorem 3.12 are specifically constructed in Proposition 4.27 for \(\mathbb {CP}^1\times \mathbb {CP}^1\), Proposition 4.29 for \(Bl_3(\mathbb {CP}^2)\) and Proposition 4.30 for \(Bl_4(\mathbb {CP}^2)\). \(\square \)

Complex Projective Plane \({\mathbb {C}}{\mathbb {P}}^2\). We start from the triangular toric fibration of \(\mathbb {CP}^2\) in Fig. 1 with \({\mathscr {B}}=\varnothing \). The relative almost toric base \(({\mathscr {P}},{\mathscr {S}})\) has \(D({\mathscr {S}})={\mathbb {C}}{\mathbb {P}}^1\), the complex projective line, as its unique symplectic divisor. This relative almost toric base leads to the symplectic toric domain of the standard symplectic 4-ball

$$\begin{aligned} X({\mathscr {P}},{\mathscr {S}})=({\mathbb {D}}^4(1),\omega _\text {st})\cong ({\mathbb {C}}{\mathbb {P}}^2\setminus {\mathbb {C}}{\mathbb {P}}^1,\omega _\text {st}). \end{aligned}$$

Let \(c_n={\text {Vol}}(E(1,F^2_{n+1}/F^2_n))\), with \(\{F_n\}_{n\in {\mathbb {N}}}\) as in Sect. 3.3, and let us show that there exists a full symplectic embedding

$$\begin{aligned} \iota _n:E(1,F^2_{n+1}/F^2_n)\longrightarrow ({\mathbb {D}}^4(1),c_n\cdot \omega _\text {st}). \end{aligned}$$

The sequence of polytope mutations, as discussed in Sect. 2.3, associated to the Symington sequence in Sect. 3.2 yields a sequence of full symplectic embeddings

$$\begin{aligned} i_n:E(1,F^2_{n+1}/F^2_n)\longrightarrow ({\mathbb {C}}{\mathbb {P}}^2,c_n\cdot \omega _\text {st}). \end{aligned}$$

This sequence follows the arithmetic in Sect. 3.3 stemming from the Markov Equation with \(a=1\). In order to guarantee an embedding into \(X({\mathscr {P}},{\mathscr {S}})\), it suffices to show that \(D({\mathscr {S}})={\mathbb {C}}{\mathbb {P}}^1\) can be symplectically isotoped to lie above an arbitrarily small \(\varepsilon \)-neighborhood of the side opposite to the frozen vertex \(v_f\in P_n\), \(n\in {\mathbb {N}}\). This is achieved by first constructing a symplectic \({\mathbb {C}}{\mathbb {P}}^1\) above this \(\varepsilon \)-neighborhood, and then arguing that this symplectic \({\mathbb {C}}{\mathbb {P}}^1\) can be symplectically isotoped to the standard \(D({\mathscr {S}})={\mathbb {C}}{\mathbb {P}}^1\subseteq X({\mathscr {P}})\). The former part is achieved by Theorem 3.12, the symplectic-tropical curves of which are depicted explicitly in Fig. 4, for the first five mutations in the Fibonacci-Symington Sequence. The latter part, constructing a symplectic isotopy from the lift of the symplectic-tropical curve to the standard complex line \(D({\mathscr {S}})\), is now achieved by using M. Gromov’s [20, Section 0.2.B], which shows that the symplectic isotopy class of the complex line is unique.

Fig. 4
figure 4

Symplectic-tropical curves for \(({\mathbb {C}}{\mathbb {P}}^2,\omega _\text {st})\). The weights of the tripods are, from left to right, (1, 1, 3) for the toric moment polytope, (1, 2, 3), (5, 2, 3), (13, 5, 3) and (34, 13, 3). These five tropical symplectic curves represent symplectic embedded lines \({\mathbb {C}}{\mathbb {P}}^1\subseteq ({\mathbb {C}}{\mathbb {P}}^2,\omega _\text {st})\)

The Ruled Surface \(({\mathbb {C}}{\mathbb {P}}^1\times {\mathbb {C}}{\mathbb {P}}^1,\omega _\text {st}\oplus \omega _\text {st})\). There are two (relative) almost toric bases \(({\mathscr {P}},{\mathscr {S}})\) in Fig. 1, associated to the symplectic domains \({\mathbb {D}}^2(1)\times {\mathbb {D}}^2(1)\), the polydisk, and the ellipsoid E(1, 2).

The first almost toric base \(({\mathscr {P}},{\mathscr {S}})\), on the right, has underlying polytope \(P\in {\mathscr {P}}\) the toric moment polytope for the weighted projective plane \({\mathbb {C}}{\mathbb {P}}^2(1,1,2)\). The cut content \({\mathscr {B}}\in {\mathscr {P}}\) is non-trivial at one of the vertices, where a Lagrangian 2-sphere \(L({\mathscr {B}})\) lies above the segment uniting the two nodal points. This Lagrangian 2-sphere is in the homology class of the Lagrangian anti-diagonal in \(X({\mathscr {P}})\cong ({\mathbb {C}}{\mathbb {P}}^1\times {\mathbb {C}}{\mathbb {P}}^1,\omega _\text {st}\oplus \omega _\text {st})\), and it is in fact Hamiltonian isotopic to the anti-diagonal. The surface configuration \(D({\mathscr {S}})\) consists of two surfaces: a symplectic 2-sphere, in the homology class of the complex line \(\{pt\}\times {\mathbb {C}}{\mathbb {P}}^1\), and the Lagrangian 2-sphere \(L({\mathscr {B}})\). The sequence of polytope mutations constructed in Sect. 3.2 yields a sequence of embeddings

$$\begin{aligned} i_n:E(1,p_n)\longrightarrow ({\mathbb {C}}{\mathbb {P}}^2(1,1,2),{\text {Vol}}(E(1,p_n))\cdot (\omega _\text {st}\oplus \omega _\text {st})), \end{aligned}$$

where \(p_n=\max {\{2P_n^2/H_{n+1}^2,H_{n+1}^2/(2P_n^2)\}}\), according to the arithmetics discussed in Sect. 3.3, and we are denoting \({\text {Vol}}={{\widetilde{{\text {Vol}}}}}\) onwards to ease notation.

In order for these embeddings to be into \(X({\mathscr {P}})=E(1,2)\), instead of \(X(P)={\mathbb {C}}{\mathbb {P}}^2(1,1,2)\), we first apply Theorem 3.12 and construct a symplectic-tropical curve inside an \(\varepsilon \)-neighborhood of the edge opposite to the frozen vertex, which includes the cuts in \({\mathscr {B}}\). This tropical curve \({\widetilde{S}}_n\) is chosen such that \(D({\widetilde{S}}_n)\) is a symplectic 2-spheres in the homology class \([\{pt\}\times {\mathbb {C}}{\mathbb {P}}^1]\). By [20,  Section 2.4.C], the isotopy class of \(\{pt\}\times {\mathbb {C}}{\mathbb {P}}^1\subseteq {\mathbb {C}}{\mathbb {P}}^1\times {\mathbb {C}}{\mathbb {P}}^1\), through embedded symplectic surfaces, is unique. Thus, there exists a symplectic isotopy from \(D({\widetilde{S}}_n)\) to \(\{pt\}\times {\mathbb {C}}{\mathbb {P}}^1\). The image of the Lagrangian sphere \(L({\mathscr {B}}_n)\) under this symplectic isotopy might not coincide with \(L({\mathscr {B}})\). Nevertheless, since \(L({\mathscr {B}}_n)\) and \(L({\mathscr {B}})\) are both Lagrangian 2-spheres in \({\mathbb {C}}{\mathbb {P}}^1\times {\mathbb {C}}{\mathbb {P}}^1\) in the class of the anti-diagonal, there exists a Lagrangian isotopy connecting them, relative to the divisor \(\{pt\}\times {\mathbb {C}}{\mathbb {P}}^1\), as shown in [25]. Since an exact Lagrangian isotopy can be realized by a Hamiltonian isotopy, this yields a symplectic isotopy from our surface configuration \(D({\widetilde{S}}_n)\) and \(L({\mathscr {B}}_n)\) to the standard D(S) and \(L({\mathscr {B}})\). This constructs the full symplectic embeddings

$$\begin{aligned} i_n:E(1,p_n)\longrightarrow (E(1,2),{\text {Vol}}(E(1,p_n))\cdot \omega _{\text {st}}). \end{aligned}$$

The second almost toric base, on the left, corresponds to the toric moment polytope for \({\mathbb {C}}{\mathbb {P}}^1\times {\mathbb {C}}{\mathbb {P}}^1\) and has \({\mathscr {B}}=\varnothing \). This data has the polydisk \(X({\mathscr {P}})={\mathbb {D}}^2(1)\times {\mathbb {D}}^2(1)\) as its associated domain. Indeed, the surface configuration \(D({\mathscr {S}})\) for this first \(({\mathscr {P}},{\mathscr {S}})\), depicted in blue, consists of a chain of two symplectic embedded 2-spheres, corresponding to \(H_1={\mathbb {C}}{\mathbb {P}}^1\times \{pt\}\) and \(H_2=\{pt\}\times {\mathbb {C}}{\mathbb {P}}^1\) respectively. Thus the divisor \(D=H_1+H_2\) is defined as \(({\mathbb {C}}{\mathbb {P}}^1\times \{pt\})\cup (\{pt\}\times {\mathbb {C}}{\mathbb {P}}^1)\subseteq X\), which represents the element \((1,1)\in H^2({\mathbb {C}}{\mathbb {P}}^1\times {\mathbb {C}}{\mathbb {P}}^1,{\mathbb {Z}})\cong {\mathbb {Z}}^2\). At this stage, we can directly invoke [16, Corollary 1.6], which states that a symplectic ellipsoid embeds fully in E(1, 2) if and only if it embeds fully in \({\mathbb {D}}^2(1)\times {\mathbb {D}}^2(1)\). This concludes Theorem 1.4 for these two almost toric bases.

Thrice Blown-up \(Bl_3({\mathbb {C}}{\mathbb {P}}^2)\). There are four relative almost toric basis \(({\mathscr {P}},{\mathscr {S}})\) with \(X({\mathscr {P}})\cong Bl_3({\mathbb {C}}{\mathbb {P}}^2)\) symplectomorphic to the blow up of \(({\mathbb {C}}{\mathbb {P}}^2,\omega _\text {st})\) at three non-collinear points. In line with the previous case of symplectic domains in \({\mathbb {C}}{\mathbb {P}}^1\times {\mathbb {C}}{\mathbb {P}}^1\), there exists an infinite sharp sequence of ellipsoids for one of these four symplectic domains \(X({\mathscr {P}},{\mathscr {S}})\) if and only if it exists for one of them. See for instance [9, Theorem 1.2], as an ellipsoid is a concave (and convex) domain (see also [27, 28]). The numerics of these staircases will also coincide. Let us focus on the leftmost relative almost toric base \(({\mathscr {P}},{\mathscr {S}})\) in Fig. 1. In this case, \({\mathscr {S}}\) is a unique symplectic configuration realized by a linear plumbing of four symplectic 2-spheres each with self-intersection \((-1)\), and representing the classes \(E_1\), \(H - E_1 - E_3\), \(H - E_1 - E_2\) and \(E_2\).

Theorem 3.12 applied to this singular configuration—see Proposition 4.29—yields a tropical curve in an \(\varepsilon \)-neighborhood of the side opposite to the frozen vertex (0, 0). Then we need to prove that any such symplectic configuration \(S_1,S_2,S_3,S_4\subseteq Bl_3({\mathbb {C}}{\mathbb {P}}^2)\) is equisingularly symplectic isotopic to a given such configuration D in the same homology class. For that, blow down the second and fourth spheres \(S_2,S_4\subseteq Bl_3({\mathbb {C}}{\mathbb {P}}^2)\). The blow down of \(S_1\) becomes a 0-self-intersection 2-sphere, and the blow down of \(S_3\) is a \((+1)\)-self-intersection 2-sphere in \(Bl_1({\mathbb {C}}{\mathbb {P}}^2)\). The classification of ruled symplectic surfaces [34, 42] gives a symplectomorphism of \(Bl_1({\mathbb {C}}{\mathbb {P}}^2)\) that sends the symplectic configuration \(S_1\cup S_3\) to the union of the proper transform of the complex line \({\mathbb {C}}{\mathbb {P}}^1\subseteq {\mathbb {C}}{\mathbb {P}}^2\) and the 0-self-intersection fiber of the linear pencil of \({\mathbb {C}}{\mathbb {P}}^2\). Since the symplectomorphism group of \(Bl_1({\mathbb {C}}{\mathbb {P}}^2)\) is connected [38], this can be achieved via a symplectic isotopy. This same symplectic isotopy, upon blowing up twice, yields the required symplectic isotopy.

Remark 3.14

The argument above requires the construction of the 4-chain of symplectic spheres, provided by Theorem 3.12. Nevertheless, it is possible to instead argue with the rightmost relative almost toric base in Fig. 1. This alternative argument requires an understanding of the Lagrangian spheres in \(Bl_3({\mathbb {C}}{\mathbb {P}}^2)\)—which fortunately exists—and reads as follows.

The rightmost relative almost toric base yields the symplectic ellipsoid \(E(2,3)\cong X({\mathscr {P}},{\mathscr {S}})\), with the unique symplectic 2-sphere in \(D({\mathscr {S}})\) in the homology class of an exceptional divisor \(E\subseteq Bl_3({\mathbb {C}}{\mathbb {P}}^2)\). Consider the Symington sequence \({\mathscr {P}}_n\), constructed in Sect. 3.3, associated to \({\mathbb {C}}{\mathbb {P}}^2(1,2,3)\), which yields a sequence of full ellipsoid embeddings

$$\begin{aligned} i_n:E(1,k_n)\longrightarrow (Bl_3({\mathbb {C}}{\mathbb {P}}^2),{\text {Vol}}(E(1,k_n))\cdot \omega _\text {st}). \end{aligned}$$

Theorem 3.12 now constructs an almost-tropical curve \({\widetilde{S}}_n\subseteq P_n\) such that \(D({\widetilde{S}}_n)\) is an embedded symplectic 2-sphere in the homology class [E]. At this stage we proceed as before, by constructing a symplectic isotopy from \(D({\widetilde{S}}_n)\) to the original exceptional divisor \(E\subseteq Bl_3({\mathbb {C}}{\mathbb {P}}^2)\), which is itself given by D(S), where S is the side of the toric moment polytope of \({\mathbb {C}}{\mathbb {P}}^2(1,2,3)\) opposite to the frozen smooth vertex. The symplectic isotopy embeds the complement of \(D({\widetilde{S}}_n)\) into the complement of E, by upgrading it to an ambient symplectic isotopy, which is possible since the symplectic 2-spheres are embedded. As in the case of E(1, 2), the symplectic ellipsoid \(E(2,3)=X({\mathscr {P}},{\mathscr {S}})\) arises as the complement of E and three Lagrangian 2-spheres; this is the geometric incarnation of \({\mathscr {S}}\) containing surfaces above the cuts. Similar to the case of \({\mathbb {C}}{\mathbb {P}}^1\times {\mathbb {C}}{\mathbb {P}}^1\), the Hamiltonian isotopy classes of these Lagrangian 2-spheres in \(Bl_3({\mathbb {C}}{\mathbb {P}}^2)\) are known to be unique [5, 39] and the Lagrangian isotopy can be taken to be in the complement of a stable symplectic sphere configuration [38]. The composition of our symplectic isotopy with a compactly supported Hamiltonian isotopy, bringing these three Lagrangian 2-spheres to our standard configuration in \(X({\mathscr {P}},{\mathscr {S}})\), yields a full symplectic embedding

$$\begin{aligned} \iota _n:E(1,k_n)\longrightarrow (E(2,3),{\text {Vol}}(E(1,k_n))\cdot \omega _\text {st}). \end{aligned}$$

\(\square \)

Four Times Blown-up \(Bl_4({\mathbb {C}}{\mathbb {P}}^2)\). The argument follows the same pattern as the previous three cases. Consider generators \(\langle H,E_1,E_2,E_3,E_4\rangle \in H^2(Bl_4({\mathbb {C}}{\mathbb {P}}^2),{\mathbb {Z}})\) given by the proper transform of the complex line in \({\mathbb {C}}{\mathbb {P}}^2\), away from the blow up points, and \(E_i\) the exceptional divisors, \(1\le i\le 4\). Let us analyze its leftmost relative almost toric base \(({\mathscr {P}},{\mathscr {S}})\) in Fig. 1, with \(D({\mathscr {S}})\) a surface configuration consisting of a symplectic linear chain C of three self-intersection-(\(-1\)) spheres, in the ordered homology classes \([E_1],[H]-[E_1]-[E_4],[E_4]\), and two Lagrangian spheres in the homology classes \([E_3]-[E_1]\) and \([E_4]-[E_2]\). In the same scheme as before, the Symington sequence \({\mathscr {P}}_n\) associated to \(Bl_4({\mathbb {C}}{\mathbb {P}}^2)\), with arithmetic as in Sect. 3.3, yields full symplectic embeddings

$$\begin{aligned} i_n:E(1,l_n)\longrightarrow (Bl_4({\mathbb {C}}{\mathbb {P}}^2),{\text {Vol}}(E(1,l_n))\cdot \omega _\text {st}). \end{aligned}$$

Theorem 3.12 yields an almost toric tropical curve \({\widetilde{S}}_n\) for each of these almost toric bases \({\mathscr {P}}_n\), which yields the required symplectic configuration \(C\subseteq Bl_4({\mathbb {C}}{\mathbb {P}}^2)\) and with each 2-sphere in the same homology class as the 2-spheres in C. See Proposition 4.30 for the explicit construction of \({\widetilde{S}}_n\). Now, the equisingular symplectic isotopy class of these configuration is unique, by the same type of argument as in the cases of \(Bl_3({\mathbb {C}}{\mathbb {P}}^2)\) and \({\mathbb {C}}{\mathbb {P}}^1\times {\mathbb {C}}{\mathbb {P}}^1\). Indeed, blowing-down the two extremal 2-spheres in the classes \([E_1]\) and \([E_4]\) gives a \((+1)\)-symplectic 2-sphere in \(Bl_2({\mathbb {C}}{\mathbb {P}}^2)\) disjoint from the remaining two exceptional divisors. This provides a symplectic isotopy in \(Bl_2({\mathbb {C}}{\mathbb {P}}^2)\) from our configuration \(D({\widetilde{S}}_n)\) to the standard configuration in Fig. 1. Since Lagrangian 2-spheres in \(Bl_4({\mathbb {C}}{\mathbb {P}}^2)\) are unknotted [38], and unique in their homology classes (up to Hamiltonian isotopy), the two Lagrangian 2-spheres can also be Hamiltonian isotoped to the standard configuration. This yields the required full embeddings

$$\begin{aligned} \iota _n:E(1,l_n)\longrightarrow (Bl_4({\mathbb {C}}{\mathbb {P}}^2),{\text {Vol}}(E(1,l_n))\cdot \omega _\text {st}). \end{aligned}$$

This concludes Theorem 1.4, where we have assumed Theorem 3.12. Let us now construct the symplectic-tropical curves needed for Theorem 3.12. This is the content of Sect. 4.

Symplectic tropical curves in almost toric fibrations

This section develops the construction of configurations of symplectic curves in terms of almost toric tropical diagrams. Theorem 3.12 is the result from the present section used in the proof of Theorem 1.4. In a nutshell, tropical curves in almost toric diagrams consist of two pieces: tropical curves in toric diagrams, as developed by G. Mikhalkin [47, 48], and tropical local models near the cut singularities of the affine structure. These new tropical local models are discussed in this section. There are two useful perspectives: from the viewpoint of contact 3-manifolds or directly from the perspective of symplectic 4-manifolds; we will present the latter.Footnote 3

Symplectic-tropical curves

The central ingredient in Theorem 3.12 and in our argument in Sect. 3.4 is the notion of a symplectic-tropical curve in an almost toric diagram, which we abbreviate STC. This is the content of the following definition.

Let \(P_X \subset {\mathbb {R}}^2\) be an ATBD representing an ATF \(\pi : X \longrightarrow B\) of a symplectic 4-manifold X. Let \(\Gamma \) be an oriented graph, with edges decorated by primitive \({\mathbb {Z}}^2\) vectors and a multiplicity in \({\mathbb {Z}}_{> 0}\). Given an oriented edge \(\gamma \) from a vertex b to a vertex c, b is said to be negative and c positive, with respect to \(\gamma \).

Definition 4.1

A symplectic-tropical curve \({\mathscr {C}}: \Gamma \longrightarrow P_X\) is a \(C^0\)-embedding which satisfies the following conditions:

  1. (i)

    Vertices are either univalent (boundary), bivalent (bending) or trivalent (interior). The edges associated with boundary vertices shall be called leaves;

  2. (ii)

    All boundary vertices are negative;

  3. (iii)

    Images under \({\mathscr {C}}\) of boundary vertices are either on the boundary of the polytope \(P_X\) or on a node. The images of bending vertices belong to the cuts (hence come endowed with an associated monodromy matrix). The images of interior vertices belong to the complement of cuts, nodes, and boundary;

  4. (iv)

    \({\mathscr {C}}\) restricted to the (interior of) the edges is a \(C^{\infty }\)-embedding and tangent lines have lateral limits at each vertex, which are oriented according to the orientation of the corresponding edge. We call a vector on this limit tangent lines a limit vector;

  5. (v)

    If \(\mathbf{v }\) is a positively oriented vector tangent to the image of an edge under \({\mathscr {C}}\), with associated primitive vector \(\mathbf{w }\in {\mathbb {Z}}^2\), then \(\langle \mathbf{v }| \mathbf{w }\rangle > 0\);

  6. (vi)

    For a boundary vertex over the boundary of \(P_X\), the primitive \({\mathbb {Z}}^2\)-vector associated to its corresponding leaf must be orthogonal to the boundary and pointing towards the interior of \(P_X\). (The multiplicity of the edge can be arbitrary);

  7. (vii)

    For a boundary vertex over a node of \(P_X\), the primitive \({\mathbb {Z}}^2\)-vector \(\mathbf{w }\) associated to its corresponding leaf must be orthogonal to the cut, and its orientation is determined by (ii) and (v). (The multiplicity can be arbitrary);

  8. (viii)

    Let \(\gamma _1\) and \(\gamma _2\) be two edges meeting at a bending vertex, with monodromy matrix M. First, the bending vertex must be positive w.r.t. one edge and negative w.r.t. the other. Assume that we go counter-clockwise from \({\mathscr {C}}(\gamma _1)\) to \({\mathscr {C}}(\gamma _2)\). If \(\mathbf{v }\) is a positively oriented limit vector for \({\mathscr {C}}(\gamma _1)\) at this bending vertex, then \(M \mathbf{v }\) is a positively oriented limit vector for \({\mathscr {C}}(\gamma _2)\). Moreover, if \(\mathbf{w }\) is the primitive vector associated to \(\gamma _1\), then the primitive vector associated to \(\gamma _2\) must be \((M^T)^{-1} \mathbf{w }\). In this case, the multiplicity of \(\gamma _1\) and \(\gamma _2\) must be the same;

  9. (ix)

    For the three edges \(\gamma _j\), \(j = 1,2,3\), associated to an interior vertex b, with associated vectors \(\mathbf{w }_j\) and multiplicity \(m_j\), the following balancing condition must be satisfied:

    figure b

    where \(\varepsilon _j = \pm 1\) according to b being positive or negative with respect to \(\gamma _j\), \(j = 1,2,3\). \(\square \)

Fig. 5
figure 5

Examples of symplectic-tropical curves in an ATBD of \(\mathbb {CP}^2\)

There are many conditions in Definition 4.1, but the idea is the following. We travel along an edge with cycles, according to the multiplicity, represented by its associated vector, as in Remark 2.2. Condition (v) will guarantee that the surfaces are symplectic as we travel along the edges; condition (ix) implies that the sum of these cycles arriving at a vertex are null-homologous, which will allow us to glue them together (by a bounding null-homology); conditions (vi) and (vii) guarantee that the corresponding cycles collapse as we arrive at an edge, or can collapse at the nodal fiber; condition (viii) says that the map \(\Gamma \rightarrow B\) given by composing with the inverse of the homeomorphism \(B \rightarrow P_X\), is actually smooth at the bending vertex, and the associated vector changes accordingly. The remaining pieces of notation are required to write the balancing condition (4–1) in a precise and consistent way.

We represent a symplectic-tropical curve by just drawing its image \({\mathscr {C}}(\Gamma )\), and labeling the multiplicity of each edge. The label is implicitly 1 if the edge is drawn unlabeled. Conditions (vi)–(ix) determine the associated vectors and multiplicities, up to the ambiguity given by the sign and orientation of the edges that are not leaves, which we basically ignore since they are just an artifact to write (ix) consistently. For instance, Fig. 5 represents three different symplectic lines in an ATF of \(\mathbb {CP}^2\). In the leftmost picture, the leaves are decorated with the associated vectors \((1,-1)\), (0, 1) and \((-1,-2)\), accordingly, while the other two edges have labels \(\pm (1,0)\) and \(\pm (1,1)\), the signs being determined by (ix) and by how one decides to orient the edges.

The core constructive result in this section, which justifies Definition 4.1, is the following:

Theorem 4.2

Let \({\mathscr {C}}: \Gamma \longrightarrow P_X\) be a symplectic-tropical curve as above, and \({\mathcal {N}}\subseteq P_X\) a neighborhood of \({\mathscr {C}}(\Gamma )\). Then there exists a closed symplectic curveFootnote 4C embedded in X, projecting to \({\mathcal {N}}\) under \(\pi : X \longrightarrow B\). In addition, the intersection of C with the anti-canonical divisor \(K_X\subseteq X\) defined by the boundary of \(P_X\) is given by the sum of the multiplicities of the corresponding boundary vertices. \(\square \)

In this context, we say that the symplectic surface C is represented by the symplectic-tropical curve \({\mathscr {C}}(\Gamma )\). See [52,  Proposition 8.2] for a discussion on the anti-canonical divisor \(K_X\subseteq X\). In order to prove Theorem 4.2, we need to construct local models near the nodes and the trivalent vertices. This is the content of the following subsections.

Remark 4.3

We could consider embeddings of graphs with interior vertices having valency greater than 3, and write a rather involved definition for symplectic-tropical curves. In this case, these graphs could be viewed as a limit of graphs as in Definition 4.1, and a result similar to Theorem 4.2 holds. \(\square \)

Local model near the nodes

The interesting case near the nodes is that we may arrive at a node with multiplicity \(k\in {\mathbb {N}}\) greater than 1. We shall now argue directly in the 4-dimensional symplectic domain and monitor the projections onto the ATBD. In principle, we would need to get k disjoint capping 2-disks with boundary in k copies of the collapsing cycle nearby a nodal singularity. That is not possible if we force the boundary of these 2-disks to be entirely contained in a torus fibre. In consequence, for \(k >1\), our 2-disks cannot project exactly over a segment under the projection \(\pi \), but rather onto a 2-dimensional thickening of a segment in \(P_X\).

Let us start with the local model for \(k = 1\), where we are to collapse only one cycle through a symplectic 2-disk to the singular point. Consider the local model of a nodal fibre as in Definition 2.1, and the complex notation \(\pi (x,y)={\overline{x}}{y}\) for the almost toric fibration the map \(\pi \). Choose \(\varepsilon \in {\mathbb {R}}^{>0}\) sufficiently small. In this case, the 2-disk

$$\begin{aligned} \sigma _1 = (re^{i\theta },-ire^{i\theta }),\qquad 0 \le |r| \le \varepsilon ,\quad \theta \in [0, 2\pi ] \end{aligned}$$

is a symplectic 2-disk with boundary \(c(\theta ) = (\varepsilon e^{i\theta }, -i\varepsilon e^{i\theta })\), which is part of the symplectic line \(y = -ix\) and projects via \(\pi = {\overline{x}} y\) to the half-line \(i{\mathbb {R}}_{\le 0}\). Let us now discuss the case of higher \(k\in {\mathbb {N}}\).

Let us introduce a second symplectic 2-disk in this neighborhood, disjoint from the above, so that its boundary is isotopic, and arbitrarily close, to the collapsing boundary cycle \(c(\theta )\) above. Fix a value \(\delta _2\in {\mathbb {R}}^{>0}\), thought to be small with respect to \(\varepsilon ^2\), and a monotone non-increasing \(C^{\infty }\)-bump function \(\Psi _2(s)\) such that

$$\begin{aligned} \Psi _2(s)\equiv \delta _2 \text{ for } s\approx 0,\qquad \Psi _2(s)\equiv 0 \text{ for } s \ge 1,\qquad \Psi _2(s) > 0 \text{ for } s \in [0, \varepsilon ^2]. \end{aligned}$$

By taking \(\delta _2\) sufficiently small, we can take \(\Psi \) as \(C^1\)-close to 0 as necessary. We can then guarantee that the line \(l_2 := \{y = -ix + \Psi _2(|x|^2)\}\) is still symplectic. Then our second disk \(\sigma _2\) is taken to be the intersection of the symplectic line \(l_2\) with the half-space defined by \(\mathrm{im}({\overline{x}} y) \ge - \varepsilon ^2\), where \(\mathrm{im}\) denotes the imaginary part. Note that, by construction, \(\sigma _2 \cap \sigma _1 = \emptyset \).

Now, in order to then construct \(k\in {\mathbb {N}}\) mutually disjoint symplectic 2-disks, with their boundary being isotopic and close to the collapsing boundary cycle \(c(\theta )\), we only need to take \(\delta _k> \delta _{k-1}> \cdots > \delta _2\), \(\delta _i\in {\mathbb {R}}^{>0}\), \(2\le i\le k\), and the corresponding monotone non-increasing \(C^{\infty }\)- bump functions \(\Psi _k(s)> \Psi _{k-1}(s)> \cdots > \Psi _2(s)\), all sufficiently \(C^1\)-close to 0 so that the lines \(l_j :=\{y = -ix + \Psi _j(|x|^2)\}\) are symplectic for \(j= 2, \dots , k\). The symplectic 2-disk \(\sigma _j\) is then taken to be the intersection of the symplectic line \(l_j\) with the half-space \(\mathrm{im}({\overline{x}} y) \ge - \varepsilon ^2\). See Fig. 6 (Left) for a depiction of the projections \(\pi (\sigma _j)\) of such symplectic 2-disks.

Remark 4.4

The equations for the symplectic lines \({ l}_j\) imply that each 2-disk \(\sigma _j\), \(1\le j\le k\), intersects the Lagrangian plane \(x=y\) at a point where \(x = -ix + \Psi _j(|x|^2)\), since by Pythagoras Theorem, we need \(\Psi _j(|x|^2) = \sqrt{2}|x|\), which occurs since we have chosen \(\delta _j\ll \varepsilon ^2\). \(\square \)

Note that the boundary \(\partial \sigma _j\) projects under \(\pi \) to a segment \(I_j\) normal to the half-line \(i{\mathbb {R}}_{\le 0}\). Now, using the fact that the lines \(l_j\) are isotopic to the line \(y = -ix\), which topologically self-intersects once (e.g. relative to the boundary at infinity), we can deduce that the boundary \(\partial \sigma _j\) links \(\partial \sigma _1\) exactly once in the thickened annulus \(\pi ^{-1}(I_k)\), as illustrated in the rightmost picture of Fig. 6.

Fig. 6
figure 6

The left picture illustrates the projection of the \(\sigma _j\) disks. The right picture illustrates how \(\partial \sigma _j\) and \(\partial \sigma _1\) are linked in the thickened annulus \(\pi ^{-1}(I_k)\)

In proving Theorem 4.2, we may assume that the image of the leaves arrive at a node in a segment, which we can identify in our local model with a segment in \(i {\mathbb {R}}_{\le 0}\). The above discussion is then summarized in the following proposition:

Proposition 4.5

Let \(\pi :X \longrightarrow B\) be an ATF, represented by an ATBD \(P_X\), where we homeomorphically identify B with \(P_X\). Let \(\gamma \) be a leaf of a symplectic-tropical curve \({\mathscr {C}}: \Gamma \longrightarrow P_X\), with boundary vertex over a node, multiplicity \(k \in {\mathbb {Z}}_{>0}\), and \({\mathcal {N}}\) a neighborhood of \({\mathscr {C}}(\gamma )\subseteq B\). Fix a point \(p \in {\mathscr {C}}(\gamma )\) close to the node with collapsing cycle \(\alpha \subset \pi ^{-1}(p)\).

Then we can associate k disjoint symplectic 2-disks \(\sigma _j\), \(1\le j\le k\), such that \(\pi (\sigma _j) \subset {\mathcal {N}}\), with their boundary \(\partial \sigma _j\) arbitrarily close to \(\partial \sigma _1 = \alpha \).

Local modal near interior vertices

Condition (v) in Definition 4.1 and Remark 2.2 allows us to transport the boundary of the symplectic 2-disk \(\sigma _1\) in Proposition 4.5 along the image of the corresponding leaf until it is close to an interior node. (Note that if we hit a bending vertex, condition (viii) guarantees that we can keep moving the same cycle \(\partial \sigma _1\), whose class in the first homology of the fibre is then represented by a different \({\mathbb {Z}}^2\) vector according to the monodromy.) In addition, the boundaries \(\partial \sigma _j\) project to a segment normal to the leaf and, because of its closeness to \(\partial \sigma _1\), we can also transport it using cycles projecting under \(\pi \) to small segments normal to the leaf. In line with Remark 2.2, we can ensure that these surfaces remain symplectic.

At this stage, we need to construct a local model for a symplectic surface near a trivalent vertex b, using the data of (ix), that can be made to project to a given neighborhood of \({\mathscr {C}}(b)\). Moreover, this model needs to glue with prescribed incoming cycles. For that, a first option is to rely on the article [46], where G. Mikhalkin uses O. Viro’s patchworking ideas to construct families of hypersurfaces in \(({\mathbb {C}}^*)^n\), whose amoebae converge to a given tropical hypersurface in \({\mathbb {R}}^n\), see [46, Remark 5.2]. In that manuscript, G. Mikhalkin actually views \(({\mathbb {C}}^*)^n\) as the open stratum of a closed toric variety, in particular having finite volume, so we can symplectically assume that it is indeed a local model. Given the nature of Theorem 4.2, we can assume that the symplectic-tropical curve arrives at the interior vertex in a tropical way, i.e., locally as segments \({{{\varvec{v}}}}_j = {{{\varvec{w}}}}_j\) satisfying the balancing condition (4–1) of Definition 4.1.

Fig. 7
figure 7

Collection of cycles in \(T^2\) satisfying the balancing condition (4–1) and its associated dimer. These cycles correspond to the ones arriving at the interior vertex of the symplectic-tropical curve in the middle diagram of Fig. 5. It represents the coamoeba in \({\mathcal {B}}\) of the symplectic surface we will construct

A second option, independent of [46], is using the following explicit local model. Over a small disk \({\mathcal {B}}\subseteq B\) centered at an interior vertex \(b \in B\), we have \(\pi ^{-1}({\mathcal {B}}) \cong {\mathcal {B}}\times T^2\), and the fibration is given by the projection onto the first factor. The projection of the symplectic curve to the \(T^2\) factor is known as the coamoeba of that curve. We aim at first constructing what will be the coamoeba out of the balancing condition (4–1) and—out of that data—then building our local model for the symplectic curve. We want the surface to be so that its boundary projects to straight cycles, having only double crossings. Moreover, away from the pre-image of the double crossings, the rest of the surface will project injectively into polygons divided by the straight cycles. The homology classes of the boundary are represented by \(m_j\) disjoint copies of \(\varepsilon _j\mathbf{w }_j\), \(j = 1,2,3\), where \(\mathbf{w }_j\) are the vectors associated with the interior vertex b and hence satisfy the balancing condition (4–1) from Definition 4.1 (ix). Figure 7 (Left) illustrates the coamoeba of the local model we will build for the neighborhood of the interior vertex in the ATBD from Fig. 5 (Center). The balancing condition associated with the interior vertex is \( (1,-1) + 3(0,1) + (-1,-2) = 0\).

The existence of the above mentioned configuration for the coamoeba is equivalent to the existence of a dimer modelFootnote 5 embedded in \(T^2\). We label each convex polygon of our coamoeba black or white, where a black polygon can only share a vertex with a white one. The vertices of the dimer model are then placed in the interior of the polygons according to their colours, and for each intersection of the boundary cycles we associate an edge, projecting inside the coamoeba. See Fig. 7 (Right). Then the straight cycles are taken to be the collection of zigzag paths associated to the dimer. For concepts related to dimer models, including zigzag paths, and its relationship with coamoebas, we refer the reader to the recent works [12, 15, 22, 24]. Thus, from the discussion above, our aim is then to provide a dimer model with prescribed set of homology classes for its collection of zigzag paths. Moreover, we want the zigzag paths to be straight. This is achieved in Proposition 4.7 below.

Remark 4.6

If one does not require the paths to be straight, then the article [22, Section 6] constructs an algorithm to build a dimer model out of the prescribed classes for the collection of zigzag paths. (Again, with non-straight cycles.) Now, note that in [15, Example 4.1], an example of a collection of 5 classes in \(H_1(T^2)\) that cannot be realized by straight cycles, that are the zigzag paths of a dimer model, is given. Nevertheless, in case the collection of classes are given by copies of only 3 primitive classes, one can in fact construct a dimer model with straight set of zigzag paths, as shown in the upcoming Proposition 4.7. We believe this is likely well-known to experts but we did not find references in the literature. \(\square \)

Fig. 8
figure 8

Construction of a dimer model with the prescribed collection \(4(1,0) + (1,3) + (-5,-3) = 0\) of zigzag paths

Proposition 4.7

Given \({{{\varvec{w}}}}_1,{{{\varvec{w}}}}_2,{{{\varvec{w}}}}_3 \in H_1(T^2;{\mathbb {Z}})\), primitive classes satisfying

$$\begin{aligned} m_1{{{\varvec{w}}}}_1 + m_2{{{\varvec{w}}}}_2 +m_3{{{\varvec{w}}}}_3 = 0,\qquad m_1,m_2,m_3\in {\mathbb {N}}, \end{aligned}$$

there exists a dimer model in \(T^2\) with zigzag paths realised by \(m_j\) straight lines in the classes \({{{\varvec{w}}}}_j\), \(j= 1,2,3\). Moreover, the components containing the vertices of the dimer can be taken to be triangles.

Proof

Figure 8 essentially provides a proof by drawing. In detail, let us assume, without loss of generality, that \({{{\varvec{w}}}}_1 = (1,0)\), and let \({{{\varvec{w}}}}_2 = (a_2,b_2)\), \({{{\varvec{w}}}}_3 = (a_3,b_3)\). Take the straight cycle \([0,1]\times \{0\}\) in \(T^2 = {\mathbb {R}}^2/{\mathbb {Z}}^2\), in the class \({{{\varvec{w}}}}_1 = (1,0)\), and consider \(|m_2b_2| = |m_3b_3|\) equidistant points in [0, 1]. For \(j = 2,3\), take \(m_j\) straight lines with slope \({{{\varvec{w}}}}_j\), passing through the first \(m_j\) points in the segment [0, 1], and consider them as cycles in \(T^2 = {\mathbb {R}}^2/{\mathbb {Z}}^2\). It can be seen that these lines intersect at heights which are multiples of \(1/m_1 \mod {\mathbb {Z}}\). For \(k = 0, \dots , m_1 - 1\), take the cycles \([0,1]\times \{k/m_1\}\), each of them intersecting the other straight lines in \(|m_2b_2| = |m_3b_3|\) triple points. In that way, \(T^2 \) is divided into triangles, as illustrated in Fig. 8 (Left). Then, moving the horizontal cycles slightly up, we build the required dimer, as shown in Fig. 8. \(\square \)

From this dimer model, constructed from the data of the balancing condition (4–1), we will now build a smooth surface in \(I \times T^2\), where \(I = [-\epsilon ,\epsilon ]\), with boundary \(m_j\) copies of cycles in class \({{{\varvec{w}}}}_j = \varepsilon _j\mathbf{w }_j\) in \(H_1(I \times T^2; {\mathbb {Z}}) \cong H_1(T^2; {\mathbb {Z}})\), living at heights \(-\epsilon , 0, \epsilon \) for \(j = 2,1,3\), respectively.

Fig. 9
figure 9

The smooth surface in \(I \times T^2\) associated to one of the triangles in the dimer model of Proposition 4.7. The coamoeba in the 2-torus \(T^2\) is depicted on the left, with the described foliation associated to \({{{\varvec{f}}}}\)

Consider the congruent white triangles and, in each, take a segment from its vertex given by the intersection of the cycles in the classes \({{{\varvec{w}}}}_2\) and \({{{\varvec{w}}}}_3\), to the midpoint of the opposite edge. We name the primitive direction of this segment \({{{\varvec{f}}}}= (\alpha , \beta )\), and abuse notation by calling \({{{\varvec{f}}}}\) the segment itself. Consider then a smooth foliation of the triangle minus the vertices, so that following it gives an isotopy from the edge in the \(\mathbf{w }_2\) cycle to half of the edge in the \({{{\varvec{w}}}}_1\) cycle union the segment \({{{\varvec{f}}}}\), and then from the other half of the edge in the \({{{\varvec{w}}}}_1\) cycle union the segment \({{{\varvec{f}}}}\) to the the edge in the \({{{\varvec{w}}}}_3\) cycle, as illustrated in Fig. 9 (Left). Considering each leaf of the foliation as level sets of a smooth function \(\rho _2\) from the triangle minus vertices to I, its graph embeds into \(I \times T^2\), as in Fig. 9 (Right). Now, taking a symmetric version of the foliation and function \(\rho _2\) on the black triangles of the dimer model, this ensures that the compactification of the union of the graphs is a smooth surface in \(I \times T^2\), with the desired boundaries.

Note that this embedding can be made symplectic into the region \({\mathcal {B}}\times T^2\), the symplectic neighborhood of the pre-image of the interior vertex b, by embedding the segment I into \({\mathcal {B}}\) in an appropriate direction. Nonetheless, we can also build our surface to project on the \((p_1,p_2)\) coordinates on \({\mathcal {B}}\), much like in the work of Mikhalkin [45, 46].

Fig. 10
figure 10

The depiction of a triangular piece of the coamoeba (left) and of the amoeba (right) of a symplectic surface near the interior vertex

Remark 4.8

For convenience, we shall now perform a change of local coordinates, from \((p_1, \theta _1, p_2, \theta _2)\) to new coordinates \((\rho _1, \phi _1, \rho _2, \phi _2)\), where the symplectic form will be

$$\begin{aligned} dp_1\wedge d\theta _1 + dp_2\wedge d\theta _2 = d\rho _1\wedge d\phi _1 + d\rho _2\wedge d\phi _2. \end{aligned}$$

This change of the basis is performed in the \(T^2\) chart, going from \({{{\varvec{e}}}}_1=(1,0)\), and \({{{\varvec{e}}}}_2 = (0,1)\), to \({{{\varvec{e}}}}_1\) and \({{{\varvec{f}}}}= (\alpha , \beta )\). This corresponds to setting \(\phi _1 = \theta _1 - (\alpha /\beta )\cdot \theta _2\), and \(\phi _2 = \theta _2/\beta \), so \(\theta _1 {{{\varvec{e}}}}_1 + \theta _2 {{{\varvec{e}}}}_2 = \phi _1 {{{\varvec{e}}}}_1 + \phi _2 {{{\varvec{f}}}}\). Setting \(\rho _1 = p_1\) and \(\rho _2 = \alpha p_1 + \beta p_2\) ensures that \(dp_1\wedge d\theta _1 + dp_2\wedge d\theta _2 = d\rho _1\wedge d\phi _1 + d\rho _2\wedge d\phi _2\). These coordinates \((\rho _1, \phi _1, \rho _2, \phi _2)\) are used in the following proposition. \(\square \)

We are now ready to construct all the required local models for the symplectic surfaces in Theorem 4.2. (These local models are used in Sect. 4.1.3.) This is the content of the following proposition:

Proposition 4.9

Let \({\mathscr {C}}: \Gamma \longrightarrow P_X\) be a symplectic-tropical curve in an ATF \(\pi :X \longrightarrow B\), represented by an ATBD \(P_X\), b be an interior vertex and \({\mathcal {B}}\) a small disk centered at b, whose boundary intersects \({\mathscr {C}}(\Gamma )\) in the points \(p_1\), \(p_2\), \(p_3\). Let \(\mathbf{w }_j\) be the associated vector corresponding to the edge containing \(p_j\), for \(1\le j\le 3\), hence satisfying the balancing condition (4–1).

Then there exists a symplectic curve in X, projecting to \({\mathcal {B}}\), whose boundary projects to the points \(p_j\), and represents cycles whose classes in \(H_1(\pi ^{-1}(p_j);{\mathbb {Z}})\) are given by \({{{\varvec{w}}}}_j = \varepsilon _j\mathbf{w }_j\), \(1\le j\le 3\).

Proof

Figure 10 illustrates how the embedding will look like in each of the (white) triangles, by describing the amoeba and coamoeba together. The interior vertex corresponds to \((\rho _1,\rho _2) = (0,0)\), and we vary \(\rho _1\) in a small enough interval \([-\delta , \delta ]\). First, we associate to the coamoeba in Fig. 10 (left) a smooth surface inside \(I\times T^2\), as explained before. (Recall Fig. 9.) This smooth surface will be the projection of the corresponding piece of our symplectic surface into the \((\rho _2,\phi _1,\phi _2)\) coordinates. Hence, our foliation in the triangle corresponds to the level sets of the coordinate \(\rho _2\), i.e. \(\rho _2\) constant. It is left to us to determine the \(\rho _1\) coordinate of each point, ensuring the symplectic condition. Each edge of the triangle in the coamoeba has constant \((\rho _1,\rho _2)\) coordinates corresponding to the vertices of the amoeba. Using the same name for the edges as for their homology classes, we choose \(\rho _1\) so that \(\rho _1({{{\varvec{w}}}}_3) = \rho _1({{{\varvec{w}}}}_2) < 0 \le \rho _1({{{\varvec{w}}}}_1)\). The \(\rho _1\) coordinate decreases as we move along the \(\rho _2\) level sets from bottom to top. Also, as we vary \(\phi _1\) positively in the horizontal segments (\(\phi _2\) constant) in the triangle, we choose \(\rho _1\) so that its variation is non-negative for \( \rho _2 \le 0\) and non-positive for \(\rho _2 \ge 0\); also the \(\rho _2\)-coordinate varies positively. We also note that the segments in our smooth surface that projected to the vertices of the triangle in \(T^2\), will project to the boundary of the amoeba in \({\mathcal {B}}\).

Now, in order to check the symplectic condition for the above surface, we probe with the following paths \(\xi ^1\), \(\xi ^2\). The path \(\xi ^1\) is given by following the horizontal segment (\(\phi _2\) constant) in the coamoeba, and \(\xi ^2\) is given by following the \(\rho _2\) level sets in the coamoeba (as depicted in Fig. 10 and oriented towards the positive direction of \(\phi _2\)). Denote by \(d\rho _i^j\) and \(d\phi _i^j\) the coordinates of \(d\rho _i\) and \(d\phi _i\), along the j-th path, for \(i,j =1,2\). We have that,

$$\begin{aligned} d\rho _1^1 = {\left\{ \begin{array}{ll} \ge 0 &{} \text {if} \ \rho _2 \le 0 \\ \le 0 &{} \text {if} \ \rho _2 \ge 0 \end{array}\right. } \ , \ d\phi _1^1 \ge 0\ , \ d\rho _2^1 > 0\ , \ d\phi _2^1 = 0 \ , \end{aligned}$$

Note that we oriented the path \(\xi ^2\) so that \( d\phi _2^2 > 0\). For \(\rho _2 < 0\), the path \(\xi ^2\) goes from the left-most (orange) vertex, to the top (teal) vertex, and hence \(d\phi _1^2 > 0\) there. For the \(\rho _2 > 0\) part, the path goes from the right-most (pink) vertex, to the top (teal) vertex, and thus \(d\phi _1^2 < 0\). Note also that the curve in the amoeba picture have \(d\rho _1^2 < 0\). In conclusion, we obtain:

$$\begin{aligned} d\rho _1^2 < 0\ , \ d\phi _1^2 = {\left\{ \begin{array}{ll} \ge 0 &{} \text {if} \ \rho _2 \le 0 \\ \le 0 &{} \text {if} \ \rho _2 \ge 0 \end{array}\right. } \ , \ d\rho _2^2 = 0\ , \ d\phi _2^2 > 0\ . \end{aligned}$$

In particular, we get that:

figure c

as desired, where \(\partial \xi ^i\) is the tangent vector to the \(\xi ^i\) curve. An analogous embedding is defined for the black triangles, with the same amoeba image on the \((\rho _1,\rho _2)\) projection, and we obtain a smooth embedding of the surface as required. \(\square \)

Remark 4.10

Note that we could simply take \(\rho _1 \equiv 0\) over the surface, and it would still satisfy (4–2). Hence we can indeed get a symplectic embedding of our surface over a fixed interval in \({\mathcal {B}}\).

Finally, notice that we chose our amoeba (with small \(\delta \)) so that the tangency of the amoeba at the vertices are far from being orthogonal to the corresponding \({{{\varvec{w}}}}_j\) direction. Let \({\mathcal {H}}_j\) be the half-plane whose boundary line is normal to \({{{\varvec{w}}}}_j\), passes through b, and contains the vertex of the amoeba corresponding to \({{{\varvec{w}}}}_j\). The symplectic conditions (4–2) and (v) from Definition 4.1, ensure that the path in \({\mathscr {C}}(\Gamma )\) associated to \({{{\varvec{w}}}}_j\) is in \({\mathcal {H}}_j\). Hence, we can connect this path to the corresponding \(p_j\) via a path still satisfying the condition of never being orthogonal to \({{{\varvec{w}}}}_j\). \(\square \)

Connecting the local models

In the subsection we conclude Theorem 4.2 by gluing together the local models provided in Proposition 4.5 and Proposition 4.9 above.

The local model at an interior vertex gives us \(m_j\) copies of the boundary corresponding to \(\mathbf{w }_j\), equidistant in our parametrisation of \(T^2\). We now follow the path that passes through \(p_j\), as in Proposition 4.9:

  • If it hits another interior vertex, we just follow these constant cycles and the surfaces glue naturally.

  • If it hits a boundary vertex over the boundary of \(P_X\), we build the surface again by keeping the cycles constant, and the cycles smoothly collapses to a point since near the boundary of \(P_X\) we have a toric model.

Now, due to the nature of the boundaries resulting from Proposition 4.5, we need to do additional work in order to glue to the local models given by Proposition 4.5, as follows (recall Fig. 6).

Fig. 11
figure 11

Dimer models for connecting the boundaries of the disks, for the local model of a boundary vertex at a node, to straight cycles

Fig. 12
figure 12

Coamoebas, surfaces and amoebas corresponding to different pieces of the dimer model illustrated in Fig. 11. The 4-gon is subdivided into two 3-gons and two bigons indicated by the dashed curves

To connect k straight cycles, which we color in red, to k curling cycles, which we color blue—see again Fig. 6—we consider dimers as the ones illustrated in Fig. 11. The figures depicts the cases \(k = 3\) and 4, and readily generalizes for any \(k \ge 1\). Independent of k, the components containing the vertices of these dimer models are either a bi-gon, a 3-gon or a 4-gon. The analysis for getting a symplectic embedding for each of these pieces, especially the 3-gons and the bi-gons, is similar to the one we made in the proof of Proposition 4.9, and we employ the analogous terminology now.

Remark 4.11

The main difference is that the \(\rho _2\) coordinate at most of the pieces of the blue cycles is not constant, but this was not crucial for getting the symplectic curve in Proposition 4.9. This makes the boundary of the surface project into segments, rather than points. \(\square \)

To replicate the analysis in the proof of Proposition 4.9 to the 4-gons, it is better to subdivide it into two 3-gons and two bigons. Figure 12 illustrates an example of a coamoeba (with some \(\rho _2\) level sets depicted), the corresponding piece of the smooth surface, and the amoeba. Remark 4.10 still holds and we could actually view the amoeba picture as straight segments, but the blue boundaries would still project to sub-segments.

Now, we do not know that the boundaries \(\partial \sigma _j\), who live in the product of an interval with \(T^2\), project exactly in the pattern as depicted in Fig. 11, for \(2\le j\le k\). The only information we have is that they are mutually linked and that the projections intersect each horizontal cycle generically twice. Nevertheless, this is in fact not a problem, since for each one of them we can draw the actual projection and the corresponding generic curve as in Fig. 11.

These curves will generate a dimer, either one annulus or two bi-gons. Hence, we can connect them with a smooth symplectic surface. The condition \(\Psi _k(s)> \Psi _{k-1}(s)> \cdots > \Psi _2(s)\) we required in the discussion before the statement of Proposition 4.5, ensures that we can place these surfaces inside mutually disjoint thickened tori for \(2\le j\le k\). This explains how to patch the boundaries \(\partial \sigma _j\) to straight cycles for our \((\theta _1,\theta _2)\) coordinates on the torus.

Finally, the cycles built in Proposition 4.9 are equidistant in our coordinates for \(T^2\), but the straight cycles we just built are sufficiently close to \(\partial \sigma _1\). (In this metric sense, Fig. 11 is misleading for visual purposes.) Using the notation of Proposition 4.9, we promptly see that this is not a problem, since we can move apart these close cycles—thought to be given by \(\phi _2\) constant—until their projections to \(T^2\) become equidistant, by moving only in the corresponding \(\rho _2\) direction. The symplectic condition (4–2) is readily checked, by taking the first curve the horizontal ones in the coamoeba part, and the second curves vertical ones, so \(d\rho _1^1 = d\rho _1^2 = 0\), \(d\rho _2^1 = d\rho _2^2 > 0\), \(d\phi _2^2 = 0\).

All these connecting surfaces can be made to project into sufficiently small regions in the almost toric fibrations, in particular inside the neighborhood \({\mathcal {N}}\) of our given symplectic-tropical curve \({\mathscr {C}}(\Gamma )\). This concludes the proof of Theorem 4.2. \(\square \)

From now on, we will ease notation by calling \({\mathscr {C}}\) the symplectic-tropical curve obtained in Theorem 4.2 from \({\mathscr {C}}: \Gamma \rightarrow P_X\). At this stage, Theorem 4.2 allows us to construct symplectic surfaces \(C({\mathscr {C}})\subseteq X\) associated to symplectic-tropical curves \({\mathscr {C}}\subseteq B\), for an almost toric fibration \(\pi :X\longrightarrow B\). The upcoming Sect. 4.2 shall now address the general combinatorics appearing in the ATBD associated to Del Pezzo surfaces, which are crucial for the construction of the required symplectic-tropical curves used in our proof of Theorem 1.4 in Sect. 3.

Combinatorial background for triangular shaped ATFs

As in [56] consider the ATBD of triangular shape for a Del Pezzo surface containing the monotone Lagrangian torus \(\Theta ^{n_1,n_2,n_3}_{p,q,r}\) as a visible fibre, i.e., not inside a cut. This ATBD is related to the Markov type equation:

figure d

where \(G = \sqrt{dn_1n_2n_3}\) and d is the degree of the corresponding Del Pezzo. These equations yield the Diophantine equations in Sect. 3.3. In [56], it is shown that \(n_1p^2\), \(n_2q^2\) and \(n_3r^2\) correspond to the determinant of the primitive vectors associated with the corners of the corresponding ATBD.

Fig. 13
figure 13

Corners of ATBDs

Forcing the common edge of the corners corresponding to \(n_2q^2\) and \(n_3r^2\) to be horizontal, we get that the cuts and the primitive vectors of the remaining edges are as illustrated in Fig. 13, where we name (lq) and (mr) the direction of the cuts—compare with [52,  Figure 13] and [55, Proposition 2.2, Figure 2]. The condition that the third determinant is \(n_1p^2\) then becomes:

figure e

This yields the equalities

$$\begin{aligned} n_2n_3r^2ql - n_2n_3q^2rm = n_3r^2 + n_2q^2 + n_1p^2 = Gpqr \end{aligned}$$

and upon dividing by \(n_2n_3qr\), we obtain

figure f

Equation (4–5) is used to build symplectic-tropical curves in the \(\varepsilon \)-neighborhood depicted in Fig. 13.

Symplectic-tropical curves in the edge neighborhood \({\mathfrak {N}}\)

Let \({\mathfrak {B}}\) be a neighborhood of an edge in an ATBD, containing its associated cuts, as illustrated in Fig. 13. Let \({\mathfrak {N}}\) denote the preimage of \({\mathfrak {B}}\) in X. By studying the combinatorics of the ATF, we show that we can construct a symplectic-tropical curve (Definition 4.1) inside \({\mathfrak {B}}\), and by Theorem 4.2, there is a corresponding symplectic curve in \({\mathfrak {N}}\). These symplectic curves will have the same intersection with the anti-canonical divisor as the rational curves highlighted in Fig. 1. Their homology classes can differ from the rational curves listed in \({\mathscr {H}}\) (Fig. 1), by the classes of the Lagrangian spheres projecting in between two nodes inside \({\mathfrak {N}}\). In order to obtain them in the desired homology class, we will need to modify our curves in the pre-image of the neighborhood of the cuts, containing the Lagrangian spheres. This correction is done in the next Sect. 4.3.

The collapsing cycle corresponding to the node associated with the cut (lq), respectively (mr), is represented by the orthogonal vector \((q,-l)\), respectively \((-r, m)\). Consistent with Definition 4.1 (vii), consider a symplectic-tropical curve with: one interior vertex; one leaf going towards one of the nodes with \((q,-l)\) collapsing cycle, with multiplicity r; another leaf going towards one of the nodes with \((-r, m)\) collapsing cycle, with multiplicity q; and the third going towards the bottom edge, with multiplicity \(\frac{Gp}{n_2n_3}\).

These choices satisfy the balancing condition (4–1) of Definition 4.1 (ix), since from (4–5):

figure g

Hence we get a symplectic-tropical curve in \({\mathfrak {N}}\) by Theorem 4.2.

Let us understand the behaviour of a family of such curves as we deform our Del Pezzo surface towards the corresponding limit orbifold. From the proof of [56, Theorem 4.5], and considering both the limit orbifold and the limit orbiline \({\mathcal {A}}\) corresponding to the limit of the horizontal line in Fig. 13, we get that the intersection of \({\mathcal {A}}\) with the anticanonical divisor \([{\mathcal {A}}] + [{\mathcal {B}}] + [{\mathcal {C}}]\), where \([{\mathcal {B}}]\) and \([{\mathcal {C}}]\) are the classes of the other orbilines, is:

figure h

Note that qr times this number is the one found in Eq. (4–5). Hence, the symplectic-tropical curve we construct limits to an orbi-curve in the class \(qr{\mathcal {A}}\). In particular, for the symplectic-tropical curve to be a smoothing of that orbiline in the class \({\mathcal {A}}\), we must have \(q=1\) and \(r=1\).

Required symplectic-tropical curves in the \({\mathfrak {N}}\) for Theorem 1.4

Consider the triangular-shaped ATFs of \(\mathbb {CP}^2\), \(\mathbb {CP}^1 \times \mathbb {CP}^1\), \(Bl_3(\mathbb {CP}^2)\) and \(Bl_4(\mathbb {CP}^2)\), [56] with one smooth corner, i.e., satisfying a Markov type equation of the form

figure i

Let \({\mathfrak {N}}\) be a neighborhood of the edge opposite the frozen smooth vertex, introduced in Sect. 4.2.1. The results of the previous subsections yield the following

Theorem 4.12

The homology class of the symplectic divisors highlighted in Fig. 1 can be realized as a symplectic-tropical curve in \({\mathfrak {N}}\).

Proof

First note that for the equations associated with \(\mathbb {CP}^2\), \(\mathbb {CP}^1 \times \mathbb {CP}^1\), \(Bl_3(\mathbb {CP}^2)\) and \(Bl_4(\mathbb {CP}^2)\), the quantity \(G/n_2n_3\) is respectively, 3, 2, 1, 1, which is the intersection number of the symplectic divisors in the corresponding spaces with the anti-canonical divisor. Thus, Theorem 4.2 and Sect. 4.2.1 suffice for the case of \(\mathbb {CP}^2\). For the remaining cases, one needs to ensure the correct intersection with the Lagrangian spheres. This can be achieved case by case using that

$$\begin{aligned} 1 + n_2q^2 \equiv 0 \mod n_3,\qquad 1 + n_3r^2 \equiv 0 \mod n_2. \end{aligned}$$

For instance, in the case of \(Bl_4(\mathbb {CP}^2)\), we get \(q^2 \equiv -1 \mod 5\), so \(q \equiv 2\), or \(3 \mod 5\). Take the divisor of Fig. 1 that intersects two Lagrangian spheres. Following the mutations in [56,  Figure 17], at the triangular-shape ATBD [56,  Figure 17 (\(A_4\))], these spheres become the top and bottom spheres, of the 4-chain of Lagrangian spheres. If \(q \equiv 2 \mod 5\), apply Proposition 4.13 taking the 2 intersections to the top and bottom node. If \(q \equiv 3 \mod 5\), we arrive at the three interior nodes instead, having the same intersection number with the Lagrangian spheres. One can check that the sign is correct by looking at the first instance when \(q=2\) and observing that the mutation \(q \rightarrow 5r - q\) switches between \(q \equiv 2 \mod 5\) and \( q \equiv 3 \mod 5\) (the first case \(q =2\) is depicted as \(A_1\) in Fig. 20). \(\square \)

Deforming symplectic-tropical curves

The previous subsection and Theorem 4.2 provides a symplectic sphere in the desired homology class, for each of the examples. Nevertheless, the actual intersection number with the Lagrangian 2-spheres, or between two representatives, is off in the majority of the casesFootnote 6. In this section we further deform the symplectic-tropical curves to take into account the required intersection with the Lagrangian 2-spheres. In the next section we develop technical results to deal with intersections of chains of symplectic spheres, keeping the same intersection with the Lagrangian spheres.

So, we need to be able to have control of the intersection number of our symplectic-tropical curve \({\mathscr {C}}\) with the Lagrangian 2-spheres that appear naturally for a pair of nodes lying inside the same cut. For that, let us prove Proposition 4.13, with the following notation.

Let \({\mathscr {C}}: \Gamma \longrightarrow P_X\) be a symplectic-tropical curve in an ATF of X, represented by the ATBD \(P_X\) and \({\mathcal {N}}\) a neighborhood of \({\mathscr {C}}(\Gamma )\), as before. Consider a class of n nodes of the ATBD inside the same cut, so that at least one of the nodes is in \({\mathscr {C}}(\Gamma )\) and let \({\mathcal {M}}\) be a neighborhood of the cut. Let \(S_1, \dots , S_{n-1}\) be Lagrangian spheres projecting inside the cut to consecutive segments between the nodes. Also name \(S_0 = S_n =\emptyset \). Let m be the sum of the multiplicities of the leaves arriving at these n nodes, and choose \(d < n\) nodes, where \(m \equiv d \mod n\).

Proposition 4.13

There is a symplectic curve projecting to \({\mathcal {N}}\cup {\mathcal {M}}\) with the property that its intersection with \(S_1 \cup \dots \cup S_{n-1}\) consists of exactly d points, each projecting to one of the d chosen nodes. \(\square \)

The reminder of this subsection is devoted to the proof of Proposition 4.13. The idea is that, since \(m -d = kn\), we can place disks \(\sigma _j\) as in Proposition 4.5, for \(2\le j\le k+1\) at all the n nodes. Naming \(n_1, \dots , n_n\) be the n nodes in a cut, in order, and \(S_i\) a Lagrangian sphere projecting to the cut between the consecutive nodes \(n_i\), \(n_{i+1}\), we see that the signed intersection of \(S_i\) with the collection of kn disks is zero, since the sphere \(S_i\) intersects the k disks only around the \(n_i\) and \(n_{i+1}\) nodes, with opposite signs. Thus, it is clear that, at least smoothly, we can pairwise cancel these intersections. Nevertheless, before that, we need to connect the disks.

Let us focus now on how to construct in Lemma 4.14 a symplectic pair of pants \({\mathcal {P}}\) that we can glue to the boundary of a pair of symplectic 2-disks \(\sigma _j\) near the \(n_i\) and \(n_{i+1}\) nodes.

Fig. 14
figure 14

Amoebas of the surfaces \(\Sigma _j^{i,i+1}\), \({\Sigma '}_j^{i,i+1}\)

Lemma 4.14

There is a symplectic disk \(\Sigma _j^{i,i+1}\) in the cut neighborhood \({\mathcal {M}}\), containing the two symplectic 2-disks \(\sigma ^i_j\) and \(\sigma ^{i+1}_j\) as a subset, with boundary in a thickened 2-torus \({\mathbb {T}}\), and whose class is twice the collapsing class of the nodes via the identification \(H_1({\mathbb {T}};{\mathbb {Z}}) \cong H_1(T^2;{\mathbb {Z}})\).

Denote by \({\mathcal {P}}\) the pair of pants which is the closure of \(\Sigma _j^{i,i+1} \setminus (\sigma ^i_j \cup \sigma ^{i+1}_j)\). \(\square \)

Figure 14 shows on the left the amoeba corresponding to the \(\Sigma _j^{i,i+1}\) surface. The idea is to then isotope it to a different surface \({\Sigma '}_j^{i,i+1}\) with boundary still in \(I\times T^2\), such that the intersection with the Lagrangian 2-sphere \(S_i\) is empty.

Fig. 15
figure 15

a A dimer model for the symplectic pair of pants \({\mathcal {P}}\). b Dimer model for \({\mathcal {P}}'\), illustrating the cycles in the Lagrangian sphere \(S_i\), over the intesection between the boundary of the amoeba of \({\mathcal {P}}'\) and the amoeba of \(S_i\) (a segment between the nodes). c The dimer model for the part of the surface \({\Sigma '}_j^{i,i+3}\) connecting the boundary of the \(\sigma _j\) disk in the \(n_{i+3}\) node with the boundary of \({\Sigma '}_j^{i,i+2}\). (d) Coameaba of 2 non-intersecting \({\mathcal {P}}'\)s. The suggested height is with respect to the \(p_2\) coordinate

Proof of Lemma 4.14

Let us assume the cut is vertical, and thus the collapsing cycle is given by a \(\theta _2\)-constant curve in the \((\theta _1,\theta _2)\) coordinates of \(T^2\). Making a change of action-angle coordinates, if needed, we may assume that the collapsing cycles corresponding to the \(n_i\) nodes are slightly phased-out. We thus draw the \(T^2\) projection of the boundary of the 2-disks \(\sigma _j\), recalling that each of them links once the horizontal cycle in a thickened torus that they live in (recall the construction before Proposition 4.5). We color these boundaries blue, and draw a dimer model that indicates the coamoeba of the pair of pants \({\mathcal {P}}\) we will construct, as illustrated in the first picture of Fig. 15. We will color the other boundary of \({\mathcal {P}}\) red. We number the components of the red curve in the dimer model of Fig. 15 (Left) as indicated, and sketch the profile of its \(p_2\) coordinate as indicated in Fig. 16.

The curves \(\partial \sigma _j\) can be taken sufficiently close to the collapsing cycle \(\partial \sigma _1\), so we assume its \(\theta _2\) variation is small enough with respect to the difference \(p_1\) between the coordinate of the red curve and the \(p_1\) coordinate of the blue curve. (Essentially, we take them small with respect to the size of \({\mathcal {M}}\).)

Fig. 16
figure 16

The profile of the \(p_2\) coordinate as we move along \(\partial \Sigma _j^{i,i+1}\), \(\partial {\Sigma '}_j^{i,i+1}\). The numbering corresponds to the one on the leftmost picture of Fig. 15

The dimer model we are considering consists of two bi-gons and two tri-gons. We carefully analyze the \((p_1,p_2)\)-coordinates we associate to these pieces, to ensure that we get a symplectic pair of paints \({\mathcal {P}}\) connecting the blue boundaries to the red one. The corresponding amoebas, together with the \(\theta _1\)- and \(\theta _2\)-level sets, are indicated in Fig. 17 (Middle). There is a curve in the amoeba corresponding to the vertices of the bi-gon that will be crucial in the further analysis. This curve shall be named the pink curve, and in this case it is a horizontal segment.

Fig. 17
figure 17

Amoebas of the pieces of the pair of pants \({\mathcal {P}}\) and \({\mathcal {P}}'\) for the surfaces \(\Sigma _j^{i,i+1}\), \({\Sigma '}_j^{i,i+1}\)

Following analogous conventions for the analysis of amoebas and coamoebas as in the proof of Proposition 4.9, with \(\rho _i\) corresponding to \(p_i\) and \(\phi _i\) to \(\theta _i\), we take the first curve \(\xi ^1\) corresponding to a \(\theta _2\)-level set, oriented with \(d\theta _1^1 >0\) and the second curve \(\xi ^2\) corresponding to a \(\theta _1\)-level set, with the orientation such that the \(p_1\) coordinate is decreasing, i.e., \(dp_1^2 < 0\).

First, let us study the bi-gon pieces. We assume that the \(\theta _2\) variation is sufficiently small for the red curve as well, so if we fix the norm of \(dp^2\) as we travel, we then have that \(d\theta _2^2\) is small enough away from the vertices. As indicated in Fig. 17, we choose \(\xi ^1\) so that \(dp_2^1 = 0\) and \(d\theta _2^1 = 0\). As we move along \(\xi ^1\) at the bottom of the bi-gon, the \(p_1\) coordinate increases up to the middle of the horizontal curve in the amoeba and decreases from the middle until the end. The logic is reversed as we move to the top of the bi-gon. So, \(\omega ( \partial \xi ^1, \partial \xi ^2) = - d \theta _1^1 dp_1^2 > 0\) (recall Eq. (4–2)), as desired. The limit case where \(\theta _2\) attains the maximum and the minimum in the bi-gon can be analyzed by replacing the \(\xi ^1\) curve by the respective red and blue curves. Since it also corresponds to maximum and minimum of the \(p_2\) coordinate, we still have \(dp_2^1 = 0\) and \(d\theta _2^1 = 0\), ensuring positivity of \(\omega ( \partial \xi ^1, \partial \xi ^2)\).

Second, we now turn our attention to the tri-gon, as depicted in Fig. 17. We first notice that the \(p_2\) coordinates associated with the bottom vertex of the tri-gon, must be different for the edge labeled 2 and the edge labeled 6, the latter being greater than the former, recall Figs. 15 and 16. This implies that we must not only consider one curve with that corresponding \(\theta _2\)-coordinate constant, but rather a family of curves. The shaded region in the bottom-middle picture of Fig. 17 indicates the image of these curves under the \((p_1,p_2)\)-projection. The analysis at the top of this part of the coamoeba is similar to before, with \(dp_2^1 = 0\) and \(d\theta _2^1 = 0\) and \(\omega ( \partial \xi ^1, \partial \xi ^2) = - d \theta _1^1 dp_1^2 > 0\). (Note that we do not remain stationary with \(d\theta _1^1 = 0\) at the top part of the coamoeba.) At the bottom part, we do have \(dp_2^1 > 0\) as \(\xi ^1\) travels from the 2 curve to the 6 curve and we also have \(d\theta _2^2 > 0\), as we are traveling from the red curve to the blue curve along \(\xi ^2\), with \(dp_1^2 < 0\). That way, since \(d\theta _1^1 \ge 0\), we have

$$\begin{aligned} \omega ( \partial \xi ^1, \partial \xi ^2) = - d \theta _1^1 dp_1^2 + d \theta _2^2 dp_2^1 > 0. \end{aligned}$$

Gluing analogous models for the bottom part of the diagram in a consistent way provides our symplectic pair of pants. \(\square \)

We now move towards the construction of the surface \({\Sigma '}_j^{i,i+1}\) that does not intersect the Lagrangian sphere \(S_i\). Given our choice of coordinates, the Lagrangian sphere projects to a vertical segment in the \((p_1,p_2)\) factor. In order to keep working with the same coordinates in the region we want to do the modification of our curve, we modify the ATBD, without changing our ATF, simply by reversing the direction of the cuts associated with the nodes \(n_{i+1}, \dots , n_n\) (this operation was named transferring the cut in [55]). Note that we already made this operation in Figs. 14, 17. The rightmost diagrams of Fig. 17 represent the projection of \(S_i\) by a vertical dashed segment, which is different than the one we use to represent the cuts. Let \((p_1,p_2) = (0,0)\) be the midpoint of this dashed segment.

From Remark 4.4, we see that \(\sigma ^i_j\) and \(\sigma ^{i+1}_j\) both intersect \(S_i\) once, and with opposite signs. We consider disks \({\sigma '}^i_j\) and \({\sigma '}^{i+1}_j\), obtained from \(\sigma ^i_j\) and \(\sigma ^{i+1}_j\) by carving out a neighborhood of the intersection point with \(S_i\), with their \((p_1,p_2)\) projection as illustrated in Fig. 14 (Right). We keep coloring their boundary blue, and their coamoeba projection is similar to the ones we just analyzed, as it is sufficiently close to the corresponding collapsing cycle with constant \(\theta _2\)-coordinate. Thus, we can also build a dimer model as in Fig. 15 (Left), to build a pair of paints \({\mathcal {P}}'\), and we also color the other boundary of \({\mathcal {P}}'\) red.

Recall that we named a pink curve, and the \((p_1,p_2)\) image of the vertices corresponding to the intersection of the blue and red curves in the coamoeba coordinates \((\theta _1,\theta _2)\), which we will refer to as pink vertices. The pink curves and the pink vertices will play the following role in our construction. As before, we focus on the top part of the coamoeba, the bottom part being symmetric under the reflection around the \(p_2 = 0\) coordinate (or at least having a symmetric behaviour, since our coamoeba picture is not symmetric.) Then the pink curve corresponding to the top bi-gon will be the graph of a non-increasing convex function \(p_2(p_1)\), starting at a point with \(p_1 <0\), \(p_2 >0\), becoming negative before \(p_1\) becomes 0, and eventually becoming constant at some point where \(p_1>0\). Let us call x the endpoint in the \(p_2\)-constant segment, with smallest \(p_1\)-coordinate. Since the pink curve of the bottom bi-gon is the reflection around the \(p_2 = 0\) of the pink curve for the top bi-gon, these curves will intersect at some point with negative \(p_1\) coordinate. Also, the pink curve of the bottom bi-gon ends at a segment with positive constant \(p_2\) coordinate. For that to happen, the \(p_2\)-coordinate of the red curve needs to move different as we move along the different parts of the coamoeba, as indicated in Fig. 16. Note that, as illustrated in Fig. 16, we maintain the property that the \(p_2\)-coordinate at the common point of the segments labeled 2 and 3 is smaller than the one corresponding to the segments 5 and 6. We also need to ensure the following. Consider the point of intersection between the \((p_1,p_2)\) projection of the top blue curve and the projection of \(S_i\). Look at the \(\theta _2\)-coordinate of the circle of \(S_i\) over this point, and consider its intersections \(q_1\), \(q_2\) with the blue curve. We draw the coamoeba profile of the red curve so that \(q_1\), \(q_2\) are precisely the pink vertices, as illustrated in Fig. 15 (Center). We make analogous choices for drawing the red curves at the bottom of the coamoeba.

We are now in shape to prove the following lemma.

Lemma 4.15

There is a symplectic disk \({\Sigma '}_j^{i,i+1}\) in the cut neighborhood \({\mathcal {M}}\), disjoint from the Lagrangian 2-sphere \(S_i\), containing the symplectic 2-disks \({\sigma '}^i_j\) and \({\sigma '}^{i+1}_j\) as a subset, with boundary in a thickened torus \({\mathbb {T}}\), whose homology class is twice the collapsing class of the nodes via the identification \(H_1({\mathbb {T}};{\mathbb {Z}}) \cong H_1(T^2;{\mathbb {Z}})\).

Denote by \({\mathcal {P}}'\) the pair of pants which is the closure of \({\Sigma '}_j^{i,i+1} \setminus ({\sigma '}^i_j \cup {\sigma '}^{i+1}_j)\).

Proof

As in the previous proof, we will draw in the \((p_1,p_2)\)-coordinates the level sets of the \(\theta _2\) and \(\theta _1\) coordinates, naming the former \(\xi ^1\) and the latter \(\xi ^2\). Let us start looking at the bi-gon, and describe the projection of the \(\xi ^1\) curve in the amoeba. Each curve starting close to the \(\theta _2\) minimum, up to a certain height b (to be specified), will have a horizontal projection, with the maximum of the \(p_1\) coordinate corresponding to half of the \(\theta _1\) coordinate of \(\xi ^1\). This last property is preserved, even when we start at a height greater than b, but then, the image becomes a graph of a non-increasing function \(p_2(p_1)\), eventually limiting to the part of the pink curve that stops at x, as illustrated in the top-right picture of Fig. 17. We assume that the derivative is smaller in norm than the derivative of the graph giving the pink curve. For the top part of the coamoeba, the \(\xi ^1\) curves have constant \(p_2\) coordinates, with the minimum of the \(p_1\) coordinate attained at the middle of the \(\theta _1\) coordinate. The amoeba projection of the \(\xi ^2\) curves are also indicated in the top-right picture of Fig. 17. In particular, analyzing the symplectic condition for the top of the coamoeba part, is essentially done as in the proof of Lemma 4.14, compare the top-middle and top-right pictures of Fig. 17.

To ensure the symplectic condition at the bottom of the coamoeba, we need to carefully choose the point b, recalling that we can choose the red curve so that the \(\theta _2\) variation is small enough compared with the \(\theta _1\) variation. Away form the points in \(\xi ^1\) with maximum \(p_1\) coordinate, let us move along the \(\xi ^i\) curves with the normalised condition \(|dp_1^i| = 1\). The variation \(d\theta _2^2\) will then be bounded by an extremely small constant (w.r.t. the \(\theta _1\) diameter of the coamoeba). We take a constant b, large enough to ensure that \(\omega (\partial \xi ^1, \partial \xi ^2) = d\theta _1^1 - dp_2^1 d\theta _2^2 > 0\), recalling that we forced \(dp_2^1\) to be zero for points at \(\theta _2\) heights smaller than b and \(|dp_2^1|\) is bounded by the maximum slope of the pink curve. In the points on \(\xi ^1\) with maximal \(p_1\) coordinate, we simply have \(dp_2^1 = 0\) and \(\omega (\partial \xi ^1, \partial \xi ^2) = - d\theta _1^1 dp_1^2 > 0\). We let the reader check the positivity for the limiting points at the pink curve.

Let us now move to the tri-gon part of the coamoeba. For the top part we choose a height c in the coamoeba, playing a similar role as b in the above paragraph. If the \(\theta _2\) coordinate of \(\xi ^1\) is bigger than c, we take the amoeba part to have constant \(p_2\) coordinate. So if the \(\theta _2\) coordinate is not smaller than c, we have \(dp_2^1 = 0\) and \(\omega (\partial \xi ^1, \partial \xi ^2) = - d\theta _1^1 dp_1^2 > 0\). The analysis regarding the symplectic condition is done as in the last paragraph for the part corresponding to the \(\theta _2\) coordinate smaller than c. For the bottom part, recall that the \(p_2\) coordinate corresponding to the part 2 of the coamoeba of the red curve is smaller than the one corresponding to the part 6. So we can take \(dp^1_2 > 0\). The analysis now is similar to the analogous part in the proof of Lemma 4.14. We have \(d\theta ^1_1 \ge 0\) (being zero at the middle of the \(\xi ^1\) curves whose \(\theta _2\) coordinate is not bigger than the pink vertices), \(dp_2^1 > 0\), \(d\theta ^1_2 = 0\), \(dp^2_1 < 0\), \(d\theta _1^2 = 0\), \(d\theta ^2_2 > 0\), since we move on \(\xi ^2\) from the red curve to the blue curve.

The fact that we chose the pink curve to cross \(p_1 = 0\) with negative \(p_2\) coordinate promptly ensures that the coamoeba region of \(S_i\) corresponding to the segment given by the intersection of \(p_1 = 0\) with the amoeba of the bi-gon, does not intersect the bi-gon itself. For the tri-gon part, looking at the amoeba projection, we see that \(S_i\) does not intersect the region of the surface corresponding to the bottom of the tri-gon. The fact that we chose the coamoeba of our red curve so that the pink vertices coincide with the points \(q_1\), \(q_2\), ensures that the part of the surface whose coamoeba corresponds to the top of the tri-gon does not intersect the Lagrangian \(S_i\) as well, as required. \(\square \)

Remark 4.16

There is a smooth way to isotope the boundary of \({\mathcal {P}}\) to the boundary of \({\mathcal {P}}'\), and following that, a smooth way to isotope the amoebas of \(\Sigma _j^{i,i+1}\) to the ones of \(\left( \Sigma _j^{i,i+1}\right) '\), see again Fig. 17, as well as the small differences on the coamoebas. Hence, we can isotope from \(\Sigma _j^{i,i+1}\) to \(\left( \Sigma _j^{i,i+1}\right) '\), with their boundaries restricted to a thickened torus \({\mathbb {T}}=I\times T^2\). \(\square \)

Now we see that the symplectic surface \({\Sigma '}_j^{i,i+1}\) intersects the Lagrangian 2-sphere \(S_{i+1}\) once in a point belonging to \({\sigma '}_j^{i+1}\). In an analogous fashion to Lemma 4.15, we can chop out of \({\Sigma '}_j^{i,i+1}\) the intersection point with \(S_{i+1}\) and then glue its boundary, the boundary of \({\sigma '}_j^{i+2}\) (where we remove the intersection of \(\sigma _j^{i+2}\) with \(S_{i+1}\)), and the boundary of a newly chosen “red curve” in a thickened torus that has three times the homology of the collapsing cycle in this thickened torus, with a new pair of pants. Naming the former two curves blue, the first step would be to construct a dimer model between the blue curves and the red curve, so that the behaviour of this new surface obtained from the dimer model, on the region where it could intersect \(S_{i+1}\), is the same as the one analyzed in Lemma 4.15. Denote this surface by \({\Sigma '}_j^{i,i+2}\). We can iterate this process and consider symplectic surfaces \({\Sigma '}_j^{i,i+k}\) in the cut neighborhood \({\mathcal {M}}\), that do not intersect \(S_i, \dots , S_{i+k-1}\), and has boundary on a thickened torus, whose homology class is \(k+1\) times the collapsing cycle. This process leads to the following:

Lemma 4.17

There exists a symplectic disk \({\Sigma '}_j^{1,n}\) inside \({\mathcal {M}}\), not intersecting the Lagrangian set \(\bigcup _{i=1}^{n-1} S_i\), and whose boundary lies on a thickened torus \(I \times T^2\), with boundary class being n times the class of the collapsing cycle.

Proof

We build this surface iteratively as indicated above, starting with \({\Sigma '}_j^{1,2}\). The algorithm to build the red curve and the corresponding dimer model is illustrated for going from \({\Sigma '}_j^{1,3} \cup \sigma _j^4\) to \({\Sigma '}_j^{1,4}\) in the third diagram of Fig. 15. We chose the red curve to pass through consecutive chambers of the complement of the curves given by the coamoeba projection of the blue curves, which we recall is the boundary of the disconnected surface obtained by chopping off the intersections of \({\Sigma '}_j^{1,i} \cup \sigma _j^{i+1}\) with \(S_i\). We do it so that the top part of the dimer, corresponding to one bi-gon and two tri-gons, has the same configuration as in Lemma 4.15, including the points analogous to \(q_1,q_2\). Recalling Remark 4.16, we can think that we first glue a pair of pants \({\mathcal {P}}\) as before to the boundaries of \({\Sigma '}_j^{1,i} \cup \sigma _j^{i+1}\) and then isotope to our desired surface \({\Sigma '}_j^{1,i +1}\), with the modifications happening in the same framework as in the proof of Lemma 4.15. \(\square \)

Fig. 18
figure 18

Final amoeba for the symplectic disk in the case of a symplectic-tropical curve arriving at \(n = 4\) nodes with multiplicity \( m = 5 + 6 = 11\), so \(k=2\) and \(d = 3\). For visual purposes, we illustrate the amoeba of \(k=2\) surfaces as if one envelopes the other, while in fact both have the same amoebas

Now we should inductively build the surfaces \({\Sigma '}_j^{1,n}\), for j going from 1 to k, making sure these surfaces do not intersect. Recall that the boundaries of \(\sigma _j\) and \(\sigma _{j+1}\) are linked in the thickened 3-dimensional neighborhood. We can achieve non-intersection by adjusting the crossings of blue and red curves between different amoebas, and the \(p_2\) coordinate. Thus we can ensure the required non-intersection just by looking at the \((\theta _1, \theta _2, p_2)\) projection of the surfaces. The case \(n =2\) is illustrated in Fig. 15d. We can then get the other d disks, carrying the collapsing cycle from the respective nodes to the boundary of the same thickened torus. They project to curves inside the amoeba of the \({\Sigma '}_j^{1,n}\) disks, see Fig. 18. After doing that, still within the cut neighborhood \({\mathcal {M}}\), we can connect the boundaries of the \({\Sigma '}_j^{1,n}\) surfaces, \(j=1,\dots ,k\) and of the d disks by \(m = kn + d\) straight cycles and redistribute these cycles over curves connecting to our symplectic-tropical curve \({\mathscr {C}}(\Gamma )\), as we did in the Sect. 4.1.3. Fig. 18 illustrates the amoeba image of this local model of a deformed symplectic-tropical curve, when \(n=4\), \(m=11\), so \(k=2\) and \(d=3\). This finishes the proof of Proposition 4.13. \(\square \)

We can glue all these local models now, as we did in Sect. 4.1.3, to get deformed symplectic-tropical curves, intersecting Lagrangian spheres only at prescribed nodes, with the number determined by the total multiplicity and the number of nodes at a given cut.

Further deformations of symplectic tropical curves

In this subection we introduce a series of additional techniques regarding symplectic-tropical curves, that will allow us to visualize chains of them inside an ATF. When we say a chain of symplectic curves, we imply that the total intersection between them is equal to the geometric intersection. Thus, it is not enough to simply construct an STC for each curve in the chain, as we did in the previous sections, as we want to geometrically realize the homological intersection. We start with a simple observation:

Remark 4.18

First, for \(i=1,2\), let \({\mathscr {C}}_i\) denote two STCs as in Definition 4.1. Let \(C_i\) denote a STC in X represented by \({\mathscr {C}}_i\) as in Theorem 4.2, and let \(\gamma _i\) be an edge of \({\mathscr {C}}_i\). If the homology classes in the Lagrangian torus fibers associated with the edges \(\gamma _1\) and \(\gamma _2\) are the same, then any intersection between \(\gamma _1\) and \(\gamma _2\) can be taken to be empty as an intersection of the symplectic surface \(C_1\) and \(C_2\), since we can just assume we carry disjoint cycles in the same homology class. \(\square \)

Fig. 19
figure 19

a The amoeba of a STC given by a disk \(\sigma _j\) (from Proposition 4.5), glued along the boundary with two cycles intersecting once \(\partial \sigma _j\); b The coamoeba of the gluing surface; c A depiction of how the surface looks like inside a thickened torus

We will also need the following:

Proposition 4.19

Consider a thickened torus \({\mathbb {T}}= [-\epsilon , \epsilon ]\times T^2\), as the pre-image of a segment in the regular part of a base of an ATF. Let \(\alpha \) be a straight cycle in \(\{0\} \times T^2\) represented by \(v \in H_1({\mathbb {T}};{\mathbb {Z}}) \cong H_1(T^2;{\mathbb {Z}}) \cong {\mathbb {Z}}^2\), \(\beta \) be a cycle in the class v that wraps around \(\alpha \) once, and \(\gamma _\pm \) be a straight cycle in \(\{\pm \epsilon \} \times T^2\), represented by \(u_\pm \), with \(\det u_{\pm } \wedge v = \pm 1\), and \(u_- = u_+ - v\).

Then there exists a symplectic pair of pants in the complement in \({\mathbb {T}}\setminus \alpha \), with boundary \(\gamma _- \cup \beta \cup \gamma _+\).

Proof

Use the dimer model represented in Fig. 19b to build a symplectic surface as in Sect. 4.1.2, making sure that the 0 level set of the height function (\(\rho _2\) in Proposition 4.9) is disjoint from the straight cycle \(\alpha \). The end result is depicted in Fig. 19c. \(\square \)

Remark 4.20

Applying this result for \(\partial \sigma _j\), the boundary of a disk \(\sigma _j\) as in Proposition 4.5, we see that we can pass with all the \(\sigma _l\), with \(l < j\) (the ones with boundary closer to \(\alpha = \partial \sigma _1\)) through the middle of the surface constructed in Proposition 4.19. The amoeba of this process is depicted in Fig. 19a. \(\square \)

Fig. 20
figure 20

STCs in classes \(H_1\), \(H_2\) in a specific ATBD of \(\mathbb {CP}^1 \times \mathbb {CP}^1\) (in the first row), in the exceptional classes \(E_1\), \(E_2\), \(B_2 = H - E_1 - E_3\) and \(B_3 = H - E_1 - E_2\) in an ATBD of \(Bl_3(\mathbb {CP}^2)\) (in the second row), and in the exceptional classes \(A_1 = H - E_1 - E_4\), \(A_2 = E_4\), and \(A_5 = E_1\) in an ATBD of \(Bl_4(\mathbb {CP}^2)\) (in the third row). In this figure, the ATBDs are depicted on the left of each column on their own, and (a piece of) the ATBDs with the corresponding STCs are depicted on the right

Now, the top left diagram in Fig. 20, on the left of the first row, is an ATBD diagram for \(\mathbb {CP}^1 \times \mathbb {CP}^1\). It can be obtained from the top right diagram of Fig. 1, after we apply nodal trades. For this diagram in Fig. 20, we apply the above Remark 4.20 to visualise STCs in the neighborhood \({\mathfrak {N}}\) of the highlighted edge of the ATF of \(\mathbb {CP}^1 \times \mathbb {CP}^1\). They are representatives of the classes \(H_1 = [{\mathbb {C}}{\mathbb {P}}^1 \times \{\text {point}\}]\) and \(H_2= [\{\text {point}\} \times {\mathbb {C}}{\mathbb {P}}^1 ]\). Remarks 4.20, 4.18, are used to visualize a 4-chain of STCs in the neighborhood \({\mathfrak {N}}\) of the highlighted edge of the ATF of \(Bl_3(\mathbb {CP}^2)\) of triangular shape depicted in Fig. 1. The homology classes for the spheres in this 4-chain are the ones corresponding to the highlighted edges of the toric diagram for \(Bl_3(\mathbb {CP}^2)\) in Fig. 1. Figure 20 also shows a 3-chain of symplectic spheres in the ATBD of \(Bl_4(\mathbb {CP}^2)\) of [56, Diagram \((A_4)\)]. Their classes corresponds to the highlighted 3-chain in the first diagram of \(Bl_4(\mathbb {CP}^2)\) in Fig. 1.

Now, we can iteratively apply Remark 4.20 in the neighborhood of one or more nodes. We are going to use simplified pictures, for visual purposes. For instance, Fig. 21a shows a simplified depiction of two nonintersecting STCs near two nodes of a cut in an ATF, with associated vector v. Surrounding each node, we see a \(\sigma _j\) type curve, where we applied Remark 4.20a times around each node and then unite their amoebas using Remark 4.18. Figure 21b shows an alternative version, where we took 2b curves around a unique node associated with the vector w, and applied Remarks 4.20, 4.18 to get two disjoint symplectic curves.

Fig. 21
figure 21

Simplified pictures for the STC discussed above

Let us now shift our focus to what happens as we approach the local model nearby a trivalent vertex of an STC, with two (or more) sets of curves satisfying the balancing condition (4–1). The first observation is that if you arrive with two sets of cycles with total homology represented by \({{{\varvec{v}}}}\in {\mathbb {R}}^2\) and want to glue them to sets of cycles with homoloy \({{{\varvec{w}}}}\) and \(-{{{\varvec{w}}}}- {{{\varvec{v}}}}\), using two non-intersecting surfaces, the price you pay is that the cycles corresponding to \({{{\varvec{w}}}}\) and \(-{{{\varvec{w}}}}- {{{\varvec{v}}}}\) in the boundary of the second surface, must link the corresponding boundaries on the first surface a total amountFootnote 7 of \({{{\varvec{w}}}}\wedge {{{\varvec{v}}}}\). We define precisely what we mean by cycles linking within the regular part of a Lagrangian torus fibration:

Definition 4.21

Let \({\mathbb {D}}\) be a 2-disk, fix a point \(o \in {\mathbb {D}}\) and take two disjoint 1-cycles \(\alpha \), \(\sigma \) in \({\mathbb {D}}\times T^2\) away from \(\{o\}\times T^2\). We view \(\sigma \) as a cycle in \(H_1({\mathbb {D}}\times T^2 \setminus \alpha ; {\mathbb {Z}}) \cong H_1(T^2; {\mathbb {Z}}) \oplus {\mathbb {Z}}\), where the first summand corresponds to \(\{o\}\times T^2 \hookrightarrow {\mathbb {D}}\times T^2 \setminus \alpha \).

By definition, the linking between \(\sigma \) and \(\alpha \) is the projection of the class \([\sigma ] \in H_1({\mathbb {D}}\times T^2 \setminus \alpha ; {\mathbb {Z}})\) onto the (rightmost) \({\mathbb {Z}}\)-factor. The sign involves a choice of generator for the \({\mathbb {Z}}\) cycle, that we assume the same, when dealing with more than one 1-cycle relative to \(\alpha \). \(\square \)

Let us summarize the above discussion into the following statement:

Proposition 4.22

Consider the local model for a symplectic surface near the interior vertex constructed in Proposition 4.9, associated to the balancing condition \(m_1{{{\varvec{w}}}}_1 + m_2{{{\varvec{w}}}}_2 +m_3{{{\varvec{w}}}}_3 = 0\). Consider the number \(d = m_1m_2 |{{{\varvec{w}}}}_1 \wedge {{{\varvec{w}}}}_2|\) and \(d= \delta _1 + \delta _2\), a two partition \(\delta _1, \delta _2 \in {\mathbb {Z}}_{\ge 0}\).

Then there exists another disjoint symplectic surface in the same local neighborhood such that the boundaries satisfies the following two conditions:

  • The \(m_3\) boundaries associated to \({{{\varvec{w}}}}_3\) are parallel copies of the corresponding boundaries of the original curve inside the same torus fibre;

  • The boundaries associated to \({{{\varvec{w}}}}_1\) and \({{{\varvec{w}}}}_2\) link the corresponding boundaries of the original curve, in the sense of Definition 4.21, \(\delta _1\) and \(\delta _2\) times, respectively.

Proof

We start with the dimer model for the original surface constructed in Proposition 4.9. Recall that we used \((\rho _1,\rho _2)\) coordinates for the amoeba description, with \(\rho _2 \in [-\epsilon , \epsilon ]\). We will construct another dimer model for our second surface, and build the amoeba as in Sects. 4.1.2, 4.1.3, 4.3.

Fig. 22
figure 22

Near an interior vertice of determinant d, there are disjoint symplectic curves with the total linking of their boundaries equal to d. This series of diagrams illustrate the algorithm to get the disjoint surfaces

In the intersection of these two dimer models we will record the \(\rho _2\)-coordinate of the new curve in the dimer model, to be less than \(-\epsilon \) or greater than \(\epsilon \). This will be indicated in the same diagram, as follows. If coamoeba regions of the two surfaces intersect, the boundary of the lower region will be denoted by a dotted segment in the intersection. Figure 22 (d) illustrates two non-intersecting surfaces via their coamoeba projection. By the work developed in Sects. 4.1.2, 4.1.3, 4.3, the construction of such dimer model, with the additional \(\rho _2\) information, will be enough to ensure that we obtain two disjoint symplectic surfaces.

As before we take \({{{\varvec{w}}}}_1 = (1,0)\), and we use the following algorithm to construct the dimer model, which concludes Proposition 4.22.

Algorithm for the Dimer Model:

  1. Step 1

    Color the \({{{\varvec{w}}}}_1\) cycles red, \({{{\varvec{w}}}}_2\) cycles blue, \({{{\varvec{w}}}}_3\) cycles green.

  2. Step 2

    For each of the \(|d| = m_1m_2 |{{{\varvec{w}}}}_1 \wedge {{{\varvec{w}}}}_2|\) intersections between the red and blue cycles of the original curve, draw cycles linking both blue and red cycles, as illustrated in Fig. 22a, in the same pattern. Color \(\delta _1\) of them red and the other \(\delta _2\) of them blue.

  3. Step 3

    Consider a new green cycle, parallel to the original green, constructed as a positive shift in, say, the \(\phi _2\) coordinate of the amoeba (the \(\phi _i\)-coordinates being the coamoeba coordinates as in the notation of Proposition 4.9).

  4. Step 4

    Replace the red/blue links of Step 2, by chains of the same color, “linking” the corresponding original curve, with one end on the new green cycle and crossing the original blue and red cycle twice, to the left of the new green cycle. The first crossing is above and the second below the original dimer, with respect to the \(\rho _2\) coordinate, as illustrated in Fig. 22b.

  5. Step 5

    For each red/blue linking chain, we connect its “tail” with the “head” of the adjacent chain of the same color, using a red/blue 1-chain parallel to the original chain of the same color, forming the new red/blue cycles as illustrated in Fig. 22c.

  6. Step 6

    Paint the regions that were created by the new green, red and blue cycles, passing below or above the original dimer accordingly, as illustrated in Fig. 22d.

\(\square \)

Remark 4.23

We could allow linkings for the \({{{\varvec{w}}}}_3\) cycles, provided the total linking is still d. This is not needed for our purposes, and it would make the construction algorithm more intricate. \(\square \)

Remark 4.24

After getting the two surfaces of Proposition 4.22, one can actually run an analogous algorithm to get yet a third, fourth and n-th surfaces, disjoint from the previous ones, with boundary so that the green cycle is parallel to the previous green cycles, and the red/blue cycles links each red/blue cycles of the previous surfaces \(\delta _1\)/\(\delta _2\) times. For that, one just needs to replicate the intersection pattern of the n-th red/blue curve, with the previous \((n-1)\) ones. \(\square \)

Now assume that we arrive at the surface near the interior node, constructed in Proposition 4.9, with \(m_3\) straight (green) \({{{\varvec{w}}}}_3\) cycles, parallel to the original one, and \(m_1\) (red) \({{{\varvec{w}}}}_1\) cycle, linking the original curve c times. We can adjust the new red curves, so that the curves arrive linking the dimer model over one red/blue vertex as in Fig. 23a.

Proposition 4.25

Consider the above setup and \(d\in {\mathbb {N}}\) as in Proposition 4.22. Then there exists a symplectic surface connecting the \(m_3\) \({{{\varvec{w}}}}_3\)-cycles (green) and \(m_1\) \({{{\varvec{w}}}}_1\)-cycles (red), with \(m_2\) \({{{\varvec{w}}}}_2\)-cycles (blue), linking the original \({{{\varvec{w}}}}_2\)-cycles \((c + d)\) times.

Fig. 23
figure 23

How linking can change for non-intersecting symplectic surfaces near the interior vertex of a STC. Picture b is a zoomed version around the node with red links. The blue curve is a bit rotated for visual purposes

Proof

At each vertex having the linking of the red curves, we construct a local model as illustrated by Fig. 23a, b. We note that the new blue chain links the original blue at the red linking number plus 1. In Fig. 23, the red cycles are linking 4 times and the new blue cycle links 5 times the original blue cycle. (A generalization of the picture is clear.) Now we add blue links to the remaining intersections of the originals blue and red curves, as in Step 2 of the algorithm of Proposition 4.22. Then we can run Step 5, Step 6 of the above algorithm in an analogous fashion, noting that the local model of Fig. 23b is well adapted for that. \(\square \)

Remark 4.26

As in Remark 4.24, let us assume that we have arrived to a 3rd set of \(m_1\) red cycles (correspondingly 4th,...,nth), each linking \(c'\) times one red cycle for each of the previous surfaces, and a 3rd set of \(m_3\) green cycles (correspondingly 4th,...,nth), parallel to the green cycles of the previous surfaces. By inspecting Fig. 23a, b, now imagining that the red surface represents the two previously constructed surfaces (correspondingly three,..., and \(n-1\) surfaces), close to each other, and the third surface is represented by the blue surface in Fig. 23b (correspondingly by the 4th,..., and nth surface). As in the proof of Proposition 4.25, after the initial adjustment of concentrating the several red links in one node as before, we can locally construct the third blue link (correspondingly 4th,...,nth) in a manner that locally links all other previous blue cycles with linking number being the local red linking number plus one, i.e. with linking number \(c' + 1\). Close to the boundary of the local region, the third local surface will lay above the previous two surfaces (similarly above the previous three,..., and \(n-1\) surfaces). Hence we can globally construct the third surface as in the proof of Proposition 4.25 (and similarly with the 4th,..., and nth surfaces). \(\square \)

Getting chains of symplectic-tropical curves

Let us apply the results of Sect. 4.4 to construct the required chains of symplectic-tropical curves used in Theorem 3. There are three cases, corresponding to \(\mathbb {CP}^1\times \mathbb {CP}^1\), \(Bl_3(\mathbb {CP}^2)\) and \(Bl_4(\mathbb {CP}^2)\), which we now analyze.

The case of \(\mathbb {CP}^1\times \mathbb {CP}^1\).

Consider the triangular-shaped ATF of the symplectic monotone \(\mathbb {CP}^1 \times \mathbb {CP}^1\), with a smooth corner, associated to a solution of the Diophantine equation

$$\begin{aligned} 1 + q^2 + 2r^2 = 4qr. \end{aligned}$$

Let \({\mathfrak {N}}\) be a neighborhood of the edge opposite the smooth corner —where the frozen vertex is located—and consider its associated cuts, as in Sect. 4.2.1.

Proposition 4.27

There is a 2-chain of symplectic-tropical curves inside the edge neighborhood \({\mathfrak {N}}\), such that the associated symplectic curves belong to the classes \(H_1\) and \(H_2\), and have total intersection number one, i.e., equal to their topological intersection.

Proof

We need to revisit the specific combinatorics in this situation. The associated Markov type equation of interest is \(1 + q^2 + 2r^2 = 4qr.\) From Eq. (4–5), we see that the determinant between the associated vectors \(v = (-r,m)\) and \(w = (q, -l)\) is \(v \wedge w = 2\). It follows from the corresponding Vieta jumping (Proposition 3.9) that \(q = 2a + 1\) and \(r = 2b +1\) are odd. Hence, we can rewrite the balancing condition as:

figure j

where \(u = av + bw + (0,1)\). We readily see that \(w \wedge u = u \wedge v = 1\). In consequence, we are allowed to use the vectors \(\pm u\), with each of the vectors v and w as in Proposition 4.19. Finally, we look at

$$\begin{aligned} u \wedge (0,1) = -\frac{q-1}{2}r + \frac{r-1}{2}q = \frac{r - q}{2}. \end{aligned}$$

Assume that \(q > r\), so that u points to the left. Then we deduce that

$$\begin{aligned} 2v - u \wedge (0,1) = \frac{q -5r}{2} < 0, \end{aligned}$$

because \(1 + 2r^2 = q(4r - q)\), so \(q < 4r\).

Fig. 24
figure 24

STCs in classes \(H_1\), \(H_2\) in a neighborhood \({\mathfrak {N}}\) of the edge opposite to the smooth corner in an arbitrary ATF of \(\mathbb {CP}^1 \times \mathbb {CP}^1\) associated with a solution of \(1 + q^2 + 2r^2 = 4qr\)

Now, Fig. 24 is a depiction of the chain of symplectic spheres in \({\mathfrak {N}}\) in classes \(H_1\) and \(H_2\). The intersection is depicted by a star. The top picture records the homology classes of the cycles corresponding to each edge. The bottom picture records the linking between the two cycles obtained by applying Propositions 4.22 and 4.25. We note that we get the Markov equation as a compatibility equation for the interior vertice associated with the 2(0, 1) cycles. Indeed, since \(qv\wedge rw = 2qr\), we must have

$$\begin{aligned} 2qr = r^2 + a + 1 + aq = \frac{2r^2 + q - 1 + 2 + (q-1)q}{2} = \frac{2r^2 + q^2 + 1}{2}. \end{aligned}$$

In the case \(r > q\), we replace the vector u by \(-u\) in Fig. 24, and note that \(u \wedge (0,1) > 0\) and

$$\begin{aligned} 2v + u \wedge (0,1) = \frac{-q -3r}{2} < 0. \end{aligned}$$

The case \(r = q\) is depicted in Fig. 20. \(\square \)

Remark 4.28

The construction obtained by the above picture in Fig. 24 is equivalent to the construction of two (geometrically) disjoint copies of the \(H_1\) class, to which we can apply a Dehn twist with respect to the visible Lagrangian 2-sphere. \(\square \)

The case of \(Bl_3(\mathbb {CP}^2)\).

Let us now consider a triangular-shaped ATF for the symplectic 4-manifold \(Bl_3(\mathbb {CP}^2)\), with a smooth corner, associated to a solution of the Diophantine equation

$$\begin{aligned} 1 + 2q^2 + 3r^2 = 6qr, \end{aligned}$$

\({\mathfrak {N}}\) a neighborhood of the edge opposite the smooth corner, and its associated cuts, as in Sect. 4.2.1. In this case, the required chain of symplectic surfaces reads:

Proposition 4.29

There exists a 4-chain of symplectic-tropical curves inside the edge neighborhood \({\mathfrak {N}}\) whose associated symplectic curves lie in the exceptional classes \(E_1\), \(E_2\), \(B_2 = H - E_1 - E_3\) and \(B_3 = H - E_1 - E_2\), and the intersection between two of them equals their geometric intersection.

Proof

From Eq. (4–5), we deduce that the determinant between associated vectors \(v = (-r,m)\) and \(w = (q, -l)\) is \(v \wedge w = 1\). From the corresponding Vieta jumping (Proposition 3.9), we obtain that \(q^2 \equiv -1 \mod 3\), and thus \(q \equiv 1\) or \(2 \mod 3\), and \(r \equiv 1 \mod 2\).

Fig. 25
figure 25

STCs in classes \(E_1\), \(E_2\), \(B_2\) and \(B_3\) in a neighborhood \({\mathfrak {N}}\) of the edge opposite to the smooth corner in a arbitrary ATF of \(Bl_3(\mathbb {CP}^2)\) associated with a solution of \(1 + 2q^2 + 3r^2 = 6qr\)

Figure 25 illustrates the case \(q = 3a + 1\), \(r=2b +1\). As before, the intersection is depicted by a star in the bottom picture, and occurs exactly as we change the linking number between cycles. The top picture records the homology classes of the cycles corresponding to each edge. The bottom picture records the linking between the two cycles by applying Propositions 4.22 and 4.25. In this case, the linking numbers \(\delta \) and \(\varepsilon \), will depend on the curves we are taking into account. We have that \(\varepsilon ,\delta \in \{0,1\}\) and \(\delta + \varepsilon = 1\). The compatibility condition becomes:

$$\begin{aligned} qr&= b + \varepsilon +br + a + \delta +aq = \frac{ 3(r-1)(r+1) + 6 + 2(q - 1)(q+1)}{6} \\&= \frac{3r^2 + 2q^2 + 1}{6} \end{aligned}$$

Figure 26 illustrates the second case \(q = 3a + 2\), \(r=2b +1\). In this case, we have \(\varepsilon \in \{0,1\}\), \(\delta \in \{1,2\}\) and \(\delta + \varepsilon = 2\), where the compatibility becomes:

$$\begin{aligned} qr&= b + \varepsilon +br + 2a + \delta +aq = \frac{ 3(r-1)(r+1) + 12 + 2(q-2)(q+2)}{6}\\&= \frac{3r^2 + 2q^2 + 1}{6}, \end{aligned}$$

as required. This concludes the construction for the case of \(Bl_3(\mathbb {CP}^2)\). \(\square \)

Fig. 26
figure 26

STCs in classes \(E_1\), \(E_2\), \(B_2\) and \(B_3\) in a neighborhood \({\mathfrak {N}}\) of the edge opposite to the smooth corner in a arbitrary ATF of \(Bl_3(\mathbb {CP}^2)\) associated with a solution of \(1 + 2q^2 + 3r^2 = 6qr\)

Fig. 27
figure 27

STCs in classes \(A_1\), \(A_2\) and \(A_5\) in a neighborhood \({\mathfrak {N}}\) of the edge opposite to the smooth corner in a arbitrary ATF of \(Bl_4(\mathbb {CP}^2)\) associated with a solution of \(1 + q^2 + 5r^2 = 5qr\)

Fig. 28
figure 28

STCs in classes \(A_1\), \(A_2\) and \(A_5\) in a neighborhood \({\mathfrak {N}}\) of the edge opposite to the smooth corner in a arbitrary ATF of \(Bl_4(\mathbb {CP}^2)\) associated with a solution of \(1 + q^2 + 5r^2 = 5qr\)

The case of \(Bl_4(\mathbb {CP}^2)\).

Finally, we consider a triangular-shaped ATF for the symplectic surface \(Bl_4(\mathbb {CP}^2)\), with a smooth corner, associated to a solution of the Diophantine equation

$$\begin{aligned} 1 + q^2 + 5r^2 = 5qr, \end{aligned}$$

\({\mathfrak {N}}\) a neighborhood of the edge opposite the smooth corner, together with the associated cuts, as in Sect. 4.2.1. The required chain of symplectic curves is obtained in the following

Proposition 4.30

There exists a 3-chain of symplectic-tropical curves inside the edge neighborhood \({\mathfrak {N}}\) whose associated symplectic curves belong to the exceptional classes \(A_1 = H - E_1 - E_4\), \(A_2 = E_4\), and \(A_5 = E_1\), and their pairwise intersections equal their geometric intersections.

Proof

Let us revisit the specific combinatorics of the situation: the associated Markov type equation of interest is \(1 + q^2 + 5r^2 = 5qr\), and from Eq. (4–5), the determinant between the associated vectors \(v = (-r,m)\) and \(w = (q, -l)\) is \(v \wedge w = 1\). As above, Proposition 3.9 shows that \(q^2 \equiv -1 \mod 5\), and thus \(q \equiv 2\) or \(3 \mod 5\). Figure 27 shows the case \(q = 2 + 5a\).

As before, we have the compatibility associated with the (0, 1) cycles, using \(qv\wedge rw = qr\), and giving the associated Diophantine equation:

$$\begin{aligned} qr = r^2 + 2a + 1 + aq = \frac{5r^2 + (q - 2)(q+2) + 5}{5} = \frac{5r^2 + q^2 + 1}{5}. \end{aligned}$$

For the second case, Fig. 28 shows the case \(q = 3 + 5a\), and the compatibility becomes:

$$\begin{aligned} qr = r^2 + 3a + 2 + aq = \frac{5r^2 + (q - 3)(q+3) + 10}{5} = \frac{5r^2 + q^2 + 1}{5}. \end{aligned}$$

This concludes the verification for the case of \(Bl_4(\mathbb {CP}^2)\). \(\square \)

Notes

  1. See Definition 4.1 for a precise description of symplectic-tropical curves. They are a generalization of the tropical diagrams in [47, 48] for symplectic surfaces and Lagrangian fibrations with singular nodal fibers.

  2. The mutation of an almost toric base is a different almost toric base with the property that, under the construction of [37] (or see Sect. 2.3), the symplectic 4-manifolds associated to both bases will coincide—for the basics on cut transfers, see [55, 56].

  3. See a previous version of this manuscript on the arXiv for the former.

  4. A real symplectic surface, i.e. two real dimensions.

  5. A dimer model [33] is a bipartite graph, and we name half of the vertices black and the other half white, so edges connect a black vertex to a white one.

  6. Namely, there is an excess of pairs of intersections with opposite signs.

  7. For us \({{{\varvec{w}}}}\wedge {{{\varvec{v}}}}\) denotes the determinant of the two vectors in \({\mathbb {R}}^2\).

References

  1. Akhtar, M., Kasprzyk, A.M.: Singularity content. arXiv:1401.5458, (2014)

  2. Akhtar, M., Coates, T., Galkin, S., Kasprzyk, A.M.: Minkowski polynomials and mutations. SIGMA Symmetry Integrability Geom. Methods Appl., 8:Paper 094, 17 (2012)

  3. Akhtar, M. E., Kasprzyk, A. M.: Mutations of fake weighted projective planes. Proc. Edinb. Math. Soc. (2), 59(2):271–285 (2016)

  4. Arnol’d, V.I.: Mathematical methods of classical mechanics, volume 60 of Graduate Texts in Mathematics. Springer-Verlag, New York, [1989]. Translated from the 1974 Russian original by K. Vogtmann and A. Weinstein, Corrected reprint of the second (1989) edition

  5. Borman, M.S., Li, T.-J., Weiwei, W.: Spherical Lagrangians via ball packings and symplectic cutting. Selecta Math. (N.S.) 20(1), 261–283 (2014)

    MathSciNet  Article  Google Scholar 

  6. Brugallé, E., Itenberg, I., Mikhalkin, G., Shaw, K.: Brief introduction to tropical geometry. In Proceedings of the Gökova Geometry-Topology Conference 2014, pp.-75. Gökova Geometry/Topology Conference (GGT), Gökova, (2015)

  7. Choi, K., Cristofaro-Gardiner, D., Frenkel, D., Hutchings, M., Ramos, V.G.B.: Symplectic embeddings into four-dimensional concave toric domains. J. Topol. 7(4), 1054–1076 (2014)

    MathSciNet  Article  Google Scholar 

  8. Cristofaro-Gardiner, D.: Symplectic embeddings from concave toric domains into convex ones. J. Differential Geom. 112(2), 199–232 (2019)

    MathSciNet  Article  Google Scholar 

  9. Cristofaro-Gardiner, D.: Symplectic embeddings from concave toric domains into convex ones. J. Differential Geom., 112(2):199–232, (2019). With an appendix by Cristofaro-Gardiner and Keon Choi

  10. Cristofaro-Gardiner, D: Ehrhart polynomials and symplectic embeddings of ellipsoids. J Lon.Math. Soc., 112 (2020)

  11. Cristofaro-Gardiner, D. Holm, T. S., Mandini, Alessia, Pires, Ana Rita: Infinite staircases and reflexive polygons. arXiv (2020)

  12. Feng, B., He, Y.-H., Kennaway, K.D., Vafa, C.: Dimer models from mirror symmetry and quivering amoebae. Adv. Theor. Math. Phys. 12(3), 489–545 (2008)

    MathSciNet  Article  Google Scholar 

  13. Fock, V.V., Goncharov, A.B.: Cluster ensembles, quantization and the dilogarithm. Ann. Sci. Éc. Norm. Supér. (4), 42(6):865–930 (2009)

  14. Fomin, S., Zelevinsky, A.: Cluster algebras. I. Foundations. J. Am. Math. Soc. 15(2), 497–529 (2002)

    MathSciNet  Article  Google Scholar 

  15. Forsgård, J.: On dimer models and coamoebas. Ann. Inst. Henri Poincaré D 6(2), 199–219 (2019)

    MathSciNet  Article  Google Scholar 

  16. Frenkel, D., Müller, D.: Symplectic embeddings of 4-dim ellipsoids into cubes. J. Symplectic Geom. 13(4), 765–847 (2015)

    MathSciNet  Article  Google Scholar 

  17. Fulton, W.: Introduction to toric varieties, volume 131 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ (1993). The William H. Roever Lectures in Geometry

  18. Galkin, S., Usnich, A.: Mutations of potentials. Preprint IPMU 10-0100, 201

  19. Gorodentsev, A.L., Rudakov, A.N.: Exceptional vector bundles on projective spaces. Duke Math. J. 54(1), 115–130 (1987)

    MathSciNet  Article  Google Scholar 

  20. Gromov, M.: Pseudo holomorphic curves in symplectic manifolds. Invent. Math. 82(2), 307–347 (1985)

    MathSciNet  Article  Google Scholar 

  21. Gross, M.: Tropical geometry and mirror symmetry, volume 114 of CBMS Regional Conference Series in Mathematics. Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI (2011)

  22. Gulotta, D.R.: Properly ordered dimers, \(R\)-charges, and an efficient inverse algorithm. J. High Energy Phys., (10):014 (2008)

  23. Hacking, P., Prokhorov, Y.: Smoothable del pezzo surfaces with quotient singularities. Compos. Math. 146(1), 169–192 (2010)

    MathSciNet  Article  Google Scholar 

  24. Hicks, J.: Tropical Lagrangians and Homological Mirror Symmetry. arXiv:1904.06005 (2019)

  25. Hind, R.: Lagrangian unknottedness in Stein surfaces. Asian J. Math. 16(1), 1–36 (2012)

    MathSciNet  Article  Google Scholar 

  26. Hutchings, M.: Embedded contact homology and its applications. In Proceedings of the International Congress of Mathematicians. Vol. II, pp. 1022–1041. Hindustan Book Agency, New Delhi (2010)

  27. Hutchings, M.: Quantitative embedded contact homology. J. Differ. Geom. 88(2), 231–266 (2011)

    MathSciNet  Article  Google Scholar 

  28. Hutchings, M.: Lecture notes on embedded contact homology. In Contact and Symplectic Topology, Volume 26 of Bolyai Soc. Math. Stud., pages 389–484. János Bolyai Math. Soc., Budapest (2014)

  29. Hutchings, M.: Beyond ECH capacities. Geom. Topol. 20(2), 1085–1126 (2016)

    MathSciNet  Article  Google Scholar 

  30. Ilten, N.O.: Deformations of smooth toric surfaces. Manuscripta Math. 134(1–2), 123–137 (2011)

    MathSciNet  Article  Google Scholar 

  31. Ilten, N.O., Vollmert, R.: Deformations of rational \(T\)-varieties. J. Algebraic Geom. 21(3), 531–562 (2012)

    MathSciNet  Article  Google Scholar 

  32. Kasprzyk, A., Nill, B., Prince, T.: Minimality and mutation-equivalence of polygons. Forum Math. Sigma 5, e18, 48 (2017)

    MathSciNet  Article  Google Scholar 

  33. Kasteleyn, P.W.: Graph theory and crystal physics. In Graph Theory and Theoretical Physics, pages 43–110. Academic Press, London, (1967)

  34. Lalonde, F., McDuff, D.: The classification of ruled symplectic \(4\)-manifolds. Math. Res. Lett. 3(6), 769–778 (1996)

    MathSciNet  Article  Google Scholar 

  35. Latschev, J., McDuff, D., Schlenk, F.: The Gromov width of 4-dimensional tori. Geom. Topol. 17(5), 2813–2853 (2013)

    MathSciNet  Article  Google Scholar 

  36. Lee, W., Yong-Geun, O., Vianna, R.: Asymptotic behavior of exotic Lagrangian tori \(T_{a, b, c}\) in \({\mathbb{CP}}^2\) as \(a + b + c\rightarrow \infty \). J. Symplectic Geom. 19(3), 607–634 (2021)

    MathSciNet  Article  Google Scholar 

  37. Leung, N.C., Symington, M.: Almost toric symplectic four-manifolds. J. Symplectic Geom. 8(2), 143–187 (2010)

    MathSciNet  Article  Google Scholar 

  38. Li, J., Li, T.-J., Weiwei, W.: The symplectic mapping class group of \({\mathbb{CP}}^2\#n\overline{{\mathbb{CP}}^2}\) with \(n \le 4\). Michigan Math. J. 64(2), 319–333 (2015)

    MathSciNet  Article  Google Scholar 

  39. Li, T.-J., Weiwei, W.: Lagrangian spheres, symplectic surfaces and the symplectic mapping class group. Geom. Topol. 16(2), 1121–1169 (2012)

    MathSciNet  Article  Google Scholar 

  40. Manetti, M.: Normal degenerations of the complex projective plane. J. Reine Angew. Math. 419, 89–118 (1991)

    MathSciNet  MATH  Google Scholar 

  41. McDuff, D.: Rational and ruled symplectic \(4\)-manifolds. In Geometry of Low-dimensional Manifolds, 2 (Durham, 1989), volume 151 of London Math. Soc. Lecture Note Ser., pp. 7–14. Cambridge Univ. Press, Cambridge, (1990)

  42. McDuff, D.: The structure of rational and ruled symplectic \(4\)-manifolds. J. Am. Math. Soc. 3(3), 679–712 (1990)

    MathSciNet  Article  Google Scholar 

  43. McDuff, D.: Symplectic embeddings of 4-dimensional ellipsoids. J. Topol. 2(1), 1–22 (2009)

    MathSciNet  Article  Google Scholar 

  44. McDuff, D., Schlenk, F.: The embedding capacity of 4-dimensional symplectic ellipsoids. Ann. Math. (2) 175(3), 1191–1282 (2012)

    MathSciNet  Article  Google Scholar 

  45. Mikhalkin, G.: Amoebas of algebraic varieties and tropical geometry. In Different Faces of Geometry, volume 3 of Int. Math. Ser. (N. Y.), pp. 257–300. Kluwer/Plenum, New York (2004)

  46. Mikhalkin, G.: Decomposition into pairs-of-pants for complex algebraic hypersurfaces. Topology 43(5), 1035–1065 (2004)

    MathSciNet  Article  Google Scholar 

  47. Mikhalkin, G.: Enumerative tropical algebraic geometry in \({\mathbb{R}}^2\). J. Am. Math. Soc. 18(2), 313–377 (2005)

    Article  Google Scholar 

  48. Mikhalkin, G.: Tropical geometry and its applications. In International Congress of Mathematicians. Vol. II, pp. 827–852. European Mathematical Society, Zürich (2006)

  49. Rudakov, A.N.: Markov numbers and exceptional bundles on \(P^2\). Izv. Akad. Nauk SSSR Ser. Mat. 52(1), 100–112, 240 (1988)

    Google Scholar 

  50. Rudakov, A.N.: Exceptional vector bundles on a del pezzo surface. In Algebraic geometry and its applications (Yaroslavl , 1992), Aspects Math., E25, pp. 177–182. Friedr. Vieweg, Braunschweig (1994)

  51. Schlenk, F.: Symplectic embedding problems, old and new. Bull. Amer. Math. Soc. (N.S.) 55(2), 139–182 (2018)

    MathSciNet  Article  Google Scholar 

  52. Symington, M.: Four dimensions from two in symplectic topology. In Topology and Geometry of Manifolds (Athens, GA, 2001), volume 71 of Proc. Sympos. Pure Math., pp. 153–208. Amer. Math. Soc., Providence, RI, (2003)

  53. Usher, M.: Infinite staircases in the symplectic embedding problem for four-dimensional ellipsoids into polydisks. Algebr. Geom. Topol. 19(4), 1935–2022 (2019)

    MathSciNet  Article  Google Scholar 

  54. Vianna, R.: On exotic Lagrangian tori in \(\mathbb{CP}^2\). Geom. Topol. 18(4), 2419–2476 (2014)

    MathSciNet  Article  Google Scholar 

  55. Vianna, R.: Infinitely many exotic monotone Lagrangian tori in \(\mathbb{CP}^2\). J. Topol. 9(2), 535–551 (2016)

    MathSciNet  Article  Google Scholar 

  56. Vianna, R.: Infinitely many monotone Lagrangian tori in del Pezzo surfaces. Selecta Math. (NS) 23(3), 1955–1996 (2017)

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

We are grateful to Dan Cristofaro-Gardiner, Richard Hind, Liana Heuberger, Jeff Hicks, Tara Holm, Alessia Mandini, Dusa McDuff, Navid Nabijou, Ana Rita Pires, Laura Starkston and Weiwei Wu for valuable discussions. R. Casals is supported by the NSF grant DMS-1841913, the NSF CAREER Award DMS-1942363, an Alfred P. Sloan Fellowship and a BBVA Research Fellowship. R. Vianna’s participation at the Matrix program on the Mirror Symmetry and Tropical Geometry at Creswick, Australia was significant for the development of technical aspects of symplectic-tropical curves in Sect. 4. R. Vianna is supported by Brazil’s National Council of scientific and technological development CNPq, via the research fellowships 405379/2018-8 and 306439/2018-2, and by the Serrapilheira Institute grant Serra-R-1811-25965. \(\square \)

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Roger Casals.

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/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Casals, R., Vianna, R. Full ellipsoid embeddings and toric mutations. Sel. Math. New Ser. 28, 61 (2022). https://doi.org/10.1007/s00029-022-00765-3

Download citation

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s00029-022-00765-3

Mathematics Subject Classification

  • 53D05
  • 53D20
  • 14M25