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

Sintesi Tecnica: Fasci Vettoriali di Rango 2 e Gradi di Punti su Superfici di del Pezzo

Enunciato del Problema

Questo articolo investiga le proprietà aritmetiche dei punti e degli 0-cicli su superfici di del Pezzo definite su un campo $K$ di caratteristica 0, con un focus primario sulle superfici cubiche (grado 3), superfici di del Pezzo di grado 2 e superfici di del Pezzo di grado 1. Il problema centrale riguarda l'esistenza di $K$-punti e l'effettività degli 0-cicli di gradi specifici.

Nello specifico, l'articolo affronta:

1. Il Numero di Coray: Se una superficie cubica $S$ ammette uno 0-ciclo di grado 1 (o un punto su un'estensione $L/K$ di grado coprimo a 3), qual è il grado minimo di un punto chiuso su $S$? Coray aveva precedentemente stabilito che questo grado minimo poteva essere 1, 4 o 10. L'articolo cerca di eliminare la possibilità di 10.
2. Effettività degli 0-cicli: Determinare il grado minimo $d$ tale che ogni 0-ciclo di grado $\ge d$ su una superficie di del Pezzo sia effettivo (ovvero linearmente equivalente a un ciclo effettivo). Risultati precedenti forniti da Colliot-Thélène hanno offerto limiti (ad esempio, grado 21 per le superfici di del Pezzo di grado 1), ma spesso richiedevano l'esistenza di un $K$-punto.
3. Razionalità dei Prodotti Simmetrici: Se il terzo prodotto simmetrico (o lo schema di Hilbert puntuale) $X[3]$ di un ipersuperficie cubica $X$ è unirazionale o stabilmente razionale.

Metodologia

L'articolo impiega una combinazione di costruzioni geometriche e teoria dei fasci vettoriali:

• Fasci Vettoriali di Rango 2 (Costruzione di Schwarzenberger): Lo strumento tecnico centrale è la costruzione di fasci vettoriali di rango 2 su superfici di del Pezzo partendo da sottoschemi lisci (o lci) di lunghezza 2. Dato un sottoschema $Z$ di lunghezza $d$ e un intero $l$ che soddisfi specifiche disuguaglianze coomologiche, gli autori costruiscono un'estensione:
  $$0 \to \mathcal{O}_S \to E \to \mathcal{I}_Z(l+1) \to 0$$
  Le sezioni di questi fasci permettono agli autori di "muovere" i cicli. Analizzando i loci di zero delle sezioni, dimostrano che certe differenze di cicli (ad esempio, $Z_d - Z_s$) sono effettivi.
• Genericità e Specializzazione: Per gestire i casi in cui specifici sottoschemi potrebbero portare a comportamenti degeneri (ad esempio, sezioni che si annullano lungo curve anziché punti), gli autori lavorano con sottoschemi generici sul campo funzione dello schema di Hilbert e applicano la specializzazione di Fulton per tornare al campo originale.
• Auto-mappe Razionali: Per l'unirazionalità di $X[3]$, gli autori utilizzano una costruzione che coinvolge auto-mappe razionali di ipersuperfici cubiche derivate da proiezioni a $\mathbb{P}^{n-2}$ e la legge di gruppo sulle curve ellittiche (fibre della proiezione).
• Riduzione Induttiva: Le prove dei limiti di effettività si basano su argomenti induttivi, riducendo il grado di un dato 0-ciclo sottraendo cicli effettivi noti (come $h_d$, il 0-ciclo canonico) fino a quando il grado non scende sotto una soglia computabile.

Contributi Chiave e Risultati

1. Eliminazione del Numero di Coray 10:
   L'articolo dimostra che per una superficie cubica liscia $S$ su un campo di caratteristica 0, se $S$ ha uno 0-ciclo di grado 1, allora $S$ possiede o un $K$-punto o un punto definito su un'estensione di campo di grado 4. Questo elimina la possibilità che il grado minimo coprimo a 3 sia 10, migliorando il risultato di Coray che ammetteva i gradi 1, 4 o 10.

2. Miglioramento dei Limiti per l'Effettività degli 0-cicli:
   Gli autori stabiliscono nuovi limiti inferiori per l'effettività degli 0-cicli sulle superfici di del Pezzo, spesso rimuovendo l'assunzione che esista un $K$-punto:

   • Superfici Cubiche (Grado 3): Qualsiasi 0-ciclo di grado $\ge 18$ è effettivo. Se esiste uno 0-ciclo di grado 1, ogni 0-ciclo di grado $\ge 8$ è effettivo.
   • Superfici di del Pezzo di Grado 2: Qualsiasi 0-ciclo di grado $\ge 13$ è effettivo. Se non esiste uno 0-ciclo di grado dispari, il limite migliora a $\ge 12$.
   • Superfici di del Pezzo di Grado 1: Qualsiasi 0-ciclo di grado $\ge 15$ è effettivo.
     Questi risultati generalizzano e migliorano i precedenti limiti di Colliot-Thélène (ad esempio, riducendo il limite per le superfici di grado 1 da 21 a 15).

3. Unirazionalità e Razionalità Stabile di $X[3]$:

   • Unirazionalità: Il terzo schema di Hilbert puntuale $X[3]$ di un'ip superficie cubica $X$ di dimensione $\ge 2$ è unirazionale su qualsiasi campo $K$. Ciò implica che i $K$-punti di $X[3]$ sono densi in senso Zariski.
   • Razionalità Stabile: Al contrario, l'articolo dimostra che $X[3]$ non è generalmente stabilmente razionale. Nello specifico, per una cubica molto generica su $\mathbb{C}$, e per la cubica generica su il campo funzione della famiglia universale, $X[3]$ non è stabilmente razionale. Ciò si basa su recenti risultati riguardanti la non trivialità del gruppo $\text{CH}_0$ universale.

4. Decomposizione Strutturale degli 0-cicli:
   L'articolo fornisce decomposizioni esplicite per gli 0-cicli nel gruppo di Chow $\text{CH}_0(S)$. Per le superfici cubiche, ogni 0-ciclo effettivo $z$ può essere scritto come $z = \pm z' + \gamma h_3$, dove $z'$ è effettivo di grado $\le 18$. Se esiste un ciclo di grado 1, $z$ può essere decomposto usando un punto di grado 4 $x_4$ e $h_3$ con un resto di grado $\le 4$.

Significato

L'articolo sostiene di affinare la comprensione dell'aritmetica delle superfici di del Pezzo stringendo i limiti numerici sulla esistenza di punti e cicli effettivi. Eliminando il caso di grado 10 per le superfici cubiche, risolve una specifica domanda aperta riguardante il "numero di Coray". Inoltre, i risultati sull'effettività degli 0-cicli forniscono un quadro più completo della struttura di $\text{CH}_0(S)$ senza richiedere l'esistenza di punti razionali, una condizione spesso necessaria nei teoremi precedenti. La distinzione tracciata tra l'unirazionalità di $X[3]$ e la sua mancanza di razionalità stabile evidenzia una sottile proprietà geometrica delle ipersuperfici cubiche: mentre esse ammettono molti punti razionali nel loro terzo prodotto simmetrico, il prodotto stesso mantiene invarianti birazionali non triviali.