Rank 2 vector bundles and degrees of points of del Pezzo surfaces

Resumen Técnico: Paquetes Vectoriales de Rango 2 y Grados de Puntos en Superficies de del Pezzo

Planteamiento del Problema

Este artículo investiga las propiedades aritméticas de los puntos y los 0-ciclos en superficies de del Pezzo definidas sobre un cuerpo $K$ de característica 0, con un enfoque principal en las superficies cúbicas (grado 3), las superficies de del Pezzo de grado 2 y las superficies de del Pezzo de grado 1. El problema central concierne a la existencia de puntos $K$ y la efectividad de los 0-ciclos de grados específicos.

Específicamente, el artículo aborda:

1. El Número de Coray: Si una superficie cúbica $S$ admite un 0-ciclo de grado 1 (o un punto sobre una extensión $L/K$ de grado coprimo con 3), ¿cuál es el grado mínimo de un punto cerrado en $S$? Coray estableció previamente que este grado mínimo podía ser 1, 4 o 10. El artículo busca eliminar la posibilidad de 10.
2. Efectividad de los 0-ciclos: Determinar el grado mínimo $d$ tal que cualquier 0-ciclo de grado $\ge d$ en una superficie de del Pezzo es efectivo (es decir, linealmente equivalente a un ciclo efectivo). Resultados previos de Colliot-Thélène proporcionaron cotas (por ejemplo, grado 21 para superficies de del Pezzo de grado 1), pero a menudo requerían la existencia de un punto $K$.
3. Racionalidad de los Productos Simétricos: Si el tercer producto simétrico (o el esquema de Hilbert puntual) $X[3]$ de una hipersuperficie cúbica $X$ es uniracional o establemente racional.

Metodología

El artículo emplea una combinación de construcciones geométricas y teoría de paquetes vectoriales:

• Paquetes Vectoriales de Rango 2 (Construcción de Schwarzenberger): La herramienta técnica central es la construcción de paquetes vectoriales de rango 2 sobre superficies de del Pezzo a partir de subesquemas lisos (o de longitud lci) de longitud 2. Dado un subesquema $Z$ de longitud $d$ y un entero $l$ que satisface desigualdades cohomológicas específicas, los autores construyen una extensión:
  $$0 \to \mathcal{O}_S \to E \to \mathcal{I}_Z(l+1) \to 0$$
  Las secciones de estos paquetes permiten a los autores "mover" los ciclos. Al analizar los loci de ceros de las secciones, demuestran que ciertas diferencias de ciclos (por ejemplo, $Z_d - Z_s$) son efectivas.
• Genericidad y Especialización: Para manejar casos donde subesquemas específicos podrían conducir a un comportamiento degenerado (por ejemplo, donde las secciones se anulan a lo largo de curvas en lugar de puntos), los autores trabajan con subesquemas genéricos sobre el cuerpo de funciones del esquema de Hilbert y aplican la especialización de Fulton para retornar al cuerpo original.
• Auto-mapas Racionales: Para la uniracionalidad de $X[3]$, los autores utilizan una construcción que involucra auto-mapas racionales de hipersuperficies cúbicas derivadas de proyecciones a $\mathbb{P}^{n-2}$ y la ley de grupo en curvas elípticas (fibras de la proyección).
• Reducción Inductiva: Las demostraciones de las cotas de efectividad se basan en argumentos inductivos, reduciendo el grado de un dado 0-ciclo mediante la sustracción de ciclos efectivos conocidos (como $h_d$, el 0-ciclo canónico) hasta que el grado cae por debajo de un umbral computable.

Contribuciones Clave y Resultados

1. Eliminación del Número de Coray 10:
   El artículo demuestra que para una superficie cúbica suave $S$ sobre un cuerpo de característica 0, si $S$ tiene un 0-ciclo de grado 1, entonces $S$ tiene un punto $K$ o un punto definido sobre una extensión de cuerpo de grado 4. Esto elimina la posibilidad de que el grado mínimo coprimo con 3 sea 10, mejorando el resultado de Coray que permitía los grados 1, 4 o 10.

2. Mejora de las Cotas para la Efectividad de 0-ciclos:
   Los autores establecen nuevas cotas más bajas para la efectividad de los 0-ciclos en superficies de del Pezzo, a menudo eliminando el supuesto de que existe un punto $K$:

   • Superficies Cúbicas (Grado 3): Cualquier 0-ciclo de grado $\ge 18$ es efectivo. Si existe un 0-ciclo de grado 1, cualquier 0-ciclo de grado $\ge 8$ es efectivo.
   • Superficies de del Pezzo de Grado 2: Cualquier 0-ciclo de grado $\ge 13$ es efectivo. Si no existe un 0-ciclo de grado impar, la cota mejora a $\ge 12$.
   • Superficies de del Pezzo de Grado 1: Cualquier 0-ciclo de grado $\ge 15$ es efectivo.
     Estos resultados generalizan y mejoran las cotas previas de Colliot-Thélène (por ejemplo, reduciendo la cota para superficies de grado 1 de 21 a 15).

3. Uniracionalidad y Racionalidad Estable de $X[3]$:

   • Uniracionalidad: El tercer esquema de Hilbert puntual $X[3]$ de una hipersuperficie cúbica suave $X$ de dimensión $\ge 2$ es uniracional sobre cualquier cuerpo $K$. Esto implica que los puntos $K$ de $X[3]$ son densos en el sentido de Zariski.
   • Racionalidad Estable: En contraste, el artículo demuestra que $X[3]$ no es establemente racional en general. Específicamente, para una hipersuperficie cúbica muy general sobre $\mathbb{C}$, y para la superficie cúbica genérica sobre el cuerpo de funciones de la familia universal, $X[3]$ no es establemente racional. Esto se basa en resultados recientes sobre la no trivialidad del grupo $\text{CH}_0$ universal.

4. Descomposición Estructural de 0-ciclos:
   El artículo proporciona descomposiciones explícitas para los 0-ciclos en el grupo de Chow $\text{CH}_0(S)$. Para superficies cúbicas, cualquier 0-ciclo efectivo $z$ puede escribirse como $z = \pm z' + \gamma h_3$, donde $z'$ es efectivo de grado $\le 18$. Si existe un ciclo de grado 1, $z$ puede descomponerse usando un punto de grado 4 $x_4$ y $h_3$ con un resto de grado $\le 4$.

Significado

El artículo afirma refinar la comprensión de la aritmética de las superficies de del Pezzo al ajustar las cotas numéricas sobre la existencia de puntos y ciclos efectivos. Al eliminar el caso de grado 10 para las superficies cúbicas, resuelve una pregunta abierta específica respecto al "número de Coray". Además, los resultados sobre la efectividad de los 0-ciclos proporcionan una imagen más completa de la estructura de $\text{CH}_0(S)$ sin requerir la existencia de puntos racionales, una condición que a menudo era necesaria en teoremas previos. La distinción trazada entre la uniracionalidad de $X[3]$ y su falta de racionalidad estable resalta una propiedad geométrica sutil de las hipersuperficies cúbicas: aunque admiten muchos puntos racionales en su tercer producto simétrico, el producto mismo retiene invariantes biracionales no triviales.