🔢 mathematics

Varieties with representable CH_0-group and a question of Colliot-Thélène

Este artigo responde a uma questão formulada por Colliot-Thélène ao construir uma variedade projetiva suave com um grupo CH₀ representável que carece de um ciclo 0 universal, utilizando um contraexemplo à conjectura de Hodge integral fornecido por Benoist e Ottem.

Autores originais: Claire Voisin

Publicado 2026-07-08

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Claire Voisin

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você está tentando organizar uma festa massiva e complexa, onde cada convidado representa um ponto específico em uma forma geométrica (uma "variedade"). Matemáticos tentam há muito tempo descobrir se existe uma "lista de convidados" ou um "mapa de assentos" perfeito e universal que possa descrever como esses pontos se relacionam entre si de uma forma específica e organizada.

Este artigo, escrito pela matemática Claire Voisin, resolve um enigma que outro matemático, Jean-Louis Colliot-Thélène, vinha se perguntando há algum tempo.

Aqui está o detalhamento da história, do problema e da solução, usando analogias simples.

Os Personagens Principais e o Objetivo

1. O "Mapa de Albanese" (O Organizador da Festa)
Imagine que sua forma geométrica é um edifício enorme e complexo. O "mapa de Albanese" é como um sistema de elevadores especial que pega qualquer ponto no edifício e o envia para uma sala de controle central (chamada de variedade de Albanese). Esta sala de controle é um espaço muito organizado e suave (como um toro ou o formato de uma rosquinha/donut) que captura os "loops" e conexções essenciais do edifício.

2. O "0-Ciclo Universal" (A Lista de Convidados Perfeita)
Os matemáticos querem saber: Existe uma única e perfeita "lista de convidados" (um objeto matemático chamado 0-ciclo universal) que vive na sala de controle? Se essa lista existir, significa que você pode pegar qualquer localização na sala de controle e usar essa lista para reconstruir perfeitamente um conjunto correspondente de pontos de volta no edifício original. É como ter uma chave mestra que pode desbloquear qualquer configuração específica de convidados.

3. O "Grupo CH0 Representável" (A Multidão Organizada)
Às vezes, a multidão de pontos no edifício é tão bem comportada que o sistema de elevadores (o mapa de Albanese) é uma correspondência perfeita de um para um. Cada ponto na sala de controle corresponde exatamente a um grupo único de pontos no edifício e vice-versa. Quando isso acontece, dizemos que o grupo é "representável".

A Grande Pergunta

Por muito tempo, os matemáticos sabiam duas coisas:

Alguns edifícios têm uma "multidão perfeita" (grupo representável).
Alguns edifícios não possuem uma "lista de convidados mestra" (sem 0-ciclo universal).

Mas eles não sabiam se essas duas coisas poderiam acontecer ao mesmo tempo.
A Pergunta: É possível ter um edifício onde a multidão é perfeitamente organizada (representável), mas você ainda assim não consegue encontrar uma única lista de convidados mestra (sem um 0-ciclo universal)?

A maioria das pessoas suspeitava que a resposta era "Não". Elas pensavam que, se a multidão fosse organizada o suficiente para ser representável, uma lista de convidados mestra deveria existir.

A Solução: Um Contraexemplo

Claire Voisin diz: "Sim, é possível."

Ela constrói um edifício geométrico específico de três dimensões (um "threefold") que quebra a regra.

A Multidão: Os pontos neste edifício são perfeitamente organizados. O sistema de elevadores funciona perfeitamente (o grupo é representável).
A Lista Ausente: Apesar dessa organização perfeita, não existe uma lista de convidados mestra que possa descrever todos os pontos de uma só vez.

Como Ela Construiu Isso (A Receita)

Para construir este edifício estranho, Voisin usou uma receita inteligente envolvendo outras duas formas:

Uma Superfície K3: Pense nisso como uma folha 2D muito complexa e plana com uma simetria especial (como um padrão que se repete, mas que também inverte).
Uma Curva Elíptica: Pense nisso como um loop simples ou uma forma de donut.

Ela pegou essas duas formas, torceu-as juntas e, em seguida, aplicou uma operação de "dobra" (uma simetria matemática) que colou certas partes. O resultado é uma nova forma 3D.

Por que esta forma não tem uma lista mestra?
A prova baseia-se numa conexão profunda com um problema famoso não resolvido na matemática chamado Conjectura de Hodge Integral.

