🔢 mathematics

Existence of two embedded minimal spheres in $S^3$ with an arbitrary metric

El artículo demuestra que cualquier métrica riemanniana en la 3-esfera $S^3$ admite al menos dos esferas mínimas embebidas, utilizando un esquema iterativo de construcciones de min-max relativo.

Autores originales: Zhichao Wang, Xin Zhou

Publicado 2026-07-10

📖 4 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Zhichao Wang, Xin Zhou

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina la forma del universo, específicamente una esfera 3-dimensional perfecta (como un globo, pero con una dimensión extra que no podemos ver del todo). Ahora, imagina estirar y deformar ese globo con una textura extraña y rugosa. Esta textura es lo que los matemáticos llaman una "métrica de Riemann". Es como si el globo estuviera hecho de una goma que ha sido estirada más fuerte en algunos puntos y más floja en otros.

Durante décadas, los matemáticos han estado en busca de "esferas mínimas" en estos globos rugosos. Piensa en una esfera mínima como una burbuja de jabón que se ha asentado en su estado de menor energía y mayor relajación. Es el bucle perfecto y más suave que puedes dibujar sobre esa superficie rugosa y que no quiere encogerse ni expandirse más.

El Gran Descubrimiento
En 1982, un famoso matemático llamado S. T. Yau planteó una pregunta difícil: "Si tomas cualquier 3-esfera rugosa, ¿puedes encontrar siempre cuatro esferas distintas y perfectas, como burbujas de jabón, escondidas dentro de ella?".

Durante más de 40 años, lo mejor que alguien pudo hacer fue demostrar que existe al menos una tal esfera. Era como encontrar un único tesoro oculto en un mapa, pero el mapa prometía cuatro.

Ahora, dos investigadores, Zhichao Wang y Xin Zhou, han dado un paso adelante y han demostrado que en cualquier 3-esfera rugosa, hay garantizadas al menos dos esferas mínimas distintas e incrustadas. No han encontrado las cuatro todavía, pero han demostrado que la idea de que "una es suficiente" es errónea. Siempre hay una segunda esfera escondida allí.

¿Por qué fue esto tan difícil?
Podrías preguntarte: "Si hay una, ¿por qué no simplemente encontrar otra?". El problema es un truco matemático complicado llamado "multiplicidad".

Imagina que estás buscando una segunda burbuja de jabón. Utilizas una herramienta matemática especial (llamada construcción "min-max") para cazarla. Pero a veces, esta herramienta se confunde. En lugar de encontrar una burbuja nueva, simplemente encuentra la misma burbuja que ya encontraste, pero la cuenta dos veces porque está "apilada" sobre sí misma. Es como mirarse en un espejo y pensar que ves a una segunda persona, cuando en realidad es solo un reflejo.

Los intentos previos para encontrar una segunda esfera dependían de que el globo tuviera una textura muy específica y agradable (curvatura de Ricci positiva). Pero el mundo real (y el problema matemático) permite cualquier textura, incluso las desordenadas y extrañas. Los autores tuvieron que demostrar que, incluso en los escenarios más desordenados, este error de "doble conteo" no ocurre, y que existe una segunda esfera verdaderamente distinta.

Cómo lo resolvieron: El truco del "Cuello"
Para demostrar esto, los autores utilizaron una estrategia ingeniosa que involucra una "contradicción". Dijeron: "Imaginemos que solo hay una esfera mínima en todo el globo. Intentaremos romper esa idea".

La Configuración: Imaginaron una familia de superficies que recorren el globo. Piensa en estas como una serie de cortes, como cortar una hogaza de pan, pero los cortes pueden ondularse y cambiar de forma.
La Construcción del "Cuello": Construyeron una familia compleja de estas secciones utilizando un espacio de parámetros (un triángulo multidimensional). En el centro de este triángulo, crearon superficies que parecen dos burbujas conectadas por un delgado "cuello" (como una pesa o mancuerna).
La Trampa del Área: Calcularon el área total de estas formas. Si solo hubiera una esfera mínima, la matemática dice que el área de estas formas debería ser exactamente una cierta cantidad. Pero, al hacer que el "cuello" entre las dos partes sea muy delgado y corto, demostraron que el área total podía ser estrictamente menor de lo que la teoría de "solo una esfera" predecía.
La Contradicción: Debido a que encontraron una forma con menos área de la que la teoría permitía, la teoría de que "solo hay una esfera" debe ser falsa. Por lo tanto, una segunda esfera debe existir para "absorber" ese exceso de área.

