Symplectic manifolds

From Manifold Atlas
(Difference between revisions)
Jump to: navigation, search
(Bundles)
(One intermediate revision by one user not shown)
Line 6: Line 6:
</wikitex>
</wikitex>
== Examples ==
== Examples ==
<wikitex>
+
<wikitex>;
$\bullet$
$\bullet$
The most basic example of a symplectic manifold is $\mathbb R^{2n}$ equipped with the form
The most basic example of a symplectic manifold is $\mathbb R^{2n}$ equipped with the form
Line 92: Line 92:
admits a fiberwise symplectic form on the total space.
admits a fiberwise symplectic form on the total space.
{{endthm}}
{{endthm}}
using this theorem, one can construct examples of symplectic fiber bundles with fiberwise symplectic form on the total space (see examples below).
+
Using this theorem, one can construct examples of symplectic fiber bundles with fiberwise symplectic form on the total space (see examples below).
'''Example (twistor bundles)'''
'''Example (twistor bundles)'''

Latest revision as of 10:47, 16 May 2013

This page has not been refereed. The information given here might be incomplete or provisional.

Contents

1 Introduction

A symplectic manifold is a smooth manifold M together with a differential two-form \omega that is nondegenerate and closed. The form \omega is called a symplectic form. The nondegeneracy means that the highest nonzero power of \omega is a volume form on M. It follows that a symplectic manifold is even dimensional.

Symplectic manifolds originated from classical mechanics. The phase space of a dynamical system is the cotangent bundle of the configuration space and it is equipped with a symplectic form. This symplectic form is preserved by the flow of the system.

[edit] 2 Examples

Tex syntax error

The most basic example of a symplectic manifold is \mathbb R^{2n} equipped with the form \omega_0:=dx^1\wedge dy^1 + \ldots + dx^n\wedge dy^n.

A theorem of Darboux [McDuff&Salamon1998] states that locally every symplectic manifold if of this form. More precisely, if (M,\omega) is a symplectic 2n-manifold then for every point x\in M there exists an open neighbourhood U\subset M of p and a diffeomorphism f\colon U\to f(U)\subset \mathbb R^{2n} such that the restriction of \omega to U is equal to the pull-back f^*\omega_0. This implies that symplectic manifolds have no local invariants.

Tex syntax error

An area form on an oriented surface is symplectic.

Tex syntax error

Let X be a smooth manifold and let \lambda be a one-form on the cotangent bundle T^*X defined as follows. If V is a vector tangent to T^*X at a point \alpha then \lambda_{\alpha}(X) = \alpha (\pi_*(X)), where \pi\colon T^*X\to X is the projection. In local coordinates the form \lambda can be expressed as \sum y^idx^i. The differential d\lambda is a symplectic form on the cotangent bundle T^*X.

Tex syntax error

If (M,\omega) is a closed, i.e. compact and without boundary, symplectic 2n-manifold then the cohomology classes [\omega]^k are non-zero for k=0,1.\ldots,n. This follows from the fact that the cohomology class of the volume form \omega^n is nonzero on a closed manifold. This necessary condition implies that spheres of dimension greater than two are not symplectic. More generally, no closed manifold of the form M \times S^k is symplectic for k>2.

Tex syntax error

The complex projective space \mathbb C \mathbb P^n is symplectic with respect to its Kähler form. Its pull back to a complex projective smooth manifold X \subset \mathbb C \mathbb P^n is also symplectic. More generally, every Kähler manifold is symplectic.

[edit] 3 Symmetries

A diffeomorphism f\colon M\to M of a symplectic manifold (M,\omega) is called symplectic if it preserves the symplectic form, f^*\omega = \omega. Sometimes such a diffeomorphism is called a symplectiomorphism. The group of all symplectic diffeomorphisms of (M,\omega) is denoted by \operatorname{Symp}(M,\omega).

