Free boundary minimal annuli in convex balls

Resumen Técnico: Anillos Mínimos de Frontera Libre en Bolas Convexas

Planteamiento del Problema
Este artículo aborda dos problemas primarios en el análisis geométrico de subvariedades mínimas de frontera libre en variedades de Riemann 3 con frontera:

1. La 4-anchura de la bola unidad euclídea ($B^3$): Mientras que las tres primeras anchuras de $B^3$ son conocidas como $\pi$ (realizadas por discos ecuatoriales), el valor de la cuarta anchura, $\omega_4(B^3)$, permanecía abierto. Específicamente, se conjeturaba que $\omega_4(B^3)$ es realizado por el área del catenoide crítico, el único anillo mínimamente embebido de frontera libre en $B^3$ (salvo congruencia).
2. Multiplicidad de anillos mínimos de frontera libre: Motivados por la conjetura de Yau sobre esferas mínimas y la conjetura de White sobre toros mínimos en 3-esferas cerradas, los autores investigan la existencia de múltiples anillos mínimos de frontera libre en variedades 3 compactas con curvatura de Ricci no negativa y frontera estrictamente convexa. Aunque la existencia de al menos un tal anillo era conocida, la existencia de múltiples (específicamente tres) con topología prescrita era un problema abierto.

Metodología
Los autores emplean la teoría min-max de Almgren-Pitts, específicamente la variante de Simon-Smith adaptada para entornos de frontera libre, combinada con técnicas de control topológico.

• Construcción de Familias Canónicas: Inspirados en la familia canónica de 5 parámetros de Marques-Neves para probar la conjetura de Willmore en $S^3$, los autores construyen una familia de 4 parámetros de superficies en $B^3$. Esta familia está parametrizada por $\mathbb{RP}^4$ y consiste en anillos embebidos adecuadamente (y sus degeneraciones). La construcción utiliza difeomorfismos conformes de la bola y proyecciones estereográficas. Un paso crucial es una técnica de "explosión de frontera" (boundary blow-up) para asegurar la continuidad de la familia a medida que los parámetros se aproximan a la frontera del espacio de parámetros, extendiendo la familia a un mapa continuo en $\mathbb{RP}^4$.
• Control Topológico: Los autores seleccionan una superficie inicial específica—el anillo obtenido mediante la proyección estereográfica de la mitad del toro de Clifford desde $S^3$. Esta elección está motivada por la estructura de "superficie de canal" del toro de Clifford, la cual se preserva bajo deformaciones conformes. Esta estructura permite un control topológico riguroso, asegurando que las superficies en la familia tengan género 0 y a lo sumo dos componentes de frontera (límite topológico $(0, 1)$).
• Construcción Min-Max Repetitiva: Para probar la existencia de múltiples anillos, los autores extienden la familia de 4 parámetros a una familia de 6 parámetros (parametrizada por $\mathbb{RP}^4 \times \mathbb{RP}^2$) variando el eje de simetría rotacional del anillo inicial. Luego, adaptan el esquema de "min-max repetitivo" desarrollado por Chu-Li para variedades cerras al entorno de frontera libre. Esto implica:
  • Aplicar iterativamente el teorema min-max de Simon-Smith para detectar superficies mínimas.
  • Utilizar un "proceso de desconexión relativa" (relative pinch-off process) para eliminar las superficies mínimas detectadas (discos o anillos) del espacio de parámetros manteniendo la clase de homotopía del barrido (sweepout).
  • Utilizar la teoría de Lyusternik-Schnirelmann sobre la cohomología del espacio de parámetros para derivar un límite inferior en el número de puntos críticos (superficies mínimas).

Contribuciones Clave y Resultados

1. Límite Superior para $\omega_4(B^3)$:
   Los autores demuestran que la anchura min-max Simon-Smith de su familia de 4 parámetros construida es alcanzada por un anillo mínimo de frontera libre embebido de multiplicidad uno. Al combinar el control topológico (que descarta los discos) y las estimaciones del índice de Morse (mostrando que el índice es exactamente 4), identifican esta superficie límite como el catenoide crítico. Consecuentemente, establecen el límite superior:
   $$\omega_4(B^3) \le \text{Área}(\text{Catenoide Crítico})$$
   Combinado con un límite inferior de $\pi$ (probado mediante un teorema de brecha para superficies mínimas de frontera libre), esto produce:
   $$\pi < \omega_4(B^3) \le \text{Área}(\text{Catenoide Crítico})$$

2. Existencia de Tres Anillos Mínimos:
   El artículo demuestra que toda variedad 3 compacta con curvatura de Ricci no negativa y frontera estrictamente convexa contiene al menos tres anillos mínimos embebidos de frontera libre. Esto se logra mediante:

   • La construcción de la familia de 6 parámetros $\Phi_6$.
   • La aplicación del proceso min-max repetitivo para detectar una secuencia de superficies mínimas.
   • El uso de un argumento cohomológico que involucra la no nulidad de $\lambda^4 \cup \alpha^2$ en el anillo de cohomología del espacio de parámetros $Y = \mathbb{RP}^4 \times \mathbb{RP}^2$.
   • Demostrar que si existieran menos de tres anillos, las restricciones topológicas forzarían una contradicción con la clase de cohomología no nula, implicando la existencia de al menos tres anillos distintos.

3. Multiplicidad Uno y Control Topológico:
   Los autores establecen rigurosamente el Teorema de Multiplicidad Uno para los límites min-max Simon-Smith de frontera libre en este contexto, asegurando que las superficies detectadas no sean recubrimientos múltiples. También proporcionan un marco para controlar la topología (género y complejidad de la frontera) de las superficies min-max en el entorno de frontera libre, adaptando resultados de Franz-Schulz y Ketover.

Significancia
El artículo reclama significancia en varias áreas:

• Análogo de Frontera Libre de la Conjetura de Willmore: Proporciona la primera familia natural de 4 parámetros de superficies cuya anchura min-max es realizada por el catenoide crítico, sirviendo como un análogo de frontera libre a la construcción de Marques-Neves para la conjetura de Willmore.
• Resolución de la Conjetura de Anchura: Confirma la conjetura de que la 4-anchura de la bola unidad está acotada superiormente por el área del catenoide crítico, estrechando la brecha para el valor exacto de $\omega_4(B^3)$.
• Resultados de Multiplicidad: Representa la primera construcción de múltiples superficies mínimas de frontera libre con topología prescrita (específicamente, género 0 con dos componentes de frontera) en variedades 3 convexas generales. Esto extiende los resultados previos sobre discos mínimos y toros en variedades cerras al entorno de frontera libre.
• Avance Metodológico: El desarrollo del "proceso de desconexión relativa" y la adaptación de la teoría min-max repetitiva a entornos de frontera libre proporcionan un nuevo conjunto de herramientas para construir subvariedades mínimas con tipos topológicos específicos en variedades con frontera.

Los autores señalan que, si bien establecen el límite superior para $\omega_4(B^3)$, la igualdad estricta $\omega_4(B^3) = \text{Área}(\text{Catenoide Crítico})$ sigue siendo condicional a la unicidad de las superficies mínimas de frontera libre de índice-4 o a un límite inferior de su área, que son preguntas actualmente abiertas. Del mismo modo, la existencia de exactamente tres anillos se prueba bajo la suposición de finitud, la cual es justificada por argumentos de compacidad para la clase topológica específica.