Lo que no hicieron
Es importante saber lo que este artículo no dice. No demostraron que hay cuatro esferas (la suposición original de Yau). Solo demostraron que hay al menos dos. Tamp así, tampoco asumieron que el globo fuera perfectamente redondo o que tuviera una textura agradable y suave; su prueba funciona para texturas arbitrarias (completamente aleatorias y desordenadas).

La Conclusión
Esto no es una simulación o una conjetura; es una prueba matemática rigurosa. Wang y Zhou han navegado con éxito la trampa de la "multiplicidad" que confundió a los matemáticos durante décadas. Han demostrado que, sin importar cómo estires o deformes una 3-esfera, nunca podrás ocultar el hecho de que hay al menos dos esferas mínimas distintas y perfectas esperando ser encontradas. Es un salto masivo en la comprensión de la geometría oculta de nuestro universo.

Resumen Técnico: Existencia de dos esferas mínimas embebidas en $S^3$ con una métrica arbitraria

Planteamiento del problema
El artículo aborda un problema de larga data planteado por S. T. Yau en 1982 (Problema 89 en [44]), el cual pide la prueba de que cualquier variedad riemanniana difeomorfa a la 3-esfera ( $S^3$ ) contiene al menos cuatro esferas mínimas embebidas distintas. Mientras que Simon y Smith [36] establecieron la existencia de al menos una de estas esferas utilizando la teoría de min-max hace más de 40 años, la existencia de una segunda esfera mínima embebida distinta para métricas riemannianas arbitrarias permanecía sin probar. Los resultados previos que establecían múltiples esferas (por ejemplo, White [43], Haslhofer–Ketover [17]) dependían de supuestos restrictivos, tales como la curvatura de Ricci positiva o métricas "bumpy" (rugosas). Este artículo tiene como objetivo eliminar estos supuestos de curvatura y probar la existencia de al menos dos esferas mínimas embebidas distintas para cualquier métrica riemanniana en $S^3$ .

Metodología
Los autores emplean una prueba por contradicción combinada con un esquema iterativo de construcciones min-max relativas. La metodología central involucra los siguientes pasos:

