Unirationality is the same thing as Rational Connectedness in Characteristic Zero

Resumo Técnico: Uniracionalidade e Conectividade Racional em Característica Zero

Enunciado do Problema
O artigo aborda uma questão fundamental na geometria algébrica referente à relação entre a uniracionalidade e a conectividade racional para variedades projetivas suaves sobre um corpo $k$ de característica zero. Embora seja bem estabelecido que variedades racionais são uniracionais, e variedades uniracionais são racionalmente conectadas (e racionalmente conexas por cadeias), as implicações inversas têm sido historicamente sutis.

• Uniracionalidade é definida como a existência de um mapa racional dominante, finitamente genérico, $\mathbb{P}^n_k \dashrightarrow Z$.
• Conectividade Racional é definida pela existência de um mapa racional dominante $\mathbb{P}^1_k \times M \dashrightarrow Z$ tal que o mapa induzido nos pares é dominante.
• Conectividade Racional por Cadeias exige que quaisquer dois pontos sejam conectados por uma cadeia de curvas racionais.

Em característica zero, variedades suavemente conexas por cadeias racionais são racionalmente conectadas. No entanto, a questão permanece se toda variedade racionalmente conectada é uniracional. Contraexemplos anteriores, como a tríade cúbica suave (Clemens-Griffiths), demonstraram que a uniracionalidade não implica racionalidade (ser biracional a $\mathbb{P}^n$). O artigo busca determinar se a condição mais fraca de conectividade racional é equivalente à uniracionalidade para variedades projetivas suaves em característica zero, distinta da condição mais forte de racionalidade.

Metodologia
O autor emprega a teoria da fibração MRC (Máxima Racionalmente Conectada), originalmente estabelecida por Campana, Kollár, Miyaoka e Mori. A estratégia central envolve a construção de uma variedade intermediária específica, denotada $MU(X)$, para fazer a ponte entre a variedade $X$ e o quociente MRC.

1. Construção de $MU(X)$: O artigo prova a existência de uma variedade $MU(X)$ equipada com mapas racionais $\pi: X \dashrightarrow MU(X)$ e $\lambda: MU(X) \dashrightarrow MRC(X)$ satisfazendo três condições:

   • A composição $\lambda \circ \pi$ recupera a fibração MRC $\nu: X \dashrightarrow MRC(X)$.
   • As fibras muito gerais de $\pi$ são uniracionais.
   • As fibras muito gerais de $\lambda$ são racionalmente conectadas, mas não uniracionais.

2. Argumento Indutivo: A prova utiliza uma indução sobre a dimensão da variedade. O autor estabelece que, se $X$ é racionalmente conectada, então $MRC(X)$ é um ponto (especificamente $\text{Spec}(k)$). Consequentemente, $MU(X)$ torna-se a fibra muito geral de $\lambda$.

   • Se $MU(X)$ possui dimensão positiva, a hipótese de indução (aplicada a variedades racionalmente conectadas de dimensão inferior) implicaria que $MU(X)$ é uniracional.
   • No entanto, por construção, as fibras de $\lambda$ não são uniracionais.
   • Esta contradição força $MU(X)$ a ser um ponto, implicando que as fibras de $\pi$ (que são o próprio $X$ neste caso) devem ser uniracionais.

3. Aplicação do Lema de Zorn: Para garantir a existência de uma fibração uniracional "máxima", o autor ordena o conjunto de mapas racionais com fibras uniracionais pela inclusão de seus corpos de funções. Usando o Lema de Zorn, o autor demonstra a existência de um elemento único (até equivalência biracional), que serve como $MU(X)$.

Principais Contribuições e Resultados

• Teorema de Equivalência: O resultado principal (Teorema 9) prova que, para qualquer variedade projetiva suave $X$ sobre um corpo $k$ de característica zero, as seguintes propriedades são equivalentes:
  1. $X$ é uniracional.
  2. $X$ é racionalmente conectada.
  3. $X$ é racionalmente conexa por cadeias.
     Nota: Esta equivalência ocorre especificamente para a relação entre uniracionalidade e conectividade racional, distinta da propriedade de racionalidade. O artigo reconhece que variedades podem ser uniracionais e racionalmente conectadas sem serem racionais (ex: a tríade cúbica suave).
• Existência de Fibração Uniracional Máxima: O artigo estabelece a existência e a unicidade (até equivalência biracional) de uma fibração uniracional máxima $\pi: X \dashrightarrow MU(X)$ para qualquer variedade projetiva suave.
• Decomposição Estrutural: O autor fornece uma decomposição estrutural de qualquer variedade projetiva suave $X$ em uma sequência de fibrações onde a "parte uniracional" é separada da "parte racionalmente conectada não uniracional". Especificamente, mostra que se o quociente MRC for trivial, a própria variedade deve ser uniracional.

Significância e Alegações
O artigo afirma resolver a equivalência entre uniracionalidade e conectividade racional para variedades projetivas suaves em característica zero. O autor observa que a conectividade racional é frequentemente mais fácil de verificar do que a uniracionalidade (por exemplo, via a existência de curvas muito livres), mas este resultado estabelece que, para variedades projetivas suaves em característica zero, as duas noções são idênticas.

O trabalho baseia-se na maquinaria da fibração MRC e na suavidade genérica em característica zero. Ele distingue explicitamente seus resultados do caso de característica positiva, onde condições de separabilidade são necessárias, e da questão da racionalidade (onde contraexemplos como a tríade cúbica existem). O artigo não pretende resolver o problema da racionalidade, mas sim esclarecer a hierarquia entre a uniracionalidade e a conectividade racional, mostrando que esta última implica a primeira no contexto especificado.