Generalized Poincaré conjecture explained

In the mathematical area of topology, the generalized Poincaré conjecture is a statement that a manifold which is a homotopy sphere a sphere. More precisely, one fixes a category of manifolds: topological (Top), piecewise linear (PL), or differentiable (Diff). Then the statement is

Every homotopy sphere (a closed n-manifold which is homotopy equivalent to the n-sphere) in the chosen category (i.e. topological manifolds, PL manifolds, or smooth manifolds) is isomorphic in the chosen category (i.e. homeomorphic, PL-isomorphic, or diffeomorphic) to the standard n-sphere.

The name derives from the Poincaré conjecture, which was made for (topological or PL) manifolds of dimension 3, where being a homotopy sphere is equivalent to being simply connected and closed. The generalized Poincaré conjecture is known to be true or false in a number of instances, due to the work of many distinguished topologists, including the Fields medal awardees John Milnor, Steve Smale, Michael Freedman, and Grigori Perelman.

Status

Here is a summary of the status of the generalized Poincaré conjecture in various settings.

\ge64

though it is conjectured that this is not the case.[1]

Thus the veracity of the Poincaré conjectures changes according to which category it is formulated in. More generally the notion of isomorphism differs between the categories Top, PL, and Diff. It is the same in dimension 3 and below. In dimension 4, PL and Diff agree, but Top differs. In dimensions above 6 they all differ. In dimensions 5 and 6 every PL manifold admits an infinitely differentiable structure that is so-called Whitehead compatible.[2]

History

The cases n = 1 and 2 have long been known by the classification of manifolds in those dimensions.

For a PL or smooth homotopy n-sphere, in 1960 Stephen Smale proved for

n\ge7

that it was homeomorphic to the n-sphere and subsequently extended his proof to

n\ge5

;[3] he received a Fields Medal for his work in 1966. Shortly after Smale's announcement of a proof, John Stallings gave a different proof for dimensions at least 7 that a PL homotopy n-sphere was homeomorphic to the n-sphere, using the notion of "engulfing".[4] E. C. Zeeman modified Stalling's construction to work in dimensions 5 and 6.[5] In 1962, Smale proved that a PL homotopy n-sphere is PL-isomorphic to the standard PL n-sphere for n at least 5.[6] In 1966, M. H. A. Newman extended PL engulfing to the topological situation and proved that for

n\ge5

a topological homotopy n-sphere is homeomorphic to the n-sphere.[7]

Michael Freedman solved the topological case

n=4

in 1982 and received a Fields Medal in 1986.[8] The initial proof consisted of a 50-page outline, with many details missing. Freedman gave a series of lectures at the time, convincing experts that the proof was correct. A project to produce a written version of the proof with background and all details filled in began in 2013, with Freedman's support. The project's output, edited by Stefan Behrens, Boldizsar Kalmar, Min Hoon Kim, Mark Powell, and Arunima Ray, with contributions from 20 mathematicians, was published in August 2021 in the form of a 496-page book, The Disc Embedding Theorem.[9] [10]

Grigori Perelman solved the case

n=3

(where the topological, PL, and differentiable cases all coincide) in 2003 in a sequence of three papers.[11] [12] [13] He was offered a Fields Medal in August 2006 and the Millennium Prize from the Clay Mathematics Institute in March 2010, but declined both.

Exotic spheres

The generalized Poincaré conjecture is true topologically, but false smoothly in some dimensions. This results from the construction of the exotic spheres, manifolds that are homeomorphic, but not diffeomorphic, to the standard sphere, which can be interpreted as non-standard smooth structures on the standard (topological) sphere.

Thus the homotopy spheres that John Milnor produced are homeomorphic (Top-isomorphic, and indeed piecewise linear homeomorphic) to the standard sphere

Sn

, but are not diffeomorphic (Diff-isomorphic) to it, and thus are exotic spheres: they can be interpreted as non-standard differentiable structures on the standard sphere.