Supuesto de unicidad: La prueba asume que $(S^3, g)$ contiene exactamente una esfera mínima embebida, denotada como $\Sigma_0$ . Basándose en el trabajo previo [40], si $\Sigma_0$ es única, debe ser débilmente estable y poseer un "vecindario expansivo" (foliado por superficies de curvatura media constante con vectores de curvatura media apuntando hacia afuera de $\Sigma_0$ ).
Construcción de barridos de parámetros múltiples (Multi-Parameter Sweepouts): Los autores construyen una familia continua de esferas embebidas de suavidad por trozos, $\Phi_\Lambda: \Delta_k \to \mathcal{E}$ , parametrizada por un simplex de $k$ dimensiones $\Delta_k$ .
- Foliación: Utilizan una foliación de convexidad media $\Upsilon$ de $S^3$ centrada en $\Sigma_0$ .
- Inserción de cuellos (Neck Insertion): Para un vector de parámetros $x = (x_1, \dots, x_k) \in \Delta_k$ , el mapa $\Phi_\Lambda$ crea una esfera tomando la unión de cortes de la foliación $\Upsilon(x_i)$ y conectándolos mediante "cuellos".
- Control del radio: Los radios de estos cuellos, denotados como $\xi_i$ , se definen recursivamente basándose en la distancia entre parámetros adyacentes $x_i$ y $x_{i+1}$ y un parámetro grande $\Lambda$ . Específicamente, $\xi_i = e^{-\Lambda(x_{i+1}-x_i)}(1-\xi_{i-1})$ . Esta construcción asegura que, si dos parámetros están cerca, el cuello conectivo tiene un radio grande pero una altura pequeña, resultando en una contribución de área uniformemente pequeña.
Estimaciones de área y suavizado:
- Los autores derivan límites de área precisos para la familia construida. Crucialmente, demuestran que para un $k$ suficientemente grande y un $\Lambda$ apropiado, el área de la familia $\Phi_\Lambda(x)$ es estrictamente menor que $k H^2(\Sigma_0)$ en el interior del simplex, mientras que en la frontera, el área es estrictamente menor que $(k-1)H^2(\Sigma_0)$ .
- Abordan el problema de la suavidad por trozos suavizando la familia para obtener un mapa al espacio de esferas embebidas suaves, preservando los límites superiores estrictos de área.
Min-max relativo iterativo:
- Utilizando la teoría de min-max de Simon–Smith relativa (Teorema 2.2), los autores definen valores min-max $L_k$ asociados con barridos sobre sub-simplices.
- Emplean un argumento de tipo Lusternik–Schnirelmann: asumiendo la unicidad, prueban inductivamente que el valor min-max para el $k$ -ésimo barrido debe ser exactamente $k H^2(\Sigma_0)$ .
- Obstrucción topológica: Un componente clave es el Lema 6.1, un lema topológico que asegura que si el valor min-max fuera estrictamente menor que los valores en la frontera (lo que implicaría la existencia de una nueva esfera mínima), el dominio podría retraerse de una manera que contradice las propiedades homológicas del barrido.
Contradicción:
- La construcción asegura que para un $k$ grande, el área del barrido en el interior es estrictamente menor que $k H^2(\Sigma_0)$ .
- Sin embargo, el argumento inductivo bajo el supuesto de unicidad fuerza al valor min-max a ser exactamente $k H^2(\Sigma_0)$ .
- Esta contradicción implica que el supuesto de unicidad es falso.

Contribuciones clave

Eliminación de supuestos de curvatura: El artículo extiende la existencia de múltiples esferas mínimas a arbitrarias métricas riemannianas en $S^3$ , lo que representa una generalización significativa sobre los resultados previos que requerían curvatura de Ricci positiva o métricas "bumpy".
Esquema de min-max relativo iterativo: Los autores desarrollan un nuevo esquema iterativo utilizando construcciones min-max relativas sobre familias de esferas de parámetros múltiples. Este enfoque supera el obstáculo de la "multiplicidad entera", donde la teoría de Simon–Smith podría de otro modo producir una sola esfera mínima con mayor multiplicidad (por ejemplo, $\Sigma_0$ contada dos veces).
Construcción de cuellos y control de área: La construcción específica de la familia de parámetros múltiples con radios de cuello controlados permite límites superiores de área estrictos que son esenciales para el argumento de contradicción. Esto aborda la dificultad de extender el mapa continuamente a todo el simplex manteniendo los supuestos de área.

Resultados
El resultado principal se establece en el Teorema A (reformulado como Teorema 6.3):

Existen al menos dos esferas mínimas embebidas distintas en $(S^3, g)$ para cualquier métrica riemanniana arbitraria $g$ .

Este resultado confirma el primer paso hacia la conjetura de Yau de las cuatro esferas, estableciendo la existencia de una segunda esfera distinta sin restricciones geométricas sobre la métrica.

Significado
El artículo afirma que este trabajo marca la primera vez que se construye más de una esfera mínima embebida para métricas generales en $S^3$ . Avanza significativamente el problema general desde el resultado inicial de Simon y Smith [36] (que encontró una esfera) al romper la barrera de la multiplicidad entera para métricas arbitrarias. Los autores señalan que, si bien su trabajo previo [40] resolvió la conjetura para métricas con curvatura de Ricci positiva o métricas "bumpy" utilizando un teorema de multiplicidad uno, este artículo extiende el alcance al caso general. Los métodos desarrollados, particularmente la construcción min-max relativa iterativa y el manejo de los límites de área sin supuestos de curvatura de Ricci, se presentan como herramientas que potencialmente podrían aplicarse para investigar problemas similares en topología geométrica sin requerir condiciones específicas de curvatura.

Más como este