Difference between revisions of "Bordism"
(Importing text file) |
Ulf Rehmann (talk | contribs) m (MR/ZBL numbers added) |
||
Line 3: | Line 3: | ||
A term used by itself or as a part of standard expressions in a number of similar meanings. The older term, cobordism, is still employed. | A term used by itself or as a part of standard expressions in a number of similar meanings. The older term, cobordism, is still employed. | ||
− | The simplest variant is the following. Two smooth closed <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b0170301.png" />-dimensional manifolds <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b0170302.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b0170303.png" /> are bordant (cobounding or internally homologous) if there exists a smooth compact <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b0170304.png" />-dimensional manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b0170305.png" /> (a | + | The simplest variant is the following. Two smooth closed <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b0170301.png" />-dimensional manifolds <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b0170302.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b0170303.png" /> are bordant (cobounding or internally homologous) if there exists a smooth compact <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b0170304.png" />-dimensional manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b0170305.png" /> (a "membrane" ) the boundary of which consists of two manifolds <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b0170306.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b0170307.png" /> which are diffeomorphic, respectively, to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b0170308.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b0170309.png" /> under certain diffeomorphisms (cf. [[Diffeomorphism|Diffeomorphism]]) |
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703010.png" /></td> </tr></table> | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703010.png" /></td> </tr></table> | ||
− | A set of mutually bordant manifolds is called a bordism class, while the triplet <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703011.png" /> is sometimes called a bordism (it would be more accurate to take <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703012.png" />). The set of bordism classes of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703013.png" />-dimensional manifolds forms an Abelian group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703014.png" /> with respect to unconnected union. The zero element of the group is the bordism class consisting of the manifolds <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703015.png" /> which constitute the boundary of a certain manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703016.png" /> (one formally speaks of the triplet <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703017.png" /> with empty <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703018.png" />; other appellations are: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703019.png" /> is a | + | A set of mutually bordant manifolds is called a bordism class, while the triplet <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703011.png" /> is sometimes called a bordism (it would be more accurate to take <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703012.png" />). The set of bordism classes of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703013.png" />-dimensional manifolds forms an Abelian group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703014.png" /> with respect to unconnected union. The zero element of the group is the bordism class consisting of the manifolds <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703015.png" /> which constitute the boundary of a certain manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703016.png" /> (one formally speaks of the triplet <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703017.png" /> with empty <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703018.png" />; other appellations are: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703019.png" /> is a "bounding manifold" , or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703020.png" /> is "internally homologous to zero" or is "bordantly zero" ). The element of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703021.png" /> inverse to a given bordism class is this class itself (since <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703022.png" /> is diffeomorphic to the boundary of the direct product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703023.png" />). The direct sum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703024.png" /> of the groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703025.png" /> is a commutative graded ring in which the multiplication is induced by the direct product of manifolds with unit element given by the bordism class of a point. |
− | More complex variants comprise the bordism of smooth closed manifolds with a supplementary structure. For instance, two oriented manifolds <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703026.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703027.png" /> are orientedly bordant if they are bordant in the sense explained above, if the | + | More complex variants comprise the bordism of smooth closed manifolds with a supplementary structure. For instance, two oriented manifolds <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703026.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703027.png" /> are orientedly bordant if they are bordant in the sense explained above, if the "membrane" <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703028.png" /> is oriented and if, using the above notation, the orientation induced by the orientation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703029.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703030.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703031.png" /> (which are parts of the boundary) goes over under the diffeomorphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703032.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703033.png" />, respectively, to the original orientation on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703034.png" /> and the opposite orientation on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703035.png" />. One then speaks of oriented bordism; if it is desired to stress the difference between such bordism and bordism in the sense given above, then one speaks of the latter as non-oriented bordism. In analogy with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703036.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703037.png" /> one introduces the groups of oriented bordism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703038.png" /> and the ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703039.png" />. |
Historically, the first example was that of the bordism of nested manifolds, introduced in 1938 by L.S. Pontryagin, who showed that the classification of such bordisms is equivalent to the calculation of the homotopy groups of the spheres <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703040.png" />, and who could determine <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703041.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703042.png" /> in this way (see [[#References|[2]]] for a detailed account of his studies, and | Historically, the first example was that of the bordism of nested manifolds, introduced in 1938 by L.S. Pontryagin, who showed that the classification of such bordisms is equivalent to the calculation of the homotopy groups of the spheres <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703040.png" />, and who could determine <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703041.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703042.png" /> in this way (see [[#References|[2]]] for a detailed account of his studies, and | ||
Line 21: | Line 21: | ||
Further development of bordism theory is related to the bordism groups of a topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703064.png" /> (bordism of spaces for short, cf. [[#References|[13]]]). They are defined for different variants of bordisms (the simplest example is given below). A singular <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703066.png" />-dimensional (sub) manifold of a space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703069.png" /> is a pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703070.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703071.png" /> is a closed smooth manifold, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703072.png" /> is a continuous mapping. Two such pairs <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703073.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703074.png" /> are bordant if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703075.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703076.png" /> are bordant in the ordinary sense, and (using previous notations) if there exists a continuous mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703077.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703078.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703079.png" />. (If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703080.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703081.png" /> are identified with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703082.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703083.png" />, one can simply say that the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703084.png" /> induces the given mappings of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703085.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703086.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703087.png" />.) The bordism classes of singular manifolds in a space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703088.png" /> form the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703089.png" />-dimensional bordism group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703090.png" /> of this space (the group operation is generated by the union of manifolds). | Further development of bordism theory is related to the bordism groups of a topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703064.png" /> (bordism of spaces for short, cf. [[#References|[13]]]). They are defined for different variants of bordisms (the simplest example is given below). A singular <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703066.png" />-dimensional (sub) manifold of a space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703069.png" /> is a pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703070.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703071.png" /> is a closed smooth manifold, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703072.png" /> is a continuous mapping. Two such pairs <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703073.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703074.png" /> are bordant if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703075.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703076.png" /> are bordant in the ordinary sense, and (using previous notations) if there exists a continuous mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703077.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703078.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703079.png" />. (If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703080.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703081.png" /> are identified with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703082.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703083.png" />, one can simply say that the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703084.png" /> induces the given mappings of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703085.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703086.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703087.png" />.) The bordism classes of singular manifolds in a space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703088.png" /> form the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703089.png" />-dimensional bordism group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703090.png" /> of this space (the group operation is generated by the union of manifolds). | ||
− | If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703091.png" /> is a manifold of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703092.png" />, the elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703093.png" /> can be visualized as submanifolds, as can the corresponding | + | If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703091.png" /> is a manifold of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703092.png" />, the elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703093.png" /> can be visualized as submanifolds, as can the corresponding "membranes" ; in this respect bordism of spaces resembles the original attempts at introducing homologies. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703094.png" /> is a point, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703095.png" /> is reduced to the previous <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703096.png" />. To a mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703097.png" /> correspond homomorphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703098.png" />, generated by the transition from a singular manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b01703099.png" /> to another one <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b017030100.png" />. The functor by means of which each space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b017030101.png" /> is brought into correspondence with the groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b017030102.png" /> and each mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b017030103.png" /> with the mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b017030104.png" /> is a generalized homology theory. In the present case it reduces to ordinary homology, viz., for any cellular polyhedron <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b017030105.png" /> |
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b017030106.png" /></td> </tr></table> | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b017030106.png" /></td> </tr></table> | ||
Line 27: | Line 27: | ||
(the tensor product of graded modules on the right-hand side of this expression is over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b017030107.png" />), but this is generally not true for other bordisms (oriented, etc.). Many generalized homology theories may be obtained by way of a so-called bordism with singularities . | (the tensor product of graded modules on the right-hand side of this expression is over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b017030107.png" />), but this is generally not true for other bordisms (oriented, etc.). Many generalized homology theories may be obtained by way of a so-called bordism with singularities . | ||
− | In addition to the bordism of a space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b017030108.png" /> there exist generalized cohomology theories which are dual to it. The introduction of these generalized homology and cohomology functors has made it desirable to introduce the changed terminology discussed at the beginning of the present article. Thus, the term | + | In addition to the bordism of a space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b017030108.png" /> there exist generalized cohomology theories which are dual to it. The introduction of these generalized homology and cohomology functors has made it desirable to introduce the changed terminology discussed at the beginning of the present article. Thus, the term "cobordism" is restricted to generalized cohomology theories dual to bordism. |
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> L.S. Pontryagin, "Characteristic cycles of differentiable manifolds" ''Mat. Sb.'' , '''21 (63)''' : 2 (1947) pp. 233–284 (In Russian) {{MR|22667}} {{ZBL|}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> L.S. Pontryagin, "Smooth manifolds and their applications in homology theory" , Moscow (1976) (In Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> V.A. Rokhlin, "Theory of inner homology" ''Uspekhi Mat. Nauk'' , '''14''' : 4 (1959) pp. 3–20 (In Russian)</TD></TR><TR><TD valign="top">[4a]</TD> <TD valign="top"> A.H. Wallace, "Differentiable topology. First steps" , Benjamin (1968)</TD></TR><TR><TD valign="top">[4b]</TD> <TD valign="top"> J.W. Milnor, "Toplogy from the differentiable viewpoint" , Univ. Virginia Press (1965)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> R. Thom, "Quelques propriétés globales des variétés différentiables" ''Comm. Math. Helvetia'' , '''28''' (1954) pp. 17–86 {{MR|0061823}} {{ZBL|0057.15502}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> J.W. Milnor, J.D. Stasheff, "Characteristic classes" , Princeton Univ. Press & Univ. Tokyo Press (1974) {{MR|0440554}} {{ZBL|0298.57008}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> A. Dold, "Erzeugende der Thomschen Algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b017030109.png" />" ''Math. Z.'' , '''65''' (1956) pp. 25–35 {{MR|0079269}} {{ZBL|0071.17601}} </TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> J. Milnor, "On the cobordism ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b017030110.png" /> and a complex analogue I" ''Amer. J. Math.'' , '''82''' (1960) pp. 505–521 {{MR|0119209}} {{ZBL|0095.16702}} </TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> S.P. Novikov, "Homotopic properties of Thom-complexes" ''Mat. Sb.'' , '''57 (99)''' (1962) pp. 406–442 (In Russian)</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> P.E. Conner, E.E. Floyd, "Differentiable periodic maps" , Springer (1964) {{MR|0176478}} {{ZBL|0125.40103}} </TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top"> R.E. Stong, "Notes on cobordism theory" , Princeton Univ. Press (1968) {{MR|0248858}} {{ZBL|0181.26604}} </TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top"> J. Milnor, "Lectures on the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017030/b017030111.png" />-cobordism theorem" , Princeton Univ. Press (1965) {{MR|190942}} {{ZBL|}} </TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top"> M.F. Atiyah, "Bordism and cobordism" ''Proc. Cambridge Philos. Soc. (2)'' , '''57''' (1961) pp. 200–208 {{MR|0126856}} {{ZBL|0104.17405}} </TD></TR><TR><TD valign="top">[14a]</TD> <TD valign="top"> N.A. Baas, "On bordism theory of manifolds with singularities" ''Math. Scand.'' , '''33''' (1973) pp. 279–302 {{MR|0346823}} {{MR|0346824}} {{MR|0346825}} {{ZBL|0281.57027}} </TD></TR><TR><TD valign="top">[14b]</TD> <TD valign="top"> N.A. Baas, "On formal groups and singularities in complex bordism theory" ''Math. Scand.'' , '''33''' (1973) pp. 302–313</TD></TR></table> |
Revision as of 16:55, 15 April 2012
bordantism
A term used by itself or as a part of standard expressions in a number of similar meanings. The older term, cobordism, is still employed.
The simplest variant is the following. Two smooth closed -dimensional manifolds
and
are bordant (cobounding or internally homologous) if there exists a smooth compact
-dimensional manifold
(a "membrane" ) the boundary of which consists of two manifolds
and
which are diffeomorphic, respectively, to
and
under certain diffeomorphisms (cf. Diffeomorphism)
![]() |
A set of mutually bordant manifolds is called a bordism class, while the triplet is sometimes called a bordism (it would be more accurate to take
). The set of bordism classes of
-dimensional manifolds forms an Abelian group
with respect to unconnected union. The zero element of the group is the bordism class consisting of the manifolds
which constitute the boundary of a certain manifold
(one formally speaks of the triplet
with empty
; other appellations are:
is a "bounding manifold" , or
is "internally homologous to zero" or is "bordantly zero" ). The element of
inverse to a given bordism class is this class itself (since
is diffeomorphic to the boundary of the direct product
). The direct sum
of the groups
is a commutative graded ring in which the multiplication is induced by the direct product of manifolds with unit element given by the bordism class of a point.
More complex variants comprise the bordism of smooth closed manifolds with a supplementary structure. For instance, two oriented manifolds and
are orientedly bordant if they are bordant in the sense explained above, if the "membrane"
is oriented and if, using the above notation, the orientation induced by the orientation of
on
and
(which are parts of the boundary) goes over under the diffeomorphisms
and
, respectively, to the original orientation on
and the opposite orientation on
. One then speaks of oriented bordism; if it is desired to stress the difference between such bordism and bordism in the sense given above, then one speaks of the latter as non-oriented bordism. In analogy with
and
one introduces the groups of oriented bordism
and the ring
.
Historically, the first example was that of the bordism of nested manifolds, introduced in 1938 by L.S. Pontryagin, who showed that the classification of such bordisms is equivalent to the calculation of the homotopy groups of the spheres , and who could determine
and
in this way (see [2] for a detailed account of his studies, and
for an introductory text). Non-oriented and oriented bordisms were introduced in 1951–1953 by V.A. Rokhlin [3], who calculated and
for
. It had been previously shown by Pontryagin [1] that if two manifolds are bordant, their characteristic numbers are identical (Stiefel–Whitney numbers for non-oriented manifolds, Stiefel–Whitney and Pontryagin numbers for oriented manifolds). It was subsequently found that the converse proposition is also true.
Modern methods of algebraic topology were first applied in the theory of bordism in 1954 by R. Thom [5], [6], who rediscovered (for the case of both oriented and non-oriented bordisms) the connection between bordisms and certain homotopy problems. Thus, the group is isomorphic to the group
for a sufficiently large
; here,
is the Thom space of the universal vector bundle with structure group
. Owing to this connection, Thom was able to make a complete computation of the ring
and to contribute substantially to the study of
, which was subsequently continued by other workers. Thus,
proved to be the ring of polynomials over the field of residues modulo 2 in the generators
of dimension
, where
runs through all positive numbers not equal to
,
; a geometric realization of these generators is known (i.e. concrete manifolds whose bordism classes are
have been given [7]).
Other variants of bordism of manifolds with a supplementary structure comprise the very important bordisms of quasi-complex manifolds (also called unitary bordism or complex cobordism [8], [9]), and bordism of manifolds acted upon by a group of transformations [10]. There are also variations of another kind (for piecewise-linear or topological manifolds, for Poincaré complexes, etc. [11]). Special kinds of bordisms include foliated bordism and -bordism (previously referred to as
-equivalences); these are used for relating differential and homotopy topological properties [12].
Further development of bordism theory is related to the bordism groups of a topological space (bordism of spaces for short, cf. [13]). They are defined for different variants of bordisms (the simplest example is given below). A singular
-dimensional (sub) manifold of a space
is a pair
, where
is a closed smooth manifold, and
is a continuous mapping. Two such pairs
,
are bordant if
and
are bordant in the ordinary sense, and (using previous notations) if there exists a continuous mapping
such that
,
. (If
and
are identified with
and
, one can simply say that the mapping
induces the given mappings of
and
into
.) The bordism classes of singular manifolds in a space
form the
-dimensional bordism group
of this space (the group operation is generated by the union of manifolds).
If is a manifold of dimension
, the elements of
can be visualized as submanifolds, as can the corresponding "membranes" ; in this respect bordism of spaces resembles the original attempts at introducing homologies. If
is a point,
is reduced to the previous
. To a mapping
correspond homomorphisms
, generated by the transition from a singular manifold
to another one
. The functor by means of which each space
is brought into correspondence with the groups
and each mapping
with the mappings
is a generalized homology theory. In the present case it reduces to ordinary homology, viz., for any cellular polyhedron
![]() |
(the tensor product of graded modules on the right-hand side of this expression is over ), but this is generally not true for other bordisms (oriented, etc.). Many generalized homology theories may be obtained by way of a so-called bordism with singularities .
In addition to the bordism of a space there exist generalized cohomology theories which are dual to it. The introduction of these generalized homology and cohomology functors has made it desirable to introduce the changed terminology discussed at the beginning of the present article. Thus, the term "cobordism" is restricted to generalized cohomology theories dual to bordism.
References
[1] | L.S. Pontryagin, "Characteristic cycles of differentiable manifolds" Mat. Sb. , 21 (63) : 2 (1947) pp. 233–284 (In Russian) MR22667 |
[2] | L.S. Pontryagin, "Smooth manifolds and their applications in homology theory" , Moscow (1976) (In Russian) |
[3] | V.A. Rokhlin, "Theory of inner homology" Uspekhi Mat. Nauk , 14 : 4 (1959) pp. 3–20 (In Russian) |
[4a] | A.H. Wallace, "Differentiable topology. First steps" , Benjamin (1968) |
[4b] | J.W. Milnor, "Toplogy from the differentiable viewpoint" , Univ. Virginia Press (1965) |
[5] | R. Thom, "Quelques propriétés globales des variétés différentiables" Comm. Math. Helvetia , 28 (1954) pp. 17–86 MR0061823 Zbl 0057.15502 |
[6] | J.W. Milnor, J.D. Stasheff, "Characteristic classes" , Princeton Univ. Press & Univ. Tokyo Press (1974) MR0440554 Zbl 0298.57008 |
[7] | A. Dold, "Erzeugende der Thomschen Algebra ![]() |
[8] | J. Milnor, "On the cobordism ring ![]() |
[9] | S.P. Novikov, "Homotopic properties of Thom-complexes" Mat. Sb. , 57 (99) (1962) pp. 406–442 (In Russian) |
[10] | P.E. Conner, E.E. Floyd, "Differentiable periodic maps" , Springer (1964) MR0176478 Zbl 0125.40103 |
[11] | R.E. Stong, "Notes on cobordism theory" , Princeton Univ. Press (1968) MR0248858 Zbl 0181.26604 |
[12] | J. Milnor, "Lectures on the ![]() |
[13] | M.F. Atiyah, "Bordism and cobordism" Proc. Cambridge Philos. Soc. (2) , 57 (1961) pp. 200–208 MR0126856 Zbl 0104.17405 |
[14a] | N.A. Baas, "On bordism theory of manifolds with singularities" Math. Scand. , 33 (1973) pp. 279–302 MR0346823 MR0346824 MR0346825 Zbl 0281.57027 |
[14b] | N.A. Baas, "On formal groups and singularities in complex bordism theory" Math. Scand. , 33 (1973) pp. 302–313 |
Bordism. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Bordism&oldid=24384