When is the diagonal contractible?

Resumo Técnico: Quando a Diagonal é Contraível?

Enunciado do Problema
Este artigo investiga as condições geométricas sob as quais a diagonal $\Delta_X \subset X \times X$ de uma variedade complexa projetiva suave $X$ pode ser contraída via um morfismo biracional $\pi: X \times X \to Y$ para uma subvariedade de dimensão menor. Especificamente, os autores abordam duas questões primordiais:

1. Contração de Ponto: Quando existe um morfismo projetivo biracional tal que $\pi(\Delta_X)$ é um único ponto?
2. Contração Geral: Quando existe uma contração onde $\dim \pi(\Delta_X) = m < \dim X$?

Os autores observam que, embora o caso $\dim X = 1$ (curvas) seja clássico, o caso de dimensões superiores depende de propriedades sutis de positividade de $X$. O artigo visa resolver isso vinculando a contraibilidade da diagonal às propriedades do morfismo de Albanese.

Metodologia
A metodologia central baseia-se na interação entre a geometria de $X$, sua variedade de Albanese $A = \text{Alb}(X)$, e o mapa de diferença induzido. Os autores utilizam as seguintes ferramentas estruturais:

• O Mapa de Diferença: Eles definem o mapa $\lambda: X \times X \to A$ por $\lambda(x_1, x_2) = \text{alb}(x_1) - \text{alb}(x_2)$, onde $\text{alb}: X \to A$ é o morfismo de Albanese.
• Teoria de Divisores e Números de Interseção: As provas utilizam a teoria de divisores big e semi-ámelos. Ao assumir que uma contração existe, os autores constroem um divisor $D$ em $X \times X$ que é big e nef, mas que se anula na diagonal (ou em sua imagem).
• Decomposição de Künneth e Grupos de Picard: Um passo técnico crucial envolve a decomposição de divisores em $X \times X$ usando a fórmula de Künneth. O Lema 3.2 estabelece que qualquer divisor em $\text{Pic}_{\mathbb{Q}}(X \times X)$ pode ser escrito como uma soma de pullbacks de $X$ e um pullback da variedade de Albanese $A \times A$. Isso permite que os autores relacionem a positividade de divisores em $X \times X$ à geometria da imagem de Albanese.
• Simetrização: Para lidar com a simetria do produto $X \times X$, os autores frequentemente simetrizam divisores (usando a involução $\sigma(x_1, x_2) = (x_2, x_1)$) para derivar contradições ou condições necessárias em relação à dimensão da imagem de $\lambda$.

Contribuições Principais e Resultados

1. Caracterização da Contração de Ponto (Teorema 1.4)
O artigo estabelece que a diagonal $\Delta_X$ é contraível a um ponto se, e somente se, um conjunto de condições equivalentes for satisfeito, envolvendo primariamente o morfismo de Albanese. Seja $n = \dim X$ e $q = h^1(X, \mathcal{O}_X) = \dim \text{Alb}(X)$. As seguintes condições são equivalentes:

• (A) $\Delta_X$ é contraível a um ponto.
• (B) A imagem do mapa de diferença $\lambda$ tem dimensão $2n$ (ou seja, $\lambda$ é genericamente finito sobre sua imagem).
• (C) A variedade de Albanese satisfaz $\dim \text{Alb}(X) \ge 2n$, e para toda subvariedade abeliana $B \subset \text{Alb}(X)$ e ponto geral $a$, $\dim B \ge 2 \dim((B+a) \cap \text{alb}(X))$.
• (D) Dois pontos gerais de $X$ impõem condições independentes sobre o feixe cotangente holomorfo $\Omega^1_X$. Equivalentemente, o mapa de avaliação $H^0(\Omega^1_X) \to \Omega^1_{X,x} \oplus \Omega^1_{X,y}$ é sobrejetor para $x, y$ gerais.

Os autores esclarecem que a condição (C) é estritamente mais forte do que a mera "não-degenerescência" da imagem de Albanese; ela requer uma "não-degenerescência geométrica" específica em relação às subvariedades abelianas.

2. Contração para Dimensões Superiores (Teorema 1.6)
Para contrações para uma variedade de dimensão $m < n$, o artigo fornece uma condição necessária e suficiente: deve existir um morfismo dominante $\pi: X \to W$ (onde $\dim W = m$) tal que, para uma fibra geral $X_p$, a restrição do mapa de diferença $\lambda$ a $X_p \times X_p$ é genericamente finita sobre sua imagem.

3. Isomorfismo Fora da Diagonal (Teorema 1.8)
Os autores abordam a variante mais forte onde a contração é um isomorfismo fora da diagonal. Eles provam que isso ocorre se, e somente se, o morfismo de Albanese é finito e biracional sobre sua imagem, e o mapa de diferença restrito à imagem de Albanese é finito fora da diagonal. Isso implica que a interseção da imagem de Albanese com suas translações deve ser de dimensão zero.

4. Não-Contraibilidade em Produtos Superiores (Teorema 1.9)
O artigo prova que, para qualquer variedade projetiva suave $X$ com $\dim X > 0$ e $n \ge 3$, é impossível contrair simultaneamente todas as diagonais pares $\Delta_{ij} \subset X^n$ para pontos através de um único morfismo biracional.

Exemplos e Classificação

• Curvas: A diagonal de uma curva $C$ é contraível se, e somente se, o gênero $g \ge 2$.
• Superfícies: A diagonal de uma superfície $S$ é contraível a um ponto apenas se $S$ for de tipo geral (Corolário 2.7). O artigo classifica superfícies com $\kappa(S) \le 1$ que satisfazem as condições numéricas, mostrando que são quocientes de produtos de curvas, mas falham na não-degenerescência geométrica exigida para a contração real.
• Produtos de Curvas: A diagonal de um produto de curvas $C_1 \times \dots \times C_n$ (com $g_i \ge 2$) é contraível a um ponto. Mais genericamente, pode ser contraída para uma variedade de dimensão $t$ para qualquer $0 \le t \le n-1$.
• Subvariedades de Variedades Abelianas: Subvariedades geometricamente não-degeneradas $X \subset A$ com $\dim A \ge 2 \dim X$ satisfazem as condições de contraibilidade.

Significância e Alegações
Os autores alegam que a questão da contraibilidade da diagonal, embora aparentemente complexa, é fundamentalmente equivalente às propriedades do morfismo de Albanese. Eles corrigem uma suposição anterior em seu próprio trabalho (e potencialmente na literatura) de que a dimensão da imagem de Albanese sozinha ($q \ge 2n$) seria suficiente; eles demonstram que a interação com subvariedades abelianas (Condição C) é necessária quando a variedade de Albanese não é simples.

O artigo enfatiza que a imagem $Y$ de tal contração é tipicamente singular ao longo da imagem da diagonal, citando resultados gerais sobre a não-suavidade de tais contrações. O trabalho conecta a positividade do ciclo $[\Delta_X]$ e do feixe $\Omega^1_X$ à existência desses mapas biracionais, mostrando que, embora a amplez de $\Omega^1_X$ não seja nem necessária nem suficiente, as propriedades de geração global em pares de pontos são centrais.

Os autores concluem observando que o mapa de diferença para o Jacobiano (ou de Albanese) é essencialmente o único morfismo que contrai a diagonal em casos específicos (por exemplo, quando a contração é um isomorfismo fora da diagonal), embora deixem em aberto a questão de se essa unicidade se mantém genericamente para todas as contrações genericamente finitas.