On the uniqueness of continuous spacetime extensions in 1+1 dimensions with applications to weak null singularities

Sintesi Tecnica: Unicità delle Estensioni dello Spazio-Tempo Continuo in 1+1 Dimensioni

Enunciato del Problema
Il saggio investiga l'unicità locale delle estensioni dello spazio-tempo continue ($C^0$) attraverso un confine nullo, motivata dallo studio delle singolarità nulle deboli negli interni di generici buchi neri rotanti. Una singolarità nulla debole è definita come un confine nullo singolare dove la metrica si estende continuamente, ma i simboli di Christoffel non sono quadrato-integrabili.

La questione centrale affrontata è: dato una varietà lorentziana $(M, g)$ con una metrica continua che si estende a un confine $\partial M$, la struttura topologica e differenziabile di qualsiasi estensione continua $\iota: M \hookrightarrow \tilde{M}$ è determinata univocamente fino al confine? Nello specifico, se esistono due estensioni, esse sono localmente $C^0$-equivalenti (omeomorfe) o $C^1$-equivalenti (diffeomorfe) vicino al confine? Questa domanda è critica per le dimostrazioni di inestensibilità a bassa regolarità, dove il controllo a priori sulla struttura $C^1$ di una ipotetica estensione è spesso necessario per dimostrare la divergenza della curvatura o dell'olonomia.

Metodologia
Gli autori utilizzano un approccio di tipo "modello giocattolo" (toy model), riducendo il complesso problema 3+1-dimensionale delle singolarità nulle deboli a una varietà lorentziana 1+1-dimensionale $(M_t, g_t)$ con una metrica a doppia nullo $g_t = -\Omega^2(du \otimes dv + dv \otimes du)$. La funzione metrica $\Omega$ è assunta estendibile continuamente e strettamente positivamente al confine $v=0$.

La metodologia prevede:

1. Analisi Strutturale: Utilizzare coordinate quasi-Minkowskiane e argomenti di omotopia causale per caratterizzare la geometria del confine $\partial \iota(M_t)$ in un'estensione continua.
2. Classificazione delle Strutture $C^0$: Investigare se il confine possa far collassare molteplici curve nulle in un singolo punto (una struttura a "angolo" o "corner") o se debba preservare la distinzione di queste curve (la struttura di "riferimento").
3. Vincoli Globali: Applicare argomenti di volume per determinare se le possibilità strutturali locali possano estendersi globalmente, in particolare nel contesto dello spaziotempo di Reissner-Nordström.
4. Costruzione di Controesempi: Costruire esplicitamente estensioni che condividono la stessa struttura $C^0$ ma possiedono strutture $C^1$ inequivalenti, utilizzando specifiche trasformazioni di coordinate che coinvolgono singolarità logaritmiche.

Contributi Chiave e Risultati

1. Dicotomia delle Strutture $C^0$ (Teorema 4.3)
Il saggio stabilisce una classificazione rigorosa della struttura $C^0$ locale delle estensioni continue attraverso $v=0$. Esistono solo due possibilità:

• Estensione di Riferimento: L'estensione è localmente $C^0$-equivalente all'estensione standard in cui il confine è una ipersuperficie nulla regolare, e curve nulle a $u$ costante distinte terminano in punti di confine distinti.
• Estensione a Angolo (Corner Extension): Tutte le curve nulle future a $u$ costante terminano nello stesso punto di confine. In questo caso, l'estensione non è localmente $C^0$-equivalente all'estensione di riferimento.

2. Rigidità e Ostacoli Globali (Proposizione 4.2, Corollario 4.6)
Sebbene le estensioni a angolo siano localmente possibili, il saggio dimostra una forte relazione locale-globale:

• Se un'estensione continua presenta la struttura a angolo localmente (ovvero, due curve vicine a $u$ costante si incontrano nello stesso punto), essa deve presentare questa struttura globalmente per ogni $u$.
• Applicazione a Reissner-Nordström: Per lo spaziotempo di Reissner-Nordström sub-estremale, il volume infinito dello spaziotempo tra l'orizzonte degli eventi e l'orizzonte di Cauchy esclude l'esistenza di estensioni a angolo globali. Di conseguenza, qualsiasi estensione $C^0$ fortemente sfericamente simmetrica dello spaziotempo globale di Reissner-Nordström attraverso l'orizzonte di Cauchy deve essere localmente $C^0$-equivalente all'estensione di riferimento. Ciò implica una rigidità della struttura $C^0$ per gli interni dei buchi neri globali e sfericamente simmetrici.

3. Non-Rigidità della Struttura $C^1$ (Sezione 5)
Il saggio dimostra che la struttura $C^0$ non determina la struttura $C^1$:

• Estensioni a Angolo: Diverse estensioni a angolo (parametrizzate da $\beta$) sono $C^0$-equivalenti ma $C^1$-inequivalenti.
• Estensioni di Riferimento: Gli autori costruiscono un'estensione continua che è localmente $C^0$-equivalente all'estensione di riferimento (preservando la distinzione dei punti di confine) ma che non è localmente $C^1$-equivalente. Ciò è ottenuto tramite una trasformazione di coordinate che è un omeomorfismo ma fallisce nell'essere un diffeomorfismo al confine a causa di derivate illimitate.
• Generalizzazione 3+1-Dimensionale: Questo risultato di non-rigidità si estende alle singolarità nulle deboli in 3+1 dimensioni senza assunzioni di simmetria. Gli autori costruiscono un'estensione $C^0$ di una singolarità nulla debole che è $C^0$-equivalente all'estensione di riferimento (come definita da Dafermos e Luk) ma $C^1$-inequivalente.

Significato e Rivendicazioni
Il saggio sostiene di fornire una comprensione fondamentale delle proprietà di unicità delle estensioni dello spazio-tempo continue, che è un prerequisito per dimostrare l'inestensibilità nelle classi di regolarità al di sotto di $C^{0,1}_{loc}$ (Lipschitz).

• Sull'Unicità $C^0$: Il lavoro chiarisce che, sebbene le estensioni $C^0$ non siano uniche in generale (esistono estensioni a angolo), i vincoli geometrici globali (come il volume infinito) possono imporre l'unicità per spaziotempi fisicamente rilevanti come Reissner-Nordström.
• Sull'Unicità $C^1$: Il saggio dimostra esplicitamente che l'assunzione di un'estensione metrica continua è insufficiente a garantire una struttura $C^1$ univoca. Ciò mette in discussione l'idea secondo cui si possa assumere automaticamente un controllo a priori sulla struttura differenziabile di un'estensione continua.
• Implicazioni per l'Inestensibilità: I risultati suggeriscono che dimostrare l'inestensibilità per le singolarità nulle deboli in classi di regolarità comprese tra $C^0$ e $C^{0,1}_{loc}$ sia più sottile di quanto precedentemente ipotizzato. Non si può semplicemente assumere che un'estensione continua erediti la struttura $C^1$ di un'estensione di riferimento; la mancanza di rigidità $C^1$ deve essere tenuta in considerazione nelle dimostrazioni future.

Gli autori rimangono modesti riguardo al caso 3+1-dimensionale, notando che, sebbene il modello giocattolo 1+1 fornisca intuizioni e controesempi necessari, il problema completo dell'unicità 3+1-dimensionale rimane un'area di ricerca aperta e intricata.