Imagine tentar construir um muro usando tijolos específicos. A Conjectura de Hodge pergunta: "Se um muro parece ser feito de tijolos (matematicamente falando), ele é realmente feito de tijolos?"
No exemplo de Voisin, o "muro" (a geometria da forma) parece que deveria ser construível com tijolos, mas acaba sendo impossível de construir usando os "tijolos" (ciclos algébricos) disponíveis.
Como os "tijolos" não se encaixam para formar o muro, a "lista de convidados mestra" (o 0-ciclo universal) não pode existir, embora a multidão seja, de outra forma, perfeitamente organizada.

A Pista do "Índice"

O artigo também discute um conceito chamado "índice".

Imagine que você está tentando cobrir um chão com azulejos. Se o seu chão tem 3 metros de largura e seus azulejos têm 1 metro de largura, você precisa de 3 azulejos. Se o seu chão tem 3 metros de largura e seus azulejos têm 1 metro de largura, você não pode cobri-lo perfeitamente sem cortá-los.
No exemplo de Voisin, os "azulejos" (as peças geométricas que ela usa para construir a lista) não se encaixam perfeitamente no "chão". O "índice" é 2, o que significa que há um pequeno descompasso que impede a criação da lista universal.

A Conclusão

Este artigo prova que organização perfeita não garante uma chave mestra.

Voisin mostrou que você pode ter um mundo geométrico onde os pontos são perfeitamente mapeados para um centro de controle, mas o "projeto" fundamental (o 0-ciclo universal) necessário para reconstruir esses pontos a partir do centro simplesmente não existe. Isso responde à pergunta de Colliot-Thélène com um "Sim" definitivo ("Tal coisa existe") e o faz usando um contraexemplo a uma teoria profunda sobre como as formas são construídas a partir de partes menores.

Resumo Técnico: Variedades com Grupo $CH_0$ Representável e uma Questão de Colliot-Thélène

Enunciado do Problema
O artigo aborda uma questão específica formulada por Colliot-Thélène a respeito da relação entre a representabilidade do grupo de Chow de ciclos de dimensão zero ( $CH_0$ ) e a existência de um "ciclo 0 universal" em variedades complexas suaves projetivas.

Seja $X$ uma variedade suave projetiva. Diz-se que o grupo $CH_0(X)$ é representável se o morfismo de Albanese $a_X: CH_0(X)_{hom} \to Alb(X)$ for um isomorfismo. Um ciclo 0 universal para $X$ é definido como um ciclo de codimensão $n$ , $\Gamma \in CH_n(Alb(X) \times X)$ (onde $n = \dim X$ ), tal que para qualquer $t \in Alb(X)$ , a composição $a_X \circ \Gamma^* (\{t\} - \{0\})$ seja igual a $t$ em $Alb(X)$.

Embora se saiba que existem variedades sem ciclos 0 universais (por exemplo, certas superfícies construídas em trabalho anterior do autor) e que existem variedades com grupos $CH_0$ representáveis, era uma questão aberta se essas duas propriedades seriam mutuamente exclusivas. Especificamente, Colliot-Thélène perguntou: Existe uma variedade complexa suave projetiva $X$ com um grupo $CH_0$ representável que não admite um ciclo 0 universal?

Metodologia e Estrutura Teórica
O autor aborda este problema analisando as restrições geométricas impostas pela representabilidade de $CH_0$ .

Redução Geométrica: Utilizando o teorema de Mumford, o artigo estabelece que, se $CH_0(X)$ é representável e $Alb(X)$ é não trivial, o mapa de Albanese de $X$ fatora através de uma curva suave projetiva $C$ . Especificamente, existe um morfismo dominante $\phi: X \to C$ tal que $Alb(X) \cong J(C)$ .
Índice de Morfismos: A existência de um ciclo 0 universal está ligada ao índice do morfismo $\phi: X \to C$ . O índice é definido como o máximo divisor comum dos graus de subvariedades irredutíveis de $X$ que dominam $C$ . O artigo prova que, se este índice for 1, um ciclo 0 universal existe.
Conexão com a Teoria de Hodge: A não existência de um ciclo 0 universal é mostrada como equivalente à não-algebraicidade de uma classe de Hodge específica $\gamma_X \in H^{2n}(Alb(X) \times X, \mathbb{Z})_{tf}$ (módulo torção). Esta classe surge da decomposição de Künneth da diagonal. Assim, construir um contraexemplo requer encontrar uma variedade onde esta classe específica não seja algébrica, fornecendo um contraexemplo para a conjectura de Hodge integral módulo torção.
Construção do Contraexemplo: A construção baseia-se em um contraexemplo à conjectura de Hodge integral fornecido por Benoist e Ottem. O autor constrói uma 3-variedade $X$ como um quociente de um produto $E \times S$ , onde $E$ é uma curva elíptica e $S$ é uma superfície K3 equipada com uma involução antissimétrica sem pontos fixos $g$ .

