Pseudoreflections on Prym Varieties

Aquí presento un resumen técnico detallado del artículo "Pseudoreflections on Prym Varieties" (Pseudoreflejos en Variedades de Prym) de Robert Auffarth, Martí Lahoz y Juan Carlos Naranjo.

1. Planteamiento del Problema

El trabajo se sitúa en la intersección de la geometría algebraica, la teoría de variedades abelianas y la teoría de grupos de automorfismos. El problema central surge de una pregunta natural motivada por un resultado previo sobre variedades jacobianas:

• Contexto previo: En [ALA22], se demostró que si una variedad jacobiana $J_C$ de una curva suave $C$ de género $g \ge 1$ admite un cociente suave por un grupo finito $G$ cuya acción proviene de la curva, entonces necesariamente $g \le 3$. Es decir, para $g > 3$, el lugar de variedades jacobianas con un cociente suave (generado por pseudoreflejos) es vacío.
• La pregunta: ¿Existe un resultado análogo para las variedades de Prym? Específicamente, ¿existen variedades de Prym de dimensión arbitrariamente grande que posean un pseudoreflejo de origen geométrico (es decir, inducido por un automorfismo de la curva subyacente) tal que el cociente sea suave?

Definiciones clave:

• Una variedad de Prym $P(\tilde{C}, C)$ se asocia a una cubierta doble étale $f: \tilde{C} \to C$ definida por un punto de 2-torsión no trivial $\eta \in J_C[2]$.
• Un pseudoreflejo en una variedad abeliana es un automorfismo cuyo lugar fijo tiene codimensión pura 1.
• Un automorfismo es de origen geométrico si proviene de un automorfismo de la curva $C$ que preserva la polarización y el punto $\eta$.

2. Metodología

Los autores emplean una combinación de teoría de representaciones, fórmulas de recubrimiento (Riemann-Hurwitz), análisis de espacios de móduli y técnicas de geometría de variedades abelianas.

1. Reducción de orden de los automorfismos:

   • Utilizan el Teorema de Chevalley-Shephard-Todd, que establece que un cociente $X/G$ es suave si y solo si el grupo de estabilizador en cada punto está generado por pseudoreflejos.
   • Demuestran (Sección 3) que si un automorfismo de orden primo impar $p$ actúa como pseudoreflejo en una variedad de Prym de dimensión $\ge 4$, se llega a una contradicción numérica mediante la fórmula de Riemann-Hurwitz aplicada a las curvas cociente.
   • Concluyen que cualquier pseudoreflejo de origen geométrico debe tener orden 2 o 4. Además, si existe uno de orden 4, su cuadrado (orden 2) también es un pseudoreflejo. Por tanto, el problema se reduce al estudio de involuciones.

2. Análisis de diagramas de recubrimiento:

   • Consideran la curva $\tilde{C}$ y el grupo generado por la involución de la cubierta $\iota$ y un automorfismo $\sigma$ que conmuta con $\iota$.
   • Analizan el diagrama de recubrimientos inducido por los cocientes de $\tilde{C}$ por $\iota$, $\sigma$ e $\iota\sigma$.
   • Utilizan la descomposición de la variedad de Prym en subvariedades abelianas asociadas a los recubrimientos parciales para determinar cuándo la acción de $\sigma$ es un pseudoreflejo (es decir, cuándo la dimensión del lugar fijo es $g-2$).

3. Estudio de familias en el espacio de móduli:

   • Clasifican las curvas $C$ y los puntos de torsión $\eta$ que permiten esta estructura.
   • Calculan las dimensiones de las imágenes de los mapas de Prym restringidos a estas familias específicas.
   • Utilizan teoremas de inyectividad de los mapas de Prym (especialmente para cubiertas ramificadas) para distinguir las familias.

4. Restricción de grupos:

   • En la Sección 5, aplican resultados de [ALA22] sobre la estructura de grupos que actúan con cociente suave en variedades abelianas, combinados con las restricciones geométricas específicas de las variedades de Prym, para listar los grupos posibles.

3. Contribuciones Clave y Resultados Principales

El resultado central del artículo es el Teorema 1.1, que establece una diferencia fundamental entre Jacobianas y Variedades de Prym:

Teorema 1.1: Para todo $g \ge 5$, el lugar de variedades de Prym en $\mathcal{A}_{g-1}$ que poseen un pseudoreflejo de origen geométrico es la unión de tres familias irreducibles explícitas y distintas:

1. Una familia de dimensión $2g - 4$.
2. Dos familias de dimensión $2g - 3$.

Descripción de las Tres Familias (Sección 4):

