MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose $(M,\omega)$ is a compact symplectic manifold and $C$ a closed curve in it. Is there a Lagrangian submanifold containing $C$? I have a sequence of $J_i$-holomorphic maps from a disk to $M$, and all the maps are identical on the boundary of the disk. So, if I know that the image of the boundary is contained in a Lagrangian submanifold, I can apply Gromov convergence.

share|cite|improve this question
In your case, you don't even need to worry about the existence of a totally real submanifold containing $C$ -- the compactness follows immediately "by hand". The main work in proving Gromov compactness when you have boundary on a Lagrangian/totally real submanifold is to show that boundary singularities can be removed and that boundary bubbles connect. In your case, nothing interesting happens at the boundary, so you can sidestep this issue entirely. – Sam Lisi Dec 8 '11 at 13:06
Sam: the derivative of the maps on the boundary are bounded, but I am not able to show that there is no energy escaping to the boundary. i.e I can't show that the derivatives are bounded in neighbourhoods of boundary points. – Anon Dec 8 '11 at 15:40
@Sita: I don't believe this should be a problem, but maybe I don't understand what you mean. Since this is not pertinent to your original question about existence of Lagrangian submanifolds, feel free to contact me (contact info on my user page) if you want to discuss further. – Sam Lisi Dec 10 '11 at 17:04
up vote 5 down vote accepted

Yes, such a Lagrangian submanifold does exist. The isotropic neighborhood theorem (see for instance p. 24 of Weinstein's Lectures on Symplectic Manifolds), together with the fact that all symplectic vector bundles over the circle are trivial, implies that any closed curve in a symplectic $2n$-manifold has a neighborhood symplectomorphic to the standard product $(S^1\times(-\epsilon,\epsilon))\times B^{2n-2}(r)$, via a symplectomorphism mapping the curve to $S^1\times \{0\}\times\{0\}$. Here $B^{2n-2}(r)$ denotes the standard symplectic ball of dimension $2n-2$ and some small radius $r$. Now let $T$ be a Lagrangian torus in $B^{2n-2}(r)$ which contains the origin (for instance you could use a product of small-radius-cirles containing the origin in each of the $n-1$ factors of $\mathbb{R}^2$ in $\mathbb{R}^{2n-2}$). Then the image of $S^1\times 0\times T$ under the Weinstein symplectomorphism will be a Lagrangian submanifold containing your curve.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.