Congettura di geometrizzazione di Thurston: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Gco (discussione | contributi)
m riscritto tra parentesi per meglio evidenziare cosa ha effettivamente dimostrato Perelman
Riga 18:
# Congettura ''space-form'': una 3-varietà con [[gruppo fondamentale]] [[gruppo finito|finito]] è [[varietà ellittica|ellittica]], cioè un [[topologia quoziente|quoziente]] di <math>S^3</math> per un [[sottogruppo]] finito del [[gruppo ortogonale speciale]] <math>SO(4)</math>.
# Congettura di iperbolizzazione: una 3-varietà irriducibile [[varietà chiusa|chiusa]] con [[gruppo fondamentale]] infinito e non contenente sottogruppi isomorfi a <math>\mathbb Z \times \mathbb Z</math> ammette una metrica [[varietà iperbolica|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.
 
== Bibliografia ==