La congettura di geometrizzazione di Thurston è una congettura matematica formulata intorno al 1982 dal matematico statunitense William Thurston. Si tratta di una versione tridimensionale del teorema di uniformizzazione di Riemann dimostrato alla fine del XIX secolo per le superfici.

La congettura di geometrizzazione (che implica la più famosa congettura di Poincaré) è stata risolta dal matematico russo Grigori Perelman nel 2003: per questo risultato gli è stata assegnata la medaglia Fields nel 2006.

Enunciato

La congettura di geometrizzazione asserisce che ogni 3-varietà si decompone in pezzi geometrici, dopo aver tagliato lungo sfere e tori. Il taglio lungo sfere è dato dalla decomposizione di ogni 3-varietà in 3-varietà prime (garantita dal Teorema di Kneser-Milnor). Quello lungo tori dalla decomposizione JSJ, scoperta negli anni settanta. L'enunciato della congettura è quindi il seguente.

Le geometrie

Il tipo di decomposizione consiste in un taglio lungo sfere e tori. I pezzi geometrici sono varietà localmente omogenee: ci sono 8 tipi di geometrie tridimensionali omogenee; tra queste, vi sono le 3 geometrie a curvatura sezionale costante (ellittica, euclidea e iperbolica). Sei di queste otto geometrie sono realizzate topologicamente da varietà di Seifert.

Storia

Thurston annunciò la congettura nel 1982 e nel frattempo la dimostrò per qualsiasi 3-varietà che contenga una superficie incompressibile. In particolare, appartengono a questa classe tutte le varietà che hanno una decomposizione JSJ non banale: la congettura restò quindi aperta solo per quelle varietà irriducibili che non vengono ulteriormente decomposte dalla JSJ. Più in particolare, la congettura consta di tre parti indipendenti, ciascuna delle quali impegnerà molti matematici nel ventennio seguente:

1. La congettura di Poincaré: una 3-varietà semplicemente connessa è omeomorfa alla sfera ${\displaystyle S^{3))$.
2. Congettura space-form: una 3-varietà con gruppo fondamentale finito è ellittica, cioè un quoziente di ${\displaystyle S^{3))$ per un sottogruppo finito del gruppo ortogonale speciale ${\displaystyle SO(4)}$.
3. Congettura di iperbolizzazione: una 3-varietà irriducibile chiusa con gruppo fondamentale infinito e non contenente sottogruppi isomorfi a ${\displaystyle \mathbb {Z} \times \mathbb {Z} }$ ammette una metrica iperbolica.

Nel 2003 Perelman mise in rete su arXiv una dimostrazione della congettura di geometrizzazione che risolse in un colpo solo tutte e tre le sotto-congetture. La soluzione viene studiata intensamente da vari matematici, e dopo qualche anno si formò un certo consenso intorno alla sua validità, testimoniata da varie pubblicazioni sull'argomento.