It follows from the nondegeneracy of the symplectic form \omega the map X \mapsto \iota_X\omega defines an isomorphism between the vector fields and the one-forms on a symplectic manifold (M,\omega). If the flow of a vector field X preserves the symplectic form we have that 0 = L_X\omega = d\iota_X \omega + \iota _X d\omega. Then the closedness of the symplectic form implies that the one-form \iota_X\omega is closed. It follows that the Lie algebra of the group of symplectic diffeomorhism consists of the vector fields X for which the one-form \iota _X \omega is closed. Hence it can be identified with the space of closed one-forms.

If the one-form \iota _X \omega is exact, i.e. \iota _X \omega = dH for some function H\colon M\to \mathbb R then the vector field X is called Hamiltonian. Symplectic diffeomorphism generated by Hamiltonian flows form a group \operatorname{Ham}(M,\omega) called the group of Hamiltonian diffeomorphism. Its Lie algebra can be identified with the quotient of the space of smooth functions on M by the constants.

[edit] 4 Constructions

[edit] 4.1 Products

The product of symplectic manifolds (M_1,\omega_1) and (M_2,\omega_2) is a symplectic manifold with respect to the form a\cdot p_1^*\omega_1 + b\cdot p_2^*\omega_2 for nonzero real numbers a,b\in \mathbb R. Here p_i\colon M_1\times M_2\to M_i is the projection.

[edit] 4.2 Bundles

A locally trivial bundle M\to E\to B is called symplectic (resp. Hamiltonian) if its structure group is a subgroup of the group of symplectic (resp. Hamiltonian) diffeomorphisms.

Example. The product of the Hopf bundle with the circle is a symplectic bundle T^2 \to S^3 \times S^1 \to S^2. Indeed, the structure group is a group of rotations of the torus and hence it preserves the area. As we have seen above the product S^3 \times S^1 does not admit a symplectic form. This example shows that, in general, the total space of a symplectic bundle is not symplectic.

Let M\stackrel {i}\to E\stackrel{\pi}\to B is a compact symplectic bundle over a symplectic base. According to a theorem of Thurston, if there exists a cohomology class a\in H^2(E) such that its pull back to every fibre is equal to the class of the symplectic form of the fibre then there exists a representative \alpha of the class a such that \Omega := \alpha + k\cdot \pi^*(\omega_B) is a symplectic form on E for every big enough k.

A symplectic fiber bundle may have a symplectic form on the total space which restricts symplectically to the fibers, even if the base is not symplectic. Such bundles are constructed using fat connections. Let there be given a principal fiber bundle

\displaystyle G\rightarrow P\rightarrow M.

Let \theta be a connection form, \Omega the curvature form of this connection, and \mathcal{H} be the horizontal distribution. A vector v\in\frak{g}^* is called fat (with respect to the given connection), if the 2-form

\displaystyle (X,Y)\rightarrow \langle \Omega(X,Y),v\rangle

is nondegenerate on the horizontal distribution of the connection. The following theorem yields a construction of a symplectic form on the total space of fiber bundles associated with principal bundles equipped with particular connections.

Theorem 3.1. Let there be given a symplectic manifold (F,\omega) endowed with a hamiltonian action of a Lie group G. Let \mu: F\rightarrow\frak{g}^* be the moment map of the G-action. If \mu(F)\subset\frak{g}^* consists of fat vectors, then the associated bundle

\displaystyle F\rightarrow P\times_GF\rightarrow M

admits a fiberwise symplectic form on the total space.

Using this theorem, one can construct examples of symplectic fiber bundles with fiberwise symplectic form on the total space (see examples below).

Example (twistor bundles) Consider the principal bundle of the orthogonal frame bundles over 2n-dimensional manifold M:

\displaystyle SO(2n)\rightarrow P\rightarrow M.

