Due ciambelle identiche… ma non proprio
Immaginate due oggetti che potete esaminare da ogni lato, misurare sotto ogni aspetto, sondare nei minimi recessi — e che sembrano assolutamente, rigorosamente identici. Eppure sono fondamentalmente diversi. Non per un errore di misurazione, non perché vi sia sfuggito qualcosa: semplicemente perché la differenza tra loro è invisibile a ogni osservazione locale. Questo scenario, che sembra un gioco di prestigio filosofico, è appena stato dimostrato matematicamente. E ci sono voluti 150 anni per arrivarci.
Alcuni matematici hanno dimostrato l’esistenza di due superfici a forma di toro — il nome scientifico della ciambella, quella forma ad anello che i geometri adorano — localmente indistinguibili ma globalmente diverse. Una distinzione dal sapore astratto, che però rimette in discussione una regola accettata dall’epoca in cui i matematici indossavano ancora la redingote.
Il toro, protagonista della topologia
Prima di proseguire, è utile una breve digressione. In matematica, un toro è una superficie che assomiglia a quella di una ciambella: è chiusa, senza bordo e ha un foro al centro. È una delle forme più studiate in topologia, il ramo della matematica che si interessa alla forma globale degli oggetti — non alle loro misure precise, ma alla loro struttura complessiva. In topologia, una tazza da caffè e una ciambella sono «la stessa cosa» (entrambe hanno un solo foro), mentre una ciambella e una sfera sono radicalmente diverse.
La geometria, invece, si occupa delle misure: distanze, angoli, curvature. Ed è qui che le cose si fanno interessanti. Quando parliamo di misure locali, intendiamo ciò che potrebbe osservare attorno a sé un minuscolo abitante della superficie, senza mai vederne la forma globale. Un po’ come noi sulla Terra: alla scala umana il suolo sembra piatto, anche se la Terra è una sfera.
La regola dei 150 anni: il locale determina il globale
Dalla seconda metà del XIX secolo, nella geometria delle superfici dominava un principio: se due superfici hanno ovunque le stesse proprietà locali — cioè se sono localmente identiche in ogni punto — allora sono globalmente identiche, o almeno molto simili. Questo principio, radicato nei lavori fondativi di Bernhard Riemann e dei suoi successori, offriva ai matematici uno strumento potente: per comprendere la forma di uno spazio, in teoria bastava farne l’inventario locale.
In concreto, ciò significava che se due superfici «sembrano» la stessa cosa, se viste dall’interno — se un minuscolo abitante non potesse mai distinguerle mediante misure di distanze o curvature — allora dovevano essere, in fondo, la stessa superficie (a meno di alcune trasformazioni). Era rassicurante. Era elegante. Ed era, come abbiamo appena scoperto, falso.
Due ciambelle che si somigliano… senza esserlo
La nuova dimostrazione stabilisce l’esistenza di due tori che hanno esattamente la stessa geometria locale in ogni punto — stessa curvatura, stesse distanze, stessa struttura misurabile a ogni scala finita — ma che sono topologicamente distinti. In altre parole, nessuna deformazione continua (senza strappare né incollare) permette di passare dall’uno all’altro. Sono diversi nella loro essenza globale, anche se nessuna misura locale può rivelarlo.
«Localmente identico» non significa «globalmente identico». È questa la lezione che la geometria ha appena imparato a proprie spese.
Per cogliere la stranezza della cosa, pensate a due labirinti. Ogni corridoio, ogni incrocio, ogni muro è identico nei due labirinti: stessa larghezza, stessa altezza, stessi angoli. Un esploratore cieco, che potesse soltanto sentire i propri passi e toccare i muri, non riuscirebbe mai a distinguerli. Eppure la struttura globale dei due labirinti è diversa — uno ha un’uscita a destra, l’altro a sinistra, oppure uno si richiude in un modo in cui l’altro non si richiude. È esattamente ciò che i matematici hanno costruito, ma nel caso di superfici curve in dimensioni superiori.
Decenni di sospetti
Questo risultato non è caduto dal cielo. Da decenni diversi matematici sospettavano che oggetti simili dovessero esistere. Esempi parziali, casi limite e costruzioni approssimate avevano alimentato l’intuizione collettiva. Ma mancava la dimostrazione rigorosa — e in matematica l’intuizione non basta. Serve una dimostrazione completa e senza falle.
La difficoltà era nella natura stessa del problema: costruire due oggetti geometrici localmente identici richiede un controllo estremamente fine delle equazioni che governano la curvatura delle superfici. Bisogna assicurarsi che la somiglianza locale sia perfetta in ogni punto, non soltanto in alcuni punti scelti con cura. È un esercizio di precisione formidabile, che mobilita strumenti della geometria differenziale, dell’analisi e della topologia algebrica.
Cosa cambia — e quali prospettive apre
Le conseguenze di questa scoperta vanno ben oltre il caso particolare dei tori. Essa solleva una domanda fondamentale per tutta la geometria: in quali situazioni le misure locali sono sufficienti a caratterizzare uno spazio globale? E in quali situazioni sono ingannevoli?
Per i matematici che lavorano alla classificazione delle varietà — il grande progetto di censire e distinguere tutte le forme possibili dell’universo matematico — questo risultato impone di rivedere alcune strategie. Vanno riconsiderati i metodi che si fondavano implicitamente sull’idea che «stesso localmente = stesso globalmente».
Ci sono poi implicazioni di più ampia portata, in campi come la fisica teorica, dove la geometria dello spaziotempo è al centro dei modelli. Se l’universo è una varietà di grande dimensione, il fatto che le sue proprietà locali non ne determinino la struttura globale non è una questione puramente accademica. Riguarda la possibilità di dedurre, almeno in linea di principio, la forma dell’universo da osservazioni locali — ciò che facciamo, in un certo senso, con le misure cosmologiche.
Concetti da portare con sé
Per gli appassionati di matematica
Nella geometria riemanniana, una varietà riemanniana è uno spazio (una superficie, un volume o una generalizzazione in dimensione arbitraria) dotato di una metrica — ossia di un modo per misurare distanze e angoli in ogni punto. Due varietà riemanniane si dicono localmente isometriche se, per ogni punto dell’una, esiste un intorno che può essere «incollato» a un intorno dell’altra in modo da preservare tutte le distanze. In altri termini, un minuscolo abitante non potrebbe distinguere i due spazi con alcuna misura effettuata in un intorno arbitrariamente piccolo.
La domanda classica era: due varietà compatte localmente isometriche sono necessariamente globalmente isometriche (o almeno isometriche a meno di un rivestimento)? Il nuovo risultato risponde negativamente, costruendo due tori — varietà compatte di dimensione 2 senza bordo — localmente isometrici in ogni punto, ma non omeomorfi (e dunque a fortiori non isometrici) come spazi topologici globali. La costruzione utilizza tecniche di rivestimenti riemanniani e di analisi spettrale, sfruttando il fatto che lo spettro del laplaciano non determina sempre la varietà — un’eco del celebre problema «Can you hear the shape of a drum?» posto da Mark Kac nel 1966.
