Stationary and stable varifolds with singularities

Resumen Técnico: Varifolios Estacionarios y Estables con Singularidades

1. Planteamiento del Problema

El trabajo aborda una cuestión central en la teoría geométrica de medidas y el cálculo de variaciones: la estructura y dimensión del conjunto singular de varifolios integrales estacionarios.

• Contexto: Tras el trabajo seminal de Allard sobre la regularidad interior, se ha buscado establecer cotas para la dimensión del conjunto singular. La principal obstrucción para probar que el conjunto singular tiene dimensión baja es la posible acumulación de topología en la parte suave del varifolio hacia singularidades planas.
• Hipótesis de trabajo: Los autores investigan si este escenario de acumulación topológica ocurre cuando la métrica del espacio ambiente tiene baja regularidad (específicamente $C^{1,\alpha}$ con $\alpha \in [0, 1)$).
• Objetivo: Construir contraejemplos que demuestren que, bajo métricas $C^{1,\alpha}$, es posible tener superficies mínimas inmersas (o varifolios estacionarios) con singularidades aisladas de multiplicidad 2, rodeadas por una topología infinita (gênero infinito o discos flotantes), desafiando las expectativas de regularidad que se mantienen en métricas más suaves.

2. Metodología y Estrategia de Prueba

La estrategia central consiste en una construcción geométrica iterativa mediante "cirugía" (gluing) y perturbación de la métrica.

• Modelos Base:

  • Se construye un "modelo base" formado por la unión de dos gráficas mínimas (funciones armónicas o polinomios armónicos homogéneos) que son tangentes en el origen. Este modelo tiene una singularidad plana de multiplicidad 2 en el origen.
  • Para dimensiones $m > 2$, se utilizan polinomios armónicos homogéneos $h_N$ con nodos que garantizan intersecciones transversales fuera del origen.

• Modelos Locales de Cirugía:

  • Cuellos de Catenoides: Se insertan secuencias infinitas de cuellos de catenoides (superficies mínimas con dos extremos) que conectan las dos hojas del modelo base.
  • Discos Flotantes (Floating Disks): Para el caso de estabilidad, se utilizan "discos flotantes", compuestos por dos piezas de catenoide y un disco plano que se encuentran en un círculo común con ángulos de $2\pi/3$. Estos objetos son minimizadores de área módulo 3.

• Proceso de Pegado (Gluing):

  • Se realiza un pegado iterativo en anillos concéntricos que convergen al origen. En cada paso, se conecta el modelo base (o el modelo previo) con un modelo local (catenoide o disco flotante) escalado.
  • Se utiliza una partición de la unidad suave para interpolar entre las gráficas.

• Perturbación de la Métrica y Calibración:

  • Para garantizar que la superficie resultante sea estacionaria (y estable en el segundo teorema) bajo la nueva métrica, los autores no solo modifican la geometría, sino también la métrica del espacio ambiente.
  • Construyen una forma de calibración ($\omega$) en un entorno tubular de la superficie. Esta forma cerrada ($d\omega=0$) satisface $\omega|_G = d\text{vol}_G$.
  • Se define una métrica conformal $g = \lambda^2 \delta_{\mathbb{R}^{m+1}}$ donde el factor conformal $\lambda$ se elige de modo que la comasa de $\omega$ sea 1. Esto asegura que la superficie sea un minimizador local (calibrada) y, por tanto, estacionaria y estable.

• Convergencia y Regularidad:

  • Se demuestra que la secuencia de factores conformes converge a una métrica límite $g \in C^{1,\alpha}$. La regularidad $C^{1,\alpha}$ es una limitación del método debido a las estimaciones de las derivadas de los modelos base, no necesariamente una propiedad intrínseca de la singularidad.

3. Resultados Principales (Teoremas)

Teorema 1.1 (Inmersión Estacionaria con Gênero Infinito):
Para todo $\alpha \in [0, 1)$, existen:

