Namespaces
Variants
Actions

Difference between revisions of "Isotropic submanifold"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (AUTOMATIC EDIT (latexlist): Replaced 15 formulas out of 15 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
 
Line 1: Line 1:
A term used in symplectic and contact geometry. In the case of a [[Symplectic manifold|symplectic manifold]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120090/i1200901.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120090/i1200902.png" /> is a closed, non-degenerate <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120090/i1200903.png" />-form, it denotes a submanifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120090/i1200904.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120090/i1200905.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120090/i1200906.png" /> restricts to zero on the tangent bundle of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120090/i1200907.png" />. In the case of a contact manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120090/i1200908.png" />, where locally <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120090/i1200909.png" /> with a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120090/i12009010.png" />-form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120090/i12009011.png" /> satisfying <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120090/i12009012.png" />, it refers to a submanifold which is everywhere tangent to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120090/i12009013.png" />. In either case an isotropic submanifold is of dimension at most <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120090/i12009014.png" />. An isotropic submanifold of maximal dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120090/i12009015.png" /> is called a Lagrange submanifold in the former case, and a Legendre submanifold in the latter.
+
<!--This article has been texified automatically. Since there was no Nroff source code for this article,
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.
 +
 
 +
Out of 15 formulas, 15 were replaced by TEX code.-->
 +
 
 +
{{TEX|semi-auto}}{{TEX|done}}
 +
A term used in symplectic and contact geometry. In the case of a [[Symplectic manifold|symplectic manifold]] $( M ^ { 2 n } , \omega )$, where $\omega$ is a closed, non-degenerate $2$-form, it denotes a submanifold $L$ of $M$ such that $\omega$ restricts to zero on the tangent bundle of $L$. In the case of a contact manifold $( M ^ { 2 n + 1 } , \xi )$, where locally $\xi = \operatorname{ker} \alpha$ with a $1$-form $\alpha$ satisfying $\alpha \wedge ( d \alpha ) ^ { n } \neq 0$, it refers to a submanifold which is everywhere tangent to $\xi $. In either case an isotropic submanifold is of dimension at most $n$. An isotropic submanifold of maximal dimension $n$ is called a Lagrange submanifold in the former case, and a Legendre submanifold in the latter.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  V.I. Arnold,  A.B. Givental,  "Symplectic geometry"  V.I. Arnold (ed.)  S.P. Novikov (ed.) , ''Dynamical Systems IV'' , ''Encycl. Math. Sci.'' , '''4''' , Springer  (1990)</TD></TR></table>
+
<table><tr><td valign="top">[a1]</td> <td valign="top">  V.I. Arnold,  A.B. Givental,  "Symplectic geometry"  V.I. Arnold (ed.)  S.P. Novikov (ed.) , ''Dynamical Systems IV'' , ''Encycl. Math. Sci.'' , '''4''' , Springer  (1990)</td></tr></table>

Latest revision as of 17:00, 1 July 2020

A term used in symplectic and contact geometry. In the case of a symplectic manifold $( M ^ { 2 n } , \omega )$, where $\omega$ is a closed, non-degenerate $2$-form, it denotes a submanifold $L$ of $M$ such that $\omega$ restricts to zero on the tangent bundle of $L$. In the case of a contact manifold $( M ^ { 2 n + 1 } , \xi )$, where locally $\xi = \operatorname{ker} \alpha$ with a $1$-form $\alpha$ satisfying $\alpha \wedge ( d \alpha ) ^ { n } \neq 0$, it refers to a submanifold which is everywhere tangent to $\xi $. In either case an isotropic submanifold is of dimension at most $n$. An isotropic submanifold of maximal dimension $n$ is called a Lagrange submanifold in the former case, and a Legendre submanifold in the latter.

References

[a1] V.I. Arnold, A.B. Givental, "Symplectic geometry" V.I. Arnold (ed.) S.P. Novikov (ed.) , Dynamical Systems IV , Encycl. Math. Sci. , 4 , Springer (1990)
How to Cite This Entry:
Isotropic submanifold. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Isotropic_submanifold&oldid=15492
This article was adapted from an original article by H. Geiges (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article