Algebraicity of Hodge classes on some generalized Prym Varieties

Resumen Técnico: Algebraicidad de Clases de Hodge en Algunas Variedades de Prym Generalizadas

Enunciado del Problema
El artículo aborda la algebraicidad de clases de Hodge específicas en variedades de Prym generalizadas. Específicamente, investiga si ciertas clases de Hodge, construidas mediante el método de "tipo Weil" en variedades abelianas asociadas a representaciones no triviales de un grupo abeliano finito $G$, están representadas por ciclos algebraicos. Este trabajo generaliza resultados previos de Chad Schoen, quien estableció la algebraicidad de tales clases para recubrimientos cíclicos (específicamente para caracteres primitivos), al contexto más amplio de recubrimientos abelianos.

Metodología
Los autores emplean un enfoque geométrico arraigado en la teoría de clases geométrica no ramificada para curvas. La metodología central implica los siguientes pasos:

1. Configuración Geométrica: Los autores consideran un recubrimiento étale $G$ de curvas proyectivas suaves $C \to C^1$, donde $G$ es un grupo abeliano finito. Utilizan el mapa estándar de Abel–Jacobi $AJ_d: \text{Sym}^d(C^1) \to J(C^1)$ y su comportamiento para grados específicos, particularmente $h = 2g(C^1) - 2$.
2. Diagramas Cartesianos y Teoría de Clases: Una herramienta central es la construcción de un diagrama cartesiano que vincula la curva $C$, su producto simétrico y la Jacobiana. Los autores demuestran que todo recubrimiento abeliano de curvas surge del cambio de base de recubrimientos finitos de variedades Jacobianas. Esta configuración les permite relacionar la cohomología del producto simétrico del recubrimiento con la cohomología de la variedad de Prym.
3. Descomposición Cohomológica: Los autores analizan la cohomología del recubrimiento abeliano $W$ del producto simétrico $\text{Sym}^h(C^1)$. Descomponen la cohomología $H^*(W, \mathbb{Q})$ en componentes isótropas correspondientes a los caracteres de $G$.
4. Factorización de Aplicaciones: Establecen una factorización del mapa de Abel–Jacobi para la curva $C$ a través del recubrimiento $W$. Esto implica estudiar la acción del grupo $G$ y del grupo simétrico $S_h$ sobre el producto $C^h$ y sus cocientes.
5. Fórmula de Macdonald y Operadores de Lefschetz: Utilizando la fórmula de Macdonald para la cohomología de productos simétricos y las propiedades del operador de Lefschetz en variedades abelianas, los autores rastrean los ciclos algebraicos desde el producto simétrico hasta la variedad de Prym. Se basan en la conjetura estándar sobre variedades abelianas (específicamente, que el operador inverso de Lefschetz es algebraico) para concluir la algebraicidad de las clases objetivo.

Contribuciones y Resultados Clave

• Teorema 1.1 (Cohomología del Recubrimiento): Los autores prueban un isomorfismo natural de estructuras de Hodge para la cohomología del recubrimiento abeliano $W$ de $\text{Sym}^h(C^1)$. Específicamente, para $n=h$, la cohomología se divide en la cohomología del producto simétrico base y un sumando $U(-h/2)$. El sumando $U$ está generado por clases algebraicas, tiene dimensión $|G|-1$, y su complejificación se descompone en una suma de componentes isótropas $\chi$ para todos los caracteres no triviales $\chi$ de $G$.
• Teorema 1.2 (Algebraicidad de las Clases de Hodge de Weil): El resultado principal establece que las "clases de Hodge de Weil" $U_{\text{Weil}}$ en la variedad de Prym $B$ (la componente conexa del núcleo del mapa de Norma $J(C) \to J(C^1)$) están representadas por ciclos algebraicos. Estas clases se definen como la potencia exterior superior de la parte no trivial de la primera cohomología de $B$ sobre el anillo $\mathbb{Q}[G]_{\text{nt}}$.
• Generalización del Trabajo de Schoen: Mientras que el trabajo original de Schoen se centró en recubrimientos cíclicos y caracteres primitivos, este artículo extiende la construcción a todos los caracteres no triviales de cualquier grupo abeliano finito. Los autores muestran que los ciclos algebraicos requeridos surgen naturalmente de la geometría del mapa de Abel–Jacobi y la teoría de clases geométrica no ramificada, proporcionando una perspectiva unificada que simplifica y generaliza el método de Schoen.

Significado y Afirmaciones
El artículo afirma proporcionar una perspectiva alternativa que generaliza y simplifica la construcción de ciclos algebraicos para clases de Hodge en variedades de Prym. Al enmarcar el problema a través de la teoría de clases geométrica no ramificada, los autores demuestran que la algebraicidad de estas clases de Hodge es una consecuencia directa de la geometría del mapa de Abel–Jacobi y la estructura de los recubrimientos abelianos.

Los autores declaran explícitamente que su enfoque:

• Generaliza los resultados de Schoen de recubrimientos cíclicos a recubrimientos abelianos.
• Trata todos los caracteres no triviales, mientras que Schoen se restringió a caracteres primitivos en el caso cíclico.
• Ofrece una perspectiva que podría potencialmente adaptarse a contextos ramificados (involucrando Jacobianas con módulo) y casos de dimensión superior (superficies), aunque estos no se tratan en el artículo actual.
• Se basa en la conjetura estándar sobre variedades abelianas respecto a la algebraicidad del operador inverso de Lefschetz, un resultado conocido para variedades abelianas.

El artículo no afirma probar la conjetura de Hodge en toda su generalidad, sino que la confirma para una clase específica e importante de clases de Hodge (tipo Weil) en variedades de Prym generalizadas, extendiendo así los casos conocidos donde la conjetura se cumple.