A surface with representable $\text{CH}_{0}$-group but no universal zero-cycle

Este artigo constrói uma superfície projetiva complexa lisa cujo grupo de Chow de 0-ciclos é representável, mas que não admite um 0-ciclo universal, fornecendo um análogo bidimensional ao contraexemplo de Voisin e, como consequência, exibindo a primeira variedade projetiva lisa tridimensional de dimensão de Kodaira zero com uma classe de Hodge não algébrica de grau 4.

O essencial

Imagine que você tem um mundo de formas geométricas complexas, chamadas "variedades". Dentro desse mundo, existem objetos chamados "ciclos de dimensão zero". Para simplificar, pense neles como pontos espalhados por essa superfície.

Os matemáticos adoram agrupar esses pontos. Eles perguntam: "Se eu juntar todos esses pontos de uma certa maneira, consigo criar um 'mapa mestre' que me diz exatamente onde tudo está?"

Este mapa mestre é chamado de 0-ciclo universal. É como se fosse um "GPS perfeito" para a superfície: se você tiver esse GPS, você consegue navegar por toda a geometria do lugar de forma organizada e previsível.

O Grande Mistério

Por muito tempo, os matemáticos achavam que, se uma superfície tivesse uma propriedade especial chamada "grupo de Chow representável" (o que significa que seus pontos podem ser organizados de forma muito limpa e finita), ela automaticamente teria esse GPS perfeito (o 0-ciclo universal).

Era como se dissessem: "Se a sua sala está perfeitamente arrumada (representável), então você deve ter um mapa do tesouro que mostra onde cada móvel está (universal)."

Mas o autor deste artigo, Theodosios Alexandrou, descobriu que isso não é verdade.

A Descoberta: A Sala Arrumada sem o Mapa

Alexandrou construiu um exemplo de uma superfície geométrica (um tipo específico de "superfície bielíptica", que é como uma mistura de duas curvas elípticas, parecidas com o formato de uma rosquinha) que é perfeitamente arrumada (seu grupo de pontos é "representável"), mas não tem o GPS universal.

É como se você entrasse em uma sala onde todos os móveis estão perfeitamente alinhados e organizados, mas, por algum motivo mágico e estranho, não existe nenhum mapa que consiga descrever a posição de todos eles simultaneamente de forma perfeita. Você sabe que eles estão lá e sabe como organizá-los, mas o "mapa mestre" simplesmente não existe.

Como ele fez isso? (A Analogia da Quebra)

Para provar que esse mapa não existe, o autor usou uma técnica engenhosa chamada "degeneração".

Imagine que você tem uma peça de cerâmica perfeita (a superfície). Em vez de tentar analisar a peça inteira de uma vez, você a coloca em um forno e a faz se "quebrar" lentamente em pedaços menores, mas ainda conectados, como uma cadeia de elos.

1. O Processo: Ele imaginou essa superfície se transformando em uma cadeia de duas outras superfícies menores que se tocam.
2. O Problema: Ele mostrou que, quando a superfície se quebra nesses pedaços, as "partes" que compõem o GPS (os mapas das pequenas superfícies) não conseguem se juntar para formar o GPS da superfície inteira.
3. O Bloqueio: A matemática por trás disso envolve números e simetrias muito específicas (relacionados a curvas elípticas com propriedades especiais). Ele provou que, devido a essas simetrias, é matematicamente impossível costurar as partes quebradas de volta para formar o GPS perfeito.

Por que isso é importante?

Além de resolver um quebra-cabeça sobre o GPS (o 0-ciclo universal), essa descoberta tem uma consequência gigante para outra área da matemática chamada Conjectura de Hodge Integral.

Pense na Conjectura de Hodge como uma regra que diz: "Toda forma geométrica que você pode desenhar com matemática pura (classe de Hodge) pode ser construída com blocos de pedra reais (ciclos algébricos)".

Até agora, sabíamos que essa regra falhava em casos muito estranhos e "pequenos" (como quando os blocos de pedra eram apenas "fantasmas" ou torsos). Mas Alexandrou mostrou que essa regra falha em um caso sólido e real (não-torsion).

