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

Resumo Técnico: Uma Caracterização Isoperimétrica de uma Nova Massa do tipo ADM para Variedades $C^0$-Assintoticamente Planas

Enunciado do Problema
O artigo aborda a relação entre duas noções distintas de massa no contexto de variedades riemannianas 3 com baixa regularidade em relatividade geral. A massa ADM clássica, embora fundamental, requer um decaimento assintótico forte e diferenciabilidade da métrica para ser bem definida e invariante por coordenadas. Em contraste, a massa isoperimétrica, introduzida por G. Huisken, é definida puramente em termos de volumes e áreas, tornando-se robusta sob suposições de regularidade $C^0$.

Recentemente, Mazurowski e Yao introduziram uma nova massa "do tipo ADM" ($m_{MY}$) para métricas contínuas com curvatura escalar não negativa, definida via um integral envolvendo um tensor simétrico específico e uma função de teste $\psi$. Embora $m_{MY}$ seja bem posto para variedades $C^\tau$-assintoticamente planas com $\tau > 1/2$, a equivalência desta com a massa isoperimétrica de Huisken ($m_{iso}$) no caso liso permanecia como uma questão em aberto. Os autores visam provar que essas duas quantidades coincidem sob suposições de decaimento ótimas ($\tau > 1/2$) para métricas lisas.

Metodologia
A prova baseia-se em um arcabouço de teoria de potenciais não linear centrado no fluxo de curvatura média $p$-IMCF e nas associações de massas de Hawking $p$. A metodologia procede através de etapas fundamentais:

1. $p$-IMCF e Regularização: Os autores utilizam o potencial capacitário $p$ ($u_p$) e o fluxo associado $w_p = -(p-1)\log u_p$. Para lidar com a baixa regularidade dos conjuntos de nível $\Sigma^{(p)}_t$ no limite, eles empregam uma regularização elíptica ($w_{p,\varepsilon}$) para aproximar o fluxo com superfícies lisas, permitindo a aplicação de ferramentas padrão de análise geométrica.
2. Análise Assintótica: Um componente técnico crítico é estabelecer o comportamento assintótico do $p$-IMCF sob apenas assintoticidade plana $C^0$. Os autores adaptam um procedimento de blow-down e utilizam a estimativa de gradiente de Kinnunen–Zhou para funções $p$-harmônicas. Esta estimativa, que se mantém sob convergência $C^0$ das métricas, permite-lhes derivar uma convergência forte $W^{1,q}_{loc}$ dos potenciais reescalonados para a solução fundamental euclidiana.
3. Monotonicidade e Comparação: Os autores estabelecem propriedades de monotonicidade para uma massa de Hawking $p$ modificada ao longo do fluxo. Eles provam que o limite da massa de Hawking $p$ quando $t \to \infty$ é limitado superiormente pela massa de Mazurowski–Yao ($m_{MY}$). Isto é alcançado relacionando o comportamento assintótico da massa de Hawking $p$ com a definição integral de $m_{MY}$ (Proposição 2.14).
4. Conexão com a Massa Isoperimétrica:
   • Limite Superior ($m_{iso} \leq m_{MY}$): Ao mostrar que a massa de Hawking de domínios exteriormente minimizantes é limitada por $m_{MY}$, e invocando o aparato de Jauregui e Lee, eles deduzem que a massa isoperimétrica também é limitada por $m_{MY}$.
   • Limite Inferior ($m_{iso} \geq m_{MY}$): Eles demonstram que $m_{MY}$ pode ser computada como o limite no infinito da massa de Hawking 2. Usando argumentos de comparação assintótica, eles limitam este limite superiormente pela massa isocapacitária (uma versão capacitária da massa isoperimétrica). Os autores então citam seu trabalho anterior (Benatti [Ben25]), que estabelece a equivalência entre a massa isocapacitária e a massa isoperimétrica neste cenário.

Principais Contribuições e Resultados

• Teorema 1.1: O resultado principal estabelece que, para uma variedade riemanniana 3, conexa, completa, $C^\tau$-assintoticamente plana ($\tau > 1/2$) com curvatura escalar não negativa e fronteira mínima, a massa de Mazurowski–Yao coincide com a massa isoperimétrica ($m_{MY} = m_{iso}$).
• Comparação Assintótica: O artigo refina argumentos de comparação assintótica para massas de Hawking $p$, provando que a massa de Hawking $p$ converge para a massa de Hawking clássica quando $p \to 1$ e que estas quantidades são controladas pela massa isoperimétrica sob assintoticidade plana $C^0$.
• Corolário 3.9 (Variedades Schwarzschildianas): Para variedades que são assintoticamente Schwarzschildianas (onde a desviação da métrica admite um termo principal $2m/|x|$), o parâmetro $m$ é identificado tanto com $m_{MY}$ quanto com $m_{iso}$.
• Corolário 3.10 (Desigualdade de Penrose): Combinando a identificação das massas com a desigualdade de Penrose riemanniana, os autores derivam uma desigualdade de Penrose riemanniana para variedades assintoticamente Schwarzschildianas: $\sqrt{|N|/16\pi} \leq m$, onde $N$ é uma componente da fronteira mínima mais externa. A igualdade ocorre se, e somente se, a variedade for isométrica a uma variedade de Schwarzschild espacial.

Significância e Alegações
O artigo afirma fornecer um arcabouço unificado para diferentes noções de massa no cenário 3-dimensional liso com decaimento $\tau > 2/3$ (e $\tau > 1/2$ para a equivalência específica provada). Ao provar que $m_{MY} = m_{iso}$, os autores respondem afirmativamente a uma questão sobre a equivalência da massa introduzida por Burkhardt-Guim e a massa isoperimétrica neste regime.

A significância reside em unir a lacuna entre definições analíticas de massa (que dependem de derivadas e integrais da métrica) e definições geométricas (que dependem de volume e área). Esta equivalência valida o uso da massa isoperimétrica como um substituto robusto para massas do tipo ADM mesmo quando a métrica é apenas contínua, desde que a curvatura escalar seja não negativa em um sentido aproximado. Os resultados também estendem a validade da desigualdade de Penrose riemanniana para uma classe mais ampla de variedades assintoticamente planas definidas pelo seu desvio da métrica de Schwarzschild.

Os autores observam que, embora a equivalência seja estabelecida para métricas lisas, a extensão para métricas assintoticamente planas contínuas permanece uma questão em aberto, embora o presente trabalho forneça as ferramentas necessárias (especificamente as assíntotas $W^{1,q}$ para $p$-IMCF sob assintoticidade $C^0$) para potencialmente abordar tal questão no futuro.