When is the diagonal contractible?

Technische Samenvatting: Wanneer is de Diagonaal Contractibel?

Probleemstelling
Dit artikel onderzoekt de geometrische voorwaarden waaronder de diagonaal $\Delta_X \subset X \times X$ van een glad projectieve complexe variëteit $X$ gecontracteerd kan worden via een birationele morfisme $\pi: X \times X \to Y$ naar een subvariëteit van een lagere dimensie. In het bijzonder behandelen de auteurs twee primaire vragen:

1. Puntcontractie: Wanneer bestaat er een birationeel projectief morfisme zodanig dat $\pi(\Delta_X)$ een enkel punt is?
2. Algemene Contractie: Wanneer bestaat er een contractie waarbij $\dim \pi(\Delta_X) = m < \dim X$?

De auteurs merken op dat hoewel het geval $\dim X = 1$ (krommen) klassiek is, het hogere dimensiegeval afhangt van subtiele positiviteitseigenschappen van $X$. Het artikel beoogt dit op te lossen door de contractibiliteit van de diagonaal te koppelen aan de eigenschappen van de Albanese-morfisme.

Methodologie
De kernmethodologie berust op de wisselwerking tussen de geometrie van $X$, de Albanese-variëteit $A = \text{Alb}(X)$, en de geïnduceerde verschil-afbeelding. De auteurs maken gebruik van de volgende structurele instrumenten:

• De Verschil-afbeelding: Zij definiëren de afbeelding $\lambda: X \times X \to A$ door $\lambda(x_1, x_2) = \text{alb}(x_1) - \text{alb}(x_2)$, waarbij $\text{alb}: X \to A$ de Albanese-morfisme is.
• Divisortheorie en Intersectienummers: De bewijzen maken gebruik van de theorie van big en semi-ample divisoren. Door aan te nemen dat een contractie bestaat, construeren de auteurs een divisor $D$ op $X \times X$ die big en nef is maar verdwijnt op de diagonaal (of de afbeelding daarvan).
• Künneth-decompositie en Picard-groepen: Een cruciale technische stap is het decomponeren van divisoren op $X \times X$ met behulp van de Künneth-formule. Lemma 3.2 stelt vast dat elke divisor in $\text{Pic}_{\mathbb{Q}}(X \times X)$ geschreven kan worden als een som van pullbacks van $X$ en een pullback van de Albanese-variëteit $A \times A$. Dit stelt de auteurs in staat om de positiviteit van divisoren op $X \times X$ te relateren aan de geometrie van de Albanese-afbeelding.
• Symmetrisatie: Om de symmetrie van het product $X \times X$ te behandelen, symmetriseren de auteurs vaak de divisoren (met behulp van de inversie $\sigma(x_1, x_2) = (x_2, x_1)$) om tegenstrijdigheden of noodzakelijke voorwaarden met betrekking tot de dimensie van de afbeelding van $\lambda$ af te leiden.

Belangrijkste Bijdragen en Resultaten

1. Karakterisering van Puntcontractie (Stelling 1.4)
Het artikel stelt vast dat de diagonaal $\Delta_X$ gecontracteerd kan worden tot een punt dan en slechts dan als een set equivalente voorwaarden geldt, die primair de Albanese-morfisme betreft. Laat $n = \dim X$ en $q = h^1(X, \mathcal{O}_X) = \dim \text{Alb}(X)$. De volgende zaken zijn equivalent:

• (A) $\Delta_X$ is contractibel tot een punt.
• (B) De afbeelding van de verschil-afbeelding $\lambda$ heeft dimensie $2n$ (d.w.z. $\lambda$ is generiek eindig op zijn afbeelding).
• (C) De Albanese-variëteit voldoet aan $\dim \text{Alb}(X) \ge 2n$, en voor elke abelse subvariëteit $B \subset \text{Alb}(X)$ en algemeen punt $a$, geldt $\dim B \ge 2 \dim((B+a) \cap \text{alb}(X))$.
• (D) Twee algemene punten van $X$ leggen onafhankelijke voorwaarden op de holomorfe cotangente bundel $\Omega^1_X$. Equivalent: de evaluatie-afbeelding $H^0(\Omega^1_X) \to \Omega^1_{X,x} \oplus \Omega^1_{X,y}$ is surjectief voor algemene $x, y$.