Let F=SO(2n)/U(n). The associated bundle with fiber SO(2n)/U(n) is called the twistor bundle. It is easy to see that SO(2n)/U(n) can be identified with a coadjoint orbit F_{\xi} of some \xi\in\frak{g}^*, where \frak{g}^* denotes the Lie algebra of SO(2n). Moreover, if M admits Riemannian metric of pinched curvature with sufficiently small pinching constant then \xi is fat with respect to the Levi-Civitta connection in the frame bundle. As a result, the whole coadjoint orbit (which is the image of the moment map of the SO(2n)-action) consists of fat vectors. Thus, we obtain a fiberwise symplectic structure on the total space of any twistor bundle

\displaystyle F_{\xi}\rightarrow P\times_{SO(2n)}F_{\xi}\rightarrow M

over even-dimensional manifolds of pinched curvature. In particular, twistor bundles over spheres S^{2n} or hyperbolic manifolds, admit fiberwise symplectic structures. The simplest example of this construction is the fibering of \mathbb{C}P^3 over S^4 with fiber \mathbb{C}P^1, since it is known that the total space of the twistor bundle over S^4 is \mathbb{C}P^3.

Example (locally homogeneous complex manifolds) Let G be a Lie group of non-compact type, which is a real form of a complex Lie group G^c. Choose a parabolic subgroup B\subset G^c and a maximal compact subgroup K in G. Assume that V=B\subset G is compact. Then one can show that K/V can be identified with a coadjoint orbit of some vector in \frak{k}^*, which is fat with respect to a K-invariant connection in the principal bundle

\displaystyle K\rightarrow G/V\rightarrow G/K.

It follows that the associated bundle

\displaystyle K/V\rightarrow G/V\rightarrow G/K

is a symplectic fiber bundle with fiberwise symplectic structure. This construction can be compactified by taking lattices in G which intersect trivially with K. A particular example is given by the fiber bundle

\displaystyle SO(2n)/U(n)\rightarrow SO(2n,p)/U(n)\times SO(p)\rightarrow SO(2n,p)/SO(2n)\times SO(p),

and its compactification by lattices.

[edit] 4.3 Symplectic reduction

Let G be a Lie group acting on a symplectic manifold (M,\omega) in a hamiltonian way. Denote by \mu: M\rightarrow\frak{g}^* the moment map of this action. Since G acts on the level set \mu^{-1}(a),a\in\frak{g}^*, one can consider the orbit space \mu^{-1}(a)/G. It is an orbifold in general, but it happens to be a manifold, when G acts freely on the preimage, and a is a regular point. In this case, \tilde M=\mu^{-1}(a)/G is a symplectic manifold as well, called symplectic reduction. It is often denoted by M//G.

[edit] 4.4 Symplectic cut

Let (M,\omega) be a symplectic manifold with a hamiltonian action of the circle S^1. If \mu:\rightarrow \mathbb R is the moment map, M_a=\mu^{-1}(a) is a regular level, then the action restricted to M_a has no fixed points, hence M_a is the boundary of the associated disk bundle W. This is a manifold if the action is free and an orbifold if a non-trivial isotropy occurs.

[edit] 4.5 Coadjoint orbits

[edit] 4.6 Symplectic homogeneous spaces

Nilmanifolds, solvmanifolds, homogeneous spaces of semisimple Lie groups

[edit] 4.7 Donaldson's theorem on submanifolds

[edit] 4.8 Surgery in codimension 2

Consider two symplectic manifolds (M_1,\omega_1),(M_2,\omega_2) of equal dimension and suppose that there are codimension two symplectic submanifolds V_1\subset M_1,V_2\subset M_2 and a symplectomorphism f:V_1\rightarrow V_2 such that Chern classes of normal bundles satisfy f^*c_1(\nu_2)=-c_1(\nu_1). Then by removing tubular neighborhods of V_1 and V_2 we get manifolds with boundaries. The map f induces a diffeomorphism of the boundaries, one can form a new manifold identifying the boundaries by this diffeomorphism and define on it a symplectic form which coincides with \omega_1 and \omega_2 outside of a tubular neigborhood of the trace of glueing [Gompf1995]. The same works if V_1,V_2 are symplectic submanifolds of a connected symplectic manifold.

