On the Prym map of degree 4 cyclic covers of hyperelliptic curves

Aquí presento un resumen técnico detallado del artículo "On the Prym map of degree 4 cyclic covers of hyperelliptic curves" de Anatoli Shatsila, estructurado según los puntos solicitados.

1. Planteamiento del Problema

El artículo se centra en el estudio de la aplicación de Prym asociada a recubrimientos cíclicos étale de grado 4 de curvas hiperelípticas de género $g$. Específicamente, el autor restringe su análisis a un componente irreducible específico del espacio de móduli, denotado como $RH_g[4]_{hyp}$.

• Contexto: Dado un recubrimiento $f: C \to H$ de curvas suaves, la variedad de Prym $P(f)$ se define como la componente principal del núcleo de la aplicación norma entre los grupos de Picard de grado cero.
• Objeto de estudio: Recubrimientos de grado 4 donde la curva base $H$ es hiperelíptica de género $g$, y el recubrimiento intermedio (definido por el cuadrado del carácter del recubrimiento) también es hiperelíptico.
• La pregunta central: ¿Es inyectiva la aplicación de Prym $P_g[4]$ restringida a este componente? Además, en el caso de género $g=2$, ¿cuál es la estructura geométrica de las fibras de esta aplicación?
• Estado del arte: Se sabe que para ciertos grados y géneros la aplicación es inyectiva o genéricamente inyectiva, pero el caso de grado 4 sobre curvas hiperelípticas, especialmente la descripción explícita de las fibras en género bajo, carecía de una caracterización completa en la literatura.

2. Metodología

El autor emplea una combinación de geometría algebraica clásica, teoría de recubrimientos y análisis de variedades abelianas. La metodología se divide en dos grandes bloques:

A. Parametrización mediante puntos de Weierstrass y coordenadas complejas

• Análisis de puntos de Weierstrass: Se utiliza la teoría de recubrimientos dobles de curvas hiperelípticas para caracterizar los recubrimientos de grado 4. Se demuestra que los elementos de $RH_g[4]_{hyp}$ están en correspondencia biunívoca con conjuntos de puntos en la recta proyectiva $\mathbb{P}^1$.
• Construcción del espacio $\Delta_g$: Se define un conjunto $\Delta_g$ de tuplas de números complejos $\{t_1, \dots, t_{2g-1}\}$ (módulo una relación de equivalencia que incluye inversiones $t_i \to 1/t_i$).
• Ecuaciones explícitas: Se derivan ecuaciones explícitas para las curvas hiperelípticas involucradas en la torre de recubrimientos ($C, C_j, C_{j\sigma^2}, C_{j\sigma, \sigma^2}$) en términos de estos parámetros $t_i$. Esto permite traducir problemas geométricos sobre curvas a problemas algebraicos sobre conjuntos de números complejos.

B. Descomposición de la Variedad de Prym y Recuperación de Datos

• Descomposición isogénica: Se estudia la variedad de Prym $P(f)$ como una subvariedad abeliana. Se demuestra que, bajo las condiciones del componente $RH_g[4]_{hyp}$, existe una isogenía explícita:
  $$\mu: J C_j \times J C_{j\sigma^2} \times J C_{j\sigma, \sigma^2} \to P(f)$$
  donde $J C_k$ denota la variedad jacobiana de las curvas cociente.
• Recuperación intrínseca: Se prueba que esta descomposición y las curvas subyacentes pueden recuperarse intrínsecamente a partir de la variedad de Prym polarizada $(P, \Xi)$ y su grupo de automorfismos.
• Análisis de Fibras (Género 2): Para $g=2$, las curvas cociente son curvas elípticas. El autor analiza las fibras de la aplicación de Prym identificándolas con intersecciones de cuádricas en $\mathbb{P}^3$ (curvas elípticas normales) y estudiando la acción de involuciones sobre ellas.

3. Contribuciones Clave

1. Correspondencia Biunívoca: Establece una bijección rigurosa entre el espacio de móduli $RH_g[4]_{hyp}$ y el conjunto $\Delta_g$, proporcionando una descripción concreta de los recubrimientos mediante tuplas de números complejos.
2. Descomposición de la Variedad de Prym: Demuestra que para este componente específico, la variedad de Prym se descompone en un producto de jacobianas de curvas de género más bajo (dos curvas de género $g$ y una de género $g-1$ o similar, dependiendo de la involution), lo cual no es cierto para otros componentes del espacio de móduli.
3. Caracterización de Fibras en Género 2: Proporciona una descripción geométrica completa de las fibras de la aplicación de Prym para $g=2$, identificándolas como rectas proyectivas con puntos removidos.
4. Nuevas Ecuaciones: Obtiene ecuaciones explícitas para las curvas hiperelípticas resultantes de estos recubrimientos, facilitando el estudio computacional y teórico.

4. Resultados Principales

El teorema principal (Teorema 1.1) resume los hallazgos:

• Inyectividad para $g \geq 3$: La aplicación de Prym $P_g[4]: RH_g[4]_{hyp} \to \mathcal{A}_{(1,\dots,1,4,\dots,4)}$ es inyectiva para todo género $g \geq 3$. Esto significa que la variedad de Prym determina unívocamente la clase de isomorfismo del recubrimiento en este componente.
• Estructura de Fibras para $g = 2$:
  • En el caso $g=2$, la aplicación $P_2[4]$ no es inyectiva.
  • Las fibras no vacías (excepto dos fibras excepcionales) son isomorfas a la recta proyectiva $\mathbb{P}^1$ menos 8 puntos.
  • Las fibras excepcionales corresponden a casos donde hay simetrías adicionales en la configuración de los puntos, resultando en una estructura geométrica diferente (rectas proyectivas con puntos pegados).
• Recuperación de la Curva: Se demuestra que, a partir de la variedad de Prym polarizada, se pueden recuperar las curvas cociente $C_j$ y $C_{j\sigma, \sigma^2}$ y, por el Teorema de Torelli, las curvas mismas, lo que garantiza la inyectividad en dimensiones superiores.

5. Significado e Impacto

• Avance en la Teoría de Prym: Este trabajo llena un vacío significativo en la comprensión de las aplicaciones de Prym para recubrimientos cíclicos de grado 4, un caso que había sido menos estudiado que los recubrimientos dobles o de grado primo.
• Método Innovador para Fibras: Es el primer artículo que utiliza métodos de descomposición de variedades de Prym y ecuaciones de curvas para describir explícitamente fibras de dimensión positiva (en este caso, dimensión 1) en el contexto de recubrimientos cíclicos.
• Limitaciones y Futuro: El autor señala que sus métodos no se generalizan directamente a otros componentes de $RH_g[4]$ donde las curvas cociente no son hiperelípticas, lo que abre nuevas direcciones de investigación para componentes no hiperelípticos.
• Aplicaciones Potenciales: La descripción explícita de las fibras y la inyectividad para $g \geq 3$ son herramientas fundamentales para el estudio de la geometría del espacio de móduli de variedades abelianas polarizadas y sus relaciones con los espacios de móduli de curvas.

En resumen, el artículo ofrece una solución completa y constructiva al problema de la inyectividad de la aplicación de Prym en un componente específico de recubrimientos de grado 4, combinando técnicas clásicas de geometría algebraica con un análisis detallado de la estructura de las fibras en el caso de baja dimensión.