Linking of Lagrangian Tori and Embedding Obstructions in Symplectic 4-Manifolds

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 1st 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 2nd corollary, we exhibit pairs of disjoint totally real tori $K_1, K_2 \subset T^*\mathbb{T}^2$, each of which is isotopic through totally real tori to the zero section, but such that the union $K_1 \cup K_2$ is not even smoothly isotopic to a Lagrangian. In the 2nd part of the paper, we study linking of Lagrangian tori in $({\mathbb{R}}^4, \omega )$ and in rational symplectic $4$-manifolds. We prove that the linking properties of such tori are determined by purely algebro-topological data, which can often be deduced from enumerative disk counts in the monotone case. We also use this result to describe certain Lagrangian embedding obstructions.

Nearby Lagrangian fibers and Whitney sphere links

Let $n>3$, and let $L$ be a Lagrangian embedding of $\mathbb{R}^{n}$ into the cotangent bundle $T^{\ast }\mathbb{R}^{n}$ of $\mathbb{R}^{n}$ that agrees with the cotangent fiber $T_{x}^{\ast }\mathbb{R}^{n}$ over a point $x\neq 0$ outside a compact set. Assume that $L$ is disjoint from the cotangent fiber at the origin. The projection of $L$ to the base extends to a map of the $n$-sphere $S^{n}$ into $\mathbb{R}^{n}\setminus \{0\}$. We show that this map is homotopically trivial, answering a question of Eliashberg. We give a number of generalizations of this result, including homotopical constraints on embedded Lagrangian disks in the complement of another Lagrangian submanifold, and on two-component links of immersed Lagrangian spheres with one double point in $T^{\ast }\mathbb{R}^{n}$, under suitable dimension and Maslov index hypotheses. The proofs combine techniques from Ekholm and Smith [Exact Lagrangian immersions with a single double point, J. Amer. Math. Soc. 29 (2016), 1–59] and Ekholm and Smith [Exact Lagrangian immersions with one double point revisited, Math. Ann. 358 (2014), 195–240] with symplectic field theory.

Lagrangian exotic spheres

Let [Formula: see text]. We prove that the cotangent bundles [Formula: see text] and [Formula: see text] of oriented homotopy [Formula: see text]-spheres [Formula: see text] and [Formula: see text] are symplectomorphic only if [Formula: see text], where [Formula: see text] denotes the group of oriented homotopy [Formula: see text]-spheres under connected sum, [Formula: see text] denotes the subgroup of those that bound a parallelizable [Formula: see text]-manifold, and where [Formula: see text] denotes [Formula: see text] with orientation reversed. We further show that if [Formula: see text] and [Formula: see text] admits a Lagrangian embedding in [Formula: see text], then [Formula: see text]. The proofs build on [1] and [18] in combination with a new cut-and-paste argument; that also yields some interesting explicit exact Lagrangian embeddings, for instance of the sphere [Formula: see text] into the plumbing [Formula: see text] of cotangent bundles of certain exotic spheres. As another application, we show that there are re-parametrizations of the zero-section in the cotangent bundle of a sphere that are not Hamiltonian isotopic (as maps rather than as submanifolds) to the original zero-section.

On Lagrangian embeddings into the complex projective spaces

We prove that for any closed orientable connected [Formula: see text]-manifold [Formula: see text] and any Lagrangian immersion of the connected sum [Formula: see text] either into the complex projective [Formula: see text]-space [Formula: see text] or into the product [Formula: see text] of the complex projective line and the complex projective plane, there exists a Lagrangian embedding which is homotopic to the initial Lagrangian immersion. To prove this, we show that Eliashberg–Murphy’s [Formula: see text]-principle for Lagrangian embeddings with a concave Legendrian boundary and Ekholm–Eliashberg–Murphy–Smith’s [Formula: see text]-principle for self-transverse Lagrangian immersions with the minimal or near-minimal number of double points hold for six-dimensional simply connected compact symplectic manifolds.

A note on embeddings for the Augmented Lagrange Method

Nonlinear programs (P) can be solved by embedding problem P into one parametric problem P(t), where P(1) and P are equivalent and P(0), has an evident solution. Some embeddings fulfill that the solutions of the corresponding problem P(t) can be interpreted as the points computed by the Augmented Lagrange Method on P. In this paper we study the Augmented Lagrangian embedding proposed in [6]. Roughly speaking, we investigated the properties of the solutions of P(t) for generic nonlinear programs P with equality constraints and the characterization of P(t) for almost every quadratic perturbation on the objective function of P and linear on the functions defining the equality constraints.

HAMILTONIAN vs LAGRANGIAN EMBEDDING OF A MASSIVE SPIN-ONE THEORY INVOLVING TWO-FORM FIELD

We consider the Hamiltonian and Lagrangian embedding of a first-order, massive spin-one, gauge noninvariant theory involving antisymmetric tensor field. We apply the BFV–BRST generalized canonical approach to convert the model to a first class system and construct nilpotent BFV–BRST charge and a unitarizing Hamiltonian. The canonical analysis of the Stückelberg formulation of this model is presented. We bring out the contrasting feature in the constraint structure, specifically with respect to the reducibility aspect, of the Hamiltonian and the Lagrangian embedded model. We show that to obtain manifestly covariant Stückelberg Lagrangian from the BFV embedded Hamiltonian, phase space has to be further enlarged and show how the reducible gauge structure emerges in the embedded model.