[edit] 4.9 Symplectic blow-up

[edit] 5 Invariants

...

[edit] 6 Classification/Characterization

...

[edit] 7 Further discussion

...

[edit] 8 References

= L_X\omega = d\iota_X \omega + \iota _X d\omega.$ Then the closedness of the symplectic form implies that the one-form $\iota_X\omega$ is closed. It follows that the Lie algebra of the group of symplectic diffeomorhism consists of the vector fields $X$ for which the one-form $\iota _X \omega$ is closed. Hence it can be identified with the space of closed one-forms. If the one-form $\iota _X \omega$ is exact, i.e. $\iota _X \omega = dH$ for some function $H\colon M\to \mathbb R$ then the vector field $X$ is called Hamiltonian. Symplectic diffeomorphism generated by Hamiltonian flows form a group $\operatorname{Ham}(M,\omega)$ called the group of Hamiltonian diffeomorphism. Its Lie algebra can be identified with the quotient of the space of smooth functions on $M$ by the constants. ==Constructions== ===Products=== ; The product of symplectic manifolds $(M_1,\omega_1)$ and $(M_2,\omega_2)$ is a symplectic manifold with respect to the form $a\cdot p_1^*\omega_1 + b\cdot p_2^*\omega_2$ for nonzero real numbers $a,b\in \mathbb R.$ Here $p_i\colon M_1\times M_2\to M_i$ is the projection. ===Bundles=== ; A locally trivial bundle $M\to E\to B$ is called symplectic (resp. Hamiltonian) if its structure group is a subgroup of the group of symplectic (resp. Hamiltonian) diffeomorphisms. '''Example.''' The product of the Hopf bundle with the circle is a symplectic bundle $T^2 \to S^3 \times S^1 \to S^2.$ Indeed, the structure group is a group of rotations of the torus and hence it preserves the area. As we have seen above the product $S^3 \times S^1$ does not admit a symplectic form. This example shows that, in general, the total space of a symplectic bundle is not symplectic. Let $M\stackrel {i}\to E\stackrel{\pi}\to B$ is a compact symplectic bundle over a symplectic base. According to a theorem of Thurston, if there exists a cohomology class $a\in H^2(E)$ such that its pull back to every fibre is equal to the class of the symplectic form of the fibre then there exists a representative $\alpha $ of the class $a$ such that $\Omega := \alpha + k\cdot \pi^*(\omega_B)$ is a symplectic form on $E$ for every big enough $k.$ A symplectic fiber bundle may have a symplectic form on the total space which restricts symplectically to the fibers, even if the base is not symplectic. Such bundles are constructed using '''fat connections'''. Let there be given a principal fiber bundle $$G\rightarrow P\rightarrow M.$$ Let $\theta$ be a connection form, $\Omega$ the curvature form of this connection, and $\mathcal{H}$ be the horizontal distribution. A vector $v\in\frak{g}^*$ is called ''fat'' (with respect to the given connection), if the 2-form $$(X,Y)\rightarrow \langle \Omega(X,Y),v\rangle$$ is nondegenerate on the horizontal distribution of the connection. The following theorem yields a construction of a symplectic form on the total space of fiber bundles associated with principal bundles equipped with particular connections. {{beginthm|Theorem|}} Let there be given a symplectic manifold $(F,\omega)$ endowed with a hamiltonian action of a Lie group $G$. Let $\mu: F\rightarrow\frak{g}^*$ be the moment map of the $G$-action. If $\mu(F)\subset\frak{g}^*$ consists of fat vectors, then the associated bundle $$F\rightarrow P\times_GF\rightarrow M$$ admits a fiberwise symplectic form on the total space. {{endthm}} using this theorem, one can construct examples of symplectic fiber bundles with fiberwise symplectic form on the total space (see examples below). '''Example (twistor bundles)''' Consider the principal bundle of the orthogonal frame bundles over n$-dimensional manifold $M$: $$SO(2n)\rightarrow P\rightarrow M.$$ Let $F=SO(2n)/U(n)$. The associated bundle with fiber $SO(2n)/U(n)$ is called the '''twistor bundle'''. It is easy to see that $SO(2n)/U(n)$ can be identified with a coadjoint orbit $F_{\xi}$ of some $\xi\in\frak{g}^*$, where $\frak{g}^*$ denotes the Lie algebra of $SO(2n)$. Moreover, if $M$ admits Riemannian metric of pinched curvature with sufficiently small pinching constant then $\xi$ is fat with respect to the Levi-Civitta connection in the frame bundle. As a result, the whole coadjoint orbit (which is the image of the moment map of the $SO(2n)$-action) consists of fat vectors. Thus, we obtain a fiberwise symplectic structure on the total space of any twistor bundle $$F_{\xi}\rightarrow P\times_{SO(2n)}F_{\xi}\rightarrow M$$ over even-dimensional manifolds of pinched curvature. In particular, twistor bundles over spheres $S^{2n}$ or hyperbolic manifolds, admit fiberwise symplectic structures. The simplest example of this construction is the fibering of $\mathbb{C}P^3$ over $S^4$ with fiber $\mathbb{C}P^1$, since it is known that the total space of the twistor bundle over $S^4$ is $\mathbb{C}P^3$. '''Example (locally homogeneous complex manifolds)''' Let $G$ be a Lie group of non-compact type, which is a real form of a complex Lie group $G^c$. Choose a parabolic subgroup $B\subset G^c$ and a maximal compact subgroup $K$ in $G$. Assume that $V=B\subset G$ is compact. Then one can show that $K/V$ can be identified with a coadjoint orbit of some vector in $\frak{k}^*$, which is fat with respect to a $K$-invariant connection in the principal bundle $$K\rightarrow G/V\rightarrow G/K.$$ It follows that the associated bundle $$K/V\rightarrow G/V\rightarrow G/K$$ is a symplectic fiber bundle with fiberwise symplectic structure. This construction can be compactified by taking lattices in $G$ which intersect trivially with $K$. A particular example is given by the fiber bundle $$SO(2n)/U(n)\rightarrow SO(2n,p)/U(n)\times SO(p)\rightarrow SO(2n,p)/SO(2n)\times SO(p),$$ and its compactification by lattices. ===Symplectic reduction=== ; Let $G$ be a Lie group acting on a symplectic manifold $(M,\omega)$ in a hamiltonian way. Denote by $\mu: M\rightarrow\frak{g}^*$ the moment map of this action. Since $G$ acts on the level set $\mu^{-1}(a),a\in\frak{g}^*$, one can consider the orbit space $\mu^{-1}(a)/G$. It is an orbifold in general, but it happens to be a manifold, when $G$ acts freely on the preimage, and $a$ is a regular point. In this case, $\tilde M=\mu^{-1}(a)/G$ is a symplectic manifold as well, called '''symplectic reduction'''. It is often denoted by $M//G$. ===Symplectic cut=== ; Let $(M,\omega)$ be a symplectic manifold with a hamiltonian action of the circle $S^1.$ If $\mu:\rightarrow \mathbb R$ is the moment map, $M_a=\mu^{-1}(a)$ is a regular level, then the action restricted to $M_a$ has no fixed points, hence $M_a$ is the boundary of the associated disk bundle W. This is a manifold if the action is free and an orbifold if a non-trivial isotropy occurs. ===Coadjoint orbits=== ===Symplectic homogeneous spaces=== Nilmanifolds, solvmanifolds, homogeneous spaces of semisimple Lie groups ===Donaldson's theorem on submanifolds=== ===Surgery in codimension 2=== ; Consider two symplectic manifolds $(M_1,\omega_1),(M_2,\omega_2)$ of equal dimension and suppose that there are codimension two symplectic submanifolds $V_1\subset M_1,V_2\subset M_2$ and a symplectomorphism $f:V_1\rightarrow V_2$ such that Chern classes of normal bundles satisfy $f^*c_1(\nu_2)=-c_1(\nu_1).$ Then by removing tubular neighborhods of $V_1$ and $V_2$ we get manifolds with boundaries. The map $f$ induces a diffeomorphism of the boundaries, one can form a new manifold identifying the boundaries by this diffeomorphism and define on it a symplectic form which coincides with $\omega_1$ and $\omega_2$ outside of a tubular neigborhood of the trace of glueing {{cite|Gompf1995}}. The same works if $V_1,V_2$ are symplectic submanifolds of a connected symplectic manifold. ===Symplectic blow-up=== == Invariants == ; ... == Classification/Characterization == ; ... == Further discussion == ; ... == References == {{#RefList:}} [[Category:Manifolds]]M together with a differential two-form \omega that is nondegenerate and closed. The form \omega is called a symplectic form. The nondegeneracy means that the highest nonzero power of \omega is a volume form on M. It follows that a symplectic manifold is even dimensional.

