When is the diagonal contractible?

Resumen Técnico: ¿Cuándo es contraíble la diagonal?

Planteamiento del problema
Este artículo investiga las condiciones geométricas bajo las cuales la diagonal $\Delta_X \subset X \times X$ de una variedad compleja proyectiva suave $X$ puede ser contraída mediante un morfismo biracional $\pi: X \times X \to Y$ a una subvariedad de dimensión menor. Específicamente, los autores abordan dos preguntas primordiales:

1. Contracción de punto: ¿Cuándo existe un morfismo proyectivo biracional tal que $\pi(\Delta_X)$ sea un único punto?
2. Contracción general: ¿Cuándo existe una contracción donde $\dim \pi(\Delta_X) = m < \dim X$?

Los autores señalan que, si bien el caso $\dim X = 1$ (curvas) es clásico, el caso de dimensiones superiores depende de propiedades de positividad sutiles de $X$. El artículo pretende resolver esto vinculando la contraibilidad de la diagonal con las propiedades del morfismo de Albanese.

Metodología
La metodología central se basa en la interacción entre la geometría de $X$, su variedad de Albanese $A = \text{Alb}(X)$, y el mapa de diferencia inducido. Los autores utilizan las siguientes herramientas estructurales:

• El mapa de diferencia: Definen el mapa $\lambda: X \times X \to A$ mediante $\lambda(x_1, x_2) = \text{alb}(x_1) - \text{alb}(x_2)$, donde $\text{alb}: X \to A$ es el morfismo de Albanese.
• Teoría de divisores y números de intersección: Las demostraciones utilizan la teoría de divisores grandes y semi-ambios. Al asumir que existe una contracción, los autores construyen un divisor $D$ en $X \times X$ que es grande y nef pero que se anula en la diagonal (o su imagen).
• Descomposición de Künneth y grupos de Picard: Un paso técnico crucial implica descomponer los divisores en $X \times X$ utilizando la fórmula de Künneth. El Lema 3.2 establece que cualquier divisor en $\text{Pic}_{\mathbb{Q}}(X \times X)$ puede escribirse como una suma de pullbacks de $X$ y un pullback de la variedad de Albanese $A \times A$. Esto permite a los autores relacionar la positividad de los divisores en $X \times X$ con la geometría de la imagen de Albanese.
• Simetrización: Para manejar la simetría del producto $X \times X$, los autores a menudo simetrizan los divisores (usando la involución $\sigma(x_1, x_2) = (x_2, x_1)$) para derivar contradicciones o condiciones necesarias respecto a la dimensión de la imagen de $\lambda$.

Contribuciones clave y resultados

1. Caracterización de la contracción de punto (Teorema 1.4)
El artículo establece que la diagonal $\Delta_X$ es contraíble a un punto si y solo si se cumple un conjunto de condiciones equivalentes, que involucran principalmente al morfismo de Albanese. Sea $n = \dim X$ y $q = h^1(X, \mathcal{O}_X) = \dim \text{Alb}(X)$. Las siguientes condiciones son equivalentes:

• (A) $\Delta_X$ es contraíble a un punto.
• (B) La imagen del mapa de diferencia $\lambda$ tiene dimensión $2n$ (es decir, $\lambda$ es genéricamente finita sobre su imagen).
• (C) La variedad de Albanese satisface $\dim \text{Alb}(X) \ge 2n$, y para toda subvariedad abeliana $B \subset \text{Alb}(X)$ y un punto general $a$, $\dim B \ge 2 \dim((B+a) \cap \text{alb}(X))$.
• (D) Dos puntos generales de $X$ imponen condiciones independientes sobre el haz de cotangentes holomorfas $\Omega^1_X$. Equivalentemente, el mapa de evaluación $H^0(\Omega^1_X) \to \Omega^1_{X,x} \oplus \Omega^1_{X,y}$ es sobreyectivo para $x, y$ generales.

Los autores aclaran que la condición (C) es estrictamente más fuerte que la mera "no degeneración" de la imagen de Albanese; requiere una "no degeneración geométrica" específica relativa a las subvariedades abelianas.

2. Contracción a dimensiones superiores (Teorema 1.6)
Para las contracciones a una variedad de dimensión $m < n$, el artículo proporciona una condición necesaria y suficiente: debe existir un morfismo dominante $\pi: X \to W$ (donde $\dim W = m$) tal que para una fibra general $X_p$, la restricción del mapa de diferencia $\lambda$ a $X_p \times X_p$ sea genéricamente finita sobre su imagen.

3. Isomorfismo fuera de la diagonal (Teorema 1.8)
Los autores abordan la variante más fuerte donde la contracción es un isomorfismo fuera de la diagonal. Demuestran que esto ocurre si y solo si el morfismo de Albanese es finito y biracional sobre su imagen, y el mapa de diferencia restringido a la imagen de Albanese es finito fuera de la diagonal. Esto implica que la intersección de la imagen de Albanese con sus traslados debe ser de dimensión cero.

4. No contraibilidad en productos superiores (Teorema 1.9)
El artículo demuestra que para cualquier variedad proyectiva suave $X$ con $\dim X > 0$ y $n \ge 3$, es imposible contraer simultáneamente todas las diagonales por pares $\Delta_{ij} \subset X^n$ a puntos mediante un único morfismo biracional.

Ejemplos y clasificación

• Curvas: La diagonal de una curva $C$ es contraíble si y solo si la género $g \ge 2$.
• Superficies: La diagonal de una superficie $S$ es contraíble a un punto solo si $S$ es de tipo general (Corolario 2.7). El artículo clasifica las superficies con $\kappa(S) \le 1$ que satisfacen las condiciones numéricas, mostrando que son cocientes de productos de curvas pero fallan en la no degeneración geométrica requerida para la contraibilidad real.
• Productos de curvas: La diagonal de un producto de curvas $C_1 \times \dots \times C_n$ (con $g_i \ge 2$) es contraíble a un punto. Más generalmente, puede ser contraída a una variedad de dimensión $t$ para cualquier $0 \le t \le n-1$.
• Subvariedades de variedades abelianas: Las subvariedades geométricamente no degeneradas $X \subset A$ con $\dim A \ge 2 \dim X$ satisfacen las condiciones de contraibilidad.

Significado y afirmaciones
Los autores afirman que la cuestión de la contraibilidad de la diagonal, aunque parece compleja, es fundamentalmente equivalente a las propiedades del morfismo de Albanese. Corrigen una suposición previa en su propio trabajo (y potencialmente en la literatura) de que la dimensión de la imagen de la variedad de Albanese por sí sola ($q \ge 2n$) es suficiente; demuestran que la interacción con las subvariedades abelianas (Condición C) es necesaria cuando la variedad de Albanese no es simple.

El artículo enfatiza que la imagen $Y$ de tal contracción es típicamente singular a lo largo de la imagen de la diagonal, citando resultados generales sobre la falta de suavidad de tales contracciones. El trabajo conecta la positividad del ciclo $[\Delta_X]$ y el haz $\Omega^1_X$ con la existencia de estos mapas biracionales, mostrando que mientras la amplitud de $\Omega^1_X$ no es ni necesaria ni suficiente, las propiedades de generación global en pares de puntos son centrales.

Los autores concluyen señalando que el mapa de diferencia hacia la Jacobiana (o de Albanese) es esencialmente el morfismo único que contrae la diagonal en casos específicos (por ejemplo, cuando la contracción es un isomorfismo fuera de la diagonal), aunque dejan abierta la cuestión de si esta unicidad se mantiene generalmente para todas las contracciones genéricamente finitas.