To what extent can I think of a Lagrangian fibration in a symplectic manifold as T*N? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T01:24:14Z http://mathoverflow.net/feeds/question/15282 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/15282/to-what-extent-can-i-think-of-a-lagrangian-fibration-in-a-symplectic-manifold-as To what extent can I think of a Lagrangian fibration in a symplectic manifold as T*N? Theo Johnson-Freyd 2010-02-14T20:03:43Z 2012-02-04T07:57:28Z <p>This is probably a very elementary question in symplectic geometry, a subject I've picked up by osmosis rather than ever really learning.</p> <p>Suppose I have a symplectic manifold $M$. I believe that a <em>Lagrangian fibration</em> of $M$ is a collection of immersed Lagrangian submanifolds so that as a fibered manifold locally $M$ looks like a product. I.e. I can find local coordinates so that the fibers are $\{\text{half the coordinates} = \text{constant}\}$.</p> <p>Then, at least locally, I can think about the set of fibers as some sort of "space" $N$. My question is: to what extent can I think of $M$ as the cotangent bundle $T^*N$?</p> <p>Surely the answer is "to no extent whatsoever" globally: the set of fibers is probably not a space in any good way, and certainly not a manifold (see: irrational line in a torus). But what about locally? Then it's really two questions:</p> <blockquote> <p><strong>Question 1:</strong> If I have a lagrangian fibration in $M$, can I find local coordinates $p_i,q^j: M \to \mathbb R$ so that the symplectic form is $\omega = \sum_i dp_i \wedge dq^i$ and the fibers are of the form $\{ \vec q = \text{constant}\}$.</p> </blockquote> <p>I thought the answer was obviously "yes", and maybe it is, but what I thought worked I can't make go through all the way.</p> <p>Then the question is about how canonical this is, and that's not really about general Lagrangian fibrations at all:</p> <blockquote> <p><strong>Question 2:</strong> What is a good description of the local symplectomorphisms $\mathbb R^{2n} \to \mathbb R^{2n}$ of the form $\tilde q = \tilde q(q)$ and $\tilde p = \tilde p(p,q)$?</p> </blockquote> <p>The beginning of the answer is that it is a local symplectomorphism if $\sum_i d\tilde p_i \wedge d\tilde q^i = \sum_i dp_i \wedge dq^j$, but the left-hand-side is $\sum_{i,j,k} \bigl(\frac{\partial \tilde p_i}{\partial q^j}dq^j + \frac{\partial \tilde p_i}{\partial p_j}dp_j \bigr) \wedge \bigl( \frac{\partial \tilde q^i}{\partial q^k}dq^k \bigr)$, so the two conditions are that $\sum_i \frac{\partial \tilde p_i}{\partial q^j} \frac{\partial \tilde q^i}{\partial q^k}dq^k$ is a symmetric matrix, and that $\frac{\partial \tilde p}{\partial p}$ is the (maybe transpose, depending on your convention) inverse matrix to $\frac{\partial \tilde q}{\partial q}$.</p> <p>Anyway, I guess for completeness I'll also ask the global question:</p> <blockquote> <p><strong>Question 0:</strong> What global conditions on $M$ and the fibration assure that there is a global symplectomorphism with $T^*N$ for some $N$?</p> </blockquote> http://mathoverflow.net/questions/15282/to-what-extent-can-i-think-of-a-lagrangian-fibration-in-a-symplectic-manifold-as/15286#15286 Answer by Kevin Lin for To what extent can I think of a Lagrangian fibration in a symplectic manifold as T*N? Kevin Lin 2010-02-14T21:13:38Z 2010-06-24T02:51:09Z <p>Hey Theo --- I don't think it is reasonable to expect Lagrangian fibrations to be cotangent bundles globally. Easy example: take a 2d torus, give it a symplectic form (equivalently a volume form in this case); every 1d submanifold is automatically Lagrangian; the torus is a circle bundle over a circle; realizing it this way, it is a fibration over the circle with fibers being Lagrangian circles. Certainly this is not a cotangent bundle. </p> <p>Another example, integrable systems yield Lagrangian fibrations over R^n: these are usually not cotangent bundles. See the section on integrable systems in Cannas da Silva's book.</p> http://mathoverflow.net/questions/15282/to-what-extent-can-i-think-of-a-lagrangian-fibration-in-a-symplectic-manifold-as/15295#15295 Answer by Santiago Canez for To what extent can I think of a Lagrangian fibration in a symplectic manifold as T*N? Santiago Canez 2010-02-15T01:10:20Z 2010-02-15T01:10:20Z <p>It seems Question 2 is a special case of: What are the fiber-preserving symplectomorphisms of $T^*M$? This has a nice answer.</p> <p>First, any diffeomorphism $f$ of $M$ defines a fiber-preserving symplectomorphism of <code>$T^*M$</code>, its cotangent lift, by <code>$(q,\xi) \mapsto (f(q),((df_q)^*)^{-1}\xi)$</code>. These are exactly the fiber-preserving symplectomorphisms of $T^*M$ which preserve the canonical 1-form. Second, any closed 1-form $\beta$ on $M$ defines a fiber-preserving symplectomorphism of <code>$T^*M$</code> by <code>$(q,\xi) \mapsto (q,\xi+\beta_q)$</code>. These are exactly the ones which preserve the fibers of the projection <code>$T^*M \to M$</code>.</p> <p>Then it is not hard to show that any fiber-preserving symplectomorphism of $T^*M$ is a composition of a cotangent lift with fiber translation by a closed 1-form.</p> http://mathoverflow.net/questions/15282/to-what-extent-can-i-think-of-a-lagrangian-fibration-in-a-symplectic-manifold-as/18645#18645 Answer by Petya for To what extent can I think of a Lagrangian fibration in a symplectic manifold as T*N? Petya 2010-03-18T19:36:44Z 2010-03-18T19:53:13Z <p>Your Question 1 is called Darboux theorem for fibrations (see: Arnold, V., Givental, A., Symplectic geometry, Dynamical Systems IV, Symplectic Geometry and its Applications (Arnold, V., Novikov, S., eds.), Encyclopaedia of Math. Sciences 4, Springer-Verlag, Berlin-New York, 1990.)</p> <p>Here is how to construct suitable Darboux coordinates. Let $q_i$ be local coordinates in the base of the fibration, we identify them with their pullbacks to the symplectic manifold. The functions $q_i$ generate Hamiltonian vector fields $X_{i}$ and these fields are tangent to the fibers (note that $X_{i}$'s commute). Let $\varphi_{i}(t)$ be the flow map generated by $X_{i}$ for time $[0,t]$. </p> <p>Now we choose (locally) a Lagrangian submanifold $L$ transversal to the fibration. The coordinates $q_i$ give coordinates on $L$, so $(q_1,...,q_n)$ stands for a point on $L$. Here is a construction of a local symplectomorphism $$(p_1,...,p_n,q_1,...,q_n) \mapsto \varphi_{n}(p_n)\circ ...\circ \varphi_{1}(p_1)(q_1,...,q_n).$$ It is easy to check that it is indeed a fibered symplectomorfism sending the symplectic structure to the standard one.</p> http://mathoverflow.net/questions/15282/to-what-extent-can-i-think-of-a-lagrangian-fibration-in-a-symplectic-manifold-as/25093#25093 Answer by unknown (google) for To what extent can I think of a Lagrangian fibration in a symplectic manifold as T*N? unknown (google) 2010-05-18T05:06:47Z 2010-05-18T05:06:47Z <p>Here's another example. Take a cotangent bundle T*M and add to the canonical symplectic structure the pullback from M of a closed but nonexact 2-form. In the resulting symplectic manifold, the cotangent fibres still form a lagrangian fibration, but there is no local lagrangian cross section.</p> http://mathoverflow.net/questions/15282/to-what-extent-can-i-think-of-a-lagrangian-fibration-in-a-symplectic-manifold-as/63418#63418 Answer by Giuseppe Tortorella for To what extent can I think of a Lagrangian fibration in a symplectic manifold as T*N? Giuseppe Tortorella 2011-04-29T14:22:49Z 2011-04-29T14:54:23Z <p>Dear Theo Johnson-Freyd, I hope to have at least partially understood the content of your question, and that my answer could be useful.</p> <p><strong>0.Setting and specification of the terminology.</strong><br> In a symplectic $2n$-dimensional manifold $(M,\omega)$, let be given a lagrangian foliation $\mathcal{F}$, i.e. a foliation of $M$ whose leaves are lagrangian w.r.t. $\omega$. (Instead, I mean a lagrangian fibration of $(M,\omega)$ as a surjective summersion $f:M\to B$ whose fibers are lagrangian w.r.t. $\omega$. Any fibration determines a foliation but the converse is not true. The difference will be immaterial in my point(1), but not so in my point(2).)</p> <p><strong>1.Local Existence of lagrangian submanifolds transversal to $\mathcal{F}$.</strong> For any $p\in M$, there exists a lagrangian submanifold of $(M,\omega)$ which passes through $p$ and is transversal to $\mathcal{F}$.</p> <p>Infact, for any $p\in M$, there exists a chart $(U,\phi)$ for $M$ centered at $p$, such that:<br> $\omega= \sum_{i=1}^{n}{d\phi_i \wedge d\phi_{n+i}}$,<br> the restriction of $\mathcal{F}$ on $U$ is generated by $\frac{\partial}{\partial\phi_{n+1}},\ldots,\frac{\partial}{\partial\phi_{2n}}$,<br> and consequently $\phi_{n+1}=\ldots=\phi_{2n}=0$ is a local lagrangian submanifold of $(M,\omega)$ passing through $p$ and transverval to $\mathcal{F}$.</p> <p>This is just the Caratheodory-Jacobi-Lie theorem, applied starting with a system $d\phi_1,\ldots,d\phi_n$ of $1$-forms which locally generates the distribution corresponding to the lagrangian foliation $\mathcal{F}$.</p> <p><strong>2. A relative globalization.</strong><br> If $L$, a lagrangian submanifold of $(M,\omega)$, is transversal to $\mathcal{F}$, then there exists a diffeomorphism $f$ from an open neigborhood of $L$ in $M$ onto an open set in $T^*L$ such that:<br> $f|_L$ is the zero section of $\tau_L^{\ast}:T^{\ast}L\to L$,<br> $f_{\ast}\omega$ is the canonical symplectic on $T^{\ast}L$,<br> and $f$ takes the leaves of $\mathcal{F}$ in the fibers of $\tau^{\ast}_L$.</p> <p>This is just Theorem 7.1 in "Symplectic Manifolds and their Lagrangian submanifolds" of A.Weinstein.</p> http://mathoverflow.net/questions/15282/to-what-extent-can-i-think-of-a-lagrangian-fibration-in-a-symplectic-manifold-as/87504#87504 Answer by Jay for To what extent can I think of a Lagrangian fibration in a symplectic manifold as T*N? Jay 2012-02-04T03:27:23Z 2012-02-04T03:27:23Z <p>good reference: Duistermaat, J. J. (1980), On global action-angle coordinates. Communications on Pure and Applied Mathematics, 33: 687–706</p> http://mathoverflow.net/questions/15282/to-what-extent-can-i-think-of-a-lagrangian-fibration-in-a-symplectic-manifold-as/87513#87513 Answer by Nicola Ciccoli for To what extent can I think of a Lagrangian fibration in a symplectic manifold as T*N? Nicola Ciccoli 2012-02-04T07:57:28Z 2012-02-04T07:57:28Z <p>An example of global result answering Question 0 is the following (From Woodhouse, Geometric Quantization, Proposition 4.7.1) Let $P$ be a real polarization of a symplectic manifold $M$ with leaves that are simply connected and geodesically complete and let $Q$ be a Lagrangian submanifold of $M$ that intersects each leaf transversally in exactly one point. Then $M$ is symplectomorphic to $T^*Q$, $P$ coincide with the vertical foliation and $Q$ with the zero section.</p> <p>More generally if $P$ is a real polarization of $M$ such that the space of leaves $M/P$ is a manifold, leaves are complete and simply connected and $H^2(M/P;\mathbb R)=0$ then $M$ is symplectomorphic to a cotangent bundle. To each real polarization one can associate a cohomology class which is an obstruction to the existence of a global Lagrangian section.</p>