De auteurs verduidelijken dat voorwaarde (C) strikter is dan louter "niet-degeneratie" van de Albanese-afbeelding; het vereist een specifieke "geometrische niet-degeneratie" ten opzichte van abelse subvariëteiten.

2. Contractie naar Hogere Dimensies (Stelling 1.6)
Voor contracties naar een variëteit van dimensie $m < n$, biedt het artikel een noodzakelijke en voldoende voorwaarde: er moet een dominante morfisme $\pi: X \to W$ bestaan (waarbij $\dim W = m$) zodanig dat voor een algemene vezel $X_p$ de restrictie van de verschil-afbeelding $\lambda$ op $X_p \times X_p$ generiek eindig is op zijn afbeelding.

3. Isomorfisme Buiten de Diagonaal (Stelling 1.8)
De auteurs behandelen de sterkere variant waarbij de contractie een isomorfisme is buiten de diagonaal. Zij bewijzen dat dit voorkomt als en slechts als de Albanese-morfisme finit en birationeel is over zijn afbeelding, en de verschil-afbeelding gerestreerd tot de Albanese-afbeelding finit is buiten de diagonaal. Dit impliceert dat de intersectie van de Albanese-afbeelding met haar translaties nul-dimensionaal moet zijn.

4. Niet-contractibiliteit in Hogere Producten (Stelling 1.9)
Het artikel bewijst dat voor elke glad projectieve variëteit $X$ met $\dim X > 0$ en $n \ge 3$, het onmogelijk is om simultaan alle paarwijze diagonalen $\Delta_{ij} \subset X^n$ te contracteren tot punten via een enkel birationeel morfisme.

Voorbeelden en Classificatie

• Krommen: De diagonaal van een kromme $C$ is contractibel als en slechts als de genus $g \ge 2$.
• Oppervlakken: De diagonaal van een oppervlak $S$ is contractibel tot een punt alleen als $S$ van algemeen type is (Corollary 2.7). Het artikel classificeert oppervlakken met $\kappa(S) \le 1$ die de numerieke voorwaarden vervullen, waarbij wordt getoond dat zij quotienten zijn van producten van krommen maar falen voor de geometrische niet-degeneratie die vereist is voor werkelijke contractibiliteit.
• Producten van Krommen: De diagonaal van een product van krommen $C_1 \times \dots \times C_n$ (met $g_i \ge 2$) is contractibel tot een punt. Algemener kan het gecontracteerd worden tot een variëteit van dimensie $t$ voor elke $0 \le t \le n-1$.
• Subvariëteiten van Abelse Variëteiten: Geometrisch niet-degenerale subvariëteiten $X \subset A$ met $\dim A \ge 2 \dim X$ voldoen aan de contractibiliteitsvoorwaarden.

Betekenis en Claims
De auteurs claimen dat de vraag van diagonaal contractibiliteit, hoewel schijnbaar complex, fundamenteel equivalent is aan de eigenschappen van de Albanese-morfisme. Zij corrigeren een eerdere aanname in hun eigen werk (en mogelijk in de literatuur) dat de dimensie van de Albanese-afbeelding alleen ($q \ge 2n$) voldoende is; zij demonstreren dat de interactie met abelse subvariëteiten (Voorwaarde C) noodzakelijk is wanneer de Albanese-variëteit niet simpel is.

Het artikel benadrukt dat de afbeelding $Y$ van een dergelijke contractie doorgaans singular is langs de afbeelding van de diagonaal, waarbij wordt verwezen naar algemene resultaten over de niet-gladheid van dergelijke contracties. Het werk verbindt de positiviteit van de cyclus $[\Delta_X]$ en de bundel $\Omega^1_X$ aan de existentie van deze birationele afbeeldingen, waarbij wordt getoond dat hoewel de ampleness van $\Omega^1_X$ noch noodzakelijk noch voldoende is, de eigenschappen van globale generatie bij paren punten centraal staan.

De auteurs concluderen door op te merken dat de verschil-afbeelding naar de Jacobiaan (of Albanese) essentieel de unieke morfisme is die de diagonaal contracteert in specifieke gevallen (bijv. wanneer de contractie een isomorfisme is buiten de diagonaal), hoewel zij de vraag openlaten of deze uniciteit algemeen geldt voor alle generiek eindige contracties.