An isoperimetric characterization of a new ADM-like mass for $C^0$-asymptotically flat manifolds

Sintesi Tecnica: Una Caratterizzazione Isoperimetrica di una Nuova Massa di Tipo ADM per Manifold $C^0$-Asintoticamente Piatte

Enunciato del Problema
Il saggio affronta la relazione tra due distinte nozioni di massa nel contesto della relatività generale su varietà riemanniane a bassa regolarità. La classica massa ADM, pur essendo fondamentale, richiede un forte decadimento asintotico e la differenziabilità della metrica per essere ben definita e invariante per coordinate. Al contrario, la massa isoperimetrica, introdotta da G. Huisken, è definita puramente in termini di volumi e aree, rendendola robusta rispetto alle ipotesi di regolarità $C^0$.

Recentemente, Mazurowski e Yao hanno introdotto una nuova massa "di tipo ADM" ($m_{MY}$) per metriche continue con curvatura scalare non negativa, definita tramite un integrale che coinvolge un particolare tensore simmetrico e una funzione di test $\psi$. Sebbene $m_{MY}$ sia ben posto per varietà $C^\tau$-asintoticamente piatte con $\tau > 1/2$, l'equivalenza tra questa e la massa isoperimetrica di Huisken ($m_{iso}$) nel caso liscio rimaneva una questione aperta. Gli autori mirano a dimostrare che queste due quantità coincidono sotto ipotesi di decadimento ottimali ($\tau > 1/2$) per metriche lisce.

Metodologia
La dimostrazione si basa su un framework di teoria del potenziale non lineare centrato sul $p$-flusso della curvatura media inversa ($p$-IMCF) e sulla relativa massa di Hawking-$p$. La metodologia procede attraverso alcune fasi chiave:

1. $p$-IMCF e Regolarizzazione: Gli autori utilizzano il potenziale capacitario $p$ ($u_p$) e il relativo flusso $w_p = -(p-1)\log u_p$. Per gestire la bassa regolarità dei livelli $\Sigma^{(p)}_t$ nel limite, impiegano una regolarizzazione ellittica ($w_{p,\varepsilon}$) per approssimare il flusso con superfici lisce, consentendo l'applicazione degli standard dell'analisi geometrica.
2. Analisi Asintotica: Un componente tecnico critico è stabilire il comportamento asintotico del $p$-IMCF sotto una mera piattezza asintotica $C^0$. Gli autori adattano una procedura di blow-down e utilizzano la stima del gradiente di Kinnunen–Zhou per funzioni $p$-armoniche. Questa stima, che vale sotto convergenza $C^0$ delle metriche, permette loro di derivare una forte convergenza $W^{1,q}_{loc}$ dei potenziali riscalati verso la soluzione fondamentale euclidea.
3. Monotonicità e Confronto: Gli autori stabiliscono proprietà di monotonicità per una massa di Hawking-$p$ modificata lungo il flusso. Dimostrano che il limite della massa di Hawking-$p$ per $t \to \infty$ è limitato superiormente dalla massa di Mazurowski–Yao ($m_{MY}$). Ciò viene ottenuto collegando il comportamento asintotico della massa di Hawking-$p$ alla definizione integrale di $m_{MY}$ (Proposizione 2.14).
4. Collegamento alla Massa Isoperimetrica:
   • Limite Superiore ($m_{iso} \leq m_{MY}$): Mostrando che la massa di Hawking dei domini esternamente minimizzanti è limitata da $m_{MY}$, e invocando il apparato di Jauregui e Lee, deducono che anche la massa isoperimetrica è limitata da $m_{MY}$.
   • Limite Inferiore ($m_{iso} \geq m_{MY}$): Dimostrano che $m_{MY}$ può essere calcolata come il limite all'infinito della massa di Hawking-2. Utilizzando argomenti di confronto asintotico, limitano questo limite superiormente dalla massa isocapacitaria (una versione capacitaria della massa isoperimetrica). Gli autori citano poi il proprio lavoro precedente (Benatti [Ben25]) che stabilisce l'equivalenza tra la massa isocapacitaria e la massa isoperimetrica in questo contesto.

Contributi Chiave e Risultati

• Teorema 1.1: Il risultato primario stabilisce che per una varietà riemanniana 3-dimensionale, connessa, completa, liscia e $C^\tau$-asintoticamente piatta ($\tau > 1/2$) con curvatura scalare non negativa e bordo minimale, la massa di Mazurowski–Yao coincide con la massa isoperimetrica ($m_{MY} = m_{iso}$).
• Confronto Asintotico: Il saggio affina gli argomenti di confronto asintotico per le masse di Hawking-$p$, provando che la massa di Hawking-$p$ converge alla classica massa di Hawking quando $p \to 1$ e che queste quantità sono controllate dalla massa isoperimetrica sotto piattezza asintotica $C^0$.
• Corollario 3.9 (Manifold Schwarzschildiani): Per varietà asintoticamente schwarzschildiane (dove la deviazione metrica ammette un termine principale $2m/|x|$), il parametro $m$ viene identificato sia con $m_{MY}$ che con $m_{iso}$.
• Corollario 3.10 (Disuguaglianza di Penrose): Combinando l'identificazione delle masse con la disuguaglianza di Penrose isoperimetrica, gli autori derivano una disuguaglianza di Penrose riemanniana per varietà asintoticamente schwarzschildiane: $\sqrt{|N|/16\pi} \leq m$, dove $N$ è una componente del bordo minimale più esterno. L'uguaglianza si verifica se e solo se la varietà è isometrica a una varietà di Schwarzschild spaziale.

Significato e Rivendicazioni
Il saggio sostiene di fornire un framework unificato per diverse nozioni di massa nell'ambito delle varietà 3-dimensionali lisce con decadimento $\tau > 2/3$ (e $\tau > 1/2$ per l'equivalenza specifica provata). Provando che $m_{MY} = m_{iso}$, gli autori rispondono affermativamente a una questione riguardante l'equivalenza della massa introdotta da Burkhardt-Guim e la massa isoperimetrica in questo regime.

Il significato risiede nel colmare il divario tra definizioni analitiche di massa (che si basano su derivate e integrali della metrica) e definizioni geometriche (che si basano su volume e area). Questa equivalenza valida l'uso della massa isoperimetrica come un robusto surrogato delle masse di tipo ADM anche quando la metrica è solo continua, purché la curvatura scalare sia non negativa in un senso appropriato. I risultati estendono inoltre la validità della disuguaglianza di Penrose riemanniana a una classe più ampia di varietà asintoticamente piatte definite dalla loro deviazione dalla metrica di Schwarzschild.

Gli autori osservano che, sebbene l'equivalenza sia stata stabilita per metriche lisce, l'estensione a metriche asintoticamente piatte continue rimane una questione aperta, sebbene il presente lavoro fornisca gli strumenti necessari (specificamente gli asintoti $W^{1,q}$ per il $p$-IMCF sotto piattezza $C^0$) per poter potenzialmente affrontare tale questione in futuro.