Symplectic manifolds originated from classical mechanics. The phase space of a dynamical system is the cotangent bundle of the configuration space and it is equipped with a symplectic form. This symplectic form is preserved by the flow of the system.

[edit] 2 Examples

Tex syntax error

The most basic example of a symplectic manifold is \mathbb R^{2n} equipped with the form \omega_0:=dx^1\wedge dy^1 + \ldots + dx^n\wedge dy^n.

A theorem of Darboux [McDuff&Salamon1998] states that locally every symplectic manifold if of this form. More precisely, if (M,\omega) is a symplectic 2n-manifold then for every point x\in M there exists an open neighbourhood U\subset M of p and a diffeomorphism f\colon U\to f(U)\subset \mathbb R^{2n} such that the restriction of \omega to U is equal to the pull-back f^*\omega_0. This implies that symplectic manifolds have no local invariants.

Tex syntax error

An area form on an oriented surface is symplectic.

Tex syntax error

Let X be a smooth manifold and let \lambda be a one-form on the cotangent bundle T^*X defined as follows. If V is a vector tangent to T^*X at a point \alpha then \lambda_{\alpha}(X) = \alpha (\pi_*(X)), where \pi\colon T^*X\to X is the projection. In local coordinates the form \lambda can be expressed as \sum y^idx^i. The differential d\lambda is a symplectic form on the cotangent bundle T^*X.

