Poincaré's conjecture
An earlier version of this page was published in the Bulletin of the Manifold Atlas: screen, print. You may view the version used for publication as of 08:23, 22 April 2014 and the changes since publication. |
The user responsible for this page is Klaus Volkert. No other user may edit this page at present. |
This page is being refereed under the supervision of the editorial board. Hence the page may not be edited at present. As always, the discussion page remains open for observations and comments. |
Poincaré's conjecture states - in modern terms - that every closed 3-manifold with a vanishing fundamental group is homeomorphic to the 3-sphere. There is a generalization of this conjecture for higher-dimensional manifolds, the so-called generalized Poincaré conjecture (formulated for the first time by W. Hurewicz, [Hurewicz1935, p.523]).
In his series of papers on Analysis situs (1892-1904) Poincaré studied the question how to characterize 3-manifolds by invariants. To that means he introduced the fundamental group and investigated Betti-numbers and torsion coefficients. In a first step he realized that there are closed 3-manifolds with identical Betti-numbers but with different fundamental groups (cf. the Manifold Atlas page on Poincaré's cube manifolds, [Volkert2013b]). This result was annouced in 1892 and proven in detail in 1895. Motivated by a critique of P. Heegaard, Poincaré introduced the torsion coefficients in his second complement (1902). In this context Poincaré kept the fundamental group out of sight. But in his last paper - the fifth complement (1904) - he constructed an example of a closed manifold with vanishing first Betti-number, without torsion coefficent but with a fundamental group which he proved to be non-trivial (cf. the Manifold Atlas page on Poincaré's homology sphere, [Volkert2013c]). So the obvious question was: Is the fundamental group strong enough to distinguish manifolds? At the very end of the fifth complement he wrote: ``Is it possible that the fundamental group of V is reduced to the identical substitution whereas V is not simply connected?´´ [Poincaré1953a, p.498] - please note that ``simply connected´´ means here ``homeomorphic to the sphere´´. And he added: ``But this question would us lead astray.´´ [Poincaré1953a, p.498]. So Poincaré didn't formulate a conjecture - there are no indications whether or not he thought the answer to his question should be ``yes´´ or ``no´´. This question simply marks a point in the development of Poincaré's thoughts. Because he frequently used to formulate such questions in his papers - they had often the form of an ``inner dialogue´´ - it is not clear how important the question was in Poincaré's eyes. For the rest of his life Poincaré (+1912) came back neither to his question nor to investigations of the type just described. The analogous question for surfaces - that is the two-dimensional case - was answered in Poincaré's eyes by the classification of closed surfaces worked out in the second half of the 19th century by several mathematicians (cf. the Manifold Atlas page on surfaces) - Poincaré himself favoured the results on automorphic functions in this context.
In 1919 J. W. Alexander ([Alexander1919]) showed, following an argument sketched by H. Tietze in 1908, that there are closed 3-manifolds with isomorphic fundamental groups that are not homeomorphic (cf. the Manifold Atlas page on Lens spaces in dimension three: a history, [Volkert2013a]). Since the fundamental group in question was not trivial Poincaré's conjecture wasn't touched by it directly. But its interest grew because now it had become clear that it was an exceptional case.
During the 1920s Poincaré's conjecture became a well known problem. In 1923, B. Kerékjártó wrote in his textbook on the topology of surfaces: ``A conjecture by Poincaré states the converse: every closed three-dimensional manifold with a fundamental group reduced to the identy is homeomorphic to the surface of the four-dimensional ball.´´ ([Kerékjártó1923, p.273]). This seems to be the first place where the misleading term ``conjecture´´ is used. H. Kneser wrote: ``One of the most important and obvious questions is whether or not the spherical space is the only simply connected manifold.´´ ([Kneser1925, p.128]). Four years later he also used the term ``well known conjecture´´ ([Kneser1929, p.257]). A prominent place was given to Poincaré's conjecture in the ``Lehrbuch der Topologie´´ written by H. Seifert and Threlfall: ``The 3-sphere is therefore obviously not characterized by its homology-groups. That the fundamental group is enough to characterize it is the content of the until today unproven ``Poincaré conjecture´´.´´ ([Seifert&Threlfall1934, p.218]). Beginning with the 1920s there were many references to Poincaré's question or problem; later the term conjecture became predominant. In 1931 the Russian-Austrian topologist F. Frankl published a sort of survey article on the state of the art concerning ``Poincaré's question´´. He discussed several ways of attacking the problem including the equivalent group theoretic formulation. Frankl commented: ``In this note I summarize some results produced by failed attempts to solve the problem of homeomorphy for the three-dimensional sphere. They illustrate the great difficulty of this problem.´´ ([Frankl1931, p.357]).
A first restricted solution was found by H. Seifert in 1932, in the context of his theory of fibered spaces (in modern terms, these are Seifert-fibered spaces, which are -manifolds admitting certain -actions). He proved that Poincaré's conjecture is true for 3-manifolds with the structure of a (Seifert-)fibered space. This is the consequence of the more general fact that Seifert-fibered spaces with trivial homology (Poincaré-spaces in Seifert's terminology) are determined by their fundamental group up to homeomorphism ([Seifert1932, p.197] - for later results on this aspect cf. [Hempel1976, p.115]). Seifert's work can be seen as the beginning of the geometrization program sketched by W. Thurston in the 1970s. In 1934 J. H. C. Whitehead published a flawed proof of Poincaré's conjecture, correcting it by providing a counter-example to its central theorem the year after. With Whitehead's publication the importance of Poincaré's conjecture became obvious. It is remarkable that his article started with a historical introduction underlining the importance of the problem: Important problems have a history. Milnor commented on Whitehead's failed proof: ``Throughout his life, Whitehead retained a deep interest in the very difficult problems which center around the Poincaré conjecture. ... Perhaps this experience [publishing the false demonstration] contributed towards the extreme conscientiousness which marks his later work.´´ ([Milnor1962, XXIII]). Another false demonstration was published in 1958 by K. Koseki ([Koseki1958]). In 1986 Rourke and Stewart announced a proof for Poincaré's conjecture which was never published because it soon became clear that the proof was incorrect ([Rourke&Stewart1986]).
After the Second World War a lot of research in geometric topology was concerned in a more or less direct way with Poincaré's conjecture (a survey is provided by J. Milnor in [Milnor2003]). Surprisingly it became obvious that the solution of the generalized Poincaré conjecture in dimensions greater than three was easier than that of the original three-dimensional version. In the year 2000 the Clay Mathematics Institute selected the original Poincaré conjecture as one of its Millenium problems. The definitive solution of Poincaré's conjecture was given by G. Perelman in 2003.
The story of Poincaré's conjecture illustrates nicely the importance of problems (or conjectures) in the development of mathematics as it was presented by Hilbert in his famous talk at Paris (1900): ``Moreover a mathematical problem should be difficult in order to entice us, yet not completely inaccessible, lest it mock at our efforts. It should be to us a guide post on the mazy paths to hidden truths, and ultimately a remainder of our pleasure in the successful solution.´´ ([Hilbert1902, p.438]).
For further related information see also [Milnor2003a], [Volkert1996], [Volkert2002], [Weber&Seifert1933], [Whitehead1934] and [Whitehead1935].
1 References
- [Alexander1919] J. W. Alexander, Note on two three dimensional manifolds with the same group, Trans. Amer. Math. Soc. 20 (1919), 339-342. MR1501131 Zbl 47.0964.01
- [Frankl1931] F. Frankl, Zur Topologie des dreidimensionalen Raumes, Monatsh. Math. Phys. 38 (1931), no.1, 357–364. MR1549926 Zbl 03002760
- [Hempel1976] J. Hempel, -Manifolds, Princeton University Press, Princeton, N. J., 1976. MR0415619 (54 #3702) Zbl 1058.57001
- [Hilbert1902] D. Hilbert, Mathematical problems, Bull. Amer. Math. Soc. 8 (1902), 407–436. MR1779412 Zbl 01498873
- [Hurewicz1935] W. Hurewicz, Beiträge zur Topologie der Deformationen II. Homotopie- und Homologiegruppen., Proc. Akad. Wet. Amsterdam 38 (1935), 521–528. Zbl 0011.37101
- [Kerékjártó1923] B. Kerékjártó, Vorlesung über Topologie, Springer, Berlin 1923.
- [Kneser1925] H. Kneser, Eine Bemerkung über dreidimensionale Mannigfaltigkeiten, Nachrichten Göttingen (1925), 128–130. Zbl 51.0448.04
- [Kneser1929] H. Kneser, Geschlossene Flächen in dreidimensionalen Mannigfaltigkeiten, Jahresbericht D. M. V. 38 (1929), 248-260. Zbl 55.0311.03
- [Koseki1958] K. Koseki, Poincarésche Vermutung in Topologie, Math. J. Okayama Univ. 8 (1958), 1–106. MR0100842 (20 #7270) Zbl 0084.19202
- [Milnor1962] J. Milnor, The work of J. H. C. Whitehead. In: Mathematical Works of J. H. C. Whitehead. Vol I, ed. by I. James (Oxford 1962), XXI-XXXIII. MR0174463 (30 #4667a) Zbl 0108.24101
- [Milnor2003] J. Milnor, The Poincaré conjecture 99 years later. A progress report. Accessible under http://www.math.sunysb.edu/~jack/PREPRINTS/poiproof.pdf
- [Milnor2003a] J. Milnor, Towards the Poincaré conjecture and the classification of 3-manifolds, Notices Amer. Math. Soc. 50 (2003), no.10, 1226–1233. MR2009455 (2004h:57022) Zbl 1168.57303
- [Poincaré1953a] H. Poincaré, Cinquième complément à l'analysis situs, in Oeuvres. Tome VI, Paris 1953, 435–498. MR1401792 (98m:01041) Zbl 894.01020
- [Rourke&Stewart1986] C. Rourke and I. Stewart, Poincaré's perplexing problem, New Scientist, September 4th, 1986, 41–46.
- [Seifert&Threlfall1934] H. Seifert and W. Threlfall, Lehrbuch der Topologie, Leipzig und Berlin: B. G. Teubner. VII, 1934. Zbl 0009.08601
- [Seifert1932] H. Seifert, Topologie dreidimensionaler gefaserter Räume, Acta Math. 60 (1933), 147–238. MR1555366 Zbl 0006.08304
- [Volkert1996] K. Volkert, The early history of Poincaré's conjecture, Henri Poincaré: science et philosophie (Nancy, 1994), Akademie Verlag, Berlin (1996), 241–250. MR1384995 (97e:01013) Zbl 0854.01024
- [Volkert2002] K. Volkert, Das Homöomorphieproblem insbesondere der 3-Mannigfaltigkeiten, in der Topologie 1892 - 1935, Paris, 2002.
- [Volkert2013a] K. Volkert, Lens spaces in dimension three: a history, Bull. Man. Atl. (2013).
- [Volkert2013b] K. Volkert, Poincaré's cube manifolds, Bull. Man. Atl. (2013).
- [Volkert2013c] K. Volkert, Poincaré's homology sphere, Bull. Man. Atl. (2013).
- [Weber&Seifert1933] C. Weber and H. Seifert, Die beiden Dodekaederräume, Math. Z. 37 (1933), no.1, 237–253. MR1545392 Zbl 0007.02806
- [Whitehead1934] J. H. C. Whitehead, Certain theorems about three-dimensional manifolds, Q. J. Math., Oxf. (1934), 308–320 Zbl 0010.27504
- [Whitehead1935] J. H. C. Whitehead, Three-dimensional manifolds (Corrigendum), Q. J. Math., Oxf. Ser. 6, 80 (1935). Zbl 0011.17803
2 External links
- The Encyclopedia of Mathematics article on the Poincaré conjecture
- The Wikipedia page about the Poincaré conjecture