Differential graded categories in holomorphic symplectic geometry

Título: Categorias Diferenciais Gradadas em Geometria Simplética Holomorfa

Autor: Borislav Mladenov
Contexto: Geometria Algébrica e Simplética, Teoria de Espelhos, Quantização de Deformação.

1. O Problema e o Contexto

O artigo aborda a estrutura e as propriedades de homotopia de categorias diferenciais graduadas (dg) associadas a uma variedade simplética holomorfa $(X, \sigma)$ e suas subvariedades lagrangianas. O objetivo central é estabelecer a formalidade dessas categorias sob condições específicas de interseção.

O trabalho situa-se na interseção de três áreas principais:

1. Teoria de Floer Holomorfa: Generalizações da teoria de Floer para variedades hiper-Kähler e simpléticas holomorfas, onde se espera que a categoria de Fukaya seja equivalente a deformações não-comutativas de categorias derivadas.
2. Quantização de Deformação (DQ): O uso de módulos sobre álgebras de deformação (especificamente o algebroid canônico $\hat{W}_X$) para modelar objetos lagrangianos.
3. Geometria de Interseções Lagrangianas: O estudo de interseções limpas (clean intersections) entre lagrangianas, que podem ser vistas como locais críticos (d-critical loci) e suportam feixes pervertidos.

O problema específico é provar que certas categorias dg construídas a partir de "orientações quantizadas" de lagrangianas são formais (quase-isomórficas à sua cohomologia com estrutura trivial de $A_\infty$), generalizando resultados conhecidos para álgebras e casos unidimensionais para o contexto categórico.

2. Metodologia

A abordagem do autor combina técnicas de geometria complexa, teoria de feixes e álgebra homológica de alta categoria:

• Construção de Categorias dg: O autor define três categorias principais associadas a uma coleção de lagrangianas $\mathcal{L}$:

  1. $DLag(X, \sigma)$: A categoria de D-branas lagrangianas, cujos objetos são raízes quadradas do fibrado canônico ($K_L^{1/2}$) e morfismos são complexos $RHom$.
  2. $DQ(X, \sigma)$: A categoria de Fukaya via quantização de deformação, cujos objetos são módulos "orientados quantizados" sobre o algebroid $\hat{W}_X$.
  3. $DR^{vir}(X, \sigma)$: A categoria "virtual de Rham", construída usando complexos de Behrend-Fantechi e resoluções de Malgrange-Serre, servindo como um análogo categórico da cohomologia de de Rham.

• Quantização de Deformação e Feixes Pervertidos: Utiliza-se a correspondência de Riemann-Hilbert generalizada (Kashiwara-Schapira, D'Agnolo-Schapira) para relacionar módulos holonômicos sobre $\hat{W}_X$ com feixes pervertidos. O autor explora a estrutura de "locais críticos" (d-critical loci) das interseções lagrangianas para definir feixes pervertidos globais.

• Técnicas de Formalidade e Classes de Kaledin:

  • O autor generaliza os resultados de Lunts e Kaledin sobre a formalidade de álgebras $A_\infty$ para categorias $A_\infty$.
  • Introduz e utiliza as classes de Kaledin ($k_C$), que são classes de cohomologia de Hochschild que atuam como obstruções à formalidade.
  • Demonstra que, para categorias Calabi-Yau fracas e planas, a formalidade pode ser verificada genericamente (no ponto genérico do anel de coeficientes) e estendida para todo o anel, desde que certas condições de torção sejam satisfeitas.

• Lema de $\partial\bar{\partial}$ e Resoluções: A prova da formalidade da categoria virtual de Rham baseia-se em uma decomposição do diferencial usando o lema $\partial\bar{\partial}$ (análoga à formalidade de Kähler para variedades complexas), mostrando que a estrutura $A_\infty$ pode ser trivializada.

3. Principais Contribuições e Resultados

A. Definição de Novas Estruturas

• Categorias dg de D-branas e Quantização: Formalização rigorosa das categorias $DLag$e$DQ$ no contexto de variedades simpléticas holomorfas, incluindo a definição de "orientações quantizadas" para lagrangianas.
• Categoria Virtual de Rham ($DR^{vir}$): Introdução de uma categoria dg cujos morfismos são complexos de de Rham virtuais, conectando a teoria de interseções lagrangianas com a cohomologia de de Rham clássica via resoluções de Malgrange-Serre.

B. Teoremas de Formalidade

O resultado central é a prova da formalidade para coleções de lagrangianas que satisfazem as condições de Solomon-Verbitsky (coleção enumerável de lagrangianas compactas, Kähler, orientáveis, com interseções limpas par a par):

1. Teorema 1.1.1 (Formalidade de $DLag$): A categoria diferencial graduada $DLag(\mathcal{L})$ é formal.
2. Teorema 1.2.1 (Formalidade de $DQ$): A categoria de quantização de deformação $DQ_{\mathcal{L}}(X, \sigma)$ é formal.
3. Teorema 1.3.1 (Formalidade de $DR^{vir}$): A categoria virtual de Rham $DR^{vir}_{\mathcal{L}}(X, \sigma)$ é formal.

C. Generalizações Algébricas

• Critérios de Formalidade para Categorias: O autor prova teoremas gerais (Teoremas 2.10.6, 2.10.10) que estabelecem a equivalência entre a formalidade de uma categoria $A_\infty$ mínima e a vanishing das classes de Kaledin truncadas.
• Extensão para Categorias Calabi-Yau: Estabelece um critério de formalidade para categorias dg planas e fracamente próprias Calabi-Yau, permitindo a dedução da formalidade global a partir da formalidade no ponto genérico (Teorema 1.4.3).

D. Relações entre Modelos

• Equivalência Quasi-Isomórfica: Demonstra-se que, para coleções Solomon-Verbitsky, a categoria de quantização $DQ$ é quasi-isomórfica à categoria virtual de Rham (Proposição 1.3.2), unificando os modelos de D-branas e de quantização.
• Conexão com a Conjectura de Solomon-Verbitsky: O trabalho fornece o análogo de de Rham para a conjectura de que a categoria de Fukaya de lagrangianas holomorfas I em variedades hiper-Kähler é formal.

4. Significado e Impacto

• Avanço na Teoria de Espelhos: O resultado valida a expectativa de que, em contextos de interseção limpa em geometria simplética holomorfa, a complexidade algébrica das categorias de Fukaya (ou suas contrapartes de quantização) colapsa para estruturas mais simples (cohomologia de de Rham), facilitando cálculos e comparações com a teoria de B-branas.
• Ferramentas para Geometria Não-Comutativa: A generalização das classes de Kaledin para categorias fornece uma ferramenta poderosa para estudar a deformação e a estrutura homotópica de categorias derivadas em geometria algébrica e simplética.
• Ponte entre Teorias: O artigo conecta profundamente a teoria de feixes pervertidos (via locais críticos de d), a quantização de deformação (via módulos $\hat{W}$) e a teoria de Floer, sugerindo que a formalidade é uma propriedade robusta nessas interseções.
• Conjecturas Futuras: O trabalho levanta a conjectura de que a formalidade se estende a coleções onde a filtragem de peso da cohomologia de Hochschild é pura, e propõe uma correspondência de Riemann-Hilbert global mais precisa entre a categoria de Fukaya e módulos de quantização.

Em resumo, o artigo fornece uma prova rigorosa da formalidade de categorias dg fundamentais na geometria simplética holomorfa, utilizando uma síntese sofisticada de quantização de deformação, teoria de feixes pervertidos e álgebra homológica de categorias $A_\infty$.