Algebraicity of Hodge classes on some generalized Prym Varieties

Resumo Técnico: Algebraicidade das Classes de Hodge em Algumas Variedades de Prym Generalizadas

Declaração do Problema
O artigo aborda a algebraicidade de classes de Hodge específicas em variedades de Prym generalizadas. Especificamente, investiga-se se certas classes de Hodge, construídas via o método do "tipo de Weil" em variedades abelianas associadas a representações não triviais de um grupo abeliano finito $G$, são representadas por ciclos algébricos. Este trabalho generaliza resultados anteriores de Chad Schoen, que estabeleceu a algebraicidade de tais classes para recobrimentos cíclicos (especificamente para caracteres primitivos), para o cenário mais amplo de recobrimentos abelianos.

Metodologia
Os autores empregam uma abordagem geométrica enraizada na teoria de classes geométrica não ramificada para curvas. A metodologia central envolve os seguintes passos:

1. Configuração Geométrica: Os autores consideram um recobrimento étale $G$ de curvas projetivas suaves $C \to C^1$, onde $G$ é um grupo abeliano finito. Eles utilizam o mapa padrão de Abel–Jacobi $AJ_d: \text{Sym}^d(C^1) \to J(C^1)$ e seu comportamento para graus específicos, particularmente $h = 2g(C^1) - 2$.
2. Diagramas Cartesianos e Teoria de Classes: Uma ferramenta central é a construção de um diagrama cartesiano ligando a curva $C$, seu produto simétrico e a Jacobiana. Os autores demonstram que todo recobrimento abeliano de curvas surge da mudança de base de recobrimentos finitos de variedades Jacobianas. Esta configuração permite-lhes relacionar a cohomologia do produto simétrico do recobrimento com a cohomologia da variedade de Prym.
3. Decomposição Cohomológica: Os autores analisam a cohomologia do recobrimento abeliano $W$ do produto simétrico $\text{Sym}^h(C^1)$. Eles decompõem a cohomologia $H^*(W, \mathbb{Q})$ em componentes isotípicos correspondentes aos caracteres de $G$.
4. Fatorização de Mapas: Estabelecem uma fatorização do mapa de Abel–Jacobi para a curva $C$ através do recobrimento $W$. Isso envolve estudar a ação do grupo $G$ e do grupo simétrico $S_h$ no produto $C^h$ e seus quocientes.
5. Fórmula de Macdonald e Operadores de Lefschetz: Utilizando a fórmula de Macdonald para a cohomologia de produtos simétricos e as propriedades do operador de Lefschetz em variedades abelianas, os autores traçam os ciclos algébricos do produto simétrico até a variedade de Prym. Eles recorrem à conjectura padrão sobre variedades abelianas (especificamente, que o operador inverso de Lefschetz é algébrico) para concluir a algebraicidade das classes-alvo.

Contribuições e Resultados Principais

• Teorema 1.1 (Cohomologia do Recobrimento): Os autores provam um isomorfismo natural de estruturas de Hodge para a cohomologia do recobrimento abeliano $W$ de $\text{Sym}^h(C^1)$. Especificamente, para $n=h$, a cohomologia divide-se na cohomologia do produto simétrico base e numa soma $U(-h/2)$. O somando $U$ é gerado por classes algébricas, tem dimensão $|G|-1$, e sua complexificação decompõe-se numa soma de componentes $\chi$-isotípicos para todos os caracteres não triviais $\chi$ de $G$.
• Teorema 1.2 (Algebraicidade das Classes de Hodge de Weil): O resultado principal estabelece que as "classes de Hodge de Weil" $U_{\text{Weil}}$ na variedade de Prym $B$ (a componente conexa do núcleo do mapa de Norma $J(C) \to J(C^1)$) são representadas por ciclos algébricos. Estas classes são definidas como o produto exterior superior da parte não trivial da primeira cohomologia de $B$ sobre o anel $\mathbb{Q}[G]_{\text{nt}}$.
• Generalização do Trabalho de Schoen: Enquanto o trabalho original de Schoen focava em recobrimentos cíclicos e caracteres primitivos, este artigo estende a construção a todos os caracteres não triviais de qualquer grupo abeliano finito. Os autores mostram que os ciclos algébricos necessários surgem naturalmente da geometria do mapa de Abel–Jacobi e da teoria de classes geométrica não ramificada, fornecendo uma perspectiva unificada que simplifica e generaliza o método de Schoen.

Significado e Alegações
O artigo alega fornecer uma perspectiva alternativa que generaliza e simplifica a construção de ciclos algébricos para classes de Hodge em variedades de Prym. Ao enquadrar o problema através da teoria de classes geométrica não ramificada, os autores demonstram que a algebraicidade dessas classes de Hodge é uma consequência direta da geometria do mapa de Abel–Jacobi e da estrutura dos recobrimentos abelianos.

Os autores afirmam explicitamente que sua abordagem:

• Generaliza os resultados de Schoen de recobrimentos cíclicos para recobrimentos abelianos.
• Trata todos os caracteres não triviais, ao passo que Schoen restringiu-se a caracteres primitivos no caso cíclico.
• Oferece uma perspectiva que poderia potencialmente ser adaptada a contextos ramificados (envolvendo Jacobianas com módulo) e casos de dimensão superior (superfícies), embora estes não sejam tratados no presente artigo.
• Recorre à conjectura padrão sobre variedades abelianas relativa à algebraicidade do operador inverso de Lefschetz, um resultado conhecido para variedades abelianas.

O artigo não alega provar a conjectura de Hodge em toda a sua generalidade, mas sim confirmá-la para uma classe específica e importante de classes de Hodge (tipo de Weil) em variedades de Prym generalizadas, alargando assim os casos conhecidos onde a conjectura se verifica.