1. Familia 1: Producto de Jacobianas ($A_1 \times JH_{g-2}$)

   • Origen: Curvas $C$ que son recubrimientos dobles de una curva hiperbólica de género $g-2$ (o estructura relacionada con curvas hiperbólicas).
   • Estructura: La variedad de Prym se descompone como un producto polarizado $E \times J(C')$, donde $E$ es una curva elíptica y $J(C')$ es una Jacobiana hiperbólica.
   • Acción: El pseudoreflejo actúa como $-1$ en la parte elíptica e identidad en la Jacobiana.
   • Dimensión: $2g - 4$.

2. Familia 2: Locus Bielíptico ($P_g(RB_{g,2})$)

   • Origen: Curvas $C$ que admiten una estructura bielíptica (recubrimiento doble sobre una curva elíptica $E$) compatible con la estructura de Prym.
   • Estructura: Relacionada con curvas que tienen un recubrimiento doble hacia una curva elíptica.
   • Dimensión: $2g - 3$.

3. Familia 3: Locus de recubrimientos sobre curvas de género 2 ($P_g(RF_{g,3})$)

   • Origen: Curvas $C$ que son recubrimientos dobles de una curva de género 2, ramificados en $2g-6$ puntos.
   • Estructura: La variedad de Prym se relaciona con recubrimientos de curvas de género 2.
   • Dimensión: $2g - 3$.

Ejemplo Destacado (Sección 4.4):

Para género $g=6$ (dimensión de Prym 5), los autores identifican un ejemplo distinguido: las Jacobianas intermedias de tresfolds cúbicos con puntos Eckardt.

• Un punto Eckardt en una variedad cúbica $X \subset \mathbb{P}^4$ induce una involución.
• La variedad de Prym asociada a ciertas curvas en la superficie de Fano de $X$ es isomorfa a la Jacobiana intermedia $J(X)$.
• Este ejemplo muestra que las variedades de Prym con pseudoreflejos aparecen naturalmente en la geometría de variedades de Fano y que pueden tener múltiples pseudoreflejos de origen geométrico.

Distinción de Familias (Sección 4.5):

Los autores prueban que estas tres familias son disjuntas (o tienen intersecciones de dimensión menor que las propias familias, por lo que sus clausuras son diferentes):

• La familia 1 (producto) no interseca a las otras dos.
• Las familias 2 y 3 tienen clausuras diferentes, demostrado mediante el análisis de la singularidad del divisor theta y propiedades de curvas trigonales/bielípticas.

Restricción de Grupos (Sección 5):

El artículo acota severamente los grupos de automorfismos posibles que pueden actuar con cociente suave en variedades de Prym de género $g \ge 5$:

• El grupo debe ser un 2-grupo (orden potencia de 2).
• Si el núcleo de la representación es trivial, el grupo debe ser isomorfo a uno de un conjunto finito de 9 grupos específicos (productos de $\mathbb{Z}/2\mathbb{Z}$ y $\mathbb{Z}/4\mathbb{Z}$, a veces semidirectos con $S_2$).
• Si la polarización es irreducible, solo son posibles grupos del tipo $(\mathbb{Z}/2\mathbb{Z})^i$ para $i=1,2,3$.

4. Significado e Impacto

1. Contraste con Jacobianas: El resultado es "en marcado contraste" (stark contrast) con el caso de las Jacobianas. Mientras que para Jacobianas el lugar con cociente suave es vacío para $g > 3$, para las variedades de Prym este lugar es rico y de dimensión positiva para cualquier $g \ge 5$. Esto revela una flexibilidad estructural mucho mayor en las variedades de Prym.
2. Clasificación Completa: Proporciona una clasificación completa y explícita de todas las variedades de Prym que admiten esta propiedad geométrica específica, identificando exactamente tres familias irreducibles.
3. Conexión con Geometría Algebraica Superior: El vínculo con las Jacobianas intermedias de tresfolds cúbicos (género 6) conecta la teoría de variedades de Prym con problemas clásicos de geometría de variedades proyectivas y puntos especiales (Eckardt), ofreciendo nuevas perspectivas sobre la estructura de estas variedades.
4. Herramientas para Futuras Investigaciones: La identificación de las familias y la restricción de los grupos de automorfismos proporcionan un marco sólido para estudiar la geometría de los espacios de móduli de variedades abelianas con simetrías y sus cocientes.

En resumen, el artículo demuestra que, a diferencia de las Jacobianas, las variedades de Prym de dimensión alta poseen una estructura rica de simetrías geométricas (pseudoreflejos) que permiten cocientes suaves, y clasifica exhaustivamente dónde ocurren estos fenómenos.