Heat Kernel and Resurgence

Resumo Técnico: Núcleo de Calor e Ressurgência

Enunciado do Problema
Este artigo investiga a estrutura ressurgente da expansão assintótica de tempo curto do núcleo de calor em uma variedade riemanniana analítica real $(M, g)$. O problema central é compreender como as propriedades analíticas globais da série assintótica divergente (especificamente suas singularidades de Borel) refletem a geometria do espaço de caminhos complexificado. Os autores visam estabelecer uma correspondência rigorosa entre o "lado da ressurgência" (cálculo alien sobre expansões assintóticas) e o "lado de Picard–Lefschetz" (teoria de Morse–Floer em espaços de caminhos complexos de dimensão infinita). Especificamente, buscam verificar que os coeficientes dos operadores alien, que relacionam expansões assintóticas associadas a diferentes ramos geodésicos, correspondem a contagens com sinal de trajetórias de conexão (instantons) entre pontos críticos do funcional de energia holomorfo.

Metodologia
Os autores empregam uma abordagem dual combinando a teoria da ressurgência analítica com a teoria de Morse–Floer de dimensão infinita:

1. Análise de Ressurgência (O "Lado da Ressurgência"):

   • Eles estabelecem que, para uma variedade analítica real, os coeficientes da expansão do núcleo de calor de tempo curto formam uma série 1-Gevrey.
   • Utilizando a transformada de Borel–Laplace, eles analisam a continuação analítica da transformada de Borel do núcleo de calor.
   • Eles definem "operadores alien pontuados" ($\dot{\Delta}^+_\omega$) que atuam na expansão assintótica formal associada a uma geodésica real mínima. Esses operadores extraem a variação local da transformada de Borel em singularidades $\omega$ e a recentralizam para produzir expansões formais associadas a outros ramos geodésicos holomorfos.
   • As singularidades $\omega$ no plano de Borel são identificadas com as diferenças na energia complexificada (ação) entre a geodésica real mínima e outras geodésicas holomorfas em $M_\mathbb{C}$.

2. Teoria de Picard–Lefschetz (O "Lado Geométrico"):

   • Os autores formulam um problema de Picard–Lefschetz de dimensão infinita no espaço de caminhos de Sobolev $P_{a,b}(M_\mathbb{C})$ conectando dois pontos $a, b \in M$.
   • Eles definem um funcional de energia holomorfo $E_\mathbb{C}$ sobre este espaço. Os pontos críticos de $E_\mathbb{C}$ correspondem a geodésicas holomorfas.
   • Eles estudam o fluxo de gradiente descendente da parte real da ação torcida $\text{Re}(e^{-i\theta}E_\mathbb{C})$.
   • Eles definem mantos de Lefschetz (Lefschetz thimbles) como variedades estáveis desses pontos críticos. A "correspondência Picard–Lefschetz/Alien" postula que o coeficiente que relaciona dois setores assintóticos (via um operador alien) é igual à contagem com sinal de trajetórias de conexão (soluções da equação de fluxo de Morse) entre os correspondentes pontos críticos em uma fase de Stokes.

3. Estudo de Caso ($H^2_\mathbb{R}$):

   • Para testar sua estrutura teórica, os autores realizam uma análise detalhada no plano hiperbólico $H^2_\mathbb{R}$.
   • Eles computam explicitamente as singularidades de Borel e os coeficientes alien usando a fórmula exata do núcleo de calor e equações de calor radiais.
   • Eles resolvem independentemente as equações de fluxo de Morse no espaço de caminhos complexificado para pequenas distâncias geodésicas $d$, utilizando métodos de perturbação em torno do caso $d=0$ (onde o problema se reduz ao fluxo de calor em uma esfera $S^2$) e empregando argumentos de unicidade reversa e não-escape.

Principais Contribuições e Resultados

• Somabilidade de Borel: O Teorema 2.5 prova que a expansão assintótica do núcleo de calor de tempo curto em uma variedade analítica real é 1-Gevrey, garantindo a existência de uma transformada de Borel convergente próximo à origem.
• Conjectura sobre Singularidades: O artigo formula e prova uma versão da Conjectura 1.2 (atribuída a Kontsevich), estabelecendo que as singularidades de Borel do núcleo de calor correspondem precisamente aos valores críticos relativos do funcional de energia complexificado (ou seja, as diferenças de ação entre geodésicas holomorfas).
• Correspondência Picard–Lefschetz/Alien: Os autores propõem a Conjectura 1.3 (e 2.36), que afirma que a derivada alien pontuada da expansão do núcleo de calor associada a uma geodésica real $\gamma_0$ na singularidade $\omega = E(\gamma_k) - E(\gamma_0)$ produz a expansão formal associada a outra geodésica holomorfa $\gamma_k$, escalonada por um coeficiente $N$. Este coeficiente $N$ é previsto como sendo a contagem com sinal de trajetórias de conexão (linhas de fluxo de Morse) de $\gamma_k$ para $\gamma_0$ na fase de Stokes relevante.
• Verificação no Plano Hiperbólico:
  • Cálculo de Ressurgência: Na Seção 3, os autores computam o coeficiente alien para a transição do ramo real principal para o primeiro ramo holomorfo não trivial em $H^2_\mathbb{R}$. Eles descobrem que o coeficiente é exatamente 2.
  • Cálculo Geométrico: Na Seção 4, eles analisam o fluxo de Morse no espaço de caminhos complexificado. Para o caso $d=0$, eles mostram que o módulo de trajetórias de conexão consiste em exatamente dois elementos (modulo translação). Usando teoria de perturbação e argumentos de compacidade, eles provam que para um $d > 0$ suficientemente pequeno, o número de trajetórias de conexão permanece exatamente 2.
  • Conclusão: A contagem geométrica (2) coincide com o coeficiente ressurgente (2), fornecendo uma confirmação não trivial da proposta de correspondência para o plano hiperbólico.

Significância e Alegações
O artigo afirma fornecer o primeiro teste concreto e não trivial da correspondência Picard–Lefschetz/Alien em um cenário de dimensão infinita (integrais de caminho). Ao ligar a estrutura algébrica de séries divergentes (ressurgência) à topologia de espaços de caminhos complexos (teoria de Morse–Floer), o trabalho oferece uma nova perspectiva sobre como dados geométricos complexos (invisíveis a partir da variedade real) se manifestam no comportamento assintótico do núcleo de calor.

Os autores enfatizam que seus resultados em $H^2_\mathbb{R}$ servem como um "teste de confirmação" de sua proposta. Eles não afirmam ter provado a correspondência para todas as variedades, mas sim estabelecer o arcabouço e demonstrar sua validade em um caso específico e analiticamente tratável. O trabalho sugere que o fenômeno de "tunelamento quântico" nas assíntotas do núcleo de calor pode ser compreendido como a contribuição de geodésicas complexas, com seus pesos determinados pelos números de interseção (ou contagens de trajetórias) no espaço de caminhos complexificado.