Editing Symplectic manifold (section)

=== Examples ===
Let <math>\R^{2n}_{\textbf{x},\textbf{y}}</math> have global coordinates labelled <math>(x_1, \dotsc, x_n, y_1, \dotsc, y_n)</math>. Then, we can equip <math>\R_{\textbf{x},\textbf{y}}^{2n}</math> with the canonical symplectic form 

:<math>\omega =\mathrm{d}x_1\wedge \mathrm{d}y_1 + \dotsb + \mathrm{d}x_n\wedge \mathrm{d}y_n.</math> 

There is a standard Lagrangian submanifold given by <math>\R^n_{\mathbf{x}} \to \R^{2n}_{\mathbf{x},\mathbf{y}}</math>. The form <math>\omega</math> vanishes on <math>\R^n_{\mathbf{x}}</math> because given any pair of tangent vectors <math>X= f_i(\textbf{x}) \partial_{x_i}, Y=g_i(\textbf{x})\partial_{x_i},</math> we have that <math>\omega(X,Y) = 0.</math> To elucidate, consider the case <math>n=1</math>. Then, <math>X = f(x)\partial_x, Y=g(x)\partial_x,</math> and <math>\omega = \mathrm{d}x\wedge \mathrm{d}y</math>. Notice that when we expand this out

:<math>\omega(X,Y) = \omega(f(x)\partial_x,g(x)\partial_x) = \frac{1}{2}f(x)g(x)(\mathrm{d}x(\partial_x)\mathrm{d}y(\partial_x) - \mathrm{d}y(\partial_x)\mathrm{d}x(\partial_x))</math>

both terms we have a <math>\mathrm{d}y(\partial_x)</math> factor, which is 0, by definition.

====Example: Cotangent bundle====
The cotangent bundle of a manifold is locally modeled on a space similar to the first example. It can be shown that we can glue these affine symplectic forms hence this bundle forms a symplectic manifold. A less trivial example of a Lagrangian submanifold is the zero section of the cotangent bundle of a manifold. For example, let 

:<math>X = \{(x,y) \in \R^2 : y^2 - x = 0\}.</math>

Then, we can present <math>T^*X</math> as

:<math>T^*X = \{(x,y,\mathrm{d}x,\mathrm{d}y) \in \R^4 : y^2 - x = 0, 2y\mathrm{d}y - \mathrm{d}x = 0\}</math>

where we are treating the symbols <math>\mathrm{d}x,\mathrm{d}y</math> as coordinates of <math>\R^4 = T^*\R^2</math>. We can consider the subset where the coordinates <math>\mathrm{d}x=0</math> and <math>\mathrm{d}y=0</math>, giving us the zero section. This example can be repeated for any manifold defined by the vanishing locus of smooth functions <math>f_1,\dotsc,f_k</math> and their differentials <math>\mathrm{d}f_1,\dotsc,df_k</math>.

====Example: Parametric submanifold ====
Consider the canonical space <math>\R^{2n}</math> with coordinates <math>(q_1,\dotsc ,q_n,p_1,\dotsc ,p_n)</math>. A parametric submanifold <math>L</math> of <math>\R^{2n}</math> is one that is parameterized by coordinates <math>(u_1,\dotsc,u_n)</math> such that 
:<math>q_i=q_i(u_1,\dotsc,u_n) \quad p_i=p_i(u_1,\dotsc,u_n)</math>

This manifold is a Lagrangian submanifold if the [[Lagrange bracket]] <math>[u_i,u_j]</math> vanishes for all <math>i,j</math>. That is, it is Lagrangian if 

:<math>[u_i,u_j]=\sum_k \frac {\partial q_k}{\partial u_i}\frac {\partial p_k}{\partial u_j} 
- \frac {\partial p_k}{\partial u_i}\frac {\partial q_k}{\partial u_j} 
= 0</math>  

for all <math>i,j</math>.  This can be seen by expanding
:<math>
\frac {\partial }{\partial u_i}=
\frac {\partial q_k}{\partial u_i} \frac {\partial}{\partial q_k} 
+ \frac {\partial p_k}{\partial u_i} \frac {\partial}{\partial p_k} 
</math>
in the condition for a Lagrangian submanifold <math>L</math>. This is that the symplectic form must vanish on the [[tangent manifold]] <math>TL</math>; that is, it must vanish for all tangent vectors:
:<math>\omega\left( \frac {\partial}{\partial u_i}, \frac {\partial}{\partial u_j} \right)=0</math>
for all <math>i,j</math>. Simplify the result by making use of the canonical symplectic form on <math>\R^{2n}</math>:

:<math>
\omega\left( \frac {\partial }{\partial q_k}, \frac {\partial}{\partial p_k}\right) =
-\omega\left( \frac {\partial }{\partial p_k}, \frac {\partial}{\partial q_k}\right) = 1 
 </math>
and all others vanishing.

As [[Chart (topology)|local charts]] on a symplectic manifold take on the canonical form, this example suggests that Lagrangian submanifolds are relatively unconstrained. The classification of symplectic manifolds is done via [[Floer homology]]—this is an application of [[Morse theory]] to the [[Action (physics)|action functional]] for maps between Lagrangian submanifolds. In physics, the action describes the  time evolution of a physical system; here, it can be taken as the description of the dynamics of branes.

====Example: Morse theory====
Another useful class of Lagrangian submanifolds occur in [[Morse theory]]. Given a [[Morse function]] <math>f:M\to\R</math> and for a small enough <math>\varepsilon</math> one can construct a Lagrangian submanifold given by the vanishing locus <math>\mathbb{V}(\varepsilon\cdot \mathrm{d}f) \subset T^*M</math>. For a generic Morse function we have a Lagrangian intersection given by <math>M \cap \mathbb{V}(\varepsilon\cdot \mathrm{d}f) = \text{Crit}(f)</math>.

{{See also|symplectic category}}