Difference between revisions of "Symplectic connection"
(Importing text file) |
m (fixing spaces) |
||
(One intermediate revision by one other user not shown) | |||
Line 1: | Line 1: | ||
− | + | <!-- | |
+ | s0918101.png | ||
+ | $#A+1 = 24 n = 0 | ||
+ | $#C+1 = 24 : ~/encyclopedia/old_files/data/S091/S.0901810 Symplectic connection | ||
+ | Automatically converted into TeX, above some diagnostics. | ||
+ | Please remove this comment and the {{TEX|auto}} line below, | ||
+ | if TeX found to be correct. | ||
+ | --> | ||
− | + | {{TEX|auto}} | |
+ | {{TEX|done}} | ||
− | + | An [[Affine connection|affine connection]] on a smooth manifold $ M $ | |
+ | of dimension $ 2n $ | ||
+ | with a non-degenerate $ 2 $-form $ \Phi $ | ||
+ | that is covariantly constant with respect to it. If the affine connection on $ M $ | ||
+ | is given by the local connection forms | ||
+ | |||
+ | $$ | ||
+ | \omega ^ {i} = \ | ||
+ | \Gamma _ {k} ^ {i} dx ^ {k} ,\ \ | ||
+ | \mathop{\rm det} \| \Gamma _ {k} ^ {i} \| \neq 0, | ||
+ | $$ | ||
+ | |||
+ | $$ | ||
+ | \omega _ {j} ^ {i} = \Gamma _ {jk} ^ {i} \omega ^ {k} | ||
+ | $$ | ||
and | and | ||
− | + | $$ | |
+ | \Phi = \ | ||
+ | a _ {ij} \omega ^ {i} \wedge \omega ^ {j} ,\ \ | ||
+ | a _ {ij} = - a _ {ji} , | ||
+ | $$ | ||
− | then the condition that | + | then the condition that $ \Phi $ |
+ | be covariantly constant can be expressed in the form | ||
− | + | $$ | |
+ | da _ {ij} = \ | ||
+ | a _ {kj} \omega _ {i} ^ {k} + | ||
+ | a _ {ik} \omega _ {j} ^ {k} . | ||
+ | $$ | ||
− | The | + | The $ 2 $-form $ \Phi $ |
+ | defines a symplectic (or almost-Hamiltonian) structure on $ M $ | ||
+ | that converts every tangent space $ T _ {x} ( M) $ | ||
+ | into a symplectic space with the skew-symmetric scalar product $ \Phi ( X, Y) $. | ||
+ | A symplectic connection can also be defined as an affine connection on $ M $ | ||
+ | which preserves this product under parallel transfer of vectors. In every $ T _ {x} ( M) $ | ||
+ | one can choose a frame such that | ||
− | + | $$ | |
+ | \Phi = 2 | ||
+ | \sum _ {\alpha = 1 } ^ { n } | ||
+ | \omega ^ \alpha \wedge | ||
+ | \omega ^ {n + \alpha } . | ||
+ | $$ | ||
− | The set of all such frames forms a principal fibre bundle over | + | The set of all such frames forms a principal fibre bundle over $ M $, |
+ | whose structure group is the [[Symplectic group|symplectic group]]. A symplectic connection is just a connection in this principal fibre bundle. There are manifolds $ M $ | ||
+ | of even dimension on which there is no non-degenerate globally defined $ 2 $-form $ \Phi $ | ||
+ | and, consequently, no symplectic connection. However, if $ \Phi $ | ||
+ | exists, a symplectic connection with respect to which $ \Phi $ | ||
+ | is covariantly constant is not uniquely determined. | ||
====References==== | ====References==== | ||
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> S. Sternberg, "Lectures on differential geometry" , Prentice-Hall (1964)</TD></TR></table> | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> S. Sternberg, "Lectures on differential geometry" , Prentice-Hall (1964)</TD></TR></table> | ||
− | |||
− | |||
====Comments==== | ====Comments==== | ||
− | |||
====References==== | ====References==== | ||
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> R. Abraham, J.E. Marsden, "Foundations of mechanics" , Benjamin/Cummings (1978)</TD></TR></table> | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> R. Abraham, J.E. Marsden, "Foundations of mechanics" , Benjamin/Cummings (1978)</TD></TR></table> |
Latest revision as of 02:36, 14 September 2022
An affine connection on a smooth manifold $ M $
of dimension $ 2n $
with a non-degenerate $ 2 $-form $ \Phi $
that is covariantly constant with respect to it. If the affine connection on $ M $
is given by the local connection forms
$$ \omega ^ {i} = \ \Gamma _ {k} ^ {i} dx ^ {k} ,\ \ \mathop{\rm det} \| \Gamma _ {k} ^ {i} \| \neq 0, $$
$$ \omega _ {j} ^ {i} = \Gamma _ {jk} ^ {i} \omega ^ {k} $$
and
$$ \Phi = \ a _ {ij} \omega ^ {i} \wedge \omega ^ {j} ,\ \ a _ {ij} = - a _ {ji} , $$
then the condition that $ \Phi $ be covariantly constant can be expressed in the form
$$ da _ {ij} = \ a _ {kj} \omega _ {i} ^ {k} + a _ {ik} \omega _ {j} ^ {k} . $$
The $ 2 $-form $ \Phi $ defines a symplectic (or almost-Hamiltonian) structure on $ M $ that converts every tangent space $ T _ {x} ( M) $ into a symplectic space with the skew-symmetric scalar product $ \Phi ( X, Y) $. A symplectic connection can also be defined as an affine connection on $ M $ which preserves this product under parallel transfer of vectors. In every $ T _ {x} ( M) $ one can choose a frame such that
$$ \Phi = 2 \sum _ {\alpha = 1 } ^ { n } \omega ^ \alpha \wedge \omega ^ {n + \alpha } . $$
The set of all such frames forms a principal fibre bundle over $ M $, whose structure group is the symplectic group. A symplectic connection is just a connection in this principal fibre bundle. There are manifolds $ M $ of even dimension on which there is no non-degenerate globally defined $ 2 $-form $ \Phi $ and, consequently, no symplectic connection. However, if $ \Phi $ exists, a symplectic connection with respect to which $ \Phi $ is covariantly constant is not uniquely determined.
References
[1] | S. Sternberg, "Lectures on differential geometry" , Prentice-Hall (1964) |
Comments
References
[a1] | R. Abraham, J.E. Marsden, "Foundations of mechanics" , Benjamin/Cummings (1978) |
Symplectic connection. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Symplectic_connection&oldid=11792