Spectral rigidity of two-dimensional Liouville tori

Resumo Técnico: Rigidez Espectral de Tori de Liouville Bidimensionais

Enunciado do Problema
O artigo aborda a rigidez espectral de métricas riemannianas no toro bidimensional ($T^2$) cujos fluxos geodésicos são integráveis. Especificamente, investiga a conjectura do folclore de que as métricas de Liouville são as únicas métricas integráveis em $T^2$. Os autores investigam se uma métrica de Liouville é determinada pelo seu espectro de Laplace (isospectralidade) dentro de uma classe conformal fixa. Uma métrica de Liouville é definida por um elemento de linha da forma:
$$ds^2 = (1 + f_1(x_1) + f_2(x_2))(dx_1^2 + dx_2^2)$$
A questão central é: Se uma família de métricas de um parâmetro $(g_\epsilon)$ é isospectral (compartilhando os mesmos autovalores de Laplace) e começa como uma métrica de Liouville, a deformação deve ser trivial ou um tipo específico de rearranjo?

Metodologia
Os autores empregam uma combinação de análise microlocal, teoria de sistemas dinâmicos e cálculo variacional. A estratégia de prova é dividida em dois resultados principais, cada um dependendo de ingredientes técnicos distintos:

1. Fórmula de Traço Microlocal e Não-cancelamento:

   • Para ligar o espectro de Laplace ao espectro de comprimentos, os autores constroem um paramétro microlocal para o propagador de onda $\cos(t\sqrt{-\Delta})$ na cobertura universal $\mathbb{R}^2$.
   • Eles utilizam um algoritmo WKB com operadores integrais de Fourier para derivar uma fórmula de traço do estilo Marvizi-Melrose. Esta fórmula relaciona as singularidades do traço da onda com os comprimentos de geodésicas fechadas.
   • Um componente crítico é um resultado de "não-cancelamento". Em sistemas integráveis, as singularidades do traço da onda podem teoricamente cancelar-se se órbitas com diferentes índices de Maslov conspirarem. Os autores provam que, sob uma Condição de Não-coincidência (NCC) — que garante que os comprimentos de órbitas com pontos conjugados não se sobreponham aos comprimentos de órbitas sem pontos conjugados (especificamente tori racionais "gráfico") — o espectro de Laplace determina unicamente os comprimentos dessas geodésicas racionais específicas.

2. Análise Variacional:

   • Deformações Lineares: Para o primeiro resultado principal, os autores assumem que a deformação é afim em $\epsilon$ ($U(\epsilon, x) = \epsilon U(x)$). Eles analisam a segunda variação do funcional de energia ao longo de geodésicas fechadas. Ao mostrar que a preservação de um único toro racional e seu comprimento força a perturbação de primeira ordem a desaparecer, eles estabelecem a rigidez.
   • Deformações Analíticas: Para o segundo resultado principal, eles consideram deformações analíticas onde os coeficientes de Taylor são polinômios trigonométricos. Eles utilizam a preservação de tori racionais para mostrar que a perturbação deve ser separável (ou seja, $U(\epsilon, x_1, x_2) = U_1(\epsilon, x_1) + U_2(\epsilon, x_2)$).
   • Análise de Rearranjo: Finalmente, eles caracterizam o conjunto de métricas de Liouville de mesmo comprimento (length-isospectral). Ao mapear os dados de comprimento para uma curva real-analítica $\Gamma_{f_1, f_2}$ em $\mathbb{R}^2$ derivada do princípio de Maupertuis, eles provam que preservar o espectro de comprimentos marcado implica que as funções $f_1$ e $f_2$ são meramente rearranjos das funções originais (até uma constante aditiva).

Contribuições Principais e Resultados

• Teorema 1.1 (Rigidez de Deformações Conformes Afins):
  Para uma métrica de Liouville genérica $g_0$, qualquer deformação isospectral da forma $ds^2_\epsilon = (1 + f_1 + f_2 + \epsilon U)(dx_1^2 + dx_2^2)$ é trivial ($U \equiv 0$). Este resultado é válido desde que a deformação seja linear em $\epsilon$ e a métrica inicial satisfaça a Condição de Não-coincidência.

• Teorema 1.2 (Deformações Analíticas e Rearanjos):
  Para uma métrica de Liouville genérica $g_0$, qualquer deformação analítica (com coeficientes de polinômio trigonométrico) preserva a estrutura de Liouville. Especificamente, a perturbação $U$ é separável, e a métrica resultante é obtida por um rearranjo componente a componente das funções originais $f_1$ e $f_2$.

  • Nota: Os autores afirmam explicitamente que existem deformações de comprimento-isospectrais não triviais via rearranjos (ex: o exemplo "Two Rivers"), mas conjecturam que estas não são Laplace isospectrais.

• Ferramentas Teóricas:

  • Teorema 2.1: Estabelece que a isospectralidade de Laplace implica a preservação de tori invariantes racionais e seus comprimentos, desde que a Condição de Não-coincidência seja satisfeita.
  • Teorema 2.4: Prova que, dentro da classe das métricas de Liouville, a isospectralidade de comprimento é equivalente ao rearranjo componente a componente dos fatores conformais.

Significância e Alegações
O artigo afirma fornecer alguns dos primeiros resultados de rigidez espectral de Laplace para variedades fechadas com fluxos geodésicos integráveis.

• Análogo de Variedade Fechada: Os resultados servem como um análogo de variedade fechada para resultados anteriores de rigidez para bilhares e domínios com fronteiras (ex: trabalhos de Hezari-Zelditch sobre elipses).
• Distinção da Rigidez Dinâmica: Diferente dos resultados de rigidez dinâmica (que frequentemente exigem a preservação de todo o espectro de comprimentos ou propriedades dinâmicas específicas), este trabalho deriva a rigidez apenas do espectro de Laplace, embora sob condições específicas de genericidade e linearidade.
• Limitações e Escopo: Os autores são modestos quanto ao escopo, observando que os resultados estão atualmente restritos à dimensão $d=2$ devido à dependência de argumentos de transversalidade para curvas planas e teoremas específicos de fórmula de traço (teorema de Soga) que não se generalizam para $d \ge 3$. Eles também reconhecem que a suposição de linearidade no Teorema 1.1 pode ser necessária, citando o exemplo "Two Rivers", onde rearranjos não lineares preservam espectros de comprimento, mas provavelmente não os espectros de Laplace.
• Direções Futuras: O artigo enquadra estes resultados como um passo em direção a uma conjectura mais ampla (Conjectura 1.3) de que as métricas de Liouville são espectralmente rígidas em uma vizinhança (ou seja, qualquer métrica suficientemente próxima e isospectral é isométrica). Eles também levantam a questão de se métricas integráveis próximas de métricas de Liouville devem ser elas próprias de Liouville (Questão 1.4).

Em resumo, o artigo demonstra que, para métricas de Liouville genéricas no toro 2, o espectro de Laplace é um invariante forte que restringe as deformações a deformações triviais (no caso linear) ou rearranjos (no caso analítico), apoiando efetivamente a conjectura do folclore de que as métricas de Liouville são as únicas métricas integráveis até essas transformações específicas.