🔢 mathematics

Non-uniqueness of geodesic limits and a question of Grayson and Gage

Este artículo resuelve una pregunta planteada por Grayson y Gage mediante la construcción de una métrica riemanniana suave en la 2-esfera y un flujo de acortamiento de curvas inmortal que converge a lo largo de diferentes sucesiones temporales hacia una familia continua de geodésicas cerradas distintas, demostrando así que la geodésica límite no es necesariamente única.

Autores originales: Shrey Aryan, Tang-Kai Lee

Publicado 2026-08-06

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Shrey Aryan, Tang-Kai Lee

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 que estás observando un trozo de cuerda flotando en un mundo mágico y curvo. Esta cuerda no está simplemente ahí sentada; está viva con el deseo de volverse lo más corta y tensa posible. En el mundo de las matemáticas, esto se llama "flujo de acortamiento de curvas". Piensa en ello como una banda elástica que se encoge constantemente, pero en lugar de romperse, se dobla y se retuerce suavemente para reducir su propia longitud. Si colocas esta cuerda que se encoge sobre una pelota perfectamente redonda (como una pelota de playa), los matemáticos han sabido desde hace mucho tiempo que la cuerda acabará asentándose en un círculo perfecto alrededor del medio, sin importar dónde empezaste. Es un final predecible y ordenado.

Pero, ¿qué pasa si el mundo no es una pelota perfecta? ¿Qué pasa si la superficie es irregular, rugosa o tiene una forma extraña? En 1990, dos brillantes matemáticos llamados Grayson y Gage se hicieron una gran pregunta: si dejas que esta cuerda que se encoge corra por siempre en una superficie con una forma extraña, ¿se asentará siempre en una sola forma específica (una "geodésica", que es la versión de línea recta en una superficie curva)? ¿O podría confundirse, girando y asentándose en diferentes formas dependiendo de cómo la observes? Durante décadas, esto fue un misterio. La mayoría de la gente suponía que la cuerda acabaría eligiendo un único destino final y se quedaría allí, tal como una pelota que rueda por una colina siempre se detiene en la parte baja.

El giro en la historia

En este nuevo artículo, Shrey Aryan y Tang-Kai Lee dicen: "¡No tan rápido!". Han demostrado que la respuesta a la pregunta de Grayson y Gage es no. Demostraron que puedes construir una superficie muy específica y ligeramente irregular (en una esfera) donde una cuerda que se encoge nunca elige una sola forma final. En su lugar, puede quedarse atrapada en un bucle, girando en espiral y terminando por asentarse en cualquier forma de una familia completa de bucles diferentes, dependiendo de exactamente cuándo dejes de observar.

Cómo lo hicieron: La pelota irregular y el tobogán en espiral

Para lograr esto, los autores tuvieron que ser como maestros arquitectos. No pudieron usar una pelota normal; tuvieron que diseñar una superficie "irregular" personalizada.

El mapa de longitudes: Primero, crearon un mapa especial de la superficie. Imagina que la superficie está cubierta de colinas y valles invisibles. Diseñaron la superficie de modo que haya un anillo completo de bucles "perfectos" (geodésicas) que tienen exactamente la misma longitud. Es como una pista de carreras donde cada carril tiene la misma distancia, pero todos tienen formas ligeramente distintas.
El tobogán en espiral: Después, hicieron que la "gravedad" de la cuerda que se encoge se comportara como un tobogán en espiral. Normalmente, una cuerda que se encoge quiere rodar hacia el punto más bajo. Pero aquí, los autores diseñaron la superficie de modo que la cuerda no ruede directamente hacia abajo. En su lugar, la cuerda gira en espiral una y otra vez, acercándose cada vez más a ese anillo de bucles perfectos, pero sin detenerse nunca en uno solo.
Los bucles "casi" perfectos: Empezaron con una cuerda que ya estaba muy cerca de uno de estos bucles perfectos. A medida que la cuerda se encogía, no se ajustaba de golpe en su lugar. Siguió el tobogán en espiral. Debido a que el tobogán es tan complicado, la cuerda pudo girar en espiral alrededor del anillo de bucles durante mucho tiempo.

