Namespaces
Variants
Actions

Difference between revisions of "Haefliger structure"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (MR/ZBL numbers added)
Line 21: Line 21:
 
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612053.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612054.png" />-mapping of manifolds that is transversal to the leaves of a foliation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612055.png" /> of codimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612056.png" /> and class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612057.png" />, given on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612058.png" />, then the partition of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612059.png" /> into the connected components of the inverse images of the leaves of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612060.png" /> is a foliation, which is naturally said to be induced; it is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612061.png" />. If a compatible system of submersions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612062.png" /> specifies <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612063.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612064.png" /> is determined by the compatible system of submersions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612065.png" />; in this case the induced Haefliger structure is essentially the same as the induced foliation. But if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612066.png" /> is not transversal to the leaves of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612067.png" />, then there is no induced foliation, but only an induced Haefliger structure. Therefore, in the homotopy theory of foliations the reversion to Haefliger structures is inevitable, at least in certain intermediate stages of the argument.
 
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612053.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612054.png" />-mapping of manifolds that is transversal to the leaves of a foliation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612055.png" /> of codimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612056.png" /> and class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612057.png" />, given on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612058.png" />, then the partition of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612059.png" /> into the connected components of the inverse images of the leaves of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612060.png" /> is a foliation, which is naturally said to be induced; it is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612061.png" />. If a compatible system of submersions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612062.png" /> specifies <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612063.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612064.png" /> is determined by the compatible system of submersions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612065.png" />; in this case the induced Haefliger structure is essentially the same as the induced foliation. But if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612066.png" /> is not transversal to the leaves of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612067.png" />, then there is no induced foliation, but only an induced Haefliger structure. Therefore, in the homotopy theory of foliations the reversion to Haefliger structures is inevitable, at least in certain intermediate stages of the argument.
  
