Duality for Landau-Ginzburg models

Resumo Técnico: Dualidade para Modelos de Landau-Ginzburg

1. O Problema

O artigo aborda um problema fundamental na geometria algébrica e na teoria de singularidades: a comparação entre dois tipos de cohomologias associadas a uma função regular $f$ definida em uma variedade complexa quasi-projetiva suave $U$ de dimensão $n$.

O autor busca estabelecer uma relação de dualidade entre:

1. A cohomologia do complexo de de Rham torcido: $(\Omega^\bullet_U, d + df)$, juntamente com sua versão de suporte compacto e a dualidade natural entre elas.
2. A cohomologia do complexo $(\Omega^\bullet_U, df)$: A cohomologia e a cohomologia de suporte compacto deste complexo, equipadas com a dualidade de Serre.

Desafios Principais:

• Dimensão Infinita: Enquanto as cohomologias do complexo torcido $(\Omega^\bullet_U, d + df)$ são frequentemente de dimensão finita, as cohomologias do complexo $(\Omega^\bullet_U, df)$ não o são, a menos que o conjunto crítico de $f$ seja compacto.
• Dependência do Parâmetro: A introdução de um parâmetro $u$ para formar o complexo torcido $(\Omega^\bullet_U[u], u d + df)$ levanta a questão de saber se a cohomologia hiper é um módulo livre de posto finito sobre o anel de polinômios $\mathbb{C}[u]$. O artigo demonstra que isso não é verdade em geral, exigindo uma compactificação adequada e o uso de formas logarítmicas.

2. Metodologia

Sabbah emprega uma combinação sofisticada de técnicas de geometria algébrica, teoria de D-módulos e teoria de Hodge mista:

• Compactificação "Boa" (Good Projectivization): O autor escolhe uma compactificação projetiva suave $Y$ de $U$ tal que $f$ se estende a um morfismo projetivo $f: Y \to \mathbb{A}^1$. O divisor à infinito $H = Y \setminus U$ é assumido como tendo cruzamentos normais.
• Complexos de Kontsevich: Em vez de trabalhar diretamente com formas meromorfas, o autor utiliza os complexos de Kontsevich, definidos como subcomplexos de formas logarítmicas $\Omega^\bullet_Y(\log H)$ que satisfazem condições específicas em relação a $df$.
• Introdução do Parâmetro $u$: O estudo é realizado sobre o anel de polinômios $\mathbb{C}[u]$ e, posteriormente, sobre o anel de séries formais $\mathbb{C}[[u]]$ e polinômios de Laurent $\mathbb{C}[u, u^{-1}]$. Isso permite analisar o comportamento da conexão meromorfa e a estrutura de módulo livre.
• Teoria de D-módulos e Transformada de Fourier: O artigo utiliza a interpretação dos complexos torcidos como D-módulos (especificamente módulos de Rees associados a filtros de Hodge). A dualidade é explorada através de extensões de D-módulos ($!H$ e $*H$) e transformadas de Fourier-Laplace.
• Teoria de Módulos de Hodge Misto: Em seções específicas, Sabbah aplica a teoria de módulos de Hodge mista de Morihiko Saito para provar a liberdade dos módulos de cohomologia e analisar o caso de funções "tame" (mansas).

3. Principais Contribuições e Resultados

O artigo estabelece três teoremas centrais (A, B e bC) que generalizam e refinam resultados conhecidos na teoria de singularidades e na física matemática (modelos de Landau-Ginzburg).

Teorema A (Estrutura sobre $\mathbb{C}[u]$):

• Estabelece que os módulos de cohomologia hiper do complexo torcido logarítmico $(\Omega^\bullet_Y(\log H)[u], u d + df)$ e sua versão dual com twist $(-H)$ são módulos livres de posto finito sobre $\mathbb{C}[u]$.
• Demonstra a existência de um emparelhamento perfeito (dualidade) entre esses módulos, compatível com uma conexão meromorfa que possui um polo de ordem 2 em $u=0$ e singularidade regular no infinito.
• Mostra que esses objetos são independentes da escolha da compactificação projetiva "boa".
• Este resultado generaliza o Lattice de Brieskorn da teoria de singularidades para o contexto global de variedades quasi-projetivas.

Teorema B (Dualidade Genérica sobre $\mathbb{C}[u, u^{-1}]$):

• Ao restringir para o anel de polinômios de Laurent (ou seja, invertendo $u$), o autor prova que a restrição à variedade aberta $U$ induz isomorfismos entre as cohomologias definidas via compactificação e as cohomologias de D-módulos sobre $U$.
• Estabelece uma dualidade perfeita entre a cohomologia de de Rham e a cohomologia de de Rham com suporte compacto sobre o corpo de funções racionais em $u$.
• Este teorema justifica a independência da compactificação no contexto genérico e conecta a abordagem algébrica com a teoria de D-módulos.

Teorema bC e o Caso Formal (Séries de Potências):

• Sob a condição de que o conjunto crítico de $f$ seja compacto (ou sob condições de tameness), o autor prova que os módulos sobre o anel de séries formais $\mathbb{C}[[u]]$ são livres.
• Estabelece que o emparelhamento sobre $\mathbb{C}[[u]]$ induz, ao reduzir módulo $u$, a dualidade de Serre clássica para o complexo $(\Omega^\bullet_U, df)$.
• Isso fornece uma versão global e formalizada das pares de resíduo superiores de K. Saito.

Caso de Funções Tame (Mansas):

• O artigo demonstra que, se $f$ satisfaz uma condição de "tameness" (de Katz), o twist $(-H)$ no segundo termo da dualidade pode ser omitido, simplificando a estrutura e tornando-a análoga ao caso onde $f$ é próprio.

4. Significância e Impacto

• Unificação Teórica: O trabalho unifica conceitos dispersos da teoria de singularidades (Lattice de Brieskorn), geometria algébrica (dualidade de Serre, cohomologia de de Rham) e física matemática (modelos de Landau-Ginzburg e dualidade espelho).
• Generalização do Teorema de Barannikov-Kontsevich: O Teorema A pode ser visto como uma generalização do teorema de Barannikov-Kontsevich, fornecendo uma estrutura de módulo livre e uma conexão meromorfa bem-comportada em um contexto mais amplo (variedades não compactas).
• Ferramentas para Física Matemática: A estrutura de dualidade e a conexão meromorfa descrita são essenciais para a compreensão de modelos de campo topológico (TFT) e modelos de sigma linear gauged (GLSM), onde a dependência do parâmetro $u$ (relacionado ao parâmetro de deformação ou massa) é crucial.
• Rigor na Formalização: O artigo oferece um tratamento rigoroso para a comparação entre cohomologias algébricas e analíticas, lidando cuidadosamente com as nuances de módulos sobre anéis de séries formais e a interação entre suporte compacto e extensão de D-módulos.

Em suma, Claude Sabbah fornece um arcabouço matemático robusto para entender a dualidade em modelos de Landau-Ginzburg, resolvendo problemas de finitude e liberdade de módulos que surgem quando se introduz um parâmetro de deformação, e conectando essas estruturas a ferramentas poderosas como a teoria de Hodge mista e D-módulos.