Resumo Técnico: Ciclos de Dimensão Zero em Superfícies Quase-Projetivas sobre Corpos p-ádicos

1. Formulação do Problema e Contexto

O artigo aborda a estrutura do grupo de Chow de ciclos de dimensão zero, $CH_0(X)$, para variedades projetivas suaves $X$ definidas sobre uma extensão finita $k$ do corpo p-ádico $\mathbb{Q}_p$. Um objeto central de estudo é a filtração de $CH_0(X)$:
$$0 \subseteq F^2(X) \subseteq F^1(X) \subseteq CH_0(X)$$
onde $F^1(X)$ é o núcleo do mapa de grau, e $F^2(X)$ é o núcleo do mapa de Albanese $alb_X: F^1(X) \to Alb_X(k)$.

Os autores focam na Conjectura de Colliot-Thélène (Conjectura 1.1), que prevê que, para tais variedades, o grupo $F^2(X)$ decompõe-se como uma soma direta de um grupo finito e um grupo divisível:
$$F^2(X) \cong F \oplus D$$
Embora esta conjectura seja conhecida para curvas (onde o mapa de Albanese é um isomorfismo) e casos específicos de produtos de curvas ou superfícies de Kummer, ela permanece aberta para superfícies gerais. Resultados anteriores de Raskind e Spiess ([RS00]) e de Saito e Sato ([SS10]) estabeleceram resultados parciais, particularmente no que diz respeito às propriedades de torção de $F^1(X)$ e $F^2(X)$ para produtos de curvas com tipos específicos de redução.

O artigo investiga também o análogo quase-projetivo deste problema. Para uma subvariedade aberta $U \subset X$, os autores substituem $CH_0(X)$ pela homologia singular de Suslin $H^{sus}_0(U)$ e consideram o núcleo $F^2(U)$ do mapa de Albanese generalizado $alb_U: F^1(U) \to Alb_U(k)$, onde $Alb_U$ é uma variedade semi-abeliana.

2. Metodologia

Os autores empregam uma abordagem multifacetada combinando cohomologia motivic, teoria dos corpos de classes e teoria de grupos algébricos:

• Cohomologia Motivica e Homologia de Suslin: Os autores utilizam a identificação da homologia de Suslin $H^{sus}_0(U)$ com grupos de cohomologia motivic $H^{2d}_{M,c}(U, \mathbb{Z}(d))$ (Teorema 2.8). Isso permite-lhes utilizar a maquinaria de complexos motivicos e o formalismo das seis functors.
• Teoria dos Corpos de Classes para Curvas: Um componente crucial é a aplicação da teoria dos corpos de classes para curvas sobre corpos p-ádicos desenvolvida por Bloch ([Blo81]) e Saito ([Sai85]). Especificamente, analisam a estrutura do grupo $SK_1(C)$ (identificado com $CH_2(C,1)$) e sua relação com o grupo fundamental étale abeliano e o módulo de Tate da Jacobiana.
• Variedades de Albanese Generalizadas: O artigo constrói e analisa a variedade de Albanese generalizada $Alb_U$ para subvariedades abertas $U = X - D$, onde $D$ é um divisor. Esta variedade é uma extensão da variedade de Albanese padrão $Alb_X$ por um toro $T$. Os autores estudam a relação entre a parte torica de $Alb_U$ e a estrutura de $SK_1(D)$ para o divisor $D$.
• Ciclos Decomponíveis: Para lidar com a "parte torica" do mapa de Albanese generalizado, os autores utilizam ciclos decomponíveis $(2,1)$. Eles mostram que a imagem do mapa do grupo de Neron-Severi tensorizado com $k^\times$ para $SK_1(D)$ é suficiente para aniquilar os componentes toricos problemáticos no núcleo do mapa.

3. Contribuições e Resultados Principais

A. Equivalência das Conjecturas Projetiva e Quase-Projetiva

O resultado técnico central é o Teorema 4.5, que estabelece uma equivalência entre a finitude da parte não divisível de $F^2$ para uma superfície projetiva e sua subvariedade aberta.

• Teorema 4.5: Seja $X$ uma superfície projetiva suave e $U$ uma subvariedade aberta densa com complemento $D$ (seja de dimensão 0 ou um divisor de interseção normal simples). Então $F^2(X_L)/F^2(X_L)_{div}$ é finito para todas as extensões finitas $L/k$ se e somente se $F^2(U_L)/F^2(U_L)_{div}$ for finito para todas as $L/k$.
• Corolário 4.9: Consequentemente, a Conjectura de Colliot-Thélène (1.1) vale para todas as superfícies projetivas suaves se e somente se seu análogo quase-projetivo (Conjectura 4.8) valer para todas as superfícies quase-projetivas suaves.

B. Transferência de Conjecturas via Mapas Racionais