It was observed (see [[#References|[1]]], [[#References|[2]]]) that the known connection for foliations and fibre bundles (cf. [[Foliation|Foliation]]) between their classification and continuous mappings into the [[Classifying space|classifying space]] is preserved for Haefliger structures. This classifying space is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612068.png" /> for a Haefliger structure of codimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612069.png" /> and class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612070.png" />. There is also a certain "universal" Haefliger structure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612071.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612072.png" /> (in this respect <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612073.png" /> rather resembles the universal foliation (fibre bundle)). For any "good" topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612074.png" /> (for example, a cellular polyhedron) any Haefliger structure on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612075.png" /> is induced from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612076.png" /> by some continuous mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612077.png" />. Two mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612078.png" /> are homotopic if and only if the Haefliger structures <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612079.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612080.png" /> are concordant, that is, are obtained from the "restriction" of a certain Haefliger structure on the "cylinder" <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612081.png" /> to the "bottom" and the "top" .
+
It was observed (see [[#References|[1]]], [[#References|[2]]]) that the known connection for foliations and fibre bundles (cf. [[Foliation|Foliation]]) between their classification and continuous mappings into the [[Classifying space|classifying space]] is preserved for Haefliger structures. This classifying space is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612068.png" /> for a Haefliger structure of codimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612069.png" /> and class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612070.png" />. There is also a certain "universal" Haefliger structure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612071.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612072.png" /> (in this respect <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612073.png" /> rather resembles the universal foliation (fibre bundle)). For any "good" topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612074.png" /> (for example, a cellular polyhedron) any Haefliger structure on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612075.png" /> is induced from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612076.png" /> by some continuous mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612077.png" />. Two mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612078.png" /> are homotopic if and only if the Haefliger structures <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612079.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612080.png" /> are concordant, that is, are obtained from the "restriction" of a certain Haefliger structure on the "cylinder" <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612081.png" /> to the "bottom" and the "top" .
  
 
All that has been said refers also to topological, analytic, and piecewise-linear Haefliger structures, and the first two cases are formally subsumed under the preceding text if one takes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612082.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612083.png" />, while the last one requires a certain rephrasing.
 
All that has been said refers also to topological, analytic, and piecewise-linear Haefliger structures, and the first two cases are formally subsumed under the preceding text if one takes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612082.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046120/h04612083.png" />, while the last one requires a certain rephrasing.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> A. Haefliger,   "Feuilletages sur les variétés ouvertes" ''Topology'' , '''9''' : 2 (1970) pp. 183–194</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> A. Haefliger,   "Homotopy and integrability" N.H. Kuiper (ed.) , ''Manifolds (Amsterdam, 1970)'' , ''Lect. notes in math.'' , '''197''' , Springer (1971) pp. 133–163</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> H. Lawson,   "The quantitative theory of foliations" , Amer. Math. Soc. (1977)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> D.B. Fuks,   "Cohomology of infinite-dimensional Lie algebras and characteristic classes of foliations" ''J. Soviet Math.'' , '''11''' (1979) pp. 922–980 ''Itogi Nauk. i Tekhn. Sovrem. Probl. Mat.'' , '''10''' (1978) pp. 179–285</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> D.B. Fuks,   "Foliations" ''J. Soviet Math.'' , '''18''' (1982) pp. 255–291 ''Itogi Nauk. i Tekhn. Algebra Topol. Geom.'' , '''18''' (1981) pp. 151–213</TD></TR></table>
+
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> A. Haefliger, "Feuilletages sur les variétés ouvertes" ''Topology'' , '''9''' : 2 (1970) pp. 183–194 {{MR|0263104}} {{ZBL|0196.26901}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> A. Haefliger, "Homotopy and integrability" N.H. Kuiper (ed.) , ''Manifolds (Amsterdam, 1970)'' , ''Lect. notes in math.'' , '''197''' , Springer (1971) pp. 133–163 {{MR|0285027}} {{ZBL|0215.52403}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> H. Lawson, "The quantitative theory of foliations" , Amer. Math. Soc. (1977) {{MR|0448368}} {{ZBL|0343.57014}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> D.B. Fuks, "Cohomology of infinite-dimensional Lie algebras and characteristic classes of foliations" ''J. Soviet Math.'' , '''11''' (1979) pp. 922–980 ''Itogi Nauk. i Tekhn. Sovrem. Probl. Mat.'' , '''10''' (1978) pp. 179–285 {{MR|0513337}} {{ZBL|0499.57001}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> D.B. Fuks, "Foliations" ''J. Soviet Math.'' , '''18''' (1982) pp. 255–291 ''Itogi Nauk. i Tekhn. Algebra Topol. Geom.'' , '''18''' (1981) pp. 151–213 {{MR|0616646}} {{MR|0513337}} {{MR|0431199}} {{MR|0413125}} {{MR|0418115}} {{MR|0356082}} {{MR|0415635}} {{MR|0339195}} {{ZBL|0479.57014}} {{ZBL|0499.57001}} {{ZBL|0348.57008}} {{ZBL|0316.57010}} {{ZBL|0298.57011}} {{ZBL|0294.57016}} {{ZBL|0274.57005}} </TD></TR></table>

Revision as of 16:58, 15 April 2012

of codimension and class on a topological space

A structure defined by means of a Haefliger atlas (also called a Haefliger cocycle) , where the are open subsets covering , the

are continuous mappings of into the sheaf of germs (cf. Germ) of local -diffeomorphisms of the space , and

Two Haefliger atlases determine one and the same Haefliger structure if they are part of some larger Haefliger atlas. (Thus, a Haefliger structure can also be defined as a maximal Haefliger atlas.) If on a Haefliger structure is given by means of an atlas and if is a continuous mapping, then the atlas , where , defines the induced Haefliger structure (which does not depend on the concrete choice of the atlas specifying ).

Let be a manifold endowed with a foliation by means of submersions that are compatible in the sense that if , then there exists a local -diffeomorphism by means of which one can go over from to :

(*)

for all sufficiently close to . If one puts germ of in , then is a mapping , and is a Haefliger atlas. Here can be recovered uniquely from the Haefliger atlas: is that point in which the germ is . The resulting correspondence between foliations and certain Haefliger structures does not depend on the accidentals of the construction (the choice of the system ); distinct foliations correspond to distinct Haefliger structures, but there exist Haefliger structures that do not correspond to any foliation. Therefore, a Haefliger structure is a generalization of the concept of a foliation.

In the general case one may define for a Haefliger structure, as above, a mapping . If is a representative of the germ , then and are connected in some neighbourhood of , as before, by the relation (*). But since and are not necessarily submersions, generally speaking, one cannot determine uniquely from (*). Therefore, in general, one has to define a Haefliger structure not in terms of , but by including in the definition.

If is a -mapping of manifolds that is transversal to the leaves of a foliation of codimension and class , given on , then the partition of into the connected components of the inverse images of the leaves of is a foliation, which is naturally said to be induced; it is denoted by . If a compatible system of submersions specifies , then is determined by the compatible system of submersions ; in this case the induced Haefliger structure is essentially the same as the induced foliation. But if is not transversal to the leaves of , then there is no induced foliation, but only an induced Haefliger structure. Therefore, in the homotopy theory of foliations the reversion to Haefliger structures is inevitable, at least in certain intermediate stages of the argument.

It was observed (see [1], [2]) that the known connection for foliations and fibre bundles (cf. Foliation) between their classification and continuous mappings into the classifying space is preserved for Haefliger structures. This classifying space is denoted by for a Haefliger structure of codimension and class . There is also a certain "universal" Haefliger structure in (in this respect rather resembles the universal foliation (fibre bundle)). For any "good" topological space (for example, a cellular polyhedron) any Haefliger structure on is induced from by some continuous mapping . Two mappings are homotopic if and only if the Haefliger structures and are concordant, that is, are obtained from the "restriction" of a certain Haefliger structure on the "cylinder" to the "bottom" and the "top" .

All that has been said refers also to topological, analytic, and piecewise-linear Haefliger structures, and the first two cases are formally subsumed under the preceding text if one takes or , while the last one requires a certain rephrasing.

References

[1] A. Haefliger, "Feuilletages sur les variétés ouvertes" Topology , 9 : 2 (1970) pp. 183–194 MR0263104 Zbl 0196.26901
[2] A. Haefliger, "Homotopy and integrability" N.H. Kuiper (ed.) , Manifolds (Amsterdam, 1970) , Lect. notes in math. , 197 , Springer (1971) pp. 133–163 MR0285027 Zbl 0215.52403
[3] H. Lawson, "The quantitative theory of foliations" , Amer. Math. Soc. (1977) MR0448368 Zbl 0343.57014
[4] D.B. Fuks, "Cohomology of infinite-dimensional Lie algebras and characteristic classes of foliations" J. Soviet Math. , 11 (1979) pp. 922–980 Itogi Nauk. i Tekhn. Sovrem. Probl. Mat. , 10 (1978) pp. 179–285 MR0513337 Zbl 0499.57001
[5] D.B. Fuks, "Foliations" J. Soviet Math. , 18 (1982) pp. 255–291 Itogi Nauk. i Tekhn. Algebra Topol. Geom. , 18 (1981) pp. 151–213 MR0616646 MR0513337 MR0431199 MR0413125 MR0418115 MR0356082 MR0415635 MR0339195 Zbl 0479.57014 Zbl 0499.57001 Zbl 0348.57008 Zbl 0316.57010 Zbl 0298.57011 Zbl 0294.57016 Zbl 0274.57005
How to Cite This Entry:
Haefliger structure. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Haefliger_structure&oldid=13419
This article was adapted from an original article by D.V. Anosov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article