El gran descubrimiento

La parte más emocionante es lo que sucede al final. Debido a que la cuerda está girando en espiral, si revisas la cuerda en el tiempo $T_1$ , podría parecer que se está asentando en el Bucle A. Si la revisas en el tiempo $T_2$ (un poco más tarde), podría parecer que se está asentando en el Bucle B. Si esperas aún más, podría parecer que se está asentando en el Bucle C.

Los autores demostraron que para cada bucle en ese anillo especial, existe un momento específico en el tiempo en el que la cuerda que se encoge parece haber decidido convertirse en ese bucle exacto. Esto significa que la cuerda no tiene un futuro único y específico. Tiene toda una familia de futuros posibles, y cuál de ellos verás depende enteramente de cuándo mires.

Por qué esto es importante

Esto puede parecer un juego de "¿qué pasaría si...?", pero en realidad es algo muy importante para las matemáticas. Durante mucho tiempo, los matemáticos esperaban que estos procesos de encogimiento fueran siempre predecibles y únicos. Este artículo demuestra que, en ciertas superficies, la naturaleza puede ser un poco más caótica e indecisa. Muestra que, incluso en un mundo gobernado por reglas estrictas, puedes construir un escenario donde el resultado final no es solo una cosa, sino toda una colección de posibilidades.

Así que, la próxima vez que veas una banda elástica encogiéndose, recuerda: en una pelota normal, es aburrido y predecible. Pero en un mundo irregular y especialmente diseñado, esa banda elástica podría ser la estrella de un espectáculo, girando en espiral y eligiendo un disfraz diferente cada vez que parpadeas. Los autores no solo lo supusieron; construyeron las matemáticas para demostrar que esto ocurre de verdad.

Resumen Técnico: No Unicidad de los Límites Geodésicos y una Pregunta de Grayson y Gage

Planteamiento del Problema
El artículo aborda una pregunta fundamental sobre el comportamiento asintótico del flujo de acortamiento de curvas (CSF, por sus siglas en inglés) en superficies cerradas. Grayson y Gage establecieron que un CSF inmortal (que existe para todo $t \ge 0$ ) de una curva cerrada simple en una superficie cerrada converge subsecuencialmente a una geodésica cerrada. Sin embargo, plantearon la pregunta de si esta geodésica límite es única; es decir, si diferentes secuencias de tiempos $t_i \to \infty$ deben dar lugar a la misma geodésica límite. Si bien la unicidad es conocida en configuraciones específicas —como superficies con curvatura negativa, la esfera redonda $(S^2, g_{\text{rd}})$ , y para métricas real-analíticas (vía argumentos de Lojasiewicz–Simon)—, el caso general para métricas suaves permaneció abierto. Los autores pretenden determinar si la no unicidad puede ocurrir para métricas riemannianas suaves en la esfera.

Metodología
La demostración es constructiva y procede en tres etapas principales, combinando análisis geométrico, teoremas de la función inversa y sistemas dinámicos:

