Thurston's 24 questions
{{short description|Set of 24 mathematics problems posed by William P. Thurston}}
Thurston's 24 questions are a set of mathematical problems in differential geometry posed by American mathematician William Thurston in his influential 1982 paper Three-dimensional manifolds, Kleinian groups and hyperbolic geometry published in the Bulletin of the American Mathematical Society.{{citation|last=Thurston|first=William P.|title=Three-dimensional manifolds, Kleinian groups and hyperbolic geometry|year=1982|journal=Bulletin of the American Mathematical Society|volume=6 |issue=3 |pages=357–379|doi=10.1090/S0273-0979-1982-15003-0 |doi-access=free}} These questions significantly influenced the development of geometric topology and related fields over the following decades.
History
The questions appeared following Thurston's announcement of the geometrization conjecture, which proposed that all compact 3-manifolds could be decomposed into geometric pieces. This conjecture, later proven by Grigori Perelman in 2003, represented a complete classification of 3-manifolds and included the famous Poincaré conjecture as a special case.
By 2012, 22 of Thurston's 24 questions had been resolved.{{citation|last=Thurston|first=William P.|title=Three-dimensional manifolds, Kleinian groups and hyperbolic geometry|year=2014|journal=Jahresbericht der Deutschen Mathematiker|pages=3–20|volume=116|doi=10.1365/s13291-014-0079-5 }}
Table of problems
| class="wikitable sortable" |
| Problem
! Brief explanation ! Status ! Year solved |
|---|
| style="text-align:center"| 1st
| The geometrization conjecture for 3-manifolds (a generalization of the Poincaré conjecture) | {{yes|align=left|Solved by Grigori Perelman using Ricci flow with surgery}} |style="text-align:center"| 2003 |
| style="text-align:center"| 2nd
| Classification of finite group actions on geometric 3-manifolds | {{yes|align=left|Solved by Meeks, Scott, Dinkelbach, and Leeb}} |style="text-align:center"| 2009 |
| style="text-align:center"| 3rd
| The geometrization conjecture for 3-orbifolds | {{yes|align=left|Solved by Boileau, Leeb, and Porti}} |style="text-align:center"| 2005 |
| style="text-align:center"| 4th
| Global theory of hyperbolic Dehn surgery | {{yes|align=left|Resolved through work of Agol, Lackenby, and others}} |style="text-align:center"| 2000–2013 |
| style="text-align:center"| 5th
| Are all Kleinian groups geometrically tame? | {{yes|align=left|Solved through work of Bonahon and Canary}} |style="text-align:center"| 1986–1993 |
| style="text-align:center"| 6th
| Density of geometrically finite groups | {{yes|align=left|Solved by Namazi-Souto and Ohshika}} |style="text-align:center"| 2012 |
| style="text-align:center"| 7th
| Theory of Schottky groups and their limits | {{yes|align=left|Resolved through work of Brock, Canary, and Minsky}} |style="text-align:center"| 2012 |
| style="text-align:center"| 8th
| Analysis of limits of quasi-Fuchsian groups with accidental parabolics | {{yes|align=left|Solved by Anderson and Canary}} |style="text-align:center"| 2000 |
| style="text-align:center"| 9th
| Are all Kleinian groups topologically tame? | {{yes|align=left|Solved independently by Agol and by Calegari-Gabai}} |style="text-align:center"| 2004 |
| style="text-align:center"| 10th
| The Ahlfors measure zero problem | {{yes|align=left|Solved as consequence of geometric tameness}} |style="text-align:center"| 2004 |
| style="text-align:center"| 11th
| Ending lamination conjecture | {{yes|align=left|Solved by Brock, Canary, and Minsky}} |style="text-align:center"| 2012 |
| style="text-align:center"| 12th
| Describe quasi-isometry type of Kleinian groups | {{yes|align=left|Solved with Ending lamination theorem}} |style="text-align:center"| 2012 |
| style="text-align:center"| 13th
| Hausdorff dimension and geometric finiteness | {{yes|align=left|Solved by Bishop and Jones}} |style="text-align:center"| 1997 |
| style="text-align:center"| 14th
| Existence of Cannon–Thurston maps | {{yes|align=left|Solved by Mahan Mj}} |style="text-align:center"| 2009-2012 |
| style="text-align:center"| 15th
| LERF property for Kleinian groups | {{yes|align=left|Solved by Ian Agol, building on work of Wise}} |style="text-align:center"| 2013 |
| style="text-align:center"| 16th
| {{yes|align=left|Solved by Ian Agol}} |style="text-align:center"| 2012 |
| style="text-align:center"| 17th
| Virtual positive first Betti number | {{yes|align=left|Solved by Ian Agol}} |style="text-align:center"| 2013 |
| style="text-align:center"| 18th
| Virtually fibered conjecture | {{yes|align=left|Solved by Ian Agol}} |style="text-align:center"| 2013 |
| style="text-align:center"| 19th
| Properties of arithmetic subgroups | {{no|align=left|Unresolved}} |style="text-align:center"| — |
| style="text-align:center"| 20th
| Computer programs and tabulations | {{yes|align=left|Addressed through development of SnapPea and other software}} |style="text-align:center"| 1990s–2000s |
| style="text-align:center"| 21st
| Computer programs and tabulations | {{yes|align=left|Addressed through development of SnapPea and other software}} |style="text-align:center"| 1990s–2000s |
| style="text-align:center"| 22nd
| Computer programs and tabulations | {{yes|align=left|Addressed through development of SnapPea and other software}} |style="text-align:center"| 1990s–2000s |
| style="text-align:center"| 23rd
| Rational independence of hyperbolic volumes | {{no|align=left|Unresolved}} |style="text-align:center"| — |
| style="text-align:center"| 24th
| Prevalence of hyperbolic structures in manifolds with given Heegaard genus | {{yes|align=left|Solved by Namazi and Souto}} |style="text-align:center"| 2009 |