Spectral rigidity of two-dimensional Liouville tori

Resumen Técnico: Rigidez Espectral de los Toros de Liouville Bidimensionales

Planteamiento del Problema
El artículo aborda la rigidez espectral de las métricas riemannianas en el toro bidimensional ($T^2$) cuyos flujos geodésicos son integrables. Específicamente, investiga la conjetura del folclore de que las métricas de Liouville son las únicas métricas integrables en $T^2$. Los autores estudian si una métrica de Liouville está determinada por su espectro de Laplace (isospectralidad) dentro de una clase conforme fija. Una métrica de Liouville se define mediante un elemento de línea de la forma:
$$ds^2 = (1 + f_1(x_1) + f_2(x_2))(dx_1^2 + dx_2^2)$$
La cuestión central es: Si una familia de métricas de un parámetro $(g_\epsilon)$ es isospectral (comparte los mismos autovalores de Laplace) y comienza como una métrica de Liouville, ¿debe la deformación ser trivial o un tipo específico de reordenamiento?

Metodología
Los autores emplean una combinación de análisis microlocal, teoría de sistemas dinámicos y cálculo variacional. La estrategia de la prueba se divide en dos resultados principales, cada uno basado en ingredientes técnicos distintos:

1. Fórmula de Traza Microlocal y No Cancelación:

   • Para vincular el espectro de Laplace con el espectro de longitudes, los autores construyen un paramétrix microlocal para el propagador de la onda $\cos(t\sqrt{-\Delta})$ en la cubierta universal $\mathbb{R}^2$.
   • Utilizan un algoritmo WKB con operadores de integrales de Fourier para derivar una fórmula de traza de estilo Marvizi-Melrose. Esta fórmula relaciona las singularidades de la traza de la onda con las longitudes de las geodésicas cerradas.
   • Un componente crítico es un resultado de "no cancelación". En sistemas integrables, las singularidades de la traza de la onda pueden teóricamente cancelarse si las órbitas con diferentes índices de Maslov conspiran. Los autores demuestran que, bajo una "Condición de No Coincidencia" (NCC) —que asegura que las longitudes de las órbitas con puntos conjugados no se solapen con las longitudes de las órbitas sin puntos conjugados (específicamente toros racionales de "gráfico")— el espectro de Laplace determina unívocamente las longitudes de estas geodésicas racionales específicas.

2. Análisis Variacional:

   • Deformaciones Lineales: Para el primer resultado principal, los autores asumen que la deformación es afín en $\epsilon$ ($U(\epsilon, x) = \epsilon U(x)$). Analizan la segunda variación del funcional de energía a lo largo de las geodésicas cerradas. Al demostrar que la preservación de un único toro racional y su longitud fuerza a que la perturbación de primer orden sea nula, establecen la rigidez.
   • Deformaciones Analíticas: Para el segundo resultado principal, consideran deformaciones analíticas donde los coeficientes de Taylor son polinomios trigonométricos. Utilizan la preservación de los toros racionales para mostrar que la perturbación debe ser separable (es decir, $U(\epsilon, x_1, x_2) = U_1(\epsilon, x_1) + U_2(\epsilon, x_2)$).
   • Análisis de Reordenamiento: Finalmente, caracterizan el conjunto de métricas de Liouville isospectrales en longitud. Al mapear los datos de longitud a una curva real-analítica $\Gamma_{f_1, f_2}$ en $\mathbb{R}^2$ derivada del principio de Maupertuis, demuestran que preservar el espectro de longitudes marcado implica que las funciones $f_1$ y $f_2$ son simplemente reordenamientos de las funciones originales (salvo una constante aditiva).

Contribuciones Clave y Resultados

• Teorema 1.1 (Rigidez de las Deformaciones Conformes Afines):
  Para una métrica de Liouville genérica $g_0$, cualquier deformación isospectral de la forma $ds^2_\epsilon = (1 + f_1 + f_2 + \epsilon U)(dx_1^2 + dx_2^2)$ es trivial ($U \equiv 0$). Este resultado se cumple siempre que la deformación sea lineal en $\epsilon$ y la métrica inicial satisfaga la Condición de No Coincidencia.

• Teorema 1.2 (Deformaciones Analíticas y Reordenamientos):
  Para una métrica de Liouville genérica $g_0$, cualquier deformación analítica isospectral (con coeficientes de polinomios trigonométricos) preserva la estructura de Liouville. Específicamente, la perturbación $U$ es separable, y la métrica resultante se obtiene mediante un reordenamiento componente a componente de las funciones originales $f_1$ y $f_2$.

  • Nota: Los autores establecen explícitamente que existen deformaciones no triviales isospectrales en longitud vía reordenamientos (por ejemplo, el ejemplo de "Dos Ríos"), pero conjeturan que estos no son de Laplace isospectrales.

• Herramientas Teóricas:

  • Teorema 2.1: Establece que la isospectralidad de Laplace implica la preservación de los toros invariantes racionales y sus longitudes, siempre que se cumpla la Condición de No Coincidencia.
  • Teorema 2.4: Demuestra que, dentro de la clase de las métricas de Liouville, la isospectralidad de longitud es equivalente al reordenamiento componente a componente de los factores conformes.

Significado y Pretensiones
El artículo afirma proporcionar algunos de los primeros resultados de rigidez espectral de Laplace para variedades cerradas con flujos geodésicos integrables.

• Análogo de Variedad Cerrada: Los resultados sirven como un análogo de variedad cerrada a resultados previos de rigidez para billares y dominios con fronteras (por ejemplo, los trabajos de Hezari-Zelditch sobre elipses).
• Distinción de la Rigidez Dinámica: A diferencia de los resultados de rigidez dinámica (que a menudo requieren la preservación de todo el espectro de longitudes o propiedades dinámicas específicas), este trabajo deriva la rigidez únicamente del espectro de Laplace, aunque bajo supuestos específicos de genericidad y linealidad.
• Limitaciones y Alcance: Los autores son modestos respecto al alcance, señalando que sus resultados están actualmente restringidos a la dimensión $d=2$ debido a la dependencia de argumentos de transversalidad para curvas planas y teoremas específicos de la fórmula de traza (el teorema de Soga) que no se generalizan para $d \ge 3$. También reconocen que el supuesto de linealidad en el Teorema 1.1 puede ser necesario, citando el ejemplo de "Dos Ríos" donde los reordenamientos no lineales preservan los espectros de longitud pero probablemente no los de Laplace.
• Direcciones Futuras: El artículo enmarca estos resultados como un paso hacia una conjetura más amplia (Conjetura 1.3) de que las métricas de Liouville son espectralmente rígidas en un entorno (es decir, cualquier métrica suficientemente cercana e isospectral es isométrica). También plantean la cuestión de si las métricas integrables cerca de las de Liouville deben ser ellas mismas de Liouville (Pregunta 1.4).

En resumen, el artículo demuestra que, para métricas de Liouville genéricas en el toro 2, el espectro de Laplace es un invariante fuerte que restringe las deformaciones a las triviales (en el caso lineal) o a reordenamientos (en el caso analítico), apoyando efectivamente la conjetura del folclore de que las métricas de Liouville son las únicas métricas integrables salvo estas transformaciones específicas.