Construcción de Casi-Geodésicas (Sección 2):
Los autores construyen una familia de dos parámetros de "casi-geodésicas" $\{\Gamma_{\epsilon, v}\}$ en $S^2$ equipada con una métrica conforme $g_\epsilon = e^{2\rho_\epsilon}g_{\text{rd}}$ . Utilizando el teorema de la función inversa de Nash–Moser desarrollado por Ambrozio–Marques–Neves [AMN25], prescriben el perfil de longitud de estas curvas. Específicamente, para una función suave dada $W$ con media cero en el plano proyectivo $P = \mathbb{RP}^2$ , aseguran que la longitud de $\Gamma_{\epsilon, v}$ sea $L_\epsilon + \epsilon W(v)$ .
Crucialmente, analizan el vector de curvatura $\vec{\kappa}_{\epsilon, \sigma}$ de estas curvas. Demuestran que la componente de la curvatura tangente a la familia de curvas es exactamente el gradiente negativo del perfil de longitud, $-\nabla_{q_\epsilon}(\epsilon W)$ , mientras que la componente transversal es menor por un factor adicional de $\epsilon$ . Esto establece que, a primer orden, el CSF se mueve a través de la familia de casi-geodésicas de acuerdo con el flujo de gradiente de $W$ .
Construcción Dinámica del Potencial (Sección 3):
Para generar límites no únicos, los autores construyen una función de potencial $W$ específica en $\mathbb{RP}^2$ . Diseñan $W$ de tal manera que su flujo de gradiente negativo contenga una trayectoria robusta que espirala indefinidamente alrededor de un círculo crítico embebido prescrito $Z \subset \mathbb{RP}^2$ .
La construcción involucra coordenadas de Fermi alrededor de $Z$ y una función cuidadosamente elaborada donde la velocidad del flujo tiende a cero al aproximarse a $Z$ , pero la derivada logarítmica de la velocidad a lo largo de la trayectoria puede hacerse arbitrariamente pequeña. Esto asegura que la trayectoria se acumule en todo el conjunto $Z$ sin converger a un punto único, y que el flujo sea estable bajo pequeñas perturbaciones de la métrica.
Análisis de Modos y Estabilidad (Sección 4):
Los autores analizan el CSF cerca de una casi-geodésica fija representando las curvas cercanas como gráficas sobre una curva de referencia. Descomponen la función de la gráfica en "modos centrales" (los dos primeros modos impares de Fourier, correspondientes a rotaciones del círculo máximo) y "modos estables" (modos impares de orden superior).
Utilizando un argumento de brecha espectral (spectral gap), demuestran que los modos estables decaen exponencialmente más rápido que los modos centrales. En consecuencia, la dinámica a largo plazo del flujo está gobernada enteramente por la evolución de los modos centrales, que siguen el flujo de gradiente espiral de $W$ construido en la Sección 3. Esto les permite controlar el flujo completo y asegurar que este se acumule en la familia específica de geodésicas indexadas por $Z$ .

Resultados Clave
El resultado principal se establece en el Teorema 1.1 y su versión detallada, el Teorema 5.1:

Existe una métrica riemanniana suave $g$ en $S^2$ (que puede elegirse arbitrariamente cercana a la métrica redonda) y un flujo de acortamiento de curvas simple e inmortal $\gamma(t)$ .
El conjunto de límites subsecuenciales de $\gamma(t)$ cuando $t \to \infty$ no es una única geodésica. En su lugar, contiene una familia completa de un parámetro de geodésicas $g$ -simples distintas $\{\Gamma_z\}_{z \in Z}$ , donde $Z$ es un círculo embebido en $\mathbb{RP}^2$ .
Para cada $z \in Z$ , existe una secuencia $t_i \to \infty$ tal que $\gamma(t_i)$ converge suavemente a $\Gamma_z$ .
Las geodésicas en esta familia todas tienen la misma longitud.
Para valores de $t$ suficientemente grandes, la curva en evolución $\gamma(t)$ intersecta a cada geodésica límite en exactamente dos puntos, demostrando que la monotonicidad del conjunto de geodésicas que se intersectan (una herramienta utilizada por Gage para la métrica redonda) no impide la no unicidad en este entorno construido.

Significado y Reivindicaciones
El artículo proporciona una respuesta negativa a la pregunta planteada por Grayson y Gage, demostrando que la unicidad de la geodésica límite para flujos de acortamiento de curvas inmortales no es una propiedad universal para métricas suaves en $S^2$ .

Los autores aclaran que, si bien la unicidad se mantiene para la métrica redonda (donde el diámetro del conjunto de geodésicas que se intersectan se reduce a cero) y para la curvatura negativa, el mecanismo que asegura la unicidad falla para métricas suaves generales.
La construcción se basa en la interacción entre la geometría de la métrica (vía el teorema de Nash–Moser) y la dinámica del flujo (vía brechas espectrales y estabilidad del flujo de gradiente).
El artículo no pretende resolver la cuestión de la unicidad para métricas real-analíticas (donde se espera que un argumento de Lojasiewicz–Simon sea aplicable) ni para el flujo de curvatura media en dimensiones superiores, señalándolos como problemas distintos y abiertos. La significancia radica estrictamente en la existencia de un contraejemplo suave en la esfera.

Más como este