Equivalence of intrinsic and extrinsic area bounds for minimal surfaces

Resumen Técnico: Equivalencia de Cotas de Área Intrínseca y Extrínseca para Superficies Mínimas

Enunciado del Problema
El artículo aborda una brecha fundamental en la teoría de subvariedades mínimas respecto a la relación entre cotas geométricas intrínsecas y extrínsecas. Específicamente, investiga si una subvariedad mínima $\Sigma^d \hookrightarrow \mathbb{R}^N$ completa, conexa y suavemente inmersa que posee una densidad de área intrínseca acotada (crecimiento de volumen relativo a bolas geodésicas intrínsecas) implica necesariamente una densidad de área extrínseca acotada (crecimiento de volumen relativo a bolas euclidianas en el espacio ambiente).

Mientras que la desigualdad $M^{int}_R \leq M^{ext}_R$ es trivial debido al hecho de que la distancia intrínseca es siempre mayor o igual que la distancia euclidiana, la dirección inversa ha sido un obstáculo significativo. Esta falta de equivalencia ha frenado el desarrollo de una teoría general de compacidad para inmersiones mínimas con cotas de área intrínsecas, en contraste con la teoría bien establecida para áreas acotadas extrínsecamente (varifolios integrales estacionarios). Esta brecha es particularmente aguda en el contexto de la "Conjetura de Bernstein Estable" y las estimaciones de curvatura para hipersuperficies mínimas estables, donde el caso $n=6$ para cotas intrínsecas había permanecido abierto desde el trabajo seminal de Schoen, Simon y Yau [SSY75].

Metodología
El autor, Enric Florit-Simon, emplea una combinación de fórmulas de monotonicidad y análisis geométrico asintótico para establecer la equivalencia.

1. Fórmula de Monotonicidad Intrínseca: La herramienta técnica central es una fórmula de monotonicidad para la densidad de área intrínseca $M^{int}_R(\Sigma)$. Motivado por cálculos en [Yau75] y señalado en [Cho21], el autor deriva una identidad (Lema 2.1) que muestra que, para una subvariedad mínima, la diferencia en la densidad de área intrínseca entre dos radios está controlada por una integral que involucra la diferencia entre la distancia intrínseca $r_\Sigma(x)$ y la distancia euclidiana $|x|$, así como el vector de curvatura media. Para superficies mínimas ($H_\Sigma \equiv 0$), esto implica que $M^{int}_R$ es monótona no decreciente.
2. Ajuste de Densidad y Estimaciones Cuerda-Arc: La prueba utiliza un argumento de "ajuste de densidad" (Lema 2.3). Demuestra que si la densidad de área intrínseca no crece significativamente entre escalas (es decir, $M^{int}_{8R} - M^{int}_R$ es pequeña), entonces las métricas intrínseca y extrínseca son asintóticamente comparables (una estimación cuerda-arc: $|x| \leq r_\Sigma(x) \leq (1+\epsilon)|x|$) en regiones anulares.
3. Equivalencia Asintótica: Al combinar la monotonicidad de la densidad intrínseca con la estimación cuerda-arc, el autor prueba que si la densidad intrínseca está acotada, la inmersión debe ser propia, y la densidad extrínseca debe compartir el mismo límite asintótico.
4. Análisis de Expansión (Blow-up): Para la aplicación a las estimaciones de curvatura (Teorema 1.4), el artículo emplea un argumento de escalado estándar (expansión). Asumiendo que falla un límite de curvatura, se construye una secuencia de inmersiones reescaladas. Los límites uniformes de área intrínseca y la fórmula de monotonicidad aseguran la existencia de una hipersuperficie mínima límite.

Contribuciones y Resultados Clave

• Teorema 1.1 (Equivalencia de Cotas de Área): El resultado principal establece que para cualquier subvariedad mínima $\Sigma^d \hookrightarrow \mathbb{R}^N$ completa, conexa y suavemente inmersa, los límites de las densidades de área intrínseca y extrínseca cuando $R \to \infty$ existen y son iguales:
  $$\lim_{R\to\infty} M^{int}_R(\Sigma, p) = \lim_{R\to\infty} M^{ext}_R(\Sigma, p) \in [\omega_d, \infty]$$
  En consecuencia, $\Sigma$ tiene densidad de área intrínseca acotada si y solo si tiene densidad de área extrínseca acotada. En el caso acotado, también se demuestra que la inmersión es propia.

• Teorema 1.3 (Resolución de la Brecha $n=6$): Al combinar el Teorema 1.1 con el reciente avance de Bellettini [Bel25] (que eliminó el requisito de inmersión para $n=6$ bajo cotas extrínsecas), el artículo resuelve la brecha dimensional para hipersuperficies mínimas estables. Prueba que una hipersuperficie mínima estable, dos caras, suavemente inmersa, completa y conexa $\Sigma^6 \hookrightarrow \mathbb{R}^7$ con densidad de área intrínseca acotada debe ser un hiperplano plano.

• Teorema 1.4 (Estimaciones Locales de Curvatura): El artículo establece estimaciones locales de curvatura para hipersuperficies mínimas estables en dimensión $n=6$ con densidad de área intrínseca acotada. Específicamente, si $|B^\Sigma_R(p)| \leq \Lambda R^6$, entonces la segunda forma fundamental satisface $|II_\Sigma| \leq C/R$ en una bola más pequeña. Esto completa el panorama de estimaciones de curvatura iniciado por Schoen, Simon y Yau [SSY75].

Significado y Afirmaciones
El artículo afirma resolver una obstrucción de larga data en la clasificación de hipersuperficies mínimas estables.

• Cierre de la Brecha Dimensional: Antes de este trabajo, la planitud de inmersiones mínimas estables enteras en $\mathbb{R}^7$ era conocida para $n \leq 5$ (vía [SSY75]) y para $n=6$ solo bajo cotas de área extrínsecas o suposiciones de inmersión. El Teorema 1.3 extiende el resultado de $n=6$ al contexto intrínseco, coincidiendo con los contraejemplos conocidos para $n \geq 7$ (el cono de Simons).
• Teoría de Compacidad: La equivalencia de cotas intrínsecas y extrínsecas proporciona una vía para aplicar la poderosa teoría de compacidad de varifolios integrales estacionarios (teorema de Allard [All72]) a inmersiones mínimas definidas por cotas de área intrínsecas, una herramienta previamente no disponible para esta clase específica.
• Estrategia para Dimensiones Superiores: El autor sugiere que el Teorema 1.3 valida una estrategia para la "Conjetura de Bernstein Estable" en dimensiones superiores: probar que las hipersuperficies mínimas estables satisfacen cotas de área intrínsecas, reduciendo así su clasificación al caso del hiperplano plano. Este enfoque ya ha tenido éxito para $n=2, 3, 4, 5$ en trabajos recientes [CL24, CLMS, Maz24], y el artículo actual elimina la obstrucción para $n=6$.

El artículo no propone nuevas aplicaciones experimentales ni direcciones futuras más allá de las implicaciones matemáticas de resolver el caso $n=6$ y la equivalencia de densidades de área. Enmarca su contribución como un puente teórico necesario que conecta restricciones geométricas intrínsecas con herramientas analíticas extrínsecas.