Difference between revisions of "H-principle"
(Importing text file)
m (MR/ZBL numbers added)
|Line 16:||Line 16:|
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> M. Gromov, "Partial differential relations" , ''Ergebn. Math. Grenzgeb. (3)'' , '''9''' , Springer (1986) </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> A. Haefliger, "Lectures on the theorem of Gromov" , ''Proc. Liverpool Singularities Sympos. II'' , ''Lecture Notes Math.'' , '''209''' , Springer (1971) pp. 128–141 </TD></TR></table>
Revision as of 16:58, 15 April 2012
A term having its origin in papers by M. Gromov in the 1960s and 1970s, some in collaboration with Y. Eliashberg and V. Rokhlin. It applies to partial differential equations or inequalities which have, very roughly speaking, as many solutions as predicted by topology.
The foundational example is the immersion theorem of S. Smale and M. Hirsch, which states the following: Let and be smooth manifolds without boundary and suppose that or that is non-compact. Then a smooth mapping is homotopic (cf. also Homotopy) to a smooth immersion if and only if it can be covered by a continuous bundle mapping which is injective on each fibre. The -principle provides a general language to formulate this and other geometric problems.
Let be a smooth fibration and let the space of -jets of smooth sections of . A section of the bundle is called holonomic if it is the -jet of a section of . A differential relation (of order ) imposed on sections is a subset . On says that satisfies the -principle if every section is homotopic to a holonomic section through a homotopy of sections .
There are several versions of the -principle (relative, with parameters, etc.). For instance, the -principle is called dense if a section of can be homotoped into a holonomic section by a homotopy -close to the original section.
To formulate the immersion theorem above in this language, one takes the trivial fibration and defines the immersion relation by stipulating that consist of the injective linear mappings in . The immersion theorem then says that satisfies the -principle.
A surprising number of geometrically significant relations satisfy the -principle, and Gromov has developed powerful methods for proving the -principle. The fundamental reference for this subject is [a1]. The principal methods for proving the -principle are removal of singularities, continuous sheaves, and convex integration.
The simplest instance of relations satisfying the -principle is arguably that of open relations over open manifolds (or in the case of extra dimension), subject to some naturality conditions. A very readable account of this theory can be found in [a2]. One particular application of this form of the -principle is to symplectic and contact geometry: If is open, then every non-degenerate -form (i.e. satisfying ) is homotopic to an exact non-degenerate -form, i.e. an exact symplectic form. Similarly, if is open and are a -form, respectively a -form, with , then is homotopic to a contact form , that is, . Other important applications of the -principle are the Nash–Kuiper -isometric immersion theorem and the classification of isotropic immersions (see Isotropic submanifold; Contact surgery) in contact geometry.
|[a1]||M. Gromov, "Partial differential relations" , Ergebn. Math. Grenzgeb. (3) , 9 , Springer (1986) MR0864505 Zbl 0651.53001|
|[a2]||A. Haefliger, "Lectures on the theorem of Gromov" , Proc. Liverpool Singularities Sympos. II , Lecture Notes Math. , 209 , Springer (1971) pp. 128–141 MR0334241 Zbl 0222.57020|
H-principle. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=H-principle&oldid=17346