La Congettura di Poincaré è stata considerata durante tutta la metà del XX secolo il più importante problema insoluto della topologia, dimostrato da Grigori Perelman nel 2002.
Indice [nascondi]
1 Motivazione ed enunciato della congettura
2 Storia delle soluzioni proposte
2.1 Da Whitehead a Thurston
2.2 Il Clay Institute e Perelman
3 La congettura di Poincaré nelle altre dimensioni
4 La congettura di geometrizzazione
5 Collegamenti esterni
[modifica]
Motivazione ed enunciato della congettura
Nel 1904 Henri Poincaré stava lavorando ai fondamenti di quella che poi sarebbe stata chiamata topologia algebrica. Egli in particolare studiava le proprietà e caratteristiche topologiche della sfera.
Poincaré aveva sviluppato uno strumento matematico chiamato omologia, che distingueva e permetteva quindi di classificare topologicamente tutte le varietà di dimensione 2. Egli congetturò inizialmente un fenomeno analogo in dimensione 3, ovvero che l'omologia distinguesse almeno la sfera tridimensionale dalle altre varietà. Si accorse molto presto di essere in errore, dato che riuscì a costruire una varietà, chiamata successivamente sfera di Poincaré, con la stessa omologia della sfera ma non omeomorfa ad essa. Spazi di questo tipo (ve ne sono in verità infiniti) vengono ora chiamati sfere di omologia.
Egli allora sviluppò un nuovo strumento, in un certo senso più raffinato, chiamato gruppo fondamentale. Si domandò quindi se questo strumento fosse sufficiente a distinguere la sfera dalle altre varietà tridimensionali. Poincaré non ha mai dichiarato esplicitamente di credere all'affermazione seguente, però questa è passata alla storia come la "congettura di Poincaré".
Ogni 3-varietà semplicemente connessa chiusa (ossia compatta e senza bordi) ed orientabile è omeomorfa a una sfera tridimensionale.
Detto con termini diversi, la congettura dice che la sfera è l'unica varietà tridimensionale "senza buchi", cioè dove qualsiasi cammino chiuso può essere contratto fino a diventare un punto.
[modifica]
Storia delle soluzioni proposte
[modifica]
Da Whitehead a Thurston
Inizialmente questo problema è stato trascurato finché nel 1930 J.H.C. Whitehead ravvivò l'interesse sulla congettura proponendo una prima soluzione. Successivamente si rese conto che la soluzione non era corretta ma comunque i suoi studi portarono alla scoperta di interessanti esempi di varietà che portarono alle varietà di Whitehead.
Tra gli anni 1950 e 1960 molti matematici si cimentarono nell'impresa ma, pur ottenendo importanti risultati nel campo della topologia e delle varietà, non riuscirono a dimostrare o a confutare la congettura.
Col tempo la congettura acquistò la fama di essere una congettura molto difficile da dimostrare, pur possedendo una formulazione relativamente semplice. Questo indusse i matematici più famosi a essere molto cauti negli annunci legati alla congettura di Poincaré dato che errori a volte molto sottili rendevano le dimostrazioni inutili. Nonostante le mille cautele negli anni 80 e 90 vi fu una serie di annunci su delle fantomatiche soluzioni che si rivelarono tutte errate. Contemporaneamente, la Congettura di Poincaré è inserita da William Thurston come parte di una congettura più grande che riguarda tutte le 3-varietà: la congettura di geometrizzazione.
[modifica]
Il Clay Institute e Perelman
Nel 2000 il Clay Mathematics Institute decise di includere la congettura di Poincaré tra i Millennium Prize e quindi di offrire $1,000,000 per chi troverà la dimostrazione. Questo premio evidenzia ulteriormente la portata della congettura di Poincaré, soprattutto ai fini pratici: tutti i problemi del Millenium Prize avrebbero immediate applicazioni, sia teoriche che tecnologiche. La congettura di Poincaré avrebbe ripercussioni sulle possibili topologie della teoria delle stringhe e delle varie altre teorie della gravitazione quantistica.
Sembra che la congettura di Poincaré possa essere il primo premio assegnato. Nell'aprile del 2002 un primo articolo di M.J.Dunwoody propose una prima dimostrazione, che tuttavia si rivelò errata. Successivamente due articoli di Grigori Perelman dell'Istituto Matematico di Steklov di San Pietroburgo sembravano più promettenti. Nel primo, Perelman dichiarò di aver dimostrato la più generale congettura di geometrizzazione di Thurston, portando avanti un programma intrapreso da Richard Hamilton. Nel 2003, pubblicò un secondo articolo, iniziando una serie di conferenze negli Stati Uniti. Nel 2004 le sue tecniche furono analizzate e crearono un notevole interesse, anche per alcuni collegamenti con argomenti di fisica teorica, e portarono a far credere il suo come il più serio attacco che la congettura di Poincaré avesse mai ricevuto.
Tra il 2003 e il 2006, vengono pubblicate o messe in rete alcune esposizioni dettagliate del lavoro di Perelman, redatte da alcuni matematici: prima alcune note di Kleiner e Lott, quindi nella primavera del 2006 un articolo di Huai-Dong Cao e Xiping Zhu pubblicato nell'Asian Journal of Mathematics e un articolo di Morgan e Tian. I lavori di Perelman vengono quindi riconosciuti dalla comunità matematica, ma il russo rifiuta sia la Medaglia Fields, il 22 agosto 2006, sia il premio da un milione di dollari dell'Istituto Matematico Clay.
[modifica]
La congettura di Poincaré nelle altre dimensioni
Una formulazione della congettura di Poincaré a n dimensioni è la seguente:
Ogni varietà chiusa n dimensionale omotopicamente equivalente alla n-sfera è omeomorfa alla n-sfera.
Questa definizione è equivalente alla congettura di Poincaré nel caso n=3. Le difficoltà maggiori sorgono per le dimensioni n = 3 e n = 4. Il caso con n=1 è banale, e il caso con n=2 è stato dimostrato con facilità. Stephen Smale dimostrò i casi con n≥7 nel 1960 e successivamente estese la dimostrazione a n≥5; egli vinse la medaglia Fields per questi lavori nel 1966. Michael Freedman risolse n = 4 nel 1982 e ricevette quindi la medaglia Fields nel 1986.
[modifica]
La congettura di geometrizzazione
La congettura di Poincaré è legata alla classificazione delle varietà a 3 dimensioni. Per la "classificazione delle varietà a 3 dimensioni" generalmente si intende la capacità di creare una lista contenente tutte le varietà possibili senza omeomorfismi o ripetizioni. Avere come risultato una classificazione è equivalente a definire se una varietà e omeomorfa ad un'altra varietà.
La congettura sulla geometrizzazione di Thurston contiene come caso particolare la congettura di Poincaré. Essa implica anche la capacità di classificare qualsiasi varietà a 3 dimensioni.