Contribuições Principais e Resultados

Teorema 1.4 (Resultado Principal): O artigo prova a existência de uma 3-variedade suave projetiva $X$ tal que $CH_0(X)$ é representável, mas $X$ não admite um ciclo 0 universal. Isto fornece uma resposta afirmativa à questão de Colliot-Thélène.
- Construção: $X = (E \times S) / (t_\xi, g)$ , onde $E$ é uma curva elíptica com uma translação $t_\xi$ de ordem 2, e $S$ é uma superfície K3 com uma involução sem pontos fixos $g$ . O quociente é uma superfície de Enriques $\Sigma = S/g$ e uma curva elíptica quociente $E_\xi = E/t_\xi$ .
- Representabilidade: O morfismo $p_{E_\xi}: X \to E_\xi$ induz um isomorfismo em $CH_0$ , provando a representabilidade.
- Não existência de Ciclo 0 Universal: A prova demonstra que, se um ciclo 0 universal existisse, isso implicaria a existência de uma correspondência $\Gamma_\Sigma \in CH_1(E_\xi \times \Sigma)$ satisfazendo uma condição cohomológica específica envolvendo as coberturas étale duplas. Esta condição mostra-se impossível para uma escolha geral de parâmetros, baseando-se em resultados de Benoist e Ottem sobre classes de curvas de torção não algébricas.
Proposição 2.2: O artigo estabelece uma equivalência entre a existência de um ciclo 0 universal e a algebraicidade do projetor de Künneth $\delta_1$ em $X \times X$ , desde que a variedade de Albanese seja um somando direto no Jacobiano de uma curva. Isto liga a propriedade geométrica à estrutura motívica de $X$ .
Proposição 2.7: Prova-se que, se o mapa de Albanese fatora através de uma curva $C$ com índice 1, um ciclo 0 universal existe. O artigo nota que o inverso não é verdadeiro, fornecendo um exemplo de uma superfície com índice $d > 1$ que ainda assim admite um ciclo 0 universal.
Proposição 3.5: O autor fornece uma prova curta e uma generalização leve de um resultado de Benoist e Ottem, afirmando que, para uma variedade suave projetiva $W$ e uma classe não nula $\beta \in H^1(W, \mathbb{Z}/k)$ , existem apenas muitas curvas elípticas $E$ que admitem uma correspondência $\Gamma$ tal que $[\Gamma]^*\beta \neq 0$ . Este lema técnico é crucial para garantir a não existência da correspondência necessária na construção principal.
Análise de Superfícies (Seção 4): O artigo investiga superfícies com $p_g=0$ e $q \neq 0$ . Mostra que, se tal superfície for um quociente de um produto de curvas por um grupo cíclico, o índice da fibração de Albanese é 1, o que implica a existência de um ciclo 0 universal. Isto contrasta com o exemplo da 3-variedade, destacando a natureza restritiva do contraexemplo.

Significância e Alegações
O artigo afirma resolver uma questão específica na geometria de ciclos de dimensão zero ao demonstrar que a propriedade de ter um grupo $CH_0$ representável não garante a existência de um ciclo 0 universal.

A construção baseia-se no fato de que a variedade $X$ possui torção em sua cohomologia de Betti integral. Consequentemente, a não existência de um ciclo 0 universal para $X$ produz um contraexemplo para a conjectura de Hodge integral módulo torção para classes de curvas (classes de homologia de Hodge de grau 2) na 4-variedade $Alb(X) \times X$ .

O autor observa que as suposições do teorema principal são "geometricamente muito restritivas", pois a representabilidade de $CH_0$ força a variedade de Albanese a ser isomórfica ao Jacobiano de uma curva. O artigo não pretende construir exemplos sem torção na cohomologia de Betti integral, deixando isso como uma investigação aberta. O trabalho serve para esclarecer as distinções sutis entre representabilidade, a estrutura do mapa de Albanese e a conjectura de Hodge integral.