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

Resumen Técnico: Masa de tipo Brown–York Intrínseca en el Infinito en Cuatro Dimensiones

Planteamiento del Problema
El artículo aborda la definición y el comportamiento asintótico de la masa cuasilocal en variedades de Riemann asintóticamente planas (AF) de cuatro dimensiones. La masa clásica de Brown–York, definida en dimensión tres, depende de la inserción isométrica de una superficie de frontera cerrada en un espacio euclídeo plano para definir una curvatura media de referencia. Sin embargo, en dimensión cuatro, tal inserción isométrica en $\mathbb{R}^4$ no siempre existe, incluso para esferas de coordenadas grandes en extremos asintóticamente planos. Específicamente, la presencia de un tensor de Weyl no nulo en el infinito ($W_\infty \neq 0$) puede obstruir la inserción isométrica local en el espacio plano. En consecuencia, la definición clásica no puede generalizarse directamente a cuatro dimensiones. El problema central es construir una masa de tipo Brown–York intrínseca que permanezca bien definida sin requerir una inserción de referencia plana y determinar bajo qué condiciones geométricas esta masa converge a la masa ADM en el infinito.

Metodología
El autor, Jiangcheng You, adopta una perspectiva de Hamilton–Jacobi, viendo el término de referencia en la masa de Brown–York no como el resultado de una inserción, sino como una cantidad determinada intrínsecamente por la geometría de la frontera.

1. Construcción de Referencia Intrínseca:
   En lugar de buscar una inserción isométrica en $\mathbb{R}^4$, el artículo define la curvatura media de referencia $H_0^+[\sigma]$ resolviendo la ecuación de Gauss contraída para un operador de forma de referencia $A$ directamente a partir de la métrica inducida $\sigma$:
   $$\text{Ric}^\sharp_\sigma = (\text{tr}_\sigma A)A - A^2$$
   Para fronteras con curvatura seccional positiva, esta ecuación admite una solución única definida positiva. La curvatura media de referencia se define como la traza de esta solución:
   $$H_0^+[\sigma] := \text{tr} \left( \sqrt{\det B_\sigma} B_\sigma^{-1} \right), \quad \text{donde } B_\sigma = \frac{1}{2}R_\sigma \text{Id} - \text{Ric}^\sharp_\sigma$$
   Esta construcción es intrínseca y evita la no existencia de inserciones planas.

2. Expansión Asintótica:
   El artículo analiza el comportamiento de la masa de 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 una familia de hipersuperficies grandes $\{\Sigma_a\}$ que escapan al infinito. Al tratar la masa como un funcional de la métrica ambiente y realizar una expansión de Taylor alrededor de la métrica euclídea $g_E$, el autor deriva una expansión asintótica.
   La expansión consiste en:

• Un término de integral de frontera que converge a la masa ADM.
• Un término de corrección dependiente de la forma que involucra un tensor $D_a$ acoplado con la perturbación de la métrica $h = g - g_E$.
• Un resto cuadrático controlado por la tasa de decaimiento de la métrica y la escala de la hipersuperficie.

3. Condiciones Geométricas:
   El análisis considera familias de hipersuperficies que satisfacen condiciones de convexidad euclídea uniforme y de "casi redondez" (generalizando el trabajo de Shi–Wang–Wu a cuatro dimensiones). Estas condiciones controlan la segunda forma fundamental sin traza, el diámetro y el volumen relativo a la distancia desde el origen.

Contribuciones Clave y Resultados

• Obstrucción a la Inserción (Sección 2.1): El artículo demuestra rigurosamente que para ciertos extremos AF con curvatura escalar nula y $W_\infty \neq 0$, las métricas inducidas en las grandes esferas de coordenadas no son localmente insertables isométricamente en $\mathbb{R}^4$. Esto se prueba utilizando el criterio de inserción local de Li–Weinstein, mostrando que la ecuación de Codazzi falla debido a la contribución del tensor de Weyl.
• Definición Intrínseca (Sección 2.2): El artículo establece la existencia y unicidad de la solución positiva de la ecuación de Gauss contraída para métricas con curvatura seccional positiva, proporcionando una definición canónica y libre de punto de base de la curvatura media de referencia.
• Expansión de Gran Frontera (Teorema 1.1): El resultado principal proporciona una expansión asintótica para la masa de tipo Brown–York a lo largo de una familia de hipersuperficies grandes $\{\Sigma_a\}$. La masa converge a la masa ADM si y solo si un término de corrección específico dependiente de la forma se anula en el límite:
  $$\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$$
  Aquí, $D_a$ depende únicamente de la geometría euclídea de $\Sigma_a$.
• Convergencia para Hipersuperficies Casi Redondas (Teorema 1.3): El artículo prueba que para hipersuperficies "casi redondas" (donde la segunda forma fundamental sin traza decae a una tasa $\tau$), el término de corrección se anula siempre que se cumpla la condición de compatibilidad $q + \min\{q, \tau\} > 2$. Esto recupera la masa ADM a lo largo de tales familias, sirviendo como un análogo en cuatro dimensiones del resultado de Shi–Wang–Wu en dimensión tres.
• Esferas de Coordenadas: Como corolario, se muestra que para las esferas de coordenadas estándar, el tensor de corrección $D_a$ se anula identicamente, asegurando la convergencia a la masa ADM.

Significado y Reivindicaciones
El artículo sostiene que la masa de tipo Brown–York intrínseca propuesta es una generalización válida de la definición clásica de tres dimensiones a cuatro dimensiones, superando la obstrucción de la no-insertabilidad. La importancia radica en:

1. Consistencia: Verifica que la definición recupera la masa ADM a lo largo de fronteras grandes adecuadas, una verificación de consistencia necesaria para cualquier definición de masa cuasilocal.
2. Perspectiva Geométrica: Destaca que la convergencia a la masa ADM depende no solo del decaimiento de la métrica, sino también de la "forma" de las hipersuperficies que tienden al infinito. El término de corrección mide la desviación de la geometría euclídea de la hipersuperficie respecto a un modelo redondeado.
3. Paso Fundamental: El autor enmarca estos resultados modestamente como un "primer paso". El artículo establece el comportamiento correcto de la frontera grande y la recuperación de la masa ADM bajo condiciones específicas de defecto de forma. Indica explícitamente que quedan por resolver otras cuestiones relativas a la positividad, la rigidez, la monotonicidad a lo largo de foliaciones geométricas y expansiones asintóticas de orden superior, las cuales se dejan para investigaciones futuras.

El trabajo se alinea con la perspectiva de Hamilton–Jacobi donde el término de referencia está determinado por la geometría prescrita de la frontera, y establece paralelismos conceptuales con la renormalización holográfica en espacios asintóticamente planos.