MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

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


I am looking for a preprint "Analytic Lagrangian Submanifolds" by Guillemin, Sternberg. I googled it but without any success. Does any one know how I could get this preprint. Or are there similar ones? I am actually interested in understanding better the construction of a defining phase function for a Lagrangian submanifold and to understand the uniqueness. Is there any other literature on that? Actually I am interested in the proof of the following: Let $M$ be a connected Lagrangian submanifold of a Kähler manifold $\Omega$, then there is a neighbourhood $U$ of $M$ in $\Omega$ and a unique defining phase function $\phi$ on $U$ for $M$.


share|cite|improve this question
up vote 1 down vote accepted

Dear Hapchiu,

To understand the generating function construction of Lagrangian submanifolds I recommend the following:

  1. Take the few pages in "Geometric Asymptotics" by Guillemin and Sternberg, where they very neatly describe the construction of a Lagrangian submanifold in $T^* M$ as the reduction of the graph of the differential of a function on $M \times R^n$ (actually you can replace other manifolds for $R^n$ and this sometimes turns out to be useful).

  2. There is a little Comptes Rendus note by Giroux that explains what are the topological obstructions for the existence of a generating function. As far as I know this note has not made its way into other literature.

  3. The most important remark on generating functions is that if $M$ is compact and $L$ is a Lagrangian submanifold in $T^*M$ that is hamiltonian isotopic to the zero section, then $L$ admits a very special type of generating function (quadratic at infinity). This allows you to prove via Morse-Conley theory that $L$ intersects the zero section as much as Morse or Luisternik-Schnirelman theory requires. This you can find in papers by Sikorav and Laudenbach and Chaperon.

  4. The second most important remark is that there is a sort of uniqueness (modulo certain basic operations) in the choice of generating function quadratic at infinity. Thisus due to Viterbo (Symplectic topology as the geometry of generating functions, a remarkable paper well worth reading), but unfortunately there is a gap in the proof of the uniqueness result. This gap was filled by David Theret in his thesis. The interest of the uniqueness result is that it allows you to define symplectic capacities and other symplectic topological invariants.

I'm sorry about not being more precise with the references, but google and MathScinet will guide you better than my memory.

share|cite|improve this answer

Try "Semi-classical analysis" by Guillemin and Sternberg available at

share|cite|improve this answer
Well I looked it up, but cant find anything similar to my problem. Do you have any suggestions where I can find this theorem in the book you gave me? – hapchiu Nov 18 '12 at 5:01
Sorry, not really. I don't know the book this well. – Eugene Lerman Nov 18 '12 at 14:05

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.