Resumo Técnico: Singularidades de Tempo Finito de Fluxo de Curvatura Média Lagrangiana com Dinâmica Quantitativamente Precisa

1. Enunciado do Problema e Contexto

O problema central abordado é a formação de singularidades de tempo finito no Fluxo de Curvatura Média Lagrangiana (LMCF) no espaço ambiente $\mathbb{C}^n$. Embora as conjecturas de Thomas-Yau sugiram que subvariedades lagrangianas estáveis devam convergir para lagrangianas especiais (SLs) sob o LMCF, é bem estabelecido que singularidades de tempo finito são, em geral, inevitáveis.

Antes deste trabalho, a compreensão dessas singularidades baseava-se fortemente em argumentos qualitativos usando princípios de máximo, argumentos de blow-up e compacidade. Existia uma lacuna significativa na descrição quantitativa da formação de singularidades. Especificamente, embora se soubesse que, sob a suposição de Maslov zero, as singularidades de tempo finito devem ser do Tipo II (onde a curvatura explode mais rápido que $(T-t)^{-1/2}$), as taxas precisas de blow-up e a dinâmica detalhada que leva a essas singularidades eram desconhecidas. Não estava claro se a curvatura média poderia permanecer uniformemente limitada ou quais taxas específicas de explosão de curvatura poderiam ocorrer.

Este artigo visa construir soluções explícitas para o LMCF que desenvolvem singularidades de tempo finito com dinâmica quantitativamente precisa, fornecendo a primeira descrição rigorosa das taxas de explosão de curvatura e da estrutura geométrica do fluxo próximo à singularidade.

2. Metodologia

Os autores empregam um arcabouço analítico sofisticado combinando análise de modulação, teoria espectral e argumentos topológicos para construir estas soluções. A metodologia é distinta de abordagens anteriores que dependiam exclusivamente de princípios de máximo.

2.1. Redução a uma PDE Escalar Totalmente Não Linear

Ao restringir o fluxo a subvariedades lagrangianas de cohomogeneidade um invariantes sob um grupo de Lie compacto e conexo $G \leq SU(n)$ (onde as órbitas genéricas são de dimensão $(n-1)$), o LMCF reduz-se a uma PDE parabólica escalar de valor total não linear para uma função de perfil $h(s, \tau)$. Esta redução transforma um sistema quasilinear em uma equação escalar, permitindo a aplicação de técnicas de princípio de máximo, embora a não linearidade total introduza desafios analíticos significativos próximo à singularidade.

2.2. Análise de Modulação e Decomposição Espectral

O núcleo da construção envolve a análise do fluxo próximo a uma família de encolhimento de dessingularizações lagrangianas especiais ($aL$). A função de perfil é decomposta como:
$$h = f_a + \partial_s u$$
onde $f_a$ é o perfil de um cone lagrangiano especial dessingularizado escalonado por um parâmetro dependente do tempo $a(\tau)$. A perturbação $u$ é adicionalmente decomposta em um componente de dimensão finita $\phi$ (espalhado pelos autofunções do operador linearizado) e um termo de resto $v$:
$$u = \sum_{k=1}^K b_k(\tau)(\phi_{k,a} - \phi_{0,a}) + v$$
Aqui, $\phi_{k,a}$ são autofunções do operador linearizado $H_a$ construído no artigo complementar [SS26]. Os parâmetros $a(\tau)$ e $b_k(\tau)$ são parâmetros de modulação controlados por um sistema de equações diferenciais ordinárias (equações de modulação).

2.3. Superação da Não-Integrabilidade

Um grande obstáculo técnico é que o fluxo tangente (um par transverso de cones SL) admite deformações não-integráveis. Diferente de construções anteriores (por exemplo, o trabalho de Velázquez sobre fluxo de curvatura média) onde métodos $L^2$ estavam disponíveis devido a deformações integráveis, a taxa de decaimento do perfil de dessingularização aqui ($O(|x|^{1-n})$) coloca-o fora de $L^2_{loc}$.
Para abordar isso, os autores substituem os espaços $L^2$ padrão por uma coleção de espaços ponderados $\{L^2(L_a)\}_{a>0}$ e utilizam a teoria espectral perturbativa desenvolvida em [SS26]. Isso permite o controle do termo de resto $v$, apesar da falta de integrabilidade $L^2$ padrão.

2.4. O Argumento da Caixa de Ważewski

A existência de uma solução com o comportamento assintótico desejado é provada usando um argumento topológico de Ważewski (frequentemente chamado de "argumento da caixa").

