Symplectomorphisms and spherical objects in the conifold smoothing

Resumo Técnico: Simetrias Simpéticas e Objetos Esféricos no Alisamento do Conifold

1. O Problema e o Contexto

O artigo aborda dois problemas centrais na topologia simplética e na geometria algébrica, ambos relacionados à Simetria Espelho Homológica (HMS) no contexto do "conifold" (uma singularidade ordinária de ponto duplo em 3 dimensões).

1. O Grupo de Classes de Mapeamento Simpético: O grupo de classes de mapeamento com suporte compacto, denotado por $\pi_0 \text{Symp}_c(X, \omega)$, para uma variedade simplética de tipo finito $X$. Historicamente, a estrutura deste grupo para variedades de dimensão superior é pouco compreendida. A questão é saber se este grupo é finitamente gerado.
2. Classificação de Objetos Esféricos: A classificação de todos os objetos esféricos na categoria derivada limitada $D(Y)$ da resolução do conifold (um caso específico de "caso afim $A_1$ em três dimensões"). Objetos esféricos são fundamentais na teoria de categorias trianguladas e na construção de twists de espelho.

O objeto de estudo principal é $X$, o "alisamento do conifold" (conifold smoothing), definido como o complemento de uma cônica suave em $T^*S^3$ ou, equivalentemente, como o encanamento (plumbing) de duas cópias de $T^*S^3$ ao longo de um link de Hopf. O objeto espelho é $Y$, a resolução pequena do conifold (o espaço total de $\mathcal{O}(-1) \oplus \mathcal{O}(-1) \to \mathbb{P}^1$) removendo um divisor específico.

2. Metodologia

Os autores utilizam uma abordagem que explora profundamente a Simetria Espelho Homológica (HMS) estabelecida por Chan, Pomerleano e Ueda, que fornece uma equivalência entre a categoria de Fukaya envolta (wrapped) de $X$, denotada $W(X)$, e a categoria derivada de $Y$, $D(Y)$.

A metodologia baseia-se em dois pilares principais que operam em "lados opostos" do espelho:

• Lado Simplético ($X$):

  • Uso de categorias de Fukaya envoltas e cohomologia de Floer.
  • Análise de esferas de Lagrange (matching spheres) $S_i$ associadas a caminhos de emparelhamento no fibrado de Morse-Bott-Lefschetz de $X$.
  • Aplicação de técnicas de localização equivariante (ações de grupos $\mathbb{Z}/2 \times \mathbb{Z}/2$) para calcular dimensões de grupos de cohomologia de Floer, reduzindo o problema de dimensão 6 para uma superfície de dimensão 2 ($X_{inv}$).
  • Uso da teoria de Nielsen-Thurston sobre dinâmicas de superfícies (mapas pseudo-Anosov) para estabelecer limites de crescimento exponencial para autoequivalências que não são twists esféricos.

• Lado Algébrico-Geométrico ($Y$):

  • Análise da estrutura do grupo de autoequivalências $R$-lineares de $D(Y)$, utilizando resultados de Toda sobre o espaço de condições de estabilidade (stability conditions).
  • Identificação de que o grupo de autoequivalências que age trivialmente na K-teoria é isomorfo a um grupo livre de posto infinito ($\mathbb{Z}^{*\infty}$).
  • Uso da equivalência de HMS para transferir propriedades de $D(Y)$ para $W(X)$.

3. Principais Contribuições e Resultados

Teorema 1.1: Infinita Geração do Grupo de Mapeamento Simpético

• Resultado: O grupo de classes de mapeamento com suporte compacto de $X$, $\pi_0 \text{Symp}_c(X, \omega)$, contém um subgrupo isomorfo a um grupo livre de posto infinito ($\mathbb{Z}^{*\infty}$).
• Implicação: Este é o primeiro exemplo conhecido de uma variedade simplética de tipo finito cujo grupo de mapeamento com suporte compacto é infinitamente gerado.
• Mecanismo: Os geradores são twists de Dehn em certas esferas de Lagrange $S_i \subset X$. A prova mostra que o mapa do grupo de twists para o grupo de autoequivalências da categoria derivada espelho é injetor.
• Corolário 1.2: Existe um domínio Stein 3-dimensional $X'$ (obtido adicionando uma alça Weinstein subcrítica a $X$) que é simplesmente conexo, mas cujo grupo de mapeamento simplético com suporte compacto é infinitamente gerado. Isso contrasta com o comportamento esperado para variedades compactas suaves.