Michel Kervaire and Milnor showed that the oriented 7-sphere has 28 = (7) different smooth structures (or 15 ignoring orientations), and in higher dimensions there are usually many different smooth structures on a sphere.[14] It is suspected that certain differentiable structures on the 4-sphere, called Gluck twists, are not isomorphic to the standard one, but at the moment there are no known topological invariant capable of distinguishing different smooth structures on a 4-sphere.[15]

PL

For piecewise linear manifolds, the Poincaré conjecture is true except possibly in dimension 4, where the answer is unknown, and equivalent to the smooth case.In other words, every compact PL manifold of dimension not equal to 4 that is homotopy equivalent to a sphere is PL isomorphic to a sphere.[2]

Notes and References

  1. Wang. Guozhen . Xu . Zhouli . The triviality of the 61-stem in the stable homotopy groups of spheres. 1376.55013 . Ann. Math. (2). 186 . 2 . 501–580 . 2017 . 1601.02184. See Corollaries 1.13 and 1.15 and Conjecture 1.17.
  2. See Fragments of Geometric Topology from the Sixties . Sandro . Buoncristiano . Geometry & Topology Monographs . 6 . 2003 .
  3. Stephen . Smale . Generalized Poincaré's conjecture in dimensions greater than four . Ann. of Math. . (2) . 74 . 1961 . 2 . 391–406 . 0137124 . 10.2307/1970239 . 1970239 .
  4. John . Stallings . Polyhedral homotopy spheres . . 66 . 1960 . 6 . 485–488 . 10.1090/S0002-9904-1960-10511-3 . free .
  5. Erik Christopher . Zeeman . Christopher Zeeman . The Poincaré conjecture for n greater than or equal to 5 . Topology of 3-manifolds and Related Topics (Proc. The Univ. Of Georgia Institute, 1961) . 198–204 . Prentice–Hall . Englewood Cliffs, NJ . 1962 . 0140113 .
  6. Stephen . Smale . On the structure of manifolds . Amer. J. Math. . 84 . 1962 . 3 . 387–399 . 0153022 . 10.2307/2372978 . 2372978 .
  7. Max Newman . M. H. A. . Newman . The Engulfing Theorem for Topological Manifolds . . (2) . 84 . 1966 . 3 . 555–571 . 0203708 . 10.2307/1970460 . 1970460 .
  8. Michael . Freedman . Michael Freedman. The topology of four-dimensional manifolds . . 17 . 1982 . 3 . 357–453 . 10.4310/jdg/1214437136 . 0679066 . free .
  9. News: New Math Book Rescues Landmark Topology Proof. Kevin . Hartnett . Quanta Magazine. September 9, 2021.
  10. https://global.oup.com/academic/product/the-disc-embedding-theorem-9780198841319 The Disc Embedding Theorem
  11. Perelman. Grigori. Grigori Perelman. The entropy formula for the Ricci flow and its geometric applications. math.DG/0211159 . 11 November 2002.
  12. Perelman. Grigori. Grigori Perelman. Ricci flow with surgery on three-manifolds. math.DG/0303109 . 10 March 2003.
  13. Perelman. Grigori. Grigori Perelman. Finite extinction time for the solutions to the Ricci flow on certain three-manifolds. math.DG/0307245. 17 July 2003.
  14. Michel A. . Kervaire . Michel Kervaire . John W. . Milnor . John Milnor . Groups of homotopy spheres: I . . 2nd Ser. . 77 . 1963 . 3 . 504–537 . 10.2307/1970128. 1970128. 0148075. This paper calculates the structure of the group of smooth structures on an n-sphere for

    n>4

    .
  15. Herman . Gluck . The Embedding of Two-Spheres in the Four-Sphere . Trans. Amer. Math. Soc. . 104 . 1962 . 2 . 308–333 . 10.2307/1993581 . 1993581 . free .

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Generalized Poincaré conjecture".

Except where otherwise indicated, Everything.Explained.Today is © Copyright 2009-2024, A B Cryer, All Rights Reserved. Cookie policy.