1. Um conjunto dependente do tempo (a "caixa") $B(\tau)$ é definido no espaço dos parâmetros $(u, a)$.
2. Os autores derivam uma série de estimativas integrais (Seção 3) e estimativas de Hölder ponderadas (Seção 4) para mostrar que, se uma solução sair desta caixa, ela deve fazê-lo através de uma esfera de dimensão $(K-1)$ específica na fronteira.
3. Ao assumir por contradição que todas as soluções saem da caixa, constrói-se uma retração contínua de uma bola de dimensão $K$ para sua fronteira, o que é topologicamente impossível.
4. Esta contradição implica a existência de pelo menos uma solução que permanece na caixa durante todo o tempo, exibindo assim o comportamento assintótico desejado.

2.5. Regularidade e Estimativas

A prova depende do estabelecimento de:

• Equações de Modulação: Controlando a evolução de $a(\tau)$ e $b_k(\tau)$.
• Estimativas de Energia: Estimativas $L^2_a$ e $H^k_a$ para o termo de resto $v$.
• Estimativas de Hölder Ponderadas: Estabelecendo limites $C^{2,\alpha}$ em três regiões distintas:
  • Região Parabólica: $|s| \sim 1$.
  • Região Externa: $|s| \gtrsim 1$.
  • Região Interna: $|s| \lesssim 1$ (próximo à singularidade).
    Crucialmente, as estimativas da região interna utilizam um argumento de blow-up combinado com teoremas do tipo Liouville para soluções antigas da equação do calor nos cones tangentes e nas SLs dessingularizadas.

3. Principais Resultados

O teorema principal (Teorema 1.1) estabelece a existência de um fluxo de curvatura média lagrangiana $L_K(t)$ suave, não compacta e $G$-invariante em $\mathbb{C}^n$ para dimensões e inteiros $K$ específicos:

• Condições: $n \geq 4, K \geq 2$; ou $n=3, K \in \{2, 3, 4\}$.
• Formação de Singularidade: O fluxo desenvolve uma singularidade de tempo finito na origem no tempo $T < \infty$.
• Taxa de Explosão de Curvatura: A segunda forma fundamental explode com uma taxa explícita:
  $$\sup_{L_K(t)} |A_{L_K(t)}| \sim (T-t)^{-K/2}$$
  Isso fornece a primeira confirmação quantitativa de taxas específicas de blow-up Tipo II para PDEs parabólicas totalmente não lineares oriundas de LMCF.
• Estrutura Geométrica:
  • O fluxo tangente na singularidade é um par transverso único de cones lagrangianos especiais $G$-invariantes $C_0 \cup C_1$.
  • O limite de blow-up Tipo II é uma dessingularização lagrangiana especial $aL$, suave e $G$-invariante.
• Dados Iniciais: A oscilação do ângulo lagrangiano inicial pode ser tomada como arbitrariamente pequena, o que significa que os dados iniciais estão arbitrariamente próximos de serem lagrangianos especiais.

4. Significância e Alegações

O artigo afirma ser a primeira construção de blow-up Tipo II para uma PDE parabólica totalmente não linear usando tanto a estratégia espectral de Hadžić-Raphaël quanto a estratégia de colagem de Dávila-del Pino-Wei.

• Precisão Quantitativa: Ele corrige a falta de descrições quantitativamente precisas na literatura prévia de formação de singularidades, fornecendo taxas explícitas de explosão de curvatura e perfis assintóticos detalhados.
• Inovação Analítica: O trabalho demonstra como lidar com deformações não-integráveis no contexto de PDEs totalmente não lineares, substituindo métodos $L^2$ por análise espectral em uma família de espaços ponderados.
• Conclusão de um Programa de Pesquisa: O resultado é apresentado como uma conclusão de um problema proposto por Joyce [Joy15, Problema 3.12(a)] a respeito da dinâmica de cones lagrangianos especiais e suas dessingularizações em dimensões $n \geq 3$.
• Extensão Metodológica: Estende técnicas anteriormente aplicadas a equações do calor semilineares, ao sistema de Keller-Segel e ao fluxo de calor de Yang-Mills para o cenário mais desafiador de fluxos geométricos totalmente não lineares.

Os autores observam explicitamente que sua construção é baseada em uma "análise de modulação em torno de uma família de encolhimento de dessingularizações lagrangianas especiais de cohomogeneidade um" e depende fortemente da teoria espectral perturbativa desenvolvida em seu artigo complementar [SS26]. Eles não afirmam resolver a conjectura de Thomas-Yau em geral, mas sim fornecer um modelo rigoroso e quantitativo de como as singularidades podem se formar e ser resolvidas (no sentido do limite de blow-up) dentro deste cenário simétrico específico.