H-cobordism

H-cobordism

A cobordism "W" between "M" and "N" is an "h"-cobordism if the inclusion maps : M hookrightarrow W quadmbox{and}quad N hookrightarrow Ware homotopy equivalences. If mbox{dim},M = mbox{dim},N = nand mbox{dim},W = n+1, it is called an n+1-dimensional "h"-cobordism. [This notation is to clarify the dimension of all manifolds in question, otherwise it is unclear whether a "5-dimensional "h"-cobordism" refers to a 5-dimensional cobordism between 4-dimensional manifolds or a 6-dimensional cobordism between 5-dimensional manifolds.]

The "h"-cobordism theorem states that if:
* "W" is a compact "h"-cobordism between "M" and "N"
* in the category Cat=Diff, PL, or Top
* "M" and "N" are simply connected
* dimension "M" and "N" > 4then "W" is Cat-isomorphic [So diffeomorphic, PL-isomorphic, homeomorphic.] to "M" × [0, 1] and (hence) "M" is Cat-isomorphic to "N". Informally, "a simply connected "h"-cobordism is a cylinder".

The theorem was first proved by Stephen Smale and is the fundamental result in the theory of high-dimensional manifolds: for a start, it almost immediately proves the Generalized Poincaré Conjecture.The theorem is still true topologically but not smoothly for "n" = 4; a later result of Michael Freedman.

Before Smale proved this theorem, mathematicians had got stuck trying to understand manifolds of dimension 3 or 4, and assumed that the higher-dimensional cases were even harder. The "h"-cobordism theorem showed that (simply connected) manifolds of dimension at least 5 are much easier than those of dimension 3 or 4. The proof of the theorem depends on the "Whitney trick" of Hassler Whitney, which geometrically untangles homologically-tangled spheres of complementary dimension in a manifold of dimension >5. An informal reason why manifolds of dimension 3 or 4 are unusually hard is that the trick fails to work in lower dimensions, which have no room for untanglement, and so have more tangles.

Low dimensions

For "n" = 4, the "h"-cobordism theorem is true topologically (proved by Michael Freedman using a 4-dimensional Whitney trick) but is false PL and smoothly (as shown by Simon Donaldson).

For "n" = 3, the "h"-cobordism theorem for smooth manifolds is probably also false, but this has not been proved and, due to the Poincaré conjecture, is equivalent to the hard open question of whether the 4-sphere has non-standard smooth structures.

For "n" = 2, the "h"-cobordism theorem [In 3 dimensions and below, the categories are the same: Diff=PL=Top.] is equivalent to the Poincaré conjecture, which has been proved by Grigori Perelman.

For "n" = 1, "h"-cobordism theorem is vacuously true, since there is no closed simply-connected 1-dimensional manifold.

For "n" = 0, the "h"-cobordism theorem is trivially true: the interval is the only connected cobordism between connected 0-manifolds.

The s-cobordism theorem

If the assumption that "M" and "N" are simply connected is dropped, "h"-cobordisms need not be cylinders; the obstruction is exactly the Whitehead torsion τ ("W", "M") of the inclusion M hookrightarrow W.

Precisely, the "s"-cobordism theorem (proved independently by Barry Mazur, John Stallings, and Dennis Barden) states (assumptions as above but where "M" and "N" need not be simply connected):: an "h"-cobordism is a cylinder if and only if Whitehead torsion τ ("W", "M") vanishesThe torsion vanishes if and only if the inclusion M hookrightarrow W is not just a homotopy equivalence, but a simple homotopy equivalence.

Note that one need not assume that the other inclusion N hookrightarrow W is also a simple homotopy equivalence—that follows from the theorem.

Categorically, "h"-cobordisms form a groupoid, just as for categories of cobordisms.

Then a finer statement of the "s"-cobordism theorem is that the isomorphism classes of this category (up to Cat-isomorphism of "h"-cobordisms) are torsors for the respective [Note that identifying the Whitehead groups of the various manifolds requires that one choose base points min M, nin N and a path in W connecting them.]
Whitehead groups mbox{Wh}(pi), where pi cong pi_1(M) cong pi_1(W) cong pi_1(N).

Footnotes

References

* Freedman, Michael H.; Quinn, Frank, "Topology of 4-manifolds", Princeton Mathematical Series, vol. 39, Princeton University Press, Princeton, NJ, 1990. viii+259 pp. ISBN 0-691-08577-3. This does the theorem for topological 4-manifolds.
*Milnor, John, "Lectures on the h-cobordism theorem", notes by L. Siebenmann and J. Sondow, Princeton University Press, Princeton, NJ, 1965. v+116 pp. This gives the proof for smooth manifolds.
*Rourke, Colin Patrick; Sanderson, Brian Joseph, "Introduction to piecewise-linear topology", Springer Study Edition, Springer-Verlag, Berlin-New York, 1982. ISBN 3-540-11102-6. This proves the theorem for PL manifolds.
*S. Smale, "On the structure of manifolds" Amer. J. Math. , 84 (1962) pp. 387–399
*springer|id=H/h046010|title=h-cobordism|first=Yu.B.|last= Rudyak


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Cobordism theorem — may refer to: h cobordism theorem s cobordism theorem This disambiguation page lists mathematics articles associated with the same title. If an internal link led you here, you may wish to change the link to point directly to the intended …   Wikipedia

  • Cobordism — A cobordism (W;M,N). In mathematics, cobordism is a fundamental equivalence relation on the class of compact manifolds of the same dimension, set up using the concept of the boundary of a manifold. Two manifolds are cobordant if their disjoint… …   Wikipedia

  • cobordism — noun a) A connection between two manifolds of the same dimension via a manifold of dimension , where the smaller manifolds are included in the boundary of the larger manifold. Cobordism revives the intuitive idea of bounding harbored in the… …   Wiktionary

  • Complex cobordism — In mathematics, complex cobordism is a generalized cohomology theory related to cobordism of manifolds. Its spectrum is denoted by MU. It is an exceptionally powerful cohomology theory, but can be quite hard to compute, so often instead of using… …   Wikipedia

  • Semi-s-cobordism — In mathematics, a cobordism ( W , M , M −) of an ( n + 1) dimensionsal manifold (with boundary) W between its boundary components, two n manifolds M and M − (n.b.: the original creator of this topic, Jean Claude Hausmann, used the notation M −… …   Wikipedia

  • List of cohomology theories — This is a list of some of the ordinary and generalized (or extraordinary) homology and cohomology theories in algebraic topology that are defined on the categories of CW complexes or spectra. For other sorts of homology theories see the links at… …   Wikipedia

  • Whitehead torsion — In mathematics, Whitehead torsion is an invariant of an h cobordism in a Whitehead group, that is important in simple homotopy theory and surgery theory. It is named for J. H. C. Whitehead.Whitehead torsionSuppose that W is an h cobordism from M… …   Wikipedia

  • Atiyah–Singer index theorem — In the mathematics of manifolds and differential operators, the Atiyah–Singer index theorem states that for an elliptic differential operator on a compact manifold, the analytical index (closely related to the dimension of the space of solutions) …   Wikipedia

  • Surgery theory — In mathematics, specifically in geometric topology, surgery theory is a collection of techniques used to produce one manifold from another in a controlled way, introduced by Milnor (1961). Surgery refers to cutting out parts of the manifold… …   Wikipedia

  • Akbulut cork — In topology an Akbulut cork is a structure is frequently used to show that in four dimensions, the smooth h cobordism theorem fails. It was named after Selman Akbulut.The basic idea of the Akbulut cork is that when attempting to use the h… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”