Ele criou um objeto tridimensional (uma "tridimensionalidade" feita de uma superfície e uma curva) onde existe uma forma geométrica perfeitamente definida pela matemática, mas que não pode ser construída com blocos de pedra reais. É como ter o desenho perfeito de uma escultura, mas descobrir que é impossível esculpi-la em mármore, não por falta de habilidade, mas porque a própria natureza da pedra não permite.

Resumo em uma frase

O autor descobriu uma forma geométrica que é perfeitamente organizada, mas que, por uma falha na sua estrutura interna, não possui um "mapa mestre" universal, e usou isso para provar que existem formas matemáticas perfeitas que nunca poderão ser construídas na realidade física.

É como encontrar uma casa perfeitamente simétrica onde, no entanto, é impossível desenhar um plano único que explique a posição de todas as janelas ao mesmo tempo.

Resumo técnico

Resumo Técnico: Uma Superfície com Grupo CH₀ Representável, mas sem Ciclo Zero Universal

1. O Problema e o Contexto

O artigo aborda uma questão fundamental na geometria algébrica complexa relacionada à teoria dos ciclos algébricos e à conjectura de Hodge integral. O foco central é a existência de um ciclo zero universal em variedades projetivas suaves.

• Definição de Ciclo Zero Universal: Uma variedade projetiva suave $X$ admite um ciclo zero universal se existir um ciclo $[\Gamma] \in CH_d(\text{Alb}(X) \times X)$ tal que o morfismo induzido $\psi(\text{Alb}(X), [\Gamma]): \text{Alb}(X) \to \text{Alb}(X)$ seja a identidade.
• O Grupo CH₀ Representável: Diz-se que o grupo de Chow de ciclos de dimensão zero ($CH_0(X)$) é representável se o mapa de Abel-Jacobi $\alpha_X: CH_0(X)_{hom} \to \text{Alb}(X)$ for um isomorfismo.
• A Questão de Colliot-Thélène: Recentemente, Colliot-Thélène questionou se a existência de um ciclo zero universal persiste sob a condição de que $CH_0(X)$ seja representável.
• Antecedentes: Voisin construiu recentemente um contraexemplo em dimensão 3 (uma variedade tri-dimensional) que possui $CH_0$ representável, mas não admite ciclo zero universal.
• A Questão Aberta (Questão 1.2): Existe uma superfície (dimensão 2) projetiva suave com $CH_0$ representável que não admite um ciclo zero universal?

2. Metodologia e Abordagem

O autor desenvolve uma nova obstrução geométrica baseada em técnicas de degeneração semiestável e propriedades de morfismos de Albanese.

• Estratégia de Degeneração: Em vez de degenerar a curva elíptica subjacente (como em trabalhos anteriores de Benoist e Ottem), o autor degenera a própria superfície $S$. Ele constrói uma família plana e regular $S \to \Delta$ (onde $\Delta = \text{Spec } k[[t]]$) tal que:
  • A fibra genérica geométrica $S_K$ é uma superfície bielíptica de tipo 2.
  • A fibra especial $S_0$ é um divisor com interseções normais simples reduzidas, cuja estrutura dual é uma cadeia de superfícies.
• Obstrução via Morfismos de Albanese: O teorema central (Teorema 3.1) estabelece que, se a fibra genérica admitisse um ciclo zero universal, então a soma dos morfismos de Albanese induzidos pelas componentes irredutíveis da fibra especial deveria admitir uma seção (um inverso à esquerda).
• Análise de Superfícies Bielipticas: O autor foca em superfícies bielípticas de Tipo 2. Estas são quocientes de produtos de curvas elípticas por grupos finitos. A chave é analisar a estrutura do grupo de Néron-Severi e os morfismos de recobrimento étale associados às fibras da fibração de Albanese.
• Condições sobre a Curva Elíptica: A construção depende de propriedades aritméticas da curva elíptica $E$ (o Albanese da superfície), especificamente que o anel de endomorfismos $\text{End}(E)$ seja isomorfo a $\mathbb{Z}$ ou seja uma ordem maximal em um corpo de Heegner (exceto $\mathbb{Q}(\sqrt{-7})$).

3. Resultados Principais

