Representability of codimension three cycles

1. Problema e Contexto

O artigo aborda uma questão fundamental na teoria dos Grupos de Chow ($CH^p(X)$) de variedades algébricas complexas: a representabilidade de ciclos algébricos algebricamente triviais.

• Definição Clássica: Um grupo $CH^p(X)_{alg}$ (ciclos de codimensão $p$ algebricamente triviais) é dito representável se existir uma curva projetiva suave $C$ e uma correspondência $\Gamma$ em $C \times X$ tal que o mapa induzido $\Gamma^*: J(C) \to CH^p(X)_{alg}$ seja sobrejetivo (onde $J(C)$ é a variedade de Jacobiana de $C$).
• Contexto Histórico:
  • Mumford provou que, para superfícies com gênero geométrico $p_g > 0$, o grupo $CH^2(S)_{alg}$ (ciclos de dimensão zero) não é representável.
  • Roitman generalizou isso para variedades de dimensão superior com formas holomorfas globais.
  • A conjectura de Bloch afirma o inverso para superfícies com $p_g = 0$, o que foi provado em vários casos, mas permanece aberto para superfícies de tipo geral.
• O Problema Específico: O autor investiga se existe uma noção análoga de representabilidade para ciclos de codimensão três em uma variedade projetiva suave de dimensão quatro (quaternas). Especificamente, o artigo busca definir e analisar a "representabilidade até dimensão dois" para o grupo $A^3(X)$ (equivalente a $CH^3(X)_{alg}$).

2. Metodologia

O autor desenvolve uma abordagem que combina a teoria de variedades de Chow, argumentos de Baire (topologia algébrica) e propriedades de birracionalidade.

• Definição de "Representabilidade Fraca até Dimensão Dois":
  O grupo $A^p(X)$ é dito fracamente representável até dimensão dois se existir um número finito de curvas $C_i$ e superfícies $S_j$, com correspondências $\Gamma_i$ e $\Gamma'_j$, tais que a soma dos mapas induzidos:
  $$\bigoplus_i A^1(C_i) \oplus \bigoplus_j A^2(S_j) \xrightarrow{\sum \Gamma} A^p(X)$$
  seja sobrejetiva. Isso generaliza a representabilidade clássica (que usa apenas curvas) permitindo o uso de superfícies.

• Conceito de "Finitude Dimensional":
  O autor introduz uma segunda noção de representabilidade baseada nas variedades de Chow $C^p_d(X)$ (que parametrizam ciclos de codimensão $p$ e grau $d$).

  • Considera-se o mapa natural $\theta^p_d: C^p_d(X) \times C^p_d(X) \to CH^p(X)$ dado por $(Z_1, Z_2) \mapsto [Z_1 - Z_2]$.
  • Define-se $A^p(X)$ como "finitamente dimensional até dimensão dois" se existir um inteiro $n > 1$ tal que a imagem da união de produtos de variedades de Chow de graus múltiplos ($\bigcup_d \text{im}(\theta^p_{nd})$) cubra todo o grupo $A^p(X)$.

• Técnicas Analíticas:

  • Uso do Teorema de Roitman-Mumford sobre a estrutura das fibras dos mapas de variedades de Chow (elas são uniões contáveis de subconjuntos fechados de Zariski).
  • Aplicação do Argumento de Baire (sobre corpos não enumeráveis) para provar que, se uma variedade irredutível é uma união contável de subvariedades próprias, deve haver uma componente que domina o espaço.
  • Análise de birracionalidade: O autor demonstra que a propriedade de ser "representável até dimensão dois" é um invariante birracional para quaternas.

3. Principais Contribuições e Resultados

A. Teorema Principal (Teorema 1.2)

Sob a hipótese de que:

1. O grupo de Chow de codimensão $p$ é gerado por subespaços lineares (o mapa de Abel-Jacobi da variedade de Fano $F(X)$ é sobrejetivo).
2. O grupo $A^p(X)$ é "finitamente dimensional" no sentido das variedades de Chow (união contável de imagens).

Resultado: Existe uma superfície projetiva suave $S$ (obtida como uma seção hiperplana da variedade de Fano $F(X)$) e uma correspondência $\Gamma$ em $S \times X$ tal que o mapa induzido $\Gamma^*: A^2(S) \to A^p(X)$ é sobrejetivo.

Isso significa que, sob essas condições, a representabilidade de ciclos de codimensão $p$ em $X$ pode ser reduzida à representabilidade de ciclos de dimensão zero em uma superfície $S$.

B. Invariante Birracional (Teorema 2.1)

O autor prova que a propriedade de $A^3(X)$ ser "representável até dimensão dois" é um invariante birracional para quaternas suaves e projetivas.

• Implicação: Se uma quaterna $X$ é racional (birracional a $\mathbb{P}^4$), então $A^3(X)$ deve ser representável até dimensão dois.
• Aplicação: Se for possível mostrar que $A^3(X)$ não é representável até dimensão dois, conclui-se que $X$ não é racional. Isso fornece uma nova ferramenta para atacar o problema da racionalidade de quaternas unirraciais (que são conhecidas por ter $A^3(X)$ trivial ou representável de forma clássica, mas não necessariamente até dimensão dois).

C. Equivalência de Conceitos (Teorema 2.6 e 2.7)

O artigo estabelece a equivalência entre:

1. $A^p(X)$ ser "finitamente dimensional até dimensão dois" (no sentido das variedades de Chow).
2. $A^p(X)$ ter "dimensão finita" (no sentido de que a dimensão da imagem dos mapas $\theta$ é limitada e constante para grandes graus).

Para quaternas suaves onde a equivalência algébrica e homológica coincidem, $A^3(X)$ é representável até dimensão dois se e somente se for finitamente dimensional até dimensão dois.

D. Aplicação a Quaternas Fano

Como aplicação, o autor mostra que para uma quaterna Fano suave $X$ onde $A^3(X)$ é gerado por diferenças de curvas racionais, o grupo $A^3(X)$ é representável até dimensão dois. Isso utiliza resultados anteriores de Totaro e Zibrowius ([TZ]).

4. Significado e Impacto

• Generalização da Teoria de Mumford-Roitman: O trabalho estende a lógica de não-representabilidade de ciclos de dimensão zero (superfícies) para ciclos de codimensão três em quaternas, introduzindo o papel crucial das superfícies na representação, além das curvas.
• Nova Ferramenta para Racionalidade: Ao estabelecer que a "representabilidade até dimensão dois" é um invariante birracional, o artigo oferece um critério potencial para distinguir variedades unirraciais de variedades racionais. Se uma variedade unirraial tiver um grupo de Chow $A^3$ que não satisfaça essa condição de representabilidade, ela não pode ser racional.
• Conexão com Variedades de Fano: O resultado conecta a geometria de ciclos em $X$ com a geometria de suas variedades de Fano (espaços de subespaços lineares), mostrando que a complexidade dos ciclos em $X$ pode ser "controlada" por ciclos em uma superfície derivada da variedade de Fano.

Em resumo, o artigo fornece uma estrutura teórica robusta para analisar a complexidade dos grupos de Chow de codimensão três em dimensão quatro, propondo uma definição de representabilidade que envolve tanto curvas quanto superfícies e demonstrando sua equivalência com propriedades de finitude dimensional nas variedades de Chow.