Com base na equivalência acima, os autores provam o Teorema 1.2 (reafirmado como Teorema 5.2):

• Se existe um mapa racional genericamente finito $\pi: X \dashrightarrow Y$ entre superfícies projetivas suaves, e a conjectura vale para $X$ (e suas extensões finitas), então ela vale para $Y$.
• Este resultado generaliza argumentos anteriores de "empurrar para frente" usados para superfícies de Kummer para uma classe mais ampla de superfícies, desde que se possa trabalhar com subvariedades abertas para evitar singularidades na resolução do mapa.

C. Verificação para Novas Classes de Superfícies

Usando o teorema de transferência e os resultados conhecidos para produtos de curvas (Raskind-Spiess), os autores verificam a Conjectura 1.1 para várias novas classes de superfícies (Corolário 1.3 e Seção 5.2):

1. Superfícies Geometricamente Dominadas: Qualquer superfície projetiva suave $X$ que seja geometricamente dominada por um produto de curvas $C_1 \times C_2$, desde que as Jacobianas de $C_1$ e $C_2$ tenham uma mistura de redução ordinária boa e multiplicativa dividida.
2. Fibrados Isotriviais: Isso inclui superfícies elípticas isotriviais e uma ampla classe de superfícies K3 admitindo automorfismos não simpléticos (que são frequentemente resoluções de quocientes de produtos de curvas).
3. Quadrados Simétricos: O quadrado simétrico $Sym^2(C)$ de uma curva de gênero 2 $C$ (e a superfície abeliana associada $J_C$) sob as suposições de redução.
4. Superfícies de Fermat: Hipersuperfícies diagonais $X_m \subset \mathbb{P}^3$ de grau $m \ge 4$, especificamente quando $p \equiv 1 \pmod m$.
5. Superfícies Quociente-Produto: Superfícies surgindo como resoluções de $(C_1 \times C_2)/G$ para grupos finitos $G$, estendendo-se além do caso específico de Kummer previamente conhecido.

D. Estrutura da Homologia de Suslin para Variedades Abertas

O artigo fornece uma análise estrutural detalhada de $F^2(U)$ para subvariedades abertas:

• Comparação com $F^2(X)$: Quando $X-U$ é de dimensão 0, $F^2(U) \cong F^2(X)$. No entanto, quando $X-U$ é um divisor, $F^2(U)$ pode ser significativamente maior.
• Contribuições Toricas: Os autores mostram que a diferença entre $F^2(U)$ e $F^2(X)$ é governada pela parte torica da variedade de Albanese generalizada.
• Exemplos:
  • Para $U = \mathbb{G}_m \times \mathbb{G}_m$, $F^2(U) \cong K_2^M(k)$, que contém um grupo divisível não enumerável.
  • Para $U = C \times \mathbb{G}_m$, $F^2(U) \cong V(C)$, que pode ter torção infinita se $C$ for uma curva de Mumford.
  • Proposição 5.17: Em configurações geométricas específicas (por exemplo, $U = X - s(C)$ onde $s$ é uma seção de um fibrado), a igualdade $F^2(U) = F^2(X)$ pode ser recuperada, implicando finitude mesmo para variedades abertas.

4. Significado e Alegações

Os autores afirmam que seu trabalho fornece "novas evidências" para a Conjectura de Colliot-Thélène ao expandir significativamente as classes conhecidas de superfícies para as quais a conjectura vale.

• Mudança Metodológica: O artigo destaca uma mudança de depender exclusivamente de argumentos de "empurrar para frente simples" (que funcionam para superfícies de Kummer devido a resoluções simples) para um método mais robusto envolvendo subvariedades abertas e homologia de Suslin. Isso permite aos autores lidar com singularidades e quocientes mais complexos (por exemplo, superfícies quociente-produto gerais).
• Unificação: Ao provar a equivalência entre os casos projetivo e quase-projetivo (Teorema 4.5), os autores unificam o estudo de ciclos de dimensão zero nestes diferentes tipos de variedades, sugerindo que a validade da conjectura é uma propriedade geométrica preservada sob mergulhos abertos e mapas racionais dominantes.
• Limitações: Os autores notam modestamente que seus resultados ainda dependem de suposições relativas ao tipo de redução das Jacobianas (especificamente, uma mistura de redução ordinária boa e multiplicativa dividida). Eles reconhecem que remover esta suposição (por exemplo, para incluir redução supersingular) permanece um problema aberto sutil e difícil, citando a dificuldade mesmo no caso de produtos de curvas elípticas supersingulares.

Em resumo, o artigo estabelece uma ponte entre a aritmética de ciclos de dimensão zero em superfícies projetivas e seus contrapartes abertos, aproveitando este vínculo para provar a conjectura de Colliot-Thélène para uma coleção ampla e diversificada de superfícies dominadas por produtos de curvas.