Explicit desingularisation of Kummer surfaces in characteristic two via specialisation

Resumo Técnico: Dessingularização Explícita de Superfícies de Kummer em Característica Dois via Especialização

Enunciado do Problema
As superfícies de Kummer, definidas como o quociente de uma superfície abeliana pela involução $P \mapsto -P$, são exemplos clássicos de superfícies K3. Embora sua geometria sobre corpos de característica diferente de dois seja bem compreendida — especificamente, a existência de modelos explícitos para sua dessingularização como a interseção de três quadricas em $\mathbb{P}^5$ — a situação em característica dois é significativamente mais complexa. Em característica dois, o subgrupo de 2-torção da superfície abeliana é menor (isomorfo a $(\mathbb{Z}/2\mathbb{Z})^r$ onde $r \le 2$), levando a menos pontos singulares, porém de maior complexidade (por exemplo, singularidades $D_4$, $D_8$ ou elípticas). Tentativas anteriores de construir modelos explícitos para essas superfícies em característica dois, como as de Müller, falharam em gerar modelos dessingularizados suaves via a interseção padrão de quadricas. Além disso, o comportamento das superfícies de Kummer em característica dois difere fundamentalmente de outras características, levantando questões sobre se as construções clássicas podem ser adaptadas e se existem exemplos de superfícies de Kummer com redução boa em todos os lugares sobre corpos numéricos.

Metodologia
O autor emprega uma estratégia de especialização do caractere zero para a característica dois. A metodologia central envolve:

1. Embeddings Explícitos: Computar um embedding projetivo do Jacobiano $J$ de uma curva de gênero dois $C$ como a interseção de 72 quadricas em $\mathbb{P}^{15}$. Isso é alcançado através da construção de uma base para o sistema linear $|2(\Theta_+ + \Theta_-)|$, onde $\Theta$ representa os divisores theta.
2. Construção de Base via Forma Normal de Smith: Para lidar com a redução módulo dois, o autor adapta uma base de funções ímpares da característica zero. Como a redução direta frequentemente leva à dependência linear devido ao colapso dos autovalores $\pm 1$ para $1$, um algoritmo (Algoritmo 1) é usado para computar a forma normal de Smith da matriz de relação. Isso produz uma base modificada que reduz bem para a característica dois, garantindo que os elementos resultantes permaneçam linearmente independentes.
3. Dessingularização Parcial: Usando a base reduzida, o autor constrói um mapa racional de uma superfície de Kummer singular $X \subset \mathbb{P}^3$ para uma superfície $Y \subset \mathbb{P}^5$. Esta superfície $Y$ é definida como a interseção completa de três quadricas. O mapa é um isomorfismo fora do locus singular de $X$ e atua como uma dessingularização parcial.
4. Análise Geométrica por p-posto: A geometria de $Y$ e suas singularidades são analisadas separadamente para os três casos do p-posto do Jacobiano: ordinário ($r=2$), quase ordinário ($r=1$) e supersingular ($r=0$). O autor utiliza a teoria de "tropos" (conicas especiais na superfície de Kummer) e seu comportamento sob especialização para descrever os divisores excepcionais e as singularidades resultantes de $Y$.
5. Critério de Boa Redução: Para abordar a existência de superfícies de Kummer com redução boa em todos os lugares, o artigo aplica um critério de Lazda e Skorobogatov. Isso envolve analisar a ação do grupo de Galois absoluto nos pontos de 2-torção do Jacobiano sobre um corpo quadrático, verificando especificamente se a sequência exata dos módulos de 2-torção se divide (splits) após a redução.

Contribuições Principais e Resultados

• Modelos Explícitos em Característica Dois: O artigo fornece as equações explícitas para o Jacobiano de uma curva de gênero dois geral em característica dois como a interseção de 72 quadricas em $\mathbb{P}^{15}$ (Teorema 4.1).
• Dessingularização Parcial: Constrói um modelo para uma dessingularização parcial da superfície de Kummer como a interseção de três quadricas em $\mathbb{P}^5$ (Teorema 3.1). O artigo classifica as singularidades deste modelo com base no p-posto:
  • Ordinário: $Y$ possui 12 singularidades do tipo $A_1$.
  • Quase Ordinário: $Y$ possui 2 singularidades do tipo $D_4^0$ e 2 do tipo $A_3$.
  • Supersingular: $Y$ possui uma singularidade elíptica do tipo $A^*_{0} + A^*_{0} + A^*_{0} + A^*_{0} + A^*_{0}$ (na notação de Laufer).
• Descrição Geométrica de Tropos: O artigo estende a descrição clássica de tropos para a característica dois, detalhando como eles se especializam e como suas interseções com os divisores excepcionais determinam a estrutura de singularidade do modelo dessingularizado.
• Existência de Redução Boa em Todos os Lugares: O artigo prova a existência de superfícies de Kummer com redução boa em todos os lugares sobre um corpo numérico (Teorema 1.2). Especificamente, constrói um exemplo explícito sobre o corpo quadrático $\mathbb{Q}(\sqrt{353})$ onde a superfície de Kummer associada possui redução boa em todos os primos, incluindo aqueles acima de 2. Isso é alcançado verificando que a ação de Galois nos pontos de 2-torção é compatível com a redução, permitindo a divisão da sequência exata relevante sem exigir uma extensão de campo para o exemplo específico fornecido.
• Limitações e Extensões: O artigo observa que, embora a boa redução em 2 seja possível, ela não é garantida para todas as curvas com redução boa em todos os lugares. Para casos "quase ordinários", a extensão mínima necessária para alcançar a boa redução pode ser de grau superior (ex: grau 12), e para casos supersingulares, a existência de um modelo de boa redução é garantida pelo teorema de Matsumoto, mas a extensão explícita não é fornecida.

Significância
O artigo demonstra que as construções geométricas clássicas de superfícies de Kummer e suas dessingularizações, tradicionalmente restritas à característica zero ou característica ímpar, podem ser aplicadas com sucesso à característica dois via especialização. Isso preenche uma lacuna na compreensão de superfícies K3 em característica positiva, o que é particularmente relevante para aplicações criptográficas envolvendo protocolos baseados em isogenias (como SIDH) que frequentemente enfrentam dificuldades em característica dois. Ao fornecer equações explícitas e uma classificação geométrica completa das singularidades, este trabalho permite a verificação computacional e o estudo aprofundado dessas superfícies. Além disso, a construção de uma superfície de Kummer com redução boa em todos os lugares sobre um corpo quadrático resolve uma questão aberta específica sobre a existência de tais superfícies K3, contrastando com a não existência de variedades abelianas com redução boa em todos os lugares sobre $\mathbb{Q}$. O artigo enfatiza que estes resultados são construtivos, apoiados por código que permite a computação de equações explícitas para as variedades descritas.