Tex syntax error

If (M,\omega) is a closed, i.e. compact and without boundary, symplectic 2n-manifold then the cohomology classes [\omega]^k are non-zero for k=0,1.\ldots,n. This follows from the fact that the cohomology class of the volume form \omega^n is nonzero on a closed manifold. This necessary condition implies that spheres of dimension greater than two are not symplectic. More generally, no closed manifold of the form M \times S^k is symplectic for k>2.

Tex syntax error

The complex projective space \mathbb C \mathbb P^n is symplectic with respect to its Kähler form. Its pull back to a complex projective smooth manifold X \subset \mathbb C \mathbb P^n is also symplectic. More generally, every Kähler manifold is symplectic.

[edit] 3 Symmetries

A diffeomorphism f\colon M\to M of a symplectic manifold (M,\omega) is called symplectic if it preserves the symplectic form, f^*\omega = \omega. Sometimes such a diffeomorphism is called a symplectiomorphism. The group of all symplectic diffeomorphisms of (M,\omega) is denoted by \operatorname{Symp}(M,\omega).

It follows from the nondegeneracy of the symplectic form \omega the map X \mapsto \iota_X\omega defines an isomorphism between the vector fields and the one-forms on a symplectic manifold (M,\omega). If the flow of a vector field X preserves the symplectic form we have that 0 = L_X\omega = d\iota_X \omega + \iota _X d\omega. Then the closedness of the symplectic form implies that the one-form \iota_X\omega is closed. It follows that the Lie algebra of the group of symplectic diffeomorhism consists of the vector fields X for which the one-form \iota _X \omega is closed. Hence it can be identified with the space of closed one-forms.

