The nearby Lagrangian conjecture for pinwheels

Resumo Técnico: A Conjectura Lagrangiana Próxima para Cataventos

Enunciado do Problema
O artigo aborda a Conjectura Lagrangiana Próxima (NLC), atribuída a V. I. Arnol'd, que postula que qualquer Lagrangiana exata no fibrado cotangente $T^*Q$ de uma variedade fechada suave $Q$ é isotópica hamiltoniana à seção nula. Embora a conjectura tenha sido estabelecida para vários casos de baixa dimensão (por exemplo, $T^*S^2$, $T^*T^2$) usando técnicas de curvas pseudoholomórficas, ela permanece aberta para variedades gerais e, crucialmente, para Lagrangianas singulares.

Os autores focam em uma classe específica de Lagrangianas singulares chamadas cataventos Lagrangianos $(p, q)$. Um catavento $(p, q)$ é um catavento topológico $p$ (uma 2-célula anexada a uma 1-célula via uma cobertura $p$-para-1) onde a 2-célula é Lagrangiana e encontra o círculo central de uma maneira geométrica específica determinada por $q$. Esses objetos surgem naturalmente como os esqueletos Lagrangianos ($L^{\text{st}}_{p,q}$) de bolas de homologia racional $B_{p,q}$, que são as fibras de Milnor de singularidades quocientes cíclicas $\frac{1}{p^2}(1, pq-1)$.

O problema central é determinar se qualquer catavento Lagrangiano $(p, q)$ embutido em $B_{p,q}$ é isotópico hamiltoniano ao esqueleto padrão $L^{\text{st}}_{p,q}$. Esta é a subconjectura "NLC1" adaptada ao cenário singular de $B_{p,q}$.

Metodologia
A prova é estruturada em duas partes técnicas amplamente independentes, combinando topologia simplética, geometria algébrica e teoria de curvas pseudoholomórficas.

1. Unicidade Simplética (Parte 1):

   • Compactificação: Os autores constroem uma compactificação $X_{p,q}$ da variedade não compacta $B_{p,q}$. Isso é alcançado cobrindo o diagrama base quase-tórico de $B_{p,q}$ e resolvendo a singularidade orbifold resultante. O espaço resultante $X_{p,q}$ é derivado biracionalmente de uma superfície de Hirzebruch.
   • Regulações e Estiramento de Pescoço: Eles utilizam o conceito de "regulações" (foliações por curvas racionais) em $X_{p,q}$. Ao realizar um estouramento racional simplético ao longo de um catavento embutido, eles analisam o comportamento das curvas pseudoholomórficas sob estiramento de pescoço.
   • Persistência de Foliações: Um resultado técnico chave é mostrar que a regulação (uma foliação por esferas de quadrado zero) em $X_{p,q}$ "persiste" após o estouramento racional. Especificamente, a variedade estourada $\tilde{X}$ admite uma regra quebrada única consistindo na cadeia de Wahl (esferas excepcionais do estouramento) e no divisor compactificador, conectados por uma única esfera excepcional.
   • Construção de Simpletomorfismo: Usando a unicidade dessas regulações e o fato de que os complementos das vizinhanças do catavento são mínimos, eles constroem um simpletomorfismo de suporte compacto $\psi$ mapeando qualquer catavento Lagrangiano $L$ para o esqueleto padrão $L^{\text{st}}_{p,q}$.

2. Isotopia Hamiltoniana (Parte 2):

   • Grupos de Simpletomorfismos: Para elevar o simpletomorfismo $\psi$ a uma isotopia hamiltoniana, os autores calculam o tipo de homotopia fraca do grupo de simpletomorfismos de suporte compacto, $\text{Symp}_c(B_{p,q})$.
   • Diagramas de Pente: Eles empregam "Diagramas de Pente", uma ferramenta que relaciona o grupo de simpletomorfismos de uma variedade ao de uma subvariedade e seu complemento. Eles relacionam $\text{Symp}_c(B_{p,q})$ ao grupo $\text{Symp}_c(W_{p,q})$, onde $W_{p,q} = B_{p,q} \setminus K_{p,q}$ (o complemento do cilindro central).
   • Completamento de Liouville: Eles identificam $W_{p,q}$ como um domínio em forma de estrela em $T^*Wh$, o fibrado cotangente da esfera de Whitney. Usando resultados sobre a contratilidade dos grupos de simpletomorfismos de tais domínios, eles mostram que $\text{Symp}_c(W_{p,q})$ é fracamente contrátil.
   • O Pintwist: Eles demonstram que $\text{Symp}_c(B_{p,q})$ é fracamente homotopicamente equivalente a $\mathbb{Z}$, gerado por um simpletomorfismo específico chamado pintwist $\tau_{p,q}$. Este mapa é a monodromia simplética associada ao alisamento da singularidade subjacente.
   • Conclusão: Como o pintwist preserva o esqueleto Lagrangiano até isotopia hamiltoniana (como mostrado via teorema de extensão de Banyaga e cohomologia nula), qualquer simpletomorfismo mapeando $L$ para $L^{\text{st}}_{p,q}$ pode ser composto com uma potência do pintwist para produzir uma isotopia hamiltoniana.

