When is the diagonal contractible?

Sintesi Tecnica: Quando la Diagonale è Contrattile?

Enunciato del Problezione
Questo articolo investiga le condizioni geometriche sotto le quali la diagonale $\Delta_X \subset X \times X$ di una varietà complessa proiettiva liscia $X$ può essere contratta tramite un morfismo birazionale $\pi: X \times X \to Y$ in una sottovarietà di dimensione inferiore. Nello specifico, gli autori affrontano due domande primarie:

1. Contrazione di un Punto: Quando esiste un morfismo proiettivo birazionale tale che $\pi(\Delta_X)$ sia un singolo punto?
2. Contrazione Generale: Quando esiste una contrazione dove $\dim \pi(\Delta_X) = m < \dim X$?

Gli autori osservano che, mentre il caso $\dim X = 1$ (curve) è classico, il caso in dimensioni superiori dipende da sottili proprietà di positività di $X$. L'articolo mira a risolvere questo problema collegando la contrattilità della diagonale alle proprietà del morfismo di Albanese.

Metodologia
La metodologia centrale si basa sull'interazione tra la geometria di $X$, la sua varietà di Albanese $A = \text{Alb}(X)$, e la mappa di differenza indotta. Gli autori utilizzano i seguenti strumenti strutturali:

• La Mappa di Differenza: Definiscono la mappa $\lambda: X \times X \to A$ mediante $\lambda(x_1, x_2) = \text{alb}(x_1) - \text{alb}(x_2)$, dove $\text{alb}: X \to A$ è il morfismo di Albanese.
• Teoria dei Divisori e Numeri di Intersezione: Le dimostrazioni utilizzano la teoria dei divisori big e semi-ampi. Assumendo l'esistenza di una contrazione, gli autori costruiscono un divisore $D$ su $X \times X$ che è big e nef ma svanisce sulla diagonale (o sulla sua immagine).
• Decomposizione di Künneth e Gruppi di Picard: Un passaggio tecnico cruciale prevede la decomposizione dei divisori su $X \times X$ utilizzando la formula di Künneth. Il Lemma 3.2 stabilisce che ogni divisore in $\text{Pic}_{\mathbb{Q}}(X \times X)$ può essere scritto come una somma di pull-back da $X$ e un pull-back dalla varietà di Albanese $A \times A$. Ciò permette agli autori di relazionare la positività dei divisori su $X \times X$ con la geometria dell'immagine di Albanese.
• Simmetrizzazione: Per gestire la simmetria del prodotto $X \times X$, gli autori spesso simmetrizzano i divisori (utilizzando l'involuzione $\sigma(x_1, x_2) = (x_2, x_1)$) per derivare contraddizioni o condizioni necessarie riguardanti la dimensione dell'immagine di $\lambda$.

Contributi Chiave e Risultati

1. Caratterizzazione della Contrazione di un Punto (Teorema 1.4)
L'articolo stabilisce che la diagonale $\Delta_X$ è contrattile in un punto se e solo se un insieme di condizioni equivalenti è soddisfatto, riguardando principalmente il morfismo di Albanese. Sia $n = \dim X$ e $q = h^1(X, \mathcal{O}_X) = \dim \text{Alb}(X)$. Le seguenti sono equivalenti:

• (A) $\Delta_X$ è contrattile in un punto.
• (B) L'immagine della mappa di differenza $\lambda$ ha dimensione $2n$ (ovvero, $\lambda$ è genericamente finita sulla sua immagine).
• (C) La varietà di Albanese soddisfa $\dim \text{Alb}(X) \ge 2n$, e per ogni sottovarietà abeliana $B \subset \text{Alb}(X)$ e punto generale $a$, $\dim B \ge 2 \dim((B+a) \cap \text{alb}(X))$.
• (D) Due punti generali di $X$ impongono condizioni indipendenti sul fascio cotangente olocomorfo $\Omega^1_X$. Equivalentemente, la mappa di valutazione $H^0(\Omega^1_X) \to \Omega^1_{X,x} \oplus \Omega^1_{X,y}$ è suriettiva per generici $x, y$.

Gli autori chiariscono che la condizione (C) è strettamente più forte della mera "non-degenerazione" dell'immagine di Albanese; richiede una specifica "non-degenerazione geometrica" rispetto alle sottovarietà abeliane.

2. Contrazione a Dimensioni Superiori (Teorema 1.6)
Per le contrazioni a una varietà di dimensione $m < n$, l'articolo fornisce una condizione necessaria e sufficiente: deve esistere un morfismo dominante $\pi: X \to W$ (dove $\dim W = m$) tale che per una fibra generale $X_p$, la restrizione della mappa di differenza $\lambda$ su $X_p \times X_p$ sia genericamente finita sulla sua immagine.

3. Isomorfismo Fuori dalla Diagonale (Teorema 1.8)
Gli autori affrontano la variante più forte in cui la contrazione è un isomorfismo fuori dalla diagonale. Provano che ciò avviene se e solo se il morfismo di Albanese è finito e birazionale sulla sua immagine, e la mappa di differenza ristretta all'immagine di Albanese è finita fuori dalla diagonale. Ciò implica che l'intersezione dell'immagine di Albanese con le sue traslate deve essere zero-dimensionale.

4. Non-Contrattilità in Prodotti Superiori (Teorema 1.9)
L'articolo dimostra che per qualsiasi varietà proiettiva liscia $X$ con $\dim X > 0$ e $n \ge 3$, è impossibile contrarre simultaneamente tutte le diagonali pairwise $\Delta_{ij} \subset X^n$ in punti tramite un singolo morfismo birazionale.

Esempi e Classificazione

• Curve: La diagonale di una curva $C$ è contrattile se e solo se il genere $g \ge 2$.
• Superfici: La diagonale di una superficie $S$ è contrattile in un punto solo se $S$ è di tipo generale (Corollario 2.7). L'articolo classifica le superfici con $\kappa(S) \le 1$ che soddisfano le condizioni numeriche, mostrando che sono quozienti di prodotti di curve ma falliscono la non-degenerazione geometrica richiesta per la reale contrattilità.
• Prodotti di Curve: La diagonale di un prodotto di curve $C_1 \times \dots \times C_n$ (con $g_i \ge 2$) è contrattile in un punto. Più generalmente, può essere contratta in una varietà di dimensione $t$ per ogni $0 \le t \le n-1$.
• Sottovarietà di Varietà Abeliane: Sottovarietà geometricamente non degenere $X \subset A$ con $\dim A \ge 2 \dim X$ soddisfano le condizioni di contrattilità.

Significato e Rivendicazioni
Gli autori sostengono che la questione della contrattilità della diagonale, sebbene apparentemente complessa, è fondamentalmente equivalente alle proprietà del morfismo di Albanese. Essi correggono un precedente assunto nel loro stesso lavoro (e potenzialmente nella letteratura) secondo cui la dimensione dell'immagine di Albanese da sola ($q \ge 2n$) fosse sufficiente; dimostrano che l'interazione con le sottovarietà abeliane (Condizione C) è necessaria quando la varietà di Albanese non è semplice.

L'articolo sottolinea che l'immagine $Y$ di tale contrazione è tipicamente singolare lungo l'immagine della diagonale, citando risultati generali sulla non-smoothness di tali contrazioni. Il lavoro collega la positività del ciclo $[\Delta_X]$ e del fascio $\Omega^1_X$ all'esistenza di tali mappe birazionali, mostrando che mentre l'ampiezza di $\Omega^1_X$ non è né necessaria né sufficiente, le proprietà di generazione globale in coppie di punti sono centrali.

Gli autori concludono notando che la mappa di differenza verso la Jacobiana (o l'Albanese) è essenzialmente l'unico morfismo che contrae la diagonale in casi specifici (ad esempio, quando la contrazione è un isomorfismo fuori dalla diagonale), pur lasciando aperta la questione se tale unicità valga generalmente per tutte le contrazioni genericamente finite.