Forse la conseguenza più eclatante della descrizione della gravità da parte di Einstein in termini di geometria curva dello spaziotempo, nel quadro della sua teoria generale della relatività, è la possibilità che lo spazio e il tempo possano presentare "buchi" o "bordi", cioè delle singolarità.
Una singolarità dello spaziotempo è una sua rottura, nella geometria o in qualche altra struttura fisica di base. Purtroppo, non è così facile dare un significato preciso a ciò che questo significa. In altre teorie fisiche, le singolarità sono definite come una sorta di "comportamento patologico" che si verifica in un quadro ordinato fornito dallo spazio e dal tempo. Ad esempio, un modello che descrive un fluido potrebbe prevedere che, in determinate condizioni, la pressione diventa infinitamente grande da qualche parte in un determinato momento, chiaramente in contrasto con la realtà. Ma nella relatività generale, lo spaziotempo stesso può comportarsi in modo patologico, e può farlo in molti modi.
Quando è la geometria fondamentale a rompersi, le singolarità dello spaziotempo sono spesso viste come una fine, o un "bordo", dello spaziotempo stesso. Tuttavia, sorgono numerose difficoltà quando si cerca di precisare questo concetto. La relatività generale non solo ammette le singolarità (big-bang, buchi neri, ecc.), ma ci dice che sono inevitabili in alcune circostanze. Perciò abbiamo bisogno di comprendere la natura delle singolarità se vogliamo cogliere quella dello spazio e del tempo nell'universo reale.
I buchi neri, ad esempio, sono regioni dello spaziotempo da cui nulla, nemmeno la luce, può sfuggire e la gravità tende a infinito. Questa previsione della relatività generale ci dice che essa, mentre prevede l'esistenza dei buchi neri, non è sufficiente per descriverli. È necessaria una nuova fisica dei buchi neri. Naturalmente, la relatività generale è molto efficace nel descrivere molti altri aspetti dell'universo fisico. Ma, per il centro di un buco nero, che sperimenta un estremo di gravità, le equazioni della relatività generale non funzionano più. Che cosa accada oltre l’orizzonte degli eventi (se c’è), è una domanda senza senso, perché, dove non c’è spazio tempo, anche il verbo accadere è un paradosso.
Un altro modo per descrivere la singolarità di un buco nero è che è il punto in cui materia, energia, spazio e tempo scompaiono dal nostro universo. Notiamo che lo spazio e il tempo, essi stessi, scompaiono nella singolarità. Naturalmente, i fisici non sanno esattamente cosa significhi la scomparsa del tempo e dello spazio. Dove vanno? I buchi neri contengono genericamente una singolarità spaziotemporale al loro centro; quindi, non possiamo comprendere appieno un buco nero senza comprendere anche la natura delle singolarità, che può essere ancora più complicata se essi ruotano o emettono radiazioni (di Hawking) in obbedienza alle leggi della termodinamica.
Il secondo punto descritto come "singolarità" è il Big Bang. Questa singolarità, un punto più piccolo di un atomo, è considerata da molti scienziati come dotata di densità e massa infinite. Al momento del Big Bang, si espanse rapidamente, creando tutto lo spazio, il tempo, la materia e l'energia del nostro universo fisico. Come è successo? Gli scienziati non hanno equazioni che descrivono un punto più piccolo di un atomo che ha massa e densità infinite. Questo, come il centro di un buco nero, è una singolarità per la quale sono necessarie nuove leggi fisiche.
Le singolarità segnalano in qualche modo una rottura della geometria dello spaziotempo stesso, ma ciò presenta un'ovvia difficoltà nel riferirsi a una singolarità come a una "cosa" che risiede in qualche posizione nello spaziotempo: senza una geometria, non può esserci posizione.
I tentativi più comuni di definire le singolarità si concentrano su una delle due idee fondamentali. La prima è che uno spaziotempo ha una singolarità se contiene un percorso incompleto, che non può essere continuato all'infinito, senza possibilità di estensione. Il secondo è che uno spaziotempo è singolare solo nel caso in cui ci siano dei punti "mancanti".
Un’altra idea comune, a cui si fa spesso riferimento nella discussione delle due nozioni primarie, è che la struttura singolare, sotto forma di punti mancanti o di percorsi incompleti, debba essere correlata a un comportamento patologico di qualche tipo nella curvatura dello spaziotempo, cioè una deformazione fondamentale dello spaziotempo che si manifesta come “campo gravitazionale”. Ad esempio, una certa misura dell'intensità della curvatura ("la forza del campo gravitazionale") può aumentare senza limiti mentre si attraversa il percorso incompleto.
Sebbene esistano definizioni contrastanti delle singolarità dello spaziotempo, il criterio più ampiamente accettato si basa sulla possibilità che alcuni spaziotempi contengano percorsi incompleti e inestensibili. In effetti, le definizioni concorrenti (in termini di punti mancanti o patologia della curvatura) si basano sulla nozione di incompletezza del percorso.
Un percorso nello spaziotempo è una catena continua di eventi attraverso lo spazio e il tempo. I percorsi utilizzati nei più importanti teoremi di singolarità rappresentano possibili traiettorie di particelle e osservatori. Tali percorsi sono noti come linee di universo; consistono nella sequenza continua di eventi istanziati dall'esistenza di un oggetto in ogni istante della sua vita.
In questo contesto, un percorso incompleto nello spaziotempo è sia inestensibile che di lunghezza propria finita, il che significa che qualsiasi particella o osservatore che attraversi il percorso sperimentano solo un intervallo finito di esistenza che in linea di principio non può più continuare. Affinché questo criterio funzioni, tuttavia, dovremo limitare la classe di spaziotempo in discussione.
In particolare, bisogna considerare spazi-tempi che sono massimamente estesi (o semplicemente "massimali"). In effetti, questa condizione dice che la propria rappresentazione dello spaziotempo è “quanto più grande può essere”. Non c'è, dal punto di vista matematico, alcun modo per trattare lo spaziotempo come un vero e proprio sottoinsieme di uno spaziotempo più grande ed esteso.
Se c'è un percorso incompleto in uno spaziotempo, sostiene il pensiero alla base del requisito, allora forse il percorso è incompleto solo perché non si è reso il proprio modello di spaziotempo abbastanza grande. Se si dovesse estendere al massimo la molteplicità dello spaziotempo, allora forse il percorso precedentemente incompleto potrebbe essere esteso nelle nuove porzioni dello spaziotempo più ampio, indicando che nessuna patologia fisica è alla base dell'incompletezza del percorso. L'inadeguatezza risiederebbe semplicemente nel modello fisico incompleto che avevamo usato per rappresentare lo spaziotempo.
Si può facilmente avere un esempio di uno spaziotempo non esteso al massimo, insieme a un'idea del motivo per cui intuitivamente sembrano in un modo o nell'altro carenti. Per il momento, immaginiamo che lo spaziotempo sia solo bidimensionale e piatto, come un foglio di carta senza fine. Ora asportiamo da qualche parte su questo piano un insieme chiuso della forma che si desidera. Qualsiasi percorso che passa attraverso uno dei punti nell'insieme rimosso ora è incompleto.
In questo caso, l'estensione massima dello spaziotempo risultante è ovvia, e in effetti risolve il problema di tutti questi percorsi incompleti: incorporare l'insieme precedentemente asportato.
La natura apparentemente artificiale e artificiosa di tali esempi, insieme alla facilità di correggerli, sembra militare a favore della necessità che lo spaziotempo sia massimale. Inoltre, l'inestensibilità è talvolta discussa sulla base del fatto che non esiste alcun processo fisico noto che potrebbe far sì che lo spaziotempo si avvicini, per così dire, e non continui come avrebbe potuto, se avesse avuto un'estensione.
Una volta stabilito che siamo interessati a spazio-tempo massimi, la questione successiva è quale tipo di incompletezza di percorso sia rilevante per le singolarità. Qui troviamo una buona dose di pareri discordi. I criteri di incompletezza in genere guardano a come cresce un parametro naturalmente associato al percorso (come la sua lunghezza corretta). Generalmente si pongono anche ulteriori restrizioni sui percorsi che si considerano: ad esempio, si possono escludere cammini che potrebbero essere percorsi solo da particelle che subiscono un'accelerazione illimitata in un periodo di tempo finito. Uno spaziotempo, quindi, si dice singolare se possiede un percorso tale che il parametro specificato associato a quel percorso non può aumentare senza limiti mentre si attraversa l'intero percorso massimamente esteso.
Per un percorso che è ovunque simile al tempo, cioè che non comporta velocità pari o superiori a quella della luce, è naturale prendere come parametro il tempo proprio che una particella o un osservatore sperimenterebbe lungo il percorso, cioè il tempo misurato lungo il percorso da un orologio naturale, come quello basato sulla frequenza vibrazionale di un atomo. L'interpretazione fisica di questa sorta di incompletezza per i percorsi simili al tempo è più o meno semplice: un percorso simile al tempo, incompleto rispetto al tempo proprio nella direzione futura, rappresenterebbe la possibile traiettoria di un corpo massiccio che non invecchia mai oltre un certo punto della sua esistenza. (Un'affermazione analoga può essere fatta, mutatis mutandis, se il percorso fosse incompleto nella direzione passata.)
Non possiamo, tuttavia, stabilire semplicemente che uno spaziotempo massimale è singolare solo nel caso in cui contenga percorsi di tempo proprio finito che non possono essere estesi. Un tale criterio implicherebbe che anche lo spaziotempo piatto descritto dalla relatività ristretta è singolare, il che è sicuramente inaccettabile. Ciò seguirebbe perché, anche nello spaziotempo piatto, ci sono percorsi simili al tempo con accelerazione illimitata che hanno solo un tempo proprio finito e sono anche inestensibili.
L'opzione più ovvia è quella di definire uno spaziotempo come singolare se e solo se contiene geodetiche simili al tempo incomplete, inestensibili, cioè percorsi che rappresentano le possibili traiettorie di osservatori inerziali, quelli in caduta libera. Questo criterio, però, sembra troppo permissivo, in quanto conterebbe come non singolari alcuni spazi-tempi la cui geometria sembra altrimenti patologica. Ad esempio, Geroch (1968) descrive uno spaziotempo che è geodeticamente completo e tuttavia possiede un percorso temporale incompleto di accelerazione totale limitata, vale a dire un percorso inestensibile nello spaziotempo attraversabile da un razzo con una quantità finita di carburante, lungo il quale un l'osservatore potrebbe sperimentare solo una quantità finita di tempo proprio. Sicuramente l'intrepido astronauta in un tale razzo, che non sarebbe mai invecchiato oltre un certo punto, ma che non sarebbe mai necessariamente morto o avrebbe cessato di esistere, avrebbe avuto motivo di lamentarsi del fatto che c'era qualcosa di singolare in questo spaziotempo.
Quando si decide se uno spaziotempo è singolare, quindi, vogliamo una definizione che non sia ristretta alle geodetiche. La soluzione più ampiamente accettata a questo problema utilizza una nozione di lunghezza leggermente diversa e tecnicamente complessa, nota come "lunghezza affine generalizzata" (che omette la nozione di misura della distanza e utilizza strumenti di calcolo quali il trasporto parallelo). A differenza del tempo proprio, questa lunghezza affine generalizzata dipende da alcune scelte arbitrarie. Se la lunghezza è infinita per una di queste scelte, tuttavia, sarà infinita per tutte le altre. Quindi la domanda se un percorso abbia una lunghezza affine generalizzata finita o infinita è una domanda ben definita, e questo è tutto ciò di cui avremo bisogno.
Uno spaziotempo è singolare se e solo se è massimale e contiene un cammino inestensibile di lunghezza affine generalizzata finita.
Dire che uno spaziotempo è singolare significa quindi dire che esiste almeno un percorso che ha una lunghezza limitata (affine generalizzata). Per dirla in altro modo, uno spaziotempo è non singolare quando è completo, nel senso che l'unica ragione per cui un dato percorso potrebbe non essere estendibile è che è già infinitamente lungo (in questo senso tecnico).
Il problema principale che deve affrontare questa definizione di singolarità è che il significato fisico della lunghezza affine generalizzata è opaco, e quindi non è chiaro quale potrebbe essere la rilevanza fisica delle singolarità, definite in questo modo.
Recentemente, il filosofo e logico della scienza americano J. B. Manchak (2021) ha proposto una condizione che lo spaziotempo può soddisfare, rilevante per la questione di ciò che caratterizza il comportamento singolare, che chiama "completezza effettiva":
“Si consideri la raccolta U di varietà lorentziane lisce quadridimensionali (M, g). Di solito si identifica questa collezione di oggetti geometrici con i modelli della relatività generale. Ma, all'interno di U, si nascondono modelli di spaziotempo "fisicamente irragionevoli". Ad esempio, prendiamo qualsiasi (M, g) ∈ U e rimuoviamo un punto p ∈ M. La struttura risultante (M−{p}, g) ∈ U sembra essere “fisicamente irragionevole” nel senso che non è “grande come potrebbe essere”. Come si possono escludere tali esempi? Diciamo che un modello (M, g) ∈ U è inestensibile se non può essere propriamente e isometricamente incorporato in qualche altro modello (M’, g’) ∈ U. È stato suggerito di limitare il numero di modelli "fisicamente irragionevoli" nella relatività generale richiedendo che l'inestensibilità sia soddisfatta. (...) Facendo un passo indietro, il suggerimento generale sembra essere che, per una varietà P⊂U, si potrebbe modificare la relatività generale come segue: la nuova teoria deve essere la relatività generale, ma con la condizione aggiuntiva che solo [P] spazio-tempi sono consentiti”. Prendiamo seriamente questa idea in questo modo. Per ogni collezione "fisicamente ragionevole" di modelli P⊂U, abbiamo una variante della teoria della relatività generale – chiamiamola GR(P). Poiché dobbiamo ancora identificare una collezione privilegiata P⊂U di modelli "fisicamente ragionevoli", è utile pensare alla "relatività generale" in modo pluralistico; possiamo studiare una raccolta di tali raccolte di modelli "fisicamente ragionevoli".”
Sinceramente sembra che ci si voglia arrampicare sugli specchi della singolarità: “non è che se gli allarghi la stalla le mucche diventano Miss Universo” (pseudo-cit.) Il consenso sembra essere solamente che, mentre è facile concludere che percorsi incompleti di vario tipo nello spaziotempo rappresentano una struttura singolare, non è stata ancora formulata una sua definizione rigorosa e del tutto soddisfacente.
Molti ricercatori ritengono che una teoria unificata della gravitazione e della meccanica quantistica (la gravità quantistica a loop) permetterà in futuro di descrivere in modo più appropriato i fenomeni connessi con la nascita di una singolarità nel collasso gravitazionale delle stelle massicce e l'origine stessa dell'universo. Intanto aspettiamo.