Intrinsic Brown--York Type Mass at Infinity in Four Dimensions

Resumo Técnico: Massa do Tipo Brown–York Intrínseca no Infinito em Quatro Dimensões

Enunciado do Problema
O artigo aborda a definição e o comportamento assintótico da massa quasilocal em variedades Riemannianas assintoticamente planas (AF) de quatro dimensões. A massa clássica de Brown–York, definida na dimensão três, depende do embutimento isométrico de uma superfície de contorno fechada em um espaço de referência euclidiano plano para definir uma curvatura média de referência. No entanto, na dimção quatro, tal embutimento isométrico em $\mathbb{R}^4$ nem sempre existe, mesmo para esferas de coordenadas grandes em extremidades assintoticamente planas. Especificamente, a presença de um tensor de Weyl não nulo no infinito ($W_\infty \neq 0$) pode obstruir o embutimento isométrico local em espaço plano. Consequentemente, a definição clássica falha ao ser generalizada diretamente para quatro dimensões. O problema central é construir uma massa do tipo Brown–York intrínseca que permaneça bem definida sem exigir um embutimento de referência plano e determinar sob quais condições geométricas essa massa converge para a massa ADM no infinito.

Metodologia
O autor, Jiangcheng You, adota uma perspectiva de Hamilton–Jacobi, visualizando o termo de referência no termo de Brown–York não como o resultado de um embutimento, mas como uma quantidade determinada pela geometria do contorno de forma intrínseca.

1. Construção de Referência Intrínseca:
   Em vez de buscar um embutimento isométrico em $\mathbb{R}^4$, o artigo define a curvatura média de referência $H_0^+[\sigma]$ resolvendo a equação de Gauss contraída para um operador de forma de referência $A$ diretamente da métrica induzida $\sigma$:
   $$\text{Ric}^\sharp_\sigma = (\text{tr}_\sigma A)A - A^2$$
   Para contornos com curvatura seccional positiva, esta equação admite uma solução única positiva definida. A curvatura média de referência é definida como o traço desta solução:
   $$H_0^+[\sigma] := \text{tr} \left( \sqrt{\det B_\sigma} B_\sigma^{-1} \right), \quad \text{onde } B_\sigma = \frac{1}{2}R_\sigma \text{Id} - \text{Ric}^\sharp_\sigma$$
   Esta construção é intrínseca e evita a não existência de embutimentos planos.

2. Expansão Assintótica:
   O artigo analisa o comportamento da massa do tipo Brown–York, definida como $m_{BY}(\Sigma) = \frac{1}{3\omega_3} \int_\Sigma (H_0^+[\sigma] - H_g(\Sigma)) d\mu_\sigma$, para uma família de hipersuperfícies grandes $\{\Sigma_a\}$ que escapam para o infinito. Ao tratar a massa como um funcional da métrica ambiente e realizar uma expansão de Taylor em torno da métrica euclidiana $g_E$, o autor deriva uma expansão assintótica.
   A expansão consiste em:

   • Um termo de integral de contorno que converge para a massa ADM.
   • Um termo de correção dependente da forma envolvendo um tensor $D_a$ pareado com a perturbação da métrica $h = g - g_E$.
   • Um resto quadrático controlado pela taxa de decaimento da métrica e pela escala da hipersuperfície.

3. Condições Geométricas:
   A análise considera famílias de hipersuperfícies que satisfazem convexidade euclidiana uniforme e condições de "quase esféricas" (generalizando o trabalho de Shi–Wang–Wu para quatro dimensões). Estas condições controlam a segunda forma fundamental livre de traço, o diâmetro e o volume em relação à distância da origem.

Contribuições Principidas e Resultados

• Obstrução ao Embutimento (Seção 2.1): O artigo demonstra rigorosamente que, para certas extremidades AF de curvatura escalar nula com $W_\infty \neq 0$, as métricas induzidas em grandes esferas de coordenadas não são localmente embutíveis isometricamente em $\mathbb{R}^4$. Isto é provado usando o critério de embutimento local de Li–Weinstein, mostrando que a equação de Codazzi falha devido à contribuição do tensor de Weyl.
• Definição Intrínseca (Seção 2.2): O artigo estabelece a existência e unicidade da solução positiva para a equação de Gauss contraída para métricas com curvatura seccional positiva, fornecendo uma definição canônica e livre de ponto de base para a curvatura média de referência.
• Expansão de Grande Contorno (Teorema 1.1): O principal resultado fornece uma expansão assintótica para a massa do tipo Brown–York ao longo de uma família de hipersuperfícies grandes $\{\Sigma_a\}$. A massa converge para a massa ADM se, e somente se, um termo de correção específico dependente da forma desaparecer no limite:
  $$\lim_{a \to \infty} m_{BY}(\Sigma_a) = m_{ADM}(g) \iff \int_{\Sigma_a} D_a^{\alpha\beta} h_{\alpha\beta} d\mu_E \to 0$$
  Aqui, $D_a$ depende apenas da geometria euclidiana de $\Sigma_a$.
• Convergência para Hipersuperfícies Quase Esféricas (Teorema 1.3): O artigo prova que para hipersuperfícies "quase esféricas" (onde a segunda forma fundamental livre de traço decai à taxa $\tau$), o termo de correção desaparece desde que a condição de compatibilidade $q + \min\{q, \tau\} > 2$ seja satisfeita. Isto recupera a massa ADM ao longo de tais famílias, servindo como um análogo de quatro dimensões do resultado de Shi–Wang–Wu em dimensão três.
• Esferas de Coordenadas: Como um corolário, mostra-se que para esferas de coordenadas padrão, o tensor de correção $D_a$ desaparece identicamente, garantindo a convergência para a massa ADM.

Significância e Alegações
O artigo alega que a massa do tipo Brown–York intrínseca proposta é uma generalização válida da definição clássica de três dimensões para quatro dimensões, superando a obstrução da não-embutibilidade. A significância reside em:

1. Consistência: Verifica que a definição recupera a massa ADM ao longo de contornos grandes adequados, um teste de consistência necessário para qualquer definição de massa quasilocal.
2. Insight Geométrico: Destaca que a convergência para a massa ADM depende não apenas do decaimento da métrica, mas também da "forma" das hipersuperfícies que tendem ao infinito. O termo de correção mede o desvio da geometria euclidiana da hipersuperfície em relação a um modelo esférico.
3. Passo Fundamental: O autor enquadra modestamente estes resultados como um "primeiro passo". O artigo estabelece o comportamento correto de grande contorno e a recuperação da massa ADM sob condições específicas de defeito de forma. Nota explicitamente que outras questões permanecem, como positividade, rigidez, monotonicidade ao longo de foliações geométricas e expansões assintóticas de ordem superior, que ficam para investigação futura.

O trabalho alinha-se com a visão de Hamilton–Jacobi onde o termo de referência é determinado pela geometria prescrita do contorno, e estabelece paralelos conceituais com a renormalização holográfica em espaços assintoticamente planos.