Namespaces
Variants
Actions

Difference between revisions of "Four-dimensional manifold"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
A topological space in which each point has a neighbourhood homeomorphic to the four-dimensional Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f0409801.png" /> or to the closed half-space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f0409802.png" />. This definition is usually extended by the requirement that a four-dimensional manifold be Hausdorff as a topological space, and have a countable base. The topology of four-dimensional manifolds occupies a special place in the [[Topology of manifolds|topology of manifolds]]. On the one hand, the dimension 4 is too small for the straightforward application of techniques of [[General position|general position]]; [[Transversality|transversality]] (and [[Surgery|surgery]]), which are so productive in higher-dimensional topology, yet sufficiently large to exclude the direct use of the more intuitive methods of three-dimensional topology. On the other hand, the topology of four-dimensional manifolds inherits many of the difficulties of three-dimensional and also of higher-dimensional topology. This is illustrated, for example, by the facts that the boundary of a four-dimensional manifold may be an arbitrary three-dimensional manifold, and that every finitely-presented group is the [[Fundamental group|fundamental group]] of some closed four-dimensional manifold. On the latter observation is based the impossibility of algorithmically recognizing homeomorphy of four-dimensional manifolds. The exceptional status of dimension 4 is well-illustrated by the following fact: There exists a non-standard piecewise-linear (and differentiable) structure on the manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f0409803.png" /> only for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f0409804.png" />. There exist four-dimensional manifolds that do not admit piecewise-linear structures. If such a structure exists at all, then there is a unique differentiable structure compatible with it. A four-dimensional manifold equipped with a complex structure is called an analytic surface.
+
<!--
 +
f0409801.png
 +
$#A+1 = 29 n = 0
 +
