Microbundle
m |
|||
Line 1: | Line 1: | ||
− | {{Authors|Diarmuid Crowley|Matthias Kreck}} | + | {{Authors|Diarmuid Crowley|Matthias Kreck}}{{Definition reviewed}} |
==Definition== | ==Definition== | ||
<wikitex>; | <wikitex>; |
Revision as of 11:47, 15 April 2013
An earlier version of this page was published in the Definitions section of the Bulletin of the Manifold Atlas: screen, print. You may view the version used for publication as of 12:20, 16 May 2013 and the changes since publication. |
The users responsible for this page are: Diarmuid Crowley, Matthias Kreck. No other users may edit this page at present. |
This page is being independently reviewed under the supervision of the Editorial Board. |
Contents |
1 Definition
Tex syntax error-bundle; i.e. a fibre bundle with structure group the homeomorphisms of
Tex syntax errorfixing .
Definition 1.1 [Milnor1964] .
Let be a topological space. An -dimensional microbundle over is a quadrupleTex syntax error
where is a space, and are maps fitting into the following diagram
Tex syntax error
and the following conditions hold:
Tex syntax error
.- For all
Tex syntax error
there exist open neigbourhoodTex syntax error
, an open neighbourhoodTex syntax error
ofTex syntax error
and a homeomorphismTex syntax error
which makes the following diagram commute:
The space is called the total space of the bundle and the base space.
Two microbundlesTex syntax error,
Tex syntax errorover the same space are isomorphic if there exist neighbourhoods
Tex syntax errorof
Tex syntax errorand
Tex syntax errorof
Tex syntax errorand a homeomorphism
Tex syntax errormaking the following diagram commute:
2 The tangent microbundle
An important example of a microbundle is the tangent microbundle of a topological (or similarly ) manifold . Let
be the diagonal map for .
Example 2.1 [Milnor1964, Lemma 2.1].
Let be topological (or PL) -manifold, and letTex syntax errorbe the projection onto the first factor. Then
Tex syntax error
Tex syntax errorof .
Remark 2.2. An atlas of gives a product atlas of which shows that the second condition of a microbundle is fulfilled. Actually the definition of the micro tangent bundle looks a bit more like a normal bundle to the diagonal, a view which fits to the fact that the normal bundle of the diagonal of a smooth manifold in is isomorphic to its tangent bundle.
Tex syntax error-bundle.
Tex syntax errorbe a topological
Tex syntax error-bundle with zero section
Tex syntax error.
Then the quadruple
Tex syntax error
is an -dimensional microbundle.
A fundamental fact about microbundles is the following theorem, often called the Kister-Mazur theorem, proven independently by Kister and Mazur.
Theorem 2.4 [Kister1964, Theorem 2].
LetTex syntax errorbe an -dimensional microbundle over a locally finite, finite dimensional simplicial complex . Then there is a neighbourhood of
Tex syntax error,
Tex syntax errorsuch that the following hold.
-
Tex syntax error
is the total space of a topologicalTex syntax error
-bundle over . - is a microbundle and the the inclusion
Tex syntax error
is a microbundle isomorphism. - If
Tex syntax error
is any other such neighbourhood ofTex syntax error
then there is aTex syntax error
-bundle isomorphism .
Remark 2.5. Microbundle theory is an important part of the work by Kirby and Siebenmann [Kirby&Siebenmann1977] on smooth structures and -structures on higher dimensional topological manifolds.
3 References
- [Kirby&Siebenmann1977] R. C. Kirby and L. C. Siebenmann, Foundational essays on topological manifolds, smoothings, and triangulations, Princeton University Press, Princeton, N.J., 1977. MR0645390 (58 #31082) Zbl 0361.57004
- [Kister1964] J. M. Kister, Microbundles are fibre bundles, Ann. of Math. (2) 80 (1964), 190–199. MR0180986 (31 #5216) Zbl 0131.20602
- [Milnor1964] J. Milnor, Microbundles. I, Topology 3 (1964), no.suppl. 1, 53–80. MR0161346 (28 #4553b) Zbl 0124.38404
4 External links
- The Wikipedia page about microbundles.
Tex syntax error-bundle; i.e. a fibre bundle with structure group the homeomorphisms of
Tex syntax errorfixing .
Definition 1.1 [Milnor1964] .
Let be a topological space. An -dimensional microbundle over is a quadrupleTex syntax error
where is a space, and are maps fitting into the following diagram
Tex syntax error
and the following conditions hold:
Tex syntax error
.- For all
Tex syntax error
there exist open neigbourhoodTex syntax error
, an open neighbourhoodTex syntax error
ofTex syntax error
and a homeomorphismTex syntax error
which makes the following diagram commute:
The space is called the total space of the bundle and the base space.
Two microbundlesTex syntax error,
Tex syntax errorover the same space are isomorphic if there exist neighbourhoods
Tex syntax errorof
Tex syntax errorand
Tex syntax errorof
Tex syntax errorand a homeomorphism
Tex syntax errormaking the following diagram commute:
2 The tangent microbundle
An important example of a microbundle is the tangent microbundle of a topological (or similarly ) manifold . Let
be the diagonal map for .
Example 2.1 [Milnor1964, Lemma 2.1].
Let be topological (or PL) -manifold, and letTex syntax errorbe the projection onto the first factor. Then
Tex syntax error
Tex syntax errorof .
Remark 2.2. An atlas of gives a product atlas of which shows that the second condition of a microbundle is fulfilled. Actually the definition of the micro tangent bundle looks a bit more like a normal bundle to the diagonal, a view which fits to the fact that the normal bundle of the diagonal of a smooth manifold in is isomorphic to its tangent bundle.
Tex syntax error-bundle.
Tex syntax errorbe a topological
Tex syntax error-bundle with zero section
Tex syntax error.
Then the quadruple
Tex syntax error
is an -dimensional microbundle.
A fundamental fact about microbundles is the following theorem, often called the Kister-Mazur theorem, proven independently by Kister and Mazur.
Theorem 2.4 [Kister1964, Theorem 2].
LetTex syntax errorbe an -dimensional microbundle over a locally finite, finite dimensional simplicial complex . Then there is a neighbourhood of
Tex syntax error,
Tex syntax errorsuch that the following hold.
-
Tex syntax error
is the total space of a topologicalTex syntax error
-bundle over . - is a microbundle and the the inclusion
Tex syntax error
is a microbundle isomorphism. - If
Tex syntax error
is any other such neighbourhood ofTex syntax error
then there is aTex syntax error
-bundle isomorphism .
Remark 2.5. Microbundle theory is an important part of the work by Kirby and Siebenmann [Kirby&Siebenmann1977] on smooth structures and -structures on higher dimensional topological manifolds.
3 References
- [Kirby&Siebenmann1977] R. C. Kirby and L. C. Siebenmann, Foundational essays on topological manifolds, smoothings, and triangulations, Princeton University Press, Princeton, N.J., 1977. MR0645390 (58 #31082) Zbl 0361.57004
- [Kister1964] J. M. Kister, Microbundles are fibre bundles, Ann. of Math. (2) 80 (1964), 190–199. MR0180986 (31 #5216) Zbl 0131.20602
- [Milnor1964] J. Milnor, Microbundles. I, Topology 3 (1964), no.suppl. 1, 53–80. MR0161346 (28 #4553b) Zbl 0124.38404
4 External links
- The Wikipedia page about microbundles.