We prove the Hamiltonian unknottedness of real Lagrangian tori in the monotone $S^2\times S^2$, namely any real Lagrangian torus in $S^2\times S^2$ is Hamiltonian isotopic to the Clifford torus $\mathbb{T}_{\text{Clif}}$. The proof is based on a neck-stretching argument, Gromov's foliation theorem, and the Cieliebak-Schwingenheuer criterion.
We prove that a monotone Lagrangian torus in $S^2\times S^2$ which suitably sits in a symplectic fibration with two sections in its complement is Hamiltonian isotopic to the Clifford torus.
We show the smooth version of the nearby Lagrangian conjecture for the 2-dimensional pair of pants and the Hamiltonian version for the cylinder. In other words, for any closed exact Lagrangian submanifold of $T^{*}M$, there is a smooth or Hamiltonian isotopy, when $M$ is a pair of pants or a cylinder respectively, from it to the 0-section. For the cylinder we modify a result of G. Dimitroglou Rizell for certain Lagrangian tori to show that it gives the Hamiltonian isotopy for a Lagrangian cylinder. For the pair of pants, we first study some results from pseudo-holomorphic curve theory and the …
In this paper we show that there exist simply connected symplectic 4-manifolds which contain infinitely many knotted lagrangian tori, i.e. lagrangian embeddings of tori that are homotopic but not isotopic. Moreover, the homology class they represent can be assumed to be nontrivial and primitive. This answers a question of Eliashberg and Polterovich.
In this paper we prove the connectedness of symplectic ball packings in the complement of a spherical Lagrangian, S^2 or RP^2, in symplectic manifolds that are rational or ruled. Via a symplectic cutting construction this is a natural extension of McDuff's connectedness of ball packings in other settings and this result has applications to several different questions: smooth knotting and unknottedness results for spherical Lagrangians, the transitivity of the action of the symplectic Torelli group, classifying Lagrangian isotopy classes in the presence of knotting, and detecting Floer-theoreti…
We define new Hamiltonian isotopy invariants for a monotone Lagrangian torus embedded in a symplectic 4-manifold. We show that, in the standard symplectic 4-space, these invariants distinguish a monotone Clifford torus from a Chekanov torus.
We show that for $n\geq 2$ there exists an exact Lagrangian submanifold $L$ in the cotangent bundle $T^*\mathbb{T}^n$ of the $n$-dimensional torus $\mathbb{T}^n$ such that $L$ is symplectically but not Hamiltonian isotopic to the zero section of $T^*\mathbb{T}^n$.
We discuss the properties of a certain type of Dehn surgery along a Lagrangian torus in a symplectic 4-manifold, known as Luttinger's surgery, and use this construction to provide a purely topological interpretation of a non-isotopy result for symplectic plane curves with cusp and node singularities due to Moishezon.
We consider two natural Lagrangian intersection problems in the context of symplectic toric manifolds: displaceability of torus orbits and of a torus orbit with the real part of the toric manifold. Our remarks address the fact that one can use simple cartesian product and symplectic reduction considerations to go from basic examples to much more sophisticated ones. We show in particular how rigidity results for the above Lagrangian intersection problems in weighted projective spaces can be combined with these considerations to prove analogous results for all monotone toric symplectic manifolds…
We determine the Lagrangian monodromy group L(T) and the smooth monodromy group S(T) of a Clifford torus T in the symplectic 4-space. We show that L(T) is isomorphic to the infinite dihedral group, and S(T) is generated by three reflections. We give explicit formulas for both groups. We also show that if a Lagrangian torus is smoothly isotopic to a Clifford torus then the smooth isotopy can be chosen to be Lagrangian outside of a disc.
We define an simple invariant of an embedded nullhomologous Lagrangian torus and use this invariant to show that many symplectic 4-manifolds have infinitely many pairwise symplectically inequivalent nullhomologous Lagrangian tori. We further show that for a large class of examples that lambda(T) is actually a C-infinity invariant. In addition, this invariant is used to show that many symplectic 4-manifolds have nontrivial homology classes which are represented by infinitely many pairwise inequivalent Lagrangian tori, a result first proved by S Vidussi for the homotopy K3-surface obtained from …
In this article, using the idea of toric degeneration and the computation of the full potential function of Hirzebruch surface $F_2$, which is \emph{not} Fano, we produce a continuum of Lagrangian tori in $S^2 \times S^2$ which are non-displaceable under the Hamiltonian isotopy.
The Milnor fibre of any isolated hypersurface singularity contains many exact Lagrangian spheres: the vanishing cycles associated to a Morsification of the singularity. Moreover, for simple singularities, it is known that the only possible exact Lagrangians are spheres. We construct exact Lagrangian tori in the Milnor fibres of all non-simple singularities of real dimension four. This gives examples of Milnor fibres whose Fukaya categories are not generated by vanishing cycles. Also, this allows progress towards mirror symmetry for unimodal singularities, which are one level of complexity up f…
We construct monotone Lagrangian tori in the standard symplectic vector space, in the complex projective space and in products of spheres. We explain how to classify these Lagrangian tori up to symplectomorphism and Hamiltonian isotopy, and how to show that they are not displaceable by Hamiltonian isotopies.
We introduce the notion of a local torus action modeled on the standard representation (for simplicity, we call it a local torus action). It is a generalization of a locally standard torus action and also an underlying structure of a locally toric Lagrangian fibration. For a local torus action, we define two invariants called a characteristic pair and an Euler class of the orbit map, and prove that local torus actions are classified topologically by them. As a corollary, we obtain a topological classification of locally standard torus actions, which is a generalization of the topological class…
This small note contains two simple remarks about Bohr - Sommerfeld with respect to the anticanonical class lagrangian tori in the projective spaces, which are the most popular examples of monotone symplectic manifolds.
We prove the existence of a one-parameter family of nondisplaceable Lagrangian tori near a linear chain of Lagrangian 2-spheres in a symplectic 4-manifold. When the symplectic structure is rational we prove that the deformed Floer cohomology groups of these tori are nontrivial. The proof uses the idea of toric degeneration to analyze the full potential functions with bulk deformations of these tori.
Product Lagrangian tori in standard symplectic space $R^{2n}$ were classified up to symplectomorphism in [Che96]. We extend this classification to tame symplectically aspherical symplectic manifolds. We show by examples that the asphericity assumption cannot be omitted.
We prove some results about linking of Lagrangian tori in the symplectic vector space $(\mathbb{R}^4, ω)$. We show that certain enumerative counts of holomophic disks give useful information about linking. This enables us to prove, for example, that any two Clifford tori are unlinked in a strong sense. We extend work of Dimitroglou Rizell and Evans on linking of monotone Lagrangian tori to a class of non-monotone tori in $\mathbb{R}^4$ and also strengthen their conclusions in the monotone case in $\mathbb{R}^4$.
We extract from a toric model of the Chekanov-Schlenk exotic torus in $\mathbb{CP}^2$ methods of construction of Lagrangian submanifolds in toric symplectic manifolds. These constructions allow for some control of the monotonicity. We recover this way some known monotone Lagrangians in the toric symplectic manifolds $\mathbb{CP}^2$ and $\mathbb{CP}^1 \times \mathbb{CP}^1$ as well as new examples.
An effective class in a closed symplectic four-manifold $(X, ω)$ is a two-dimensional homology class which is realized by a $J$-holomorphic cycle for every tamed almost complex structure $J$. We prove that effective classes are orthogonal to Lagrangian tori in $H_2 (X ; \Bbb{Z})$.
We construct an exotic monotone Lagrangian torus in CP^2 using techniques motivated by mirror symmetry. We show that it bounds 10 families of Maslov index 2 holomorphic discs, and it follows that this exotic torus is not Hamiltonian isotopic to the known Clifford and Chekanov tori.
In this note, we prove that two constructions of exotic monotone Lagrangian tori, namely the one by Chekanov and Schlenk and the one obtained by the circle bundle construction of Biran are Hamiltonian isotopic in $\mathbb{C}P^2$ and $S^2 \times S^2$.
Given a fibration of a symplectic manifold by lagrangian tori, we show that each symplectic vector field splits into two parts : the first is Hamiltonian and the second is symplectic and preserves the fibration. We then show an application of this result in the study of the regular deformations of completely integrable systems.
We study the question of how many embedded symplectic or Lagrangian tori can represent the same homology class in a simply connected symplectic 4-manifold.
We construct infinitely many families of monotone Lagrangian tori in $\mathbb{R}^6$, no two of which are related by Hamiltonian isotopies (or symplectomorphisms). These families are distinguished by the (arbitrarily large) numbers of families of Maslov index 2 pseudo-holomorphic discs that they bound.
Can a given Lagrangian submanifold be realized as the fixed point set of an anti-symplectic involution? If so, it is called \emph{real}. We give an obstruction for a closed Lagrangian submanifold to be real in terms of the displacement energy of nearby Lagrangians. Applying this obstruction to toric fibres, we obtain that the central fibre of many (and probably all) toric monotone symplectic manifolds is real only if the corresponding moment polytope is centrally symmetric. Furthermore, we embed the Chekanov torus in all toric monotone symplectic manifolds and show that it is exotic and not re…
We use Floer cohomology to prove the monotone version of a conjecture of Audin: the minimal Maslov number of a monotone Lagrangian torus in C^n is 2. Our approach is based on the study of the quantum cup product on Floer cohomology and in particular the behaviour of Oh's spectral sequence with respect to this product. As further applications we prove existence of holomorphic disks with boundaries on Lagrangians as well as new results on Lagrangian intersections.
In recent papers, summarized in survey [1], we construct a number of examples of non standard lagrangian tori on compact toric varieties and as well on certain non toric varieties which admit pseudotoric structures. Using this pseudotoric technique we explain how non standard lagrangian tori of Chekanov type can be constructed and what is the topological difference between standard Liouville tori and the non standard ones. However we have not discussed the natural question about the periods of the constructed twist tori; in particular the monotonicity problem for the monotonic case was not stu…
We compute the Lagrangian Floer cohomology groups of certain tori in closed simply connected symplectic 4-manifolds arising from Fintushel-Stern knot surgery. These manifolds are usually not symplectically aspherical. As a result of the computation we observe examples where $HF(L_0)\cong HF(L_1)$ and $L_0$ and $L_1$ are smoothly isotopic but $L_0,L_1$ are not symplectically isotopic and are distinguished by $HF(L_0,L_1)$.
We study the Lagrangian quantum homology of real parts of Fano toric manifolds of minimal Chern number at least 2, using coefficients in a ring of Laurent polynomials over Z/2Z. We show that these Lagrangians are wide, in the sense that their quantum homology is isomorphic as a module to their classical homology tensored with this ring. Moreover, we show that the quantum homology is isomorphic as a ring to the quantum homology of the ambient symplectic manifold.
We classify weakly exact, rational Lagrangian tori in $T^* \mathbb{T}^2- 0_{\mathbb{T}^2}$ up to Hamiltonian isotopy. This result is related to the classification theory of closed $1$-forms on $\mathbb{T}^n$ and also has applications to symplectic topology. As a first corollary, we strengthen a result due independently to Eliashberg-Polterovich and to Giroux describing Lagrangian tori in $T^* \mathbb{T}^2-0_{\mathbb{T}^2}$ which are homologous to the zero section. As a second corollary, we exhibit pairs of disjoint totally real tori $K_1, K_2 \subset T^*\mathbb{T}^2$, each of which is isotopic…
We construct almost toric fibrations (ATFs) on all del Pezzo surfaces, endowed with a monotone symplectic form. Except for $\mathbb{C}P^2 \# 1 \overline{\mathbb{C}P^2}$ and $\mathbb{C}P^2 \# 2 \overline{\mathbb{C}P^2}$ , we are able to get almost toric base diagrams (ATBDs) of triangular shape and prove the existence of infinitely many symplectomorphism (in particular Hamiltonian isotopy) classes of monotone Lagrangian tori in $\mathbb{C}P^2 \# k \overline{\mathbb{C}P^2}$, for k=0,3,4,5,6,7,8. We name these tori $Θ^{n_1,n_2,n_3}_{p,q,r}$. Using the work of Karpov-Nogin, we are able to classify…
We prove that every smoothly immersed 2-torus of $\mathbb{R}^4$ can be approximated, in the C0-sense, by immersed polyhedral Lagrangian tori. In the case of a smoothly immersed (resp. embedded) Lagrangian torus of $\mathbb{R}^4$, the surface can be approximated in the C1-sense by immersed (resp. embedded) polyhedral Lagrangian tori. Similar statements are proved for isotropic 2-tori of $\mathbb{R}^{2n}$.
Related to each degeneration from CP^2 to CP(a^2,b^2,c^2), for (a,b,c) a Markov triple - positive integers satisfying a^2 + b^2 + c^2 = 3abc - there is a monotone Lagrangian torus, which we call T(a^2,b^2,c^2). We employ techniques from symplectic field theory to prove that no two of them are Hamiltonian isotopic to each other.
We investigate which orbits of an $n$-dimensional torus action on a $2n$-dimensional toric Kähler manifold $M$ are minimal. In other words, we study minimal submanifolds appearing as the fibres of the moment map on a toric Kähler manifold. Amongst other questions we investigate and give partial answers to the following: (1) How many such minimal Lagrangian tori exist? (2) Can their stability, as critical points of the area functional, be characterised just from the ambient geometry? (3) Given a toric symplectic manifold, for which sets of orbits $S$, is there a compatible toric Kähler metric w…
By a result due to Ziltener, there exist no closed embedded Bohr-Sommerfeld Lagrangians inside $\mathbb CP^n$ for the prequantisation bundle whose total space is the standard contact sphere. On the other hand, any embedded monotone Lagrangian torus has a canonical nontrivial cover which is a Bohr-Sommerfeld immersion. We draw the front projections for the corresponding Legendrian lifts inside a contact Darboux ball of the threefold covers of both the two-dimensional Clifford and Chekanov tori (the former is the Legendrian link of the Harvey-Lawson special Lagrangian cone), and compute the asso…
In this article, we consider the Floer cohomology (with $\Z_2$ coefficients) between torus fibers and the real Lagrangian in Fano toric manifolds. We first investigate the conditions under which the Floer cohomology is defined, and then develop a combinatorial description of the Floer complex based on the polytope of the toric manifold. We show that if the Floer cohomology is defined, and the Floer cohomology of the torus fiber is non-zero, then the Floer cohomology of the pair is non-zero. We use this result to develop some applications to non-displaceability and the minimum number of interse…
In 1993, Y.-G. Oh proposed a problem whether standard Lagrangian tori in C^n are volume minimizing under Hamiltonian isotopies of C^n. In this article, we prove that most of them do not have such property if the dimension n is greater than two. We also discuss the existence of Hamiltonian non-volume minimizing Lagrangian torus orbits of compact toric Kahler manifolds.
We exhibit monotone Lagrangian tori inside the standard symplectic four-dimensional unit ball that become Hamiltonian isotopic to the Clifford torus, i.e.~the standard product torus, only when considered inside a strictly larger ball (they are not even symplectomorphic to a standard torus inside the unit ball). These tori are then used to construct new examples of symplectic embeddings of toric domains into the unit ball which are symplectically knotted in the sense of J.~Gutt and M.~Usher. We also give a characterisation of the Clifford torus inside the ball as well as the projective plane in…
The following interesting quantity was introduced by K. Cieliebak and K. Mohnke for a Lagrangian submanifold $L$ of a symplectic manifold: the minimal positive symplectic area of a disc with boundary on $L$. They also showed that this quantity is bounded from above by $π/n$ for a Lagrangian torus inside the $2n$-dimensional unit disc equipped with the standard symplectic form. A Lagrangian torus for which this upper bound is attained is called extremal. We show that an extremal Lagrangian torus inside the four-dimensional unit disc is contained in the boundary $\partial D^4=S^3$, and is hence …
Mironov, Panov and Kotelskiy studied Hamiltonian-minimal Lagrangians inside $\mathbb{C}^n$. They associated a closed embedded Lagrangian $L$ to each Delzant polytope $P$. In this paper we develop their ideas and prove that $L$ is monotone if and only if the polytope $P$ is Fano. In some examples, we further compute the minimal Maslov numbers. Namely, let $\mathcal{N}\to T^k$ be some fibration over the $k$-dimensional torus with a fiber equal to either $S^k \times S^l$, or $S^k \times S^l \times S^m$, or $\#_5(S^{2p-1} \times S^{n-2p-2})$. We construct monotone Lagrangian embeddings $\mathcal{N…
We show that, up to Lagrangian isotopy, there is a unique Lagrangian torus inside each of the following uniruled symplectic four-manifolds: the symplectic vector space $\mathbb{R}^4$, the projective plane $\mathbb{C}P^2$, and the monotone $S^2 \times S^2$. The result is proven by studying pseudoholomorphic foliations while performing the splitting construction from symplectic field theory along the Lagrangian torus. A number of other related results are also shown. Notably, the nearby Lagrangian conjecture is established for $T^*\mathbb{T}^2$, i.e.~it is shown that every closed exact Lagrangia…