If the one-form \iota _X \omega is exact, i.e. \iota _X \omega = dH for some function H\colon M\to \mathbb R then the vector field X is called Hamiltonian. Symplectic diffeomorphism generated by Hamiltonian flows form a group \operatorname{Ham}(M,\omega) called the group of Hamiltonian diffeomorphism. Its Lie algebra can be identified with the quotient of the space of smooth functions on M by the constants.

[edit] 4 Constructions

[edit] 4.1 Products

The product of symplectic manifolds (M_1,\omega_1) and (M_2,\omega_2) is a symplectic manifold with respect to the form a\cdot p_1^*\omega_1 + b\cdot p_2^*\omega_2 for nonzero real numbers a,b\in \mathbb R. Here p_i\colon M_1\times M_2\to M_i is the projection.

[edit] 4.2 Bundles

A locally trivial bundle M\to E\to B is called symplectic (resp. Hamiltonian) if its structure group is a subgroup of the group of symplectic (resp. Hamiltonian) diffeomorphisms.

Example. The product of the Hopf bundle with the circle is a symplectic bundle T^2 \to S^3 \times S^1 \to S^2. Indeed, the structure group is a group of rotations of the torus and hence it preserves the area. As we have seen above the product S^3 \times S^1 does not admit a symplectic form. This example shows that, in general, the total space of a symplectic bundle is not symplectic.

Let M\stackrel {i}\to E\stackrel{\pi}\to B is a compact symplectic bundle over a symplectic base. According to a theorem of Thurston, if there exists a cohomology class a\in H^2(E) such that its pull back to every fibre is equal to the class of the symplectic form of the fibre then there exists a representative \alpha of the class a such that \Omega := \alpha + k\cdot \pi^*(\omega_B) is a symplectic form on E for every big enough k.

A symplectic fiber bundle may have a symplectic form on the total space which restricts symplectically to the fibers, even if the base is not symplectic. Such bundles are constructed using fat connections. Let there be given a principal fiber bundle

\displaystyle G\rightarrow P\rightarrow M.

Let \theta be a connection form, \Omega the curvature form of this connection, and \mathcal{H} be the horizontal distribution. A vector v\in\frak{g}^* is called fat (with respect to the given connection), if the 2-form

\displaystyle (X,Y)\rightarrow \langle \Omega(X,Y),v\rangle

is nondegenerate on the horizontal distribution of the connection. The following theorem yields a construction of a symplectic form on the total space of fiber bundles associated with principal bundles equipped with particular connections.

Theorem 3.1. Let there be given a symplectic manifold (F,\omega) endowed with a hamiltonian action of a Lie group G. Let \mu: F\rightarrow\frak{g}^* be the moment map of the G-action. If \mu(F)\subset\frak{g}^* consists of fat vectors, then the associated bundle

\displaystyle F\rightarrow P\times_GF\rightarrow M

admits a fiberwise symplectic form on the total space.

Using this theorem, one can construct examples of symplectic fiber bundles with fiberwise symplectic form on the total space (see examples below).

Example (twistor bundles) Consider the principal bundle of the orthogonal frame bundles over 2n-dimensional manifold M:

\displaystyle SO(2n)\rightarrow P\rightarrow M.

Let F=SO(2n)/U(n). The associated bundle with fiber SO(2n)/U(n) is called the twistor bundle. It is easy to see that SO(2n)/U(n) can be identified with a coadjoint orbit F_{\xi} of some \xi\in\frak{g}^*, where \frak{g}^* denotes the Lie algebra of SO(2n). Moreover, if M admits Riemannian metric of pinched curvature with sufficiently small pinching constant then \xi is fat with respect to the Levi-Civitta connection in the frame bundle. As a result, the whole coadjoint orbit (which is the image of the moment map of the SO(2n)-action) consists of fat vectors. Thus, we obtain a fiberwise symplectic structure on the total space of any twistor bundle

