The cohomological Kudla conjecture for unitary Shimura varieties

Resumo Técnico: A Conjectura Cohomológica de Kudla para Variedades de Shimura Unitárias

Enunciado do Problema
O artigo aborda a modularidade das séries geradoras associadas a ciclos especiais em variedades de Shimura. Embora o trabalho seminal de Kudla e Millson tenha estabelecido que as séries geradoras de classes de cohomologia de ciclos especiais em espaços simétricos locais não compactos são formas modulares holomorfas, o comportamento dessas séries em compactificações permanece mais complexo. Especificamente, para compactificações toroidais de variedades de Shimura unitárias de assinatura $(n+1, 1)$, as séries geradoras dos fechos de Zariski de ciclos especiais geralmente falham em ser formas modulares holomorfas devido a contribuições de fronteira.

O problema central é determinar se essas séries podem ser corrigidas ou completadas para produzir objetos modulares. Isso relaciona-se à Conjectura 1.1 (originalmente proposta por Kudla e reformulada por Bruinier-Rosu-Zemel), que postula a existência de correções de fronteira tais que a série resultante se torne uma forma modular de Siegel (caso ortogonal) ou hermitiana (caso unitário) holomorfa. Os autores focam na encarnação cohomológica dessa conjectura para grupos unitários $U(n+1, 1)$ e ciclos especiais de codimensão $g$ até a dimensão intermediária ($g \leq n/2$).

Metodologia
Os autores empregam uma estratégia que combina análise geométrica de compactificações toroidais, análise harmônica em divisores de fronteira e a teoria de séries theta ponderadas.

1. Configuração Geométrica: O estudo utiliza a estrutura das compactificações toroidais $X^{\text{tor}}_\Gamma$. A fronteira consiste em divisores $B_J$ associados a linhas isotrópicas primitivas $J \subset L$. Esses divisores são identificados com quocientes finitos de variedades abelianas $E_M = E \otimes_{O_k} M$, onde $E$ é uma curva elíptica CM e $M$ é um reticulado hermitiano definido positivo.
2. Lema de Decomposição: Uma ferramenta técnica crucial é um lema de decomposição para homologia (Lema 3.3), válido para graus $2g \leq n$. Este lema permite que qualquer classe de cohomologia na compactificação seja decomposta em uma parte suportada no interior e uma parte suportada na fronteira. Isso reduz a prova da modularidade a cálculos restritos aos divisores de fronteira.
3. Análise de Fronteira e Formas Harmônicas: Os autores constroem formas harmônicas duais de Poincaré para ciclos especiais nos divisores de fronteira $B_J$. Essas formas são expressas usando polinômios homogêneos com valores em formas diferenciais algébricas.
4. Formas Quase-Modulares Hermitianas: O artigo desenvolve uma teoria de formas quase-modulares hermitianas. Ao considerar séries theta ponderadas por polinômios homogêneos (especificamente aqueles no espaço $F_{n,g}$), os autores utilizam uma ação $sl_2$ no espaço dos polinômios.
   • Eles definem operadores de descida ($\Delta$) e subida ($\Lambda$) atuando nesses espaços de polinômios, formando um triplo $sl_2$.
   • Eles demonstram que o mapa que envia ciclos especiais para seus representantes polinomiais associados é um morfismo de representações $sl_2$.
5. Correção e Completamento:
   • Completamento Não-Holomorfo: Ao aplicar um critério de modularidade a séries theta ponderadas, eles constroem completamentos não-holomorfos das séries geradoras dos fechos de Zariski. Esses completamentos transformam-se como formas modulares, mas incluem termos não-holomorfos envolvendo o Laplaciano.
   • Correção Holomorfa: Usando a estrutura $sl_2$, eles identificam ciclos de fronteira específicos (suportados em $B_J$) que, quando adicionados aos ciclos originais, cancelam as obstruções não-holomorfas. Isso depende de projetar os pesos polinomiais sobre componentes harmônicos primitivos.

Principais Contribuições e Resultados

• Teorema 1.2 (Correção Holomorfa): Para ciclos especiais de codimensão $g \leq n/2$, os autores provam a existência de um termo de correção suportado na fronteira tal que a série geradora dos ciclos corrigidos é uma forma modular hermitiana holomorfa de peso $n+2$ em relação à representação de Weil $\rho_{L,g}$. Isso resolve a versão cohomológica da Conjectura 1.1 para $U(n+1, 1)$ na faixa de codimensão especificada.
• Teorema 1.3 (Quase-Modularidade): A série geradora dos fechos de Zariski não corrigidos é mostrada como uma forma quase-modular hermitiana. Especificamente, ela admite um completamento não-holomorfo que se transforma como uma forma modular. Isso é notado como a primeira instância de formas quase-modulares hermitianas aparecendo no contexto de ciclos especiais.
• Fórmulas Explícitas (Teorema 1.4): O artigo fornece fórmulas explícitas para as correções. A correção a um ciclo $Z(\nu, N)$ é dada por uma soma sobre componentes de fronteira envolvendo:
  • Coeficientes racionais $r_J/d_k$.
  • Valores de polinômios harmônicos $P_i^{\ell,\ell}$ avaliados nos dados do ciclo.
  • Imagens de Gysin de classes de cohomologia primitivas $W_i^\ell$ na fronteira.
  • A fórmula envolve o operador de subida $\Lambda$ atuando sobre esses polinômios.
• Corolário 1.5 & 1.6: Esses resultados ligam explicitamente as séries corrigidas a séries theta ponderadas de polinômios harmônicos, confirmando sua modularidade.

Significado e Afirmações
O artigo afirma fornecer o primeiro resultado geral demonstrando a modularidade de ciclos especiais compactificados de codimensão arbitrária (até a intermediária) no caso unitário. Embora resultados anteriores existissem para divisores (codimensão 1) e ciclos de dimensão zero, este trabalho estende a teoria para codimensões mais altas.

Os autores enfatizam que seus resultados são "cohomológicos", o que significa que estabelecem a modularidade para as classes em $H^{2g}(X^{\text{tor}}_\Gamma)$ e não necessariamente no grupo de Chow (onde a convergência das séries ainda é um problema em aberto). O trabalho também introduz o quadro das formas quase-modulares hermitianas como um contexto natural para entender o comportamento de fronteira dessas séries geradoras.

A suposição $g \leq n/2$ é reconhecida como um artefato da prova, especificamente a dependência do Lema de Decomposição (Lema 3.3), que os autores atualmente não sabem como provar para codimensões mais altas. Eles conjecturam que seus resultados valem para todas as codimensões (Conjectura 1.7).

A metodologia paralela ao trabalho anterior dos autores sobre variedades de Shimura ortogonais, mas requer desenvolvimentos significativamente novos na teoria das formas quase-modulares hermitianas e na geometria específica das compactificações toroidais unitárias.