Calabi-Yau Conjecture for Minimal Hypersurfaces in $\mathbb{R}^4$ with bounded geometry

Resumen Técnico: Conjetura de Calabi–Yau para Hipersuperficies Mínimas en $\mathbb{R}^4$ con Geometría Acotada

Planteamiento del Problema
El artículo aborda las conjeturas de Calabi–Yau para hipersuperficies mínimas completas $\Sigma^n \subset \mathbb{R}^{n+1}$ con $n \ge 2$. Específicamente, investiga si la completitud requiere necesariamente que tal hipersuperficie sea no acotada y, más fuertemente, si debe ser un mapa propio (es decir, que la preimagen de cualquier conjunto compacto sea compacta). Si bien esta cuestión fue resuelta para superficies mínimas embebidas en $\mathbb{R}^3$ (probando la propiedad bajo condiciones de topología finita o radio de inyectividad positivo), el caso de dimensiones superiores ($n \ge 3$) permanece mayoritariamente abierto debido al fallo de herramientas como el teorema del semiespacio y la ausencia de representaciones analíticas como la fórmula de Weierstrass.

Los autores se centran en el caso $n=3$, considerando hipersuperficies mínimas, conectadas, completas y embebidas $\Sigma^3 \subset \mathbb{R}^4$. El problema central es determinar si la combinación de segunda forma fundamental acotada ($\sup_\Sigma |A_\Sigma| < \infty$) y segundo número de Betti finito ($b_2(\Sigma; \mathbb{Z}_2) < \infty$) fuerza a la hipersuperficie a ser propia.

Metodología y Estrategia de Demostración
La demostración procede por contradicción, asumiendo que $\Sigma$ es completa, embebida, satisface los límites geométicos y topológicos, pero no es propia.

1. Reducción a una Laminación en un Semiespacio/Slab:
   Siguiendo argumentos de [MIR05] y resultados recientes sobre la conjetura de Bernstein estable ([CL24], [CL23], [CLMS26], [CMR24], [Maz24]), los autores establecen que si $\Sigma$ no es propia, puede ser movida rígidamente (y dilatada si es necesario) para convertirse en una laminación mínima contenida en un semiespacio abierto $U = \{x_4 > 0\}$ o en un slab $U = \{0 < x_4 < H\}$. En esta configuración, el hiperplano frontera $\{x_4 = 0\}$ está contenido en el conjunto límite de $\Sigma$.

2. Análisis de la Función de Altura:
   Sea $h = x_4|_\Sigma$ la función de altura. Bajo la suposición de no-propiedad, $h$ es una función armónica positiva y no constante en $\Sigma$ con $\inf_\Sigma h = 0$.

   • Control de Curvatura: La suposición de curvatura acotada ($|A_\Sigma| \le \Lambda$) implica una estimación de gradiente $|\nabla_\Sigma h|^2 \le 2\Lambda h$. Esto asegura que para alturas pequeñas, la proyección vertical es uniformemente no degenerada.
   • Estructura de Gráfica: Utilizando el Lema 1.4 de [MIR05], los autores muestran que los componentes conexos de los conjuntos de subnivel $\{h < \tau\}$ son gráficas globales sobre dominios en $\mathbb{R}^3$ con cotas de gradiente $|Du| < 1$.

3. Restricciones Topológicas y Componentes No Compactos:
   Aprovechando la finitud del segundo número de Betti $b_2(\Sigma; \mathbb{Z}_2)$, los autores utilizan un argumento homológico (Lema 2.1) para mostrar que los conjuntos de nivel $\{h = c\}$ solo pueden tener un número finito de componentes conexos compactos.

   • Dado que $\{x_4 = 0\}$ es una hoja límite, existen infinitos componentes distintos de $\{h < \tau\}$.
   • Debido a la finitud de los componentes compactos, los autores identifican un componente conexo específico $V \subset \{h < \tau\}$ cuya frontera contiene un componente conexo no compacto $S \subset \{h = \tau\}$ y que intersecta un conjunto de nivel inferior $\{h = t\}$ en un componente conexo no compacto $\Gamma$.

