Picard rank jumps for families of K3 surfaces in positive characteristic

1. O Problema

O artigo investiga a variação do rango de Picard (a dimensão do grupo de Neron-Severi, ou seja, o número de classes de divisores algébricos independentes) em famílias de superfícies K3 definidas sobre uma curva base $C$ em característica positiva $p > 2$.

• Contexto em Característica Zero: Em característica zero, o teorema de Noether-Lefschetz (e trabalhos subsequentes de Oguiso e Green) estabelece que, para famílias não isotriviais, o conjunto de pontos onde o rango de Picard salta (o Locus de Noether-Lefschetz ou NL) é denso no espaço de parâmetros.
• O Desafio em Característica Positiva: Em característica $p$, o comportamento é mais sutil. Existem obstruções estruturais relacionadas ao Frobenius que podem impedir que o NL seja denso. Por exemplo, famílias de superfícies K3 supersingulares têm rango de Picard constante (22) em todas as fibras, tornando o NL vazio. O artigo busca identificar condições precisas sob as quais o NL é denso, distinguindo entre casos onde o salto de rango ocorre e casos onde ele é finito devido a obstruções específicas.

2. Metodologia

A prova segue uma abordagem local-global, combinando teoria de interseção aritmética global com análises locais detalhadas em pontos supersingulares. A estrutura metodológica divide-se em três partes principais:

A. Teoria de Interseção Aritmética (Global)

Os autores utilizam a teoria de variedades de Shimura ortogonais (especificamente variedades $GSpin$) que parametrizam superfícies K3 polarizadas por um reticulado $L$.

• Eles definem divisores especiais $Z(m)$ na variedade de Shimura, que correspondem a pontos onde o rango de Picard aumenta.
• O objetivo é comparar o número de interseção global $C \cdot Z(m)$ (calculado via séries de Eisenstein de Borcherds) com a soma das interseções locais $i_P(C \cdot Z(m))$ em pontos $P \in C$.
• Se a contribuição local for suficientemente pequena em comparação com o crescimento global, conclui-se que existem infinitos pontos de interseção (NL denso).

B. Análise Local em Pontos Supersingulares

A dificuldade principal reside em controlar a interseção local em pontos supersingulares, onde a geometria é mais complexa.

• Decaimento de Endomorfismos Especiais: Os autores estudam como os endomorfismos especiais (que geram o aumento do rango de Picard) se comportam ao longo de uma curva formal $C$ passando por um ponto supersingular. Eles definem uma taxa de "decaimento" ($d_n(v)$), que mede até que ordem infinitesimal um endomorfismo pode ser deformado.
• Estrutura Combinatória: Eles analisam a estrutura dos reticulados de endomorfismos que resistem ao decaimento. Em casos "excepcionais", muitos endomorfismos não decaem, levando a interseções locais grandes que podem igualar a contribuição global, impedindo a densidade do NL.
• Pontos Supersingulares vs. Supersingulares Superspeciais: O artigo distingue entre pontos supersingulares gerais e pontos supersingulares superspeciais (onde o invariante de Artin é mínimo), fornecendo descrições explícitas das estratificações de Newton e equações locais.

C. Teorema de Algebraização

Esta é a parte crucial para lidar com os casos extremos onde o decaimento local é insuficiente para provar a densidade.

• Os autores provam que, se a interseção local for tão grande quanto a global (o que impediria a densidade do NL), então uma estrutura global específica deve se "quebrar" ou "fatiar" (split).
• Especificamente, eles mostram que tal situação implica que a sequência exata conectada-étale do grupo de Brauer formal ampliado da superfície genérica se divide.
• Essa divisão implica a existência de endomorfismos algébricos extras no esquema abeliano de Kuga-Satake genérico, o que contradiz as hipóteses de monodromia ou não-excepcionalidade do teorema principal.

3. Principais Contribuições e Resultados

Definição de Famílias Excepcionais

Os autores definem rigorosamente quando uma família de K3 é "excepcional" (ou seja, quando o NL não é denso):

1. Se a família é supersingular.
2. Se o reticulado $L \otimes \mathbb{Z}_p$ é uma soma direta de planos hiperbólicos e o mapa classificador da curva $C$ fatora através de uma estratificação de Newton específica ("quase supersingular") que não intersecta os divisores especiais fora do locus supersingular.

Teoremas Principais

• Teorema 1.2.1 e 1.2.2: Para uma família não isotrivial e não excepcional de superfícies K3 em característica $p > 2$, o locus de Noether-Lefschetz é denso se:

  • A sequência exata conectada-étale do grupo de Brauer formal ampliado da fibra genérica não se divide.
  • Ou, equivalentemente, se o grupo de endomorfismos do esquema abeliano de Kuga-Satake restrito à curva é igual ao grupo de endomorfismos do esquema universal (sem endomorfismos extras).
  • Ou, se a monodromia $\ell$-ádica é "grande" (igual à da variedade de Shimura).

• Generalização para Variedades $GSpin$: O resultado é estendido para variedades de Shimura $GSpin$ gerais (Teorema 1.4.1), não se limitando apenas a superfícies K3, mas aplicando-se a variedades com $h^{2,0}=1$.

Análise Combinatória de Decaimento

O artigo fornece uma descrição combinatória detalhada e rigorosa das taxas de decaimento de endomorfismos especiais em pontos supersingulares. Eles identificam padrões estritos (relacionados a polinômios de Frobenius e valuações $t$-ádicas) que governam quantos endomorfismos podem resistir ao decaimento. Isso permite controlar as interseções locais com precisão suficiente para distinguir entre casos onde o NL é denso e casos onde há obstruções.

4. Significado e Impacto

• Resolução de um Problema Aberto: O trabalho resolve a questão da densidade do locus de Noether-Lefschetz em característica positiva, identificando as únicas obstruções possíveis (relacionadas ao Frobenius e à estrutura do grupo de Brauer).
• Conexão entre Teoria de Números e Geometria: O artigo conecta profundamente a teoria de interseção aritmética, a teoria de cristais de K3, a teoria de grupos de Brauer formais e a teoria de variedades de Shimura.
• Novas Ferramentas: A introdução e o uso sistemático do "grupo de Brauer formal ampliado" e a análise de sua sequência exata conectada-étale como um critério para a densidade de ciclos algébricos é uma inovação metodológica significativa.
• Contrapontos e Excepcionalidade: O papel de identificar e caracterizar as "famílias excepcionais" (como no exemplo da família de Kummer associada a curvas elípticas supersingulares) é fundamental para entender os limites da teoria em característica $p$, mostrando que a não-isotrivialidade sozinha não é suficiente sem condições adicionais sobre a monodromia ou a estrutura do Frobenius.

Em resumo, o artigo estabelece que, na ausência de obstruções estruturais específicas relacionadas ao Frobenius (que forçam a divisão do grupo de Brauer formal), a densidade do locus de Noether-Lefschetz persiste em característica positiva, generalizando resultados clássicos de característica zero para o contexto aritmético mais complexo.