• Una métrica $g \in C^{1,\alpha}(\mathbb{R}^{m+1})$.
• Una corriente integral $m$-dimensional $T$ estacionaria respecto a $g$.
• Una superficie mínima inmersa $\Sigma$ en $B_1(0) \setminus \{0\}$ tal que:
  1. $T$ es la corriente asociada a $\Sigma$.
  2. El cono tangente varifolio en el origen es $2 \llbracket \mathbb{R}^m \times \{0\} \rrbracket$ (multiplicidad 2, plano).
  3. El gênero de $\Sigma \cap B_r(0) \setminus \{0\}$ es infinito para cualquier $r > 0$.
  • Interpretación: Se construye una superficie con topología infinita acumulándose en una singularidad plana de multiplicidad 2.

Teorema 1.2 (Varifolio Estable con Singularidades de Tipo Triple):
Para todo $\alpha \in [0, 1)$, existen:

• Una métrica $g \in C^{1,\alpha}$.
• Un varifolio integral $V$ estacionario y estable respecto a $g$.
• Una secuencia de inyecciones disjuntas $\gamma_k$ de $S^{m-1}$ que acumulan hacia el origen con longitud finita total.
• Una superficie mínima inmersa estable $\Sigma$ en el dominio perforado, tal que:
  1. $V$ coincide con $\Sigma$ fuera de los $\gamma_k$ y el origen.
  2. El cono tangente en 0 es de multiplicidad 2.
  3. En la vecindad de cada $\gamma_k$, $\Sigma$ consiste en tres componentes conectadas que se encuentran en ángulos iguales (estructura de unión triple).
  • Interpretación: Se demuestra que la finitud de la medida $H^{n-1}$ del conjunto singular no es suficiente para garantizar la regularidad o la estructura de grafos mínimos finitos, incluso para superficies estables, si la métrica no es suficientemente regular.

4. Contribuciones Clave

1. Optimalidad de la Regularidad de la Métrica: El trabajo demuestra que la regularidad $C^{1,\alpha}$ de la métrica es crítica. Bajo esta regularidad, los resultados de regularidad interior clásicos (como los de Allard o resultados recientes sobre la estructura de varifolios estacionarios) fallan debido a la acumulación de topología.
2. Refutación de Conjeturas de Regularidad: El Teorema 1.1 proporciona una respuesta negativa a la pregunta de si la condición de que el cono tangente sea un doble plano implica que la corriente sea localmente la unión de dos grafos mínimos sin autointersecciones (un paso crucial en trabajos recientes como [13]). La topología infinita impide esta estructura simple.
3. Límites de la Estabilidad: El Teorema 1.2 muestra que incluso para superficies estables, la presencia de singularidades de tipo "unión triple" (análogas a las de los discos flotantes) puede persistir si la métrica es solo $C^{1,\alpha}$, desafiando las expectativas basadas en el caso euclidiano o métricas más suaves.
4. Técnica de Calibración en Métricas Perturbadas: Desarrollan una técnica robusta para construir métricas conformes que calibran superficies con topología compleja, utilizando formas diferenciales y el lema de Poincaré variado para controlar las derivadas.

5. Significado e Impacto

• Teoría de Singularidades: El artículo cierra una brecha importante en la comprensión de cómo la topología puede acumularse en singularidades de varifolios estacionarios. Establece que, sin una regularidad métrica superior (como $C^{1,1}$ o Lipschitz con curvatura de Ricci controlada), no se pueden evitar singularidades complejas ni topologías infinitas.
• Relación con Problemas Abiertos: El trabajo sugiere que el problema de la regularidad interior para varifolios estacionarios es extremadamente delicado y depende fuertemente de la regularidad de la métrica ambiente.
• Aplicabilidad: Aunque los ejemplos son construcciones específicas, las técnicas de "surgery" y calibración en métricas conformes ofrecen herramientas potenciales para el estudio de problemas variacionales en espacios con baja regularidad.
• Nota sobre la Dimensión: Los autores mencionan que su método podría adaptarse para probar la inmersión (embeddedness) si la codimensión es al menos 2, lo que abre vías para futuras investigaciones sobre la estructura de superficies mínimas embebidas en dimensiones superiores.

En resumen, este trabajo demuestra que la regularidad $C^{1,\alpha}$ de la métrica es insuficiente para controlar la topología y la estructura de singularidades de varifolios estacionarios, proporcionando contraejemplos explícitos con singularidades de multiplicidad 2 y topología infinita o estructuras de unión triple.