Principais Contribuições e Resultados

• Teorema Principal (Teorema A): Qualquer catavento Lagrangiano $(p, q)$ em $B_{p,q}$ é isotópico hamiltoniano ao esqueleto Lagrangiano padrão $L^{\text{st}}_{p,q}$. Isso estabelece a Conjectura Lagrangiana Próxima para esta ampla classe de Lagrangianas singulares.
• Classificação Simplética (Teorema B): Qualquer dois cataventos Lagrangianos $(p, q)$ em $B_{p,q}$ estão relacionados por um simpletomorfismo de suporte compacto.
• Estrutura do Grupo de Simpletomorfismos (Teorema C): O grupo $\text{Symp}_c(B_{p,q})$ é fracamente homotopicamente equivalente a $\mathbb{Z}$, gerado pelo pintwist $\tau_{p,q}$. Isso fornece o primeiro cálculo deste grupo para $p > 2$ (resultados anteriores existiam apenas para $p=1, 2$).
• Aplicações:
  1. Não-Esmagamento de Catas-Bolas: Os autores provam um teorema de não-esmagamento de Gromov para "catas-bolas" $B_{p,q}(r)$, mostrando que elas se embutem em catas-cilindros $E_{p,q}(\alpha, \infty)$ se e somente se $r \le \alpha$. A obstrução surge da área de curvas excepcionais no estouramento racional.
  2. Desanudamento Local: Eles fornecem uma nova prova do teorema de Eliashberg–Polterovich sobre o desanudamento local de planos Lagrangianos em $\mathbb{R}^4$, vendo o catavento $(1,1)$ (um disco Lagrangiano) como um caso especial.
  3. Unicidade de Tipos de Catavento: Eles mostram que os únicos cataventos Lagrangianos embutíveis em $B_{p,q}$ são do tipo $(p, q)$ (ou $(p, p-q)$), estendendo resultados anteriores sobre a não existência de Lagrangianas exatas suaves nessas bolas.

Significado e Alegações
O artigo afirma resolver a Conjectura Lagrangiana Próxima para uma classe significativa de Lagrangianas singulares que servem como "seções nulas" para bolas de homologia racional. Os autores enfatizam que sua abordagem aproveita a interação entre geometria simplética e a geometria algébrica de singularidades de superfície (especificamente singularidades de Wahl).

O significado reside em:

• Extensão da NLC: Avançar além de variedades suaves para Lagrangianas singulares, que são objetos naturais no estudo de singularidades simpléticas e simetria espelho.
• Novas Técnicas: A aplicação bem-sucedida de "regulações" e estiramento de pescoço no contexto de bolas de homologia racional, contornando a necessidade de uma compactificação global do espaço ambiente da mesma forma que trabalhos anteriores em $T^*Q$.
• Cálculos de Grupos: Fornecendo uma descrição completa do grupo de classes de mapeamento simplético de $B_{p,q}$, revelando uma estrutura gerada por uma operação geométrica natural (o pintwist) análoga a torções de Dehn.
• Obstruções Quantitativas: Demonstrando que os métodos usados para unicidade também produzem obstruções quantitativas de embutimento (não-esmagamento), ligando a topologia dos cataventos às capacidades simpléticas.

Os autores observam que seu trabalho serve como um "pré-quelo" para teoremas de embutimento mais amplos para bolas de homologia racional em $\mathbb{CP}^2$, fornecendo os resultados de unicidade local necessários para essas classificações globais. Eles afirmam explicitamente que seus métodos dependem da geometria específica de $B_{p,q}$ e das fibradas quase-tóricas, e não se generalizam imediatamente para todas as dimensões ou todas as Lagrangianas singulares sem desenvolvimento adicional.