\displaystyle F_{\xi}\rightarrow P\times_{SO(2n)}F_{\xi}\rightarrow M

over even-dimensional manifolds of pinched curvature. In particular, twistor bundles over spheres S^{2n} or hyperbolic manifolds, admit fiberwise symplectic structures. The simplest example of this construction is the fibering of \mathbb{C}P^3 over S^4 with fiber \mathbb{C}P^1, since it is known that the total space of the twistor bundle over S^4 is \mathbb{C}P^3.

Example (locally homogeneous complex manifolds) Let G be a Lie group of non-compact type, which is a real form of a complex Lie group G^c. Choose a parabolic subgroup B\subset G^c and a maximal compact subgroup K in G. Assume that V=B\subset G is compact. Then one can show that K/V can be identified with a coadjoint orbit of some vector in \frak{k}^*, which is fat with respect to a K-invariant connection in the principal bundle

\displaystyle K\rightarrow G/V\rightarrow G/K.

It follows that the associated bundle

\displaystyle K/V\rightarrow G/V\rightarrow G/K

is a symplectic fiber bundle with fiberwise symplectic structure. This construction can be compactified by taking lattices in G which intersect trivially with K. A particular example is given by the fiber bundle

\displaystyle SO(2n)/U(n)\rightarrow SO(2n,p)/U(n)\times SO(p)\rightarrow SO(2n,p)/SO(2n)\times SO(p),

and its compactification by lattices.

[edit] 4.3 Symplectic reduction

Let G be a Lie group acting on a symplectic manifold (M,\omega) in a hamiltonian way. Denote by \mu: M\rightarrow\frak{g}^* the moment map of this action. Since G acts on the level set \mu^{-1}(a),a\in\frak{g}^*, one can consider the orbit space \mu^{-1}(a)/G. It is an orbifold in general, but it happens to be a manifold, when G acts freely on the preimage, and a is a regular point. In this case, \tilde M=\mu^{-1}(a)/G is a symplectic manifold as well, called symplectic reduction. It is often denoted by M//G.

[edit] 4.4 Symplectic cut

Let (M,\omega) be a symplectic manifold with a hamiltonian action of the circle S^1. If \mu:\rightarrow \mathbb R is the moment map, M_a=\mu^{-1}(a) is a regular level, then the action restricted to M_a has no fixed points, hence M_a is the boundary of the associated disk bundle W. This is a manifold if the action is free and an orbifold if a non-trivial isotropy occurs.

[edit] 4.5 Coadjoint orbits

[edit] 4.6 Symplectic homogeneous spaces

Nilmanifolds, solvmanifolds, homogeneous spaces of semisimple Lie groups

[edit] 4.7 Donaldson's theorem on submanifolds

[edit] 4.8 Surgery in codimension 2

Consider two symplectic manifolds (M_1,\omega_1),(M_2,\omega_2) of equal dimension and suppose that there are codimension two symplectic submanifolds V_1\subset M_1,V_2\subset M_2 and a symplectomorphism f:V_1\rightarrow V_2 such that Chern classes of normal bundles satisfy f^*c_1(\nu_2)=-c_1(\nu_1). Then by removing tubular neighborhods of V_1 and V_2 we get manifolds with boundaries. The map f induces a diffeomorphism of the boundaries, one can form a new manifold identifying the boundaries by this diffeomorphism and define on it a symplectic form which coincides with \omega_1 and \omega_2 outside of a tubular neigborhood of the trace of glueing [Gompf1995]. The same works if V_1,V_2 are symplectic submanifolds of a connected symplectic manifold.

[edit] 4.9 Symplectic blow-up

[edit] 5 Invariants

...

[edit] 6 Classification/Characterization

...

[edit] 7 Further discussion

...

[edit] 8 References

Personal tools
Namespaces
Variants
Actions
Navigation
Interaction
Toolbox