Teorema 1.3: Classificação de Objetos Esféricos

• Resultado: Os objetos esféricos na categoria derivada $D(Y)$ formam uma única órbita sob a ação natural do grupo de tranças puro $PBr_3$.
• Significado: Resolve um problema aberto de longa data na classificação de objetos esféricos em variedades de dimensão 3. Diferente de casos anteriores (como singularidades de superfície tipo A), onde a classificação era finita ou baseada em arranjos de hiperplanos finitos, aqui o arranjo associado é um arranjo de hiperplanos afim.
• Conexão: A prova utiliza a dinâmica de mapas pseudo-Anosov no lado simplético para mostrar que qualquer autoequivalência que não seja um twist esférico (ou potência dele) causa um crescimento exponencial na cohomologia de Floer, o que contradiz a definição de objeto esférico.

4. Detalhes Técnicos Chave

• Estrutura de $X$: $X$ é descrito como uma subvariedade afim em $\mathbb{C}^4 \times \mathbb{C}^*$ dada por $u_1v_1 = z-1$ e $u_2v_2 = z+1$. Possui uma fibração de Morse-Bott-Lefschetz sobre $\mathbb{C}^*$.
• Ação do Grupo de Tranças: O grupo de tranças puras $PBr_3$ age naturalmente em $X$ via monodromia de fibrados. Os autores identificam um subgrupo $\mathbb{Z}^{*\infty} \subset PBr_3$ (gerado por twists em caminhos de emparelhamento específicos) que age fielmente no grupo de mapeamento simplético.
• Localização e Cálculo de Floer: Para provar que os twists geram órbitas infinitas de esferas de Lagrange, os autores usam uma ação de involução $\mathbb{Z}/2 \times \mathbb{Z}/2$ em $X$. Eles mostram que a cohomologia de Floer entre duas esferas $S_a, S_b$ pode ser calculada no lugar fixo da ação (uma superfície de Riemann com 6 pontos removidos), onde a dimensão é dada por $4 + 4I(\gamma_a, \gamma_b)$, sendo $I$ o número de interseção geométrica dos caminhos.
• Crescimento Exponencial vs. Linear: Usando o teorema de Nielsen-Thurston, eles demonstram que se um autoequivalência não for um twist esférico, o crescimento do posto da cohomologia de Floer sob iterações é exponencial. Objetos esféricos exigem crescimento limitado (linear), o que força a classificação.

5. Significado e Impacto

• Topologia Simplética: O trabalho desafia a intuição de que grupos de mapeamento de variedades de tipo finito são bem-comportados (finitamente gerados). Mostra que a topologia simplética de variedades não compactas (como alisamentos de singularidades) pode ser extremamente rica e complexa.
• Geometria Algébrica e HMS: Fornece uma classificação completa e elegante para objetos esféricos em um caso 3-dimensional, servindo como um modelo para entender categorias derivadas de variedades com singularidades.
• Interdisciplinaridade: O artigo é um exemplo paradigmático de como a HMS não é apenas uma ferramenta de equivalência, mas uma ponte necessária para provar teoremas em uma área usando ferramentas profundas da outra (ex: usar condições de estabilidade e geometria algébrica para provar resultados sobre grupos de difeomorfismos simpléticos, e vice-versa).
• Conexão com Entropia Categorical: Os resultados sobre o crescimento de grupos de Ext estão ligados ao conceito de entropia categórica, sugerindo que a dinâmica de autoequivalências em categorias derivadas pode ser estudada através de métodos de sistemas dinâmicos clássicos.

Em resumo, Keating e Smith estabelecem uma ligação profunda entre a dinâmica de superfícies, a teoria de grupos de tranças e a estrutura de categorias derivadas, resolvendo problemas fundamentais sobre a geração de grupos de mapeamento e a classificação de objetos especiais em geometria simplética e algébrica.