$#C+1 = 29 : ~/encyclopedia/old_files/data/F040/F.0400980 Four\AAhdimensional manifold
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
To every closed orientable four-dimensional manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f0409805.png" /> a unimodular integer-valued symmetric bilinear form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f0409806.png" /> is associated, acting on the free part of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f0409807.png" /> via the intersections of cycles. The signature of this form is called the signature of the manifold. The intersection form is the most important invariant of a four-dimensional manifold. Two closed simply-connected differentiable four-dimensional manifolds are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f0409808.png" />-cobordant (cf. [[H-cobordism|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f0409809.png" />-cobordism]]) if and only if their forms are isomorphic. If the quadratic form corresponding to the bilinear form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f04098010.png" /> of a differentiable four-dimensional manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f04098011.png" /> takes only even values, then the structure group SO of its stable tangent bundle can be replaced by the group Spin. Such four-dimensional manifolds are called spin manifolds. There is a topological classification of closed simply-connected four-dimensional manifolds. Every such four-dimensional manifold with an even form is completely determined by it, and every even, integer-valued, symmetric unimodular form is realized as the intersection form of a simply-connected four-dimensional topological manifold. In particular, the four-dimensional topological [[Poincaré conjecture|Poincaré conjecture]] is true. A classifying invariant of four-dimensional manifolds with odd form is given by pairs of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f04098012.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f04098013.png" /> is an odd, integer-valued, symmetric unimodular bilinear form and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f04098014.png" /> or 1. Every closed simply-connected four-dimensional manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f04098015.png" /> with an odd form is completely determined by the pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f04098016.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f04098017.png" /> if the stable tangent bundle of the manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f04098018.png" /> admits a trivialization, and 1 otherwise. Every such pair is realizable. The question of which forms can be realized by simply-connected differentiable four-dimensional manifolds has not yet been completely answered. It is known that all odd indefinite forms can be realized. Among the even indefinite forms, connected sums of the [[Kummer surface|Kummer surface]] and the manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f04098019.png" /> realize <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f04098020.png" />, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f04098021.png" /> is even and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f04098022.png" />. A form of this type with an odd number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f04098023.png" /> is known not to be the intersection form of a closed differentiable four-dimensional manifold, since the signatures of such spin manifolds are necessarily divisible by 16, while the signature of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f04098024.png" /> is equal to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f04098025.png" />. From the forms given above, only the forms that are given by unit matrices can be realized.
+
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
 +
A topological space in which each point has a neighbourhood homeomorphic to the four-dimensional Euclidean space  $  \mathbf R  ^ {4} $
 +
or to the closed half-space  $  \mathbf R _ {+}  ^ {4} $.
 +
This definition is usually extended by the requirement that a four-dimensional manifold be Hausdorff as a topological space, and have a countable base. The topology of four-dimensional manifolds occupies a special place in the [[Topology of manifolds|topology of manifolds]]. On the one hand, the dimension 4 is too small for the straightforward application of techniques of [[General position|general position]]; [[Transversality|transversality]] (and [[Surgery|surgery]]), which are so productive in higher-dimensional topology, yet sufficiently large to exclude the direct use of the more intuitive methods of three-dimensional topology. On the other hand, the topology of four-dimensional manifolds inherits many of the difficulties of three-dimensional and also of higher-dimensional topology. This is illustrated, for example, by the facts that the boundary of a four-dimensional manifold may be an arbitrary three-dimensional manifold, and that every finitely-presented group is the [[Fundamental group|fundamental group]] of some closed four-dimensional manifold. On the latter observation is based the impossibility of algorithmically recognizing homeomorphy of four-dimensional manifolds. The exceptional status of dimension 4 is well-illustrated by the following fact: There exists a non-standard piecewise-linear (and differentiable) structure on the manifold  $  \mathbf R  ^ {n} $
 +
only for  $  n = 4 $.
 +
There exist four-dimensional manifolds that do not admit piecewise-linear structures. If such a structure exists at all, then there is a unique differentiable structure compatible with it. A four-dimensional manifold equipped with a complex structure is called an analytic surface.
 +
 
 +
To every closed orientable four-dimensional manifold  $  M $
 +
a unimodular integer-valued symmetric bilinear form $  L _ {M} $
 +
is associated, acting on the free part of the group $  H _ {2} ( M ;  \mathbf Z ) $
 +
via the intersections of cycles. The signature of this form is called the signature of the manifold. The intersection form is the most important invariant of a four-dimensional manifold. Two closed simply-connected differentiable four-dimensional manifolds are $  h $-
 +
cobordant (cf. [[H-cobordism| $  h $-
 +
cobordism]]) if and only if their forms are isomorphic. If the quadratic form corresponding to the bilinear form $  L _ {M} $
 +
of a differentiable four-dimensional manifold $  M $
 +
takes only even values, then the structure group SO of its stable tangent bundle can be replaced by the group Spin. Such four-dimensional manifolds are called spin manifolds. There is a topological classification of closed simply-connected four-dimensional manifolds. Every such four-dimensional manifold with an even form is completely determined by it, and every even, integer-valued, symmetric unimodular form is realized as the intersection form of a simply-connected four-dimensional topological manifold. In particular, the four-dimensional topological [[Poincaré conjecture|Poincaré conjecture]] is true. A classifying invariant of four-dimensional manifolds with odd form is given by pairs of the form $  ( L , \kappa ) $,  
 +
where $  L $
 +
is an odd, integer-valued, symmetric unimodular bilinear form and $  \kappa = 0 $
 +
or 1. Every closed simply-connected four-dimensional manifold $  M $
 +
with an odd form is completely determined by the pair $  ( L _ {M} , \kappa _ {M} ) $,  
 +
where $  \kappa _ {M} = 0 $
 +
if the stable tangent bundle of the manifold $  M $
 +
admits a trivialization, and 1 otherwise. Every such pair is realizable. The question of which forms can be realized by simply-connected differentiable four-dimensional manifolds has not yet been completely answered. It is known that all odd indefinite forms can be realized. Among the even indefinite forms, connected sums of the [[Kummer surface|Kummer surface]] and the manifold $  S  ^ {2} \times S  ^ {2} $
 +
realize $  m E _ {8} \oplus n U $,  
 +
if $  m $
 +
is even and $  3m \leq  2n $.  
 +
A form of this type with an odd number $  m $
 +
is known not to be the intersection form of a closed differentiable four-dimensional manifold, since the signatures of such spin manifolds are necessarily divisible by 16, while the signature of the form $  m E _ {8} \oplus n U $
 +
is equal to $  8m $.  
 +
From the forms given above, only the forms that are given by unit matrices can be realized.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  R. Mandelbaum,  "Four-dimensional topology: an introduction"  ''Bull. Amer. Math. Soc.'' , '''2'''  (1980)  pp. 1–159</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  M.H. Freedman,  "The topology of four-dimensional manifolds"  ''J. Differential Geom.'' , '''17'''  (1982)  pp. 357–453</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  R. Mandelbaum,  "Four-dimensional topology: an introduction"  ''Bull. Amer. Math. Soc.'' , '''2'''  (1980)  pp. 1–159</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  M.H. Freedman,  "The topology of four-dimensional manifolds"  ''J. Differential Geom.'' , '''17'''  (1982)  pp. 357–453</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
As noted above, the dimension 4 is rather anomalous from several points of view. For piecewise-linear topology that is illustrated by Rokhlin's theorem: Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f04098026.png" /> be a compact oriented piecewise-linear manifold with second Stiefel–Whitney class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f04098027.png" />. Then the signature <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f04098028.png" /> <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040980/f04098029.png" />.
+
As noted above, the dimension 4 is rather anomalous from several points of view. For piecewise-linear topology that is illustrated by Rokhlin's theorem: Let $  M  ^ {4} $
 +
be a compact oriented piecewise-linear manifold with second Stiefel–Whitney class $  w _ {2} ( M  ^ {4} ) = 0 $.  
 +
Then the signature $  \sigma ( M  ^ {4} ) \equiv 0 $
 +
$  \mathop{\rm mod}  16 $.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  S.K. Donaldson,  "An application of gauge theory to four-dimensional topology"  ''J. Differential Geom.'' , '''18'''  (1983)  pp. 279–315</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  D.S. Freed,  K.K. Uhlenbeck,  "Instantons and four-manifolds" , Springer  (1984)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  S.K. Donaldson,  "An application of gauge theory to four-dimensional topology"  ''J. Differential Geom.'' , '''18'''  (1983)  pp. 279–315</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  D.S. Freed,  K.K. Uhlenbeck,  "Instantons and four-manifolds" , Springer  (1984)</TD></TR></table>

Latest revision as of 19:39, 5 June 2020


A topological space in which each point has a neighbourhood homeomorphic to the four-dimensional Euclidean space $ \mathbf R ^ {4} $ or to the closed half-space $ \mathbf R _ {+} ^ {4} $. This definition is usually extended by the requirement that a four-dimensional manifold be Hausdorff as a topological space, and have a countable base. The topology of four-dimensional manifolds occupies a special place in the topology of manifolds. On the one hand, the dimension 4 is too small for the straightforward application of techniques of general position; transversality (and surgery), which are so productive in higher-dimensional topology, yet sufficiently large to exclude the direct use of the more intuitive methods of three-dimensional topology. On the other hand, the topology of four-dimensional manifolds inherits many of the difficulties of three-dimensional and also of higher-dimensional topology. This is illustrated, for example, by the facts that the boundary of a four-dimensional manifold may be an arbitrary three-dimensional manifold, and that every finitely-presented group is the fundamental group of some closed four-dimensional manifold. On the latter observation is based the impossibility of algorithmically recognizing homeomorphy of four-dimensional manifolds. The exceptional status of dimension 4 is well-illustrated by the following fact: There exists a non-standard piecewise-linear (and differentiable) structure on the manifold $ \mathbf R ^ {n} $ only for $ n = 4 $. There exist four-dimensional manifolds that do not admit piecewise-linear structures. If such a structure exists at all, then there is a unique differentiable structure compatible with it. A four-dimensional manifold equipped with a complex structure is called an analytic surface.

To every closed orientable four-dimensional manifold $ M $ a unimodular integer-valued symmetric bilinear form $ L _ {M} $ is associated, acting on the free part of the group $ H _ {2} ( M ; \mathbf Z ) $ via the intersections of cycles. The signature of this form is called the signature of the manifold. The intersection form is the most important invariant of a four-dimensional manifold. Two closed simply-connected differentiable four-dimensional manifolds are $ h $- cobordant (cf. $ h $- cobordism) if and only if their forms are isomorphic. If the quadratic form corresponding to the bilinear form $ L _ {M} $ of a differentiable four-dimensional manifold $ M $ takes only even values, then the structure group SO of its stable tangent bundle can be replaced by the group Spin. Such four-dimensional manifolds are called spin manifolds. There is a topological classification of closed simply-connected four-dimensional manifolds. Every such four-dimensional manifold with an even form is completely determined by it, and every even, integer-valued, symmetric unimodular form is realized as the intersection form of a simply-connected four-dimensional topological manifold. In particular, the four-dimensional topological Poincaré conjecture is true. A classifying invariant of four-dimensional manifolds with odd form is given by pairs of the form $ ( L , \kappa ) $, where $ L $ is an odd, integer-valued, symmetric unimodular bilinear form and $ \kappa = 0 $ or 1. Every closed simply-connected four-dimensional manifold $ M $ with an odd form is completely determined by the pair $ ( L _ {M} , \kappa _ {M} ) $, where $ \kappa _ {M} = 0 $ if the stable tangent bundle of the manifold $ M $ admits a trivialization, and 1 otherwise. Every such pair is realizable. The question of which forms can be realized by simply-connected differentiable four-dimensional manifolds has not yet been completely answered. It is known that all odd indefinite forms can be realized. Among the even indefinite forms, connected sums of the Kummer surface and the manifold $ S ^ {2} \times S ^ {2} $ realize $ m E _ {8} \oplus n U $, if $ m $ is even and $ 3m \leq 2n $. A form of this type with an odd number $ m $ is known not to be the intersection form of a closed differentiable four-dimensional manifold, since the signatures of such spin manifolds are necessarily divisible by 16, while the signature of the form $ m E _ {8} \oplus n U $ is equal to $ 8m $. From the forms given above, only the forms that are given by unit matrices can be realized.

References

[1] R. Mandelbaum, "Four-dimensional topology: an introduction" Bull. Amer. Math. Soc. , 2 (1980) pp. 1–159
[2] M.H. Freedman, "The topology of four-dimensional manifolds" J. Differential Geom. , 17 (1982) pp. 357–453

Comments

As noted above, the dimension 4 is rather anomalous from several points of view. For piecewise-linear topology that is illustrated by Rokhlin's theorem: Let $ M ^ {4} $ be a compact oriented piecewise-linear manifold with second Stiefel–Whitney class $ w _ {2} ( M ^ {4} ) = 0 $. Then the signature $ \sigma ( M ^ {4} ) \equiv 0 $ $ \mathop{\rm mod} 16 $.

References

[a1] S.K. Donaldson, "An application of gauge theory to four-dimensional topology" J. Differential Geom. , 18 (1983) pp. 279–315
[a2] D.S. Freed, K.K. Uhlenbeck, "Instantons and four-manifolds" , Springer (1984)
How to Cite This Entry:
Four-dimensional manifold. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Four-dimensional_manifold&oldid=15430
This article was adapted from an original article by S.V. Matveev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article