4. Construcción de una Función Lipschitz Global:
   El componente $V$ es una gráfica $y \mapsto u(y)$ sobre un dominio $D \subset \mathbb{R}^3$. Los autores definen una función $g: \mathbb{R}^3 \to \mathbb{R}$ estableciendo $g(y) = \tau - u(y)$ en $D$ y $0$ en otra parte.

   • Propiedad Lipschitz: La cota de gradiente $|Du| < 1$ asegura que $g$ es globalmente $1$-Lipschitz.
   • Estimación Integral: Usando la minimalidad de $\Sigma$ e integración por partes con una función de corte, los autores derivan una cota $L^2$ ponderada sobre el gradiente:
     $$\int_{\mathbb{R}^3} \frac{|\nabla g(y)|^2}{1 + |y|} \, dy < \infty.$$

5. Derivación de la Contradicción:
   Los conjuntos $S$ y $\Gamma$ proyectan sobre conjuntos no acotados y conexos $S_0$ y $\Gamma_0$ en $\mathbb{R}^3$. La función $g$ toma el valor $0$ en $S_0$ y un valor constante distinto $a = \tau - t$ en $\Gamma_0$.

   • Debido a que $S_0$ y $\Gamma_0$ son no acotados y conexos, intersectan toda esfera $\partial B_r(0)$ suficientemente grande.
   • La condición Lipschitz implica que, en estas esferas, $g$ debe transicionar de casi $0$ a casi $a$ dentro de pequeñas tapas geodésicas.
   • Aplicando una estimación de cota inferior logarítmica para la energía de Dirichlet de tales funciones en esferas (citando [AM26b, Lema 5.8]), los autores muestran que la integral de $|\nabla g|^2$ sobre el exterior de una bola grande diverge logarítmicamente:
     $$\int_{R_0}^\infty \frac{dr}{(1+r)\log(Cr/\rho_0)} = \infty.$$
     Esta divergencia contradice la finitud de la integral ponderada establecida previamente, demostrando así que la suposición inicial (que $\Sigma$ no es propia) es falsa.

Contribuciones Clave y Resultados

• Teorema Principal: El artículo demuestra que cualquier hipersuperficie mínima, conexa, completa y embebida $\Sigma^3 \subset \mathbb{R}^4$ con segunda forma fundamental acotada y segundo número de Betti finito ($b_2(\Sigma; \mathbb{Z}_2) < \infty$) es propia.
• Resolución de un Caso Específico: Esto proporciona la primera respuesta afirmativa a la conjetura de Calabi–Yau para hipersuperficies mínimas embebidas en $\mathbb{R}^4$ bajo restricciones geométricas y topológicas específicas.
• Nueva Demostración para $\mathbb{R}^3$: La metodología ofrece una nueva demostración de la propiedad de superficies mínimas embebidas completas en $\mathbb{R}^3$ con curvatura acotada, independiente del teorema del semiespacio de Xavier (que fue utilizado por Rosenberg [Ros01]). Esto se logra observando que para $\Sigma^2 \times \mathbb{R}$, el segundo número de Betti se anula.
• Necesidad de las Suposiciones: Los autores aclaran la sutileza de la suposición de curvatura acotada. Señalan que sin ella, el teorema implicaría que todas las superficies mínimas embebidas completas en $\mathbb{R}^3$ son propias, una afirmación potencialmente contradicha por ejemplos de la tradición (folklore) de Meeks. Así, la condición de curvatura acotada es probablemente esencial a menos que se impongan restricciones topológicas más fuertes (por ejemplo, primer número de Betti finito).

Significado y Alcance
El artículo afirma proporcionar una "primera respuesta" en la dirección de comprender la propiedad para hipersuperficies mínimas en dimensiones superiores ($n \ge 3$), donde las herramientas estándar fallan. Los autores declaran explícamente que su resultado se aplica a familias estándar tales como el catenoide 3D, ejemplos asintóticos a conos de Simons, y productos de superficies mínimas de curvatura acotada en $\mathbb{R}^3$ con $\mathbb{R}$.

El trabajo no pretende resolver la conjetura para todas las hipersuperficies mínimas embebidas completas en $\mathbb{R}^4$, ni pretende eliminar las hipótesis de curvatura acotada o de número de Betti finito. En su lugar, establece un vínculo riguroso entre la geometría acotada, la topología finita (específicamente $b_2$) y la propiedad, resaltando que el fallo de la propiedad en dimensiones superiores (como se ve en los ejemplos de los dos primeros autores con curvatura no acotada y topología infinita) está íntimamente ligado a la violación de estas condiciones específicas.