The kernel of the Gysin homomorphism for positive characteristic

Resumo Técnico: O Núcleo do Homomorfismo de Gysin em Característica Positiva

1. O Problema

O artigo aborda um problema fundamental na geometria algébrica: a estrutura do núcleo do homomorfismo de Gysin (Gysin kernel) para superfícies projetivas suaves.

• Contexto: Seja $S$ uma superfície projetiva suave e conexa sobre um corpo algebricamente fechado $k$. Considera-se um sistema linear $\Sigma$ de um divisor muito amplo $D$, induzindo um mergulho fechado $\phi_\Sigma: S \hookrightarrow \mathbb{P}^d$. Para um ponto genérico $t \in \Sigma$, seja $C_t = H_t \cap S$ a seção hiperplana (uma curva suave).
• Definição: O homomorfismo de Gysin $r_{t*}: CH_0(C_t)_{\text{deg}=0} \to CH_0(S)_{\text{deg}=0}$ atua nos grupos de Chow de 0-ciclos de grau zero. O núcleo de Gysin é definido como $G_t = \ker(r_{t*})$.
• A Questão: Em característica zero (sobre $\mathbb{C}$), Schoemann e Werner (referência [20] no texto) provaram, usando teoria de Hodge, que $G_t$ é uma união contável de translatos de uma subvariedade abeliana $A_t \subset B_t \subset J_t$ (onde $J_t$ é a Jacobiana de $C_t$ e $B_t$ está associada à cohomologia de vanishing). Além disso, para pontos "muito gerais" (very general), $A_t$ é ou trivial ($0$) ou igual a $B_t$.
• O Desafio: O objetivo deste trabalho é estender esse teorema para corpos de característica positiva ($p > 0$), onde a teoria de Hodge clássica não se aplica diretamente.

2. Metodologia

Os autores empregam uma estratégia sofisticada que combina levantamento (lifting), teoria étale e argumentos de contabilidade, evitando o uso direto de formas diferenciais ou teoria de Hodge complexa.

• Levantamento para Característica Zero:

  • Utilizam o fato de que um corpo algebricamente fechado $k$ de característica $p$ é o corpo residual de um anel de valuação discreta completo e não ramificado $W(k)$ (anéis de vetores de Witt), cujo corpo de frações $K$ tem característica 0.
  • Constroem uma família plana e polarizada de superfícies sobre $W(k)$, permitindo um "levantamento" da superfície especial $S_0$ (sobre $k$) para a fibra genérica $S_\eta$ (sobre $K$).
  • Aplicam o Teorema de Comparação de Artin e teoremas de comparação de cohomologia étale para relacionar a cohomologia singular (usada em $\mathbb{C}$) com a cohomologia étale sobre $K$ e sobre $k$.

• Argumentos de Contabilidade e "Pontos Muito Gerais":

  • Utilizam lemas de contabilidade (Lemas 5.1 a 5.4) que afirmam que variedades sobre corpos algebricamente fechados não enumeráveis não podem ser escritas como uniões contáveis de subconjuntos fechados próprios.
  • Definem a noção de "conjunto c-aberto" (complemento de uma união contável de fechados) para lidar com propriedades que valem para "quase todos" os pontos.

• Teoria de Grupos de Galois e Conjectura de Tate:

  • Para estabelecer a relação entre as subvariedades abelianas na fibra especial e na fibra genérica, utilizam a Conjectura de Tate para corpos finitamente gerados e o Teorema de Isogenia de Tate.
  • Analisam a ação do grupo fundamental étale ($\pi_1$) nos grupos de cohomologia, explorando a irreducibilidade dos ciclos de vanishing (vanishing cycles) em um pencil de Lefschetz.

3. Principais Contribuições e Resultados

O artigo estende o Teorema 5.1 de [20] para característica positiva, dividindo a prova em duas partes principais:

A. Estrutura do Núcleo (Parte a)

• Teorema: Para todo $t \in U$ (onde $U$ parametriza curvas suaves), existe uma subvariedade abeliana $A_t \subset B_t \subset J_t$ tal que o núcleo de Gysin $G_t$ é a união contável de translatos de $A_t$.
• Mecanismo de Prova:
  1. Demonstram que os lemas sobre a representabilidade de $CH_0(X)_{\text{deg}=0}$ e a regularidade dos mapas (baseados em Roitman) permanecem válidos em característica positiva para corpos não enumeráveis.
  2. Usam o mapa de especialização e o teorema de comparação para transferir a estrutura de cohomologia da fibra genérica (característica 0) para a fibra especial.
  3. Utilizam o Teorema de Isogenia de Tate para garantir que a inclusão de representações $\ell$-ádicas na cohomologia étale corresponde a uma inclusão de subvariedades abelianas.

B. Comportamento para Pontos Muito Gerais (Parte b)

• Teorema: Para um ponto "muito geral" $t \in U$, vale uma das duas opções: $A_t = 0$ ou $A_t = B_t$.
• Mecanismo de Prova:
  1. Consideram um pencil de Lefschetz e analisam a ação do grupo fundamental étale sobre o espaço de ciclos de vanishing $E$.
  2. Demonstram que a imagem da cohomologia de $A_\eta$ (fibra genérica geométrica) no espaço de vanishing é um subespaço estável sob a ação monodromia.
  3. Como a representação dos ciclos de vanishing é irredutível (resultado clássico de Deligne/Monodromia), o subespaço estável deve ser ou trivial ou todo o espaço.
  4. Isso implica que $A_\eta$ é ou 0 ou isogênico a $B_\eta$. Como são subvariedades de uma Jacobiana com a mesma cohomologia $\ell$-ádica, conclui-se que $A_\eta = B_\eta$ (ou 0).
  5. Usam o lema de conexão entre pontos genéricos e pontos muito gerais (Lema 7.2) para estender o resultado da fibra genérica para quase todos os pontos fechados.

4. Significado e Impacto

• Generalização Fundamental: O trabalho remove a dependência da teoria de Hodge complexa para este teorema específico, provando que a estrutura do núcleo de Gysin é um fenômeno algébrico que persiste em característica positiva.
• Validação de Métodos Étale: Demonstra a eficácia de combinar técnicas de levantamento (lifting) com a teoria de cohomologia étale e a conjectura de Tate para resolver problemas de equivalência racional e ciclos algébricos em característica $p$.
• Conexão com a Conjectura de Tate: O uso do Teorema de Isogenia de Tate é crucial para traduzir informações de cohomologia $\ell$-ádica (que são mais acessíveis em característica $p$) de volta para a geometria das variedades abelianas.
• Unificação: O resultado unifica a compreensão da geometria de superfícies e seus ciclos de 0-dimensão, mostrando que, para corpos algebricamente fechados não enumeráveis, a distinção entre característica 0 e $p$ não altera a estrutura fundamental do núcleo de Gysin.

Em suma, Schoemann e Werner fornecem uma prova robusta de que a decomposição do núcleo de Gysin em uma subvariedade abeliana "fixa" e seus translatos contáveis, bem como a dicotomia trivial/total para pontos gerais, é uma propriedade universal da geometria algébrica de superfícies, independente da característica do corpo base.