Teorema 1.3 (Resultado Principal):
Existe uma superfície projetiva suave $S$ sobre $\mathbb{C}$ tal que:

1. O grupo de Chow $CH_0(S)$ é representável (o mapa de Abel-Jacobi é um isomorfismo).
2. $S$ não admite um ciclo zero universal.
3. O Albanese de $S$ é isomorfo a uma curva elíptica $E$, onde $E$ satisfaz uma das condições:
   • $\text{End}(E) \cong \mathbb{Z}$; ou
   • $E$ tem multiplicação complexa pela ordem maximal de um corpo de Heegner $\mathbb{Q}(\sqrt{-c})$, com $c \in \{1, 2, 3, 11, 19, 43, 67, 163\}$.

Mecanismo da Obstrução (Teorema 1.4 e 4.1):
O autor constrói explicitamente uma degeneração de uma superfície bielíptica de tipo 2.

• A fibra especial consiste em duas superfícies regradas elípticas $R_1$ e $R_2$ que se intersectam em uma curva elíptica suave $C$.
• Os morfismos de Albanese das componentes, $\text{alb}_i: \text{Alb}(R_i) \to E$, induzem morfismos de recobrimento étale de grau 2.
• Sob as condições aritméticas em $E$, a soma desses morfismos $\text{alb}_1 + \text{alb}_2: \text{Alb}(R_1) \times \text{Alb}(R_2) \to E$ não admite seção.
• Pelo Teorema 3.1, a ausência de seção na fibra especial implica a inexistência de ciclo zero universal na fibra genérica.

Corolário 1.5 (Falha da Conjectura de Hodge Integral):
Como consequência direta, o autor demonstra a falha da conjectura de Hodge integral para 1-ciclos em uma variedade tridimensional $X = E \times S$.

• Existe uma classe de Hodge integral não nula em $H^4(E \times S, \mathbb{Z})$ que não é algébrica.
• Diferentemente dos contraexemplos anteriores de Benoist e Ottem (que envolviam classes de torção), a classe encontrada aqui é não-torção.

4. Contribuições Chave

1. Resolução da Questão 1.2: O artigo fornece a primeira resposta afirmativa para a existência de uma superfície (dimensão 2) com $CH_0$ representável sem ciclo zero universal, completando o quadro iniciado por Voisin em dimensão 3.
2. Nova Obstrução Geométrica: Introduz um critério de obstrução baseado na não-existência de seções para somas de morfismos de Albanese em degenerações semiestáveis, aplicável a variedades com $CH_0$ representável.
3. Conexão com Multiplicação Complexa: Demonstra como propriedades aritméticas finas de curvas elípticas (corpos de Heegner) influenciam a geometria global de superfícies de dimensão superior e a validade de conjecturas sobre ciclos algébricos.
4. Contraexemplo de Hodge Não-Torção: Fornece um exemplo de falha da conjectura de Hodge integral em uma variedade de dimensão 3 com fibrado canônico de torção (Kodaira dimensão zero), onde a obstrução é uma classe de Hodge não-torção, diferenciando-se de exemplos anteriores baseados em torção.

5. Significado e Impacto

Este trabalho é significativo por várias razões:

• Dimensão 2: Estabelece que o fenômeno de "representabilidade de $CH_0$ sem ciclo universal" não é um artefato de dimensões altas (como em 3-folds), mas ocorre já em superfícies, o que é surpreendente dado o comportamento bem-comportado de superfícies em muitos outros contextos.
• Limites da Conjectura de Hodge: Reforça que a conjectura de Hodge integral falha em variedades com geometria relativamente simples (Kodaira dimensão zero), sugerindo que a obstrução é mais profunda do que apenas a presença de torção ou singularidades complexas.
• Técnicas de Degeneração: A metodologia de usar degenerações de superfícies bielípticas para estudar propriedades de ciclos em variedades suaves abre novas portas para a construção de contraexemplos em geometria algébrica.

Em suma, o artigo de Alexandrou resolve uma questão aberta recente, introduz novas ferramentas de obstrução e expande o conhecimento sobre as limitações da teoria de ciclos algébricos e da conjectura de Hodge integral em variedades complexas.