Picard bundles and the degree of irrationality of Jacobians

Resumen Técnico: Haz de Picard y el Grado de Irracionalidad de las Jacobianas

Enunciado del Problema
El artículo aborda el problema de acotar el grado de irracionalidad ($\text{irr}(X)$) de las variedades jacobianas $J_C$ asociadas a curvas proyectivas lisas $C$ de género $g \ge 2$. El grado de irracionalidad se define como el grado mínimo de un mapa racional dominante desde $X$ al espacio proyectivo $\mathbb{P}^{\dim(X)}$. Aunque se conocen cotas inferiores para variedades abelianas de dimensión $\ge 3$, las cotas superiores relevantes siguen siendo esquivas. La cota superior estándar para las jacobianas, derivada al simetrizar un mapa $C \to \mathbb{P}^1$, arroja $\text{irr}(J_C) \le \text{gon}(C)^g \le \lfloor \frac{g+3}{2} \rfloor g$. Los autores pretenden mejorar esta cota investigando las propiedades de positividad de haces vectoriales específicos.

Metodología
Los autores emplean un enfoque geométrico centrado en los haces de Picard y su comportamiento sobre el producto simétrico $C^{(g)}$. La metodología procede en tres etapas principales:

1. Construcción de Haz de Picard Retorcido:
   Los autores consideran el haz de Picard $F$ de rango $g$ sobre la jacobiana $J_C$, cuya fibra sobre $\alpha \in J_C$ se identifica con $H^1(C, \mathcal{O}_C(-p_0) \otimes \alpha). Extraen este haz de vuelta al producto simétrico$g$-fold $C^{(g)}$ mediante el mapa de Abel-Jacobi $\pi: C^{(g)} \to J_C$. Un paso clave es retorcido este pullback por el divisor $x = p_0 + C^{(g-1)} \subset C^{(g)}$ para definir un nuevo haz vectorial $\tilde{F} := \pi^*F \otimes \mathcal{O}_{C^{(g)}}(x)$.

2. Análisis de la Generación Global y Secciones:
   Utilizando resultados sobre la generación de haces de Picard (referenciando específicamente [Par24]), los autores demuestran que $\tilde{F}$ está generado globalmente. Analizan los sistemas lineales generados por los mapas de determinante de las secciones de $\tilde{F}$ y $F(\Theta)$. Un componente crucial del análisis consiste en identificar las secciones globales de $\tilde{F}$ con las de $F(\Theta)$ y describir sus lugares de ceros en términos de divisores de la forma $p + C^{(g-1)}$.

3. Aplicación de la Teoría de Haz de Núcleo:
   Los autores utilizan una correspondencia establecida en [Mor23] entre mapas racionales dominantes $X \dashrightarrow \mathbb{P}^n$ y "pares buenos" que consisten en un haz reflexivo y un subespacio lineal de sus secciones globales. Específicamente, aplican el Lema 2.2, que establece que si $X$ es una variedad proyectiva lisa de dimensión $n$ que porta un haz vectorial $E$ generado globalmente de rango $n$ con $c_n(E) > 0$, entonces un subespacio lineal general $V^\vee \subset H^0(E)$ induce un mapa racional dominante de grado igual a la clase de Chern superior $c_n(E)$.

Contribuciones y Resultados Clave

• Generación Global y Cálculo de la Clase de Chern:
  El resultado técnico principal es la Proposición 3.3, que establece que el haz retorcido $\tilde{F}$ sobre $C^{(g)}$ está generado globalmente. Además, los autores calculan la clase de Chern superior de este haz:
  $$c_g(\tilde{F}) = 2g$$
  Este cálculo se basa en el principio de descomposición y fórmulas conocidas para las clases de cohomología del pullback del divisor theta y del divisor $x$.

• Cota Superior sobre el Grado de Irracionalidad:
  Combinando la generación global de $\tilde{F}$ con el principio general de [Mor23] (Corolario 2.3), los autores deducen el teorema principal:
  Teorema A: Para cualquier curva lisa $C$ de género $g \ge 2$, el grado de irracionalidad de su jacobiana satisface:
  $$\text{irr}(J_C) \le 2g$$
  Esto mejora la cota previamente conocida de $\lfloor \frac{g+3}{2} \rfloor g$ para $g \ge 2$.

• Realización Geométrica de los Mapas:
  El artículo proporciona una descripción geométrica concreta de los mapas racionales $J_C \dashrightarrow \mathbb{P}^g$ construidos mediante este método. Estos mapas surgen de proyecciones lineales de la jacobiana incrustada en $|(g+1)\Theta|^\vee$. Geométricamente, para un punto general $p_1 + \dots + p_g \in C^{(g)}$, el mapa envía este punto a la intersección de un subespacio lineal fijo $\mathbb{P}^g \subset \mathbb{P}^{2g-1}$ con el envoltorio lineal $\langle j(p_1), \dots, j(p_g) \rangle$, donde $j: C \hookrightarrow \mathbb{P}^{2g-1}$ es la incrustación definida por el sistema lineal $|\omega_C((g+1)p_0)|$.

• Rigidez y Casos Especiales:
  Los autores señalan que los mapas racionales construidos no son rígidos; forman una gran familia parametrizada por un subconjunto abierto de la variedad de Grassmann $\text{Gr}(g+1, 2g)$. En el caso específico de género $g=2$, el Lema 4.1 demuestra que para cada elección del subespacio $V^\vee \in \text{Gr}(3, H^0(\tilde{F}))$, el mapa inducido es dominante de grado exactamente 4. Esto sugiere que la cota $2g$ es aguda para $g=2$ y que el grado no disminuye para elecciones especiales del subespacio en este caso.

Significado
El artículo reclama importancia al proporcionar una nueva cota superior más ajustada para el grado de irracionalidad de las variedades jacobianas, un problema que ha visto un progreso limitado en cuanto a cotas superiores para variedades abelianas de dimensión $\ge 3$. El trabajo une el estudio de los haces de Picard, los lugares de Brill-Noether y la geometría birracional de las variedades abelianas. Al demostrar que las propiedades de positividad de los haces de Picard retorcidos sobre productos simétricos pueden aprovecharse para construir mapas racionales de bajo grado, los autores ofrecen un enfoque novedoso para acotar la irracionalidad. Los autores declaran explícitamente que abordarán la perspectiva geométrica para productos simétricos arbitrarios y lugares de Brill-Noether en trabajos futuros, indicando que los resultados actuales son un paso fundamental en esta dirección.