Decidability of singularities in the Ekedahl--Oort stratification

1. Problema e Contexto

O artigo aborda um problema fundamental na geometria aritmética de variedades de Shimura: a compreensão e a detecção das singularidades que surgem nas estratificações de Ekedahl–Oort (EO) na fibra especial (característica $p$) dessas variedades.

• Estratificação de Ekedahl–Oort: Introduzida inicialmente para variedades modulares de Siegel e generalizada para variedades de Shimura de tipo abeliano, essa estratificação divide a fibra especial $S$ em subvariedades (estratos) indexadas por elementos de um subconjunto $I_W$ do grupo de Weyl $W$ de um grupo redutivo $G$.
• O Desafio: Embora a teoria de invariantes de Hasse generalizados tenha permitido avanços na construção de representações de Galois, a natureza geométrica dos fechos de Zariski desses estratos permanece complexa. Especificamente, determinar quais estratos de EO aparecem na parte regular (suave) ou normal de um fecho de Zariski é um problema difícil.
• Objetivo: O objetivo principal é fornecer um algoritmo decidível para determinar se um subesquema elementar $w$-aberto (união de um estrato e seu vizinho imediato de codimensão 1) é suave (ou normal) e, quando possível, relacionar essas singularidades a objetos definidos em característica zero.

2. Metodologia

Os autores utilizam uma combinação de teoria de grupos algébricos, geometria de stacks e a teoria de $G$-zips (introduzida por Viehmann e Wedhorn).

• Stacks de $G$-zips: A fibra especial $S$ de uma variedade de Shimura admite um mapa suave e sobrejetor $\zeta: S \to X$, onde $X$ é o stack de $G$-zips associado ao dado de Shimura. A estratificação de EO em $S$ é a pullback da estratificação de "zip" em $X$.
• Dados de Zip e Frobenius: O trabalho foca em dados de zip de tipo Frobenius (onde o isogenia $\phi$ é uma potência da aplicação de Frobenius). Eles analisam a relação entre a geometria de $X$ e espaços de bandeiras associados.
• Coberturas Canônicas Separadoras: Baseando-se no trabalho anterior [KLPR25], os autores utilizam o critério de que um subesquema elementar é suave se e somente se for "$w$-limitado" (uma condição sobre parábolas canônicas) e admitir uma "cobertura canônica separadora".
• Método de Elevação de Expoente e Redução: Para lidar com a complexidade computacional da aplicação de Frobenius, eles utilizam técnicas de "elevação de expoente" (comparando dados de zip com diferentes potências de Frobenius) e reduções mod $p$ para conectar a geometria em característica $p$ com a geometria em característica zero (ou sobre $\mathbb{Z}_p$).
• Análise Combinatória de Raízes: A decidibilidade é alcançada através de uma caracterização combinatória de elementos "pequenos" (small elements) no grupo de Weyl, baseada na ação do Frobenius no sistema de raízes.

3. Principais Contribuições e Resultados

A. Algoritmo de Decidibilidade (Teorema A)

Os autores desenvolvem um algoritmo efetivo para determinar se um subesquema elementar $U(w, w')$ (união de um estrato $X_w$ e seu vizinho $X_{w'}$) é suave.

• Critério: A suavidade é equivalente a duas condições:
  1. $U$ é $w$-limitado ($P_{w'} \subseteq P_w$).
  2. $w'$ não pertence à imagem de um conjunto específico de vizinhos inferiores "pequenos" sob uma aplicação $\pi_{\mathbb{F}_p}$.
• Aplicabilidade: O algoritmo computa a imagem de elementos "pequenos" (definidos por uma condição de comprimento no grupo de Weyl) usando a ação do Frobenius no sistema de raízes. Isso torna o problema decidível para qualquer variedade de Shimura de tipo abeliano e primo de boa redução.

B. Independência de $p$ (Teorema B)

Um resultado surpreendente é que a suavidade de um estrato elementar depende apenas da ação do Frobenius no sistema de raízes baseado de $G$.

• Se dois primos de boa redução $p$ e $\ell$ induzem a mesma ação de Frobenius no sistema de raízes (ou seja, $\sigma_p = \sigma_\ell$), então a suavidade dos estratos correspondentes é idêntica em ambas as fibras especiais. Isso unifica o comportamento geométrico sob diferentes características.

C. Relação com Característica Zero (Teorema D)

Para primos de boa redução onde $G$ é split (esplitado), os autores mostram que a presença de singularidades na estratificação de EO é controlada por um objeto definido em característica zero.

• Eles constroem um stack de $G$-zips $X_{\mathbb{C}}$ sobre os números complexos (via um modelo sobre $\mathbb{Z}_p$).
• Demonstram que a suavidade de um estrato em característica $p$ é equivalente à suavidade do seu análogo em característica zero (ou à existência de uma cobertura canônica separadora no stack complexo).
• Isso permite, em teoria, aplicar técnicas de análise complexa e geometria diferencial para estudar singularidades que surgem originalmente em contextos aritméticos mod $p$.

D. Invariantes de Hasse Generalizados em Característica Zero (Teorema E)

O artigo investiga a existência de invariantes de Hasse generalizados no stack de característica zero $X_{\mathbb{C}}$.

• Diferentemente do caso de característica $p$ (onde invariantes de peso zero nem sempre existem), eles provam que, em característica zero, o fibrado trivial ($\lambda = 0$) pode admitir invariantes de Hasse generalizados em certos estratos.
• Eles fornecem um critério explícito para a existência desses invariantes em termos de raízes positivas e a ação do grupo de Weyl.

E. Aplicação Concreta: Variedades Unitárias (Teorema C)

Os autores aplicam seus resultados a variedades unitárias de assinatura $(r, s)$ em primos split.

• Eles determinam exatamente quando os fechos de estratos de dimensão 2 são suaves.
• O resultado depende do máximo divisor comum $\gcd(r, s)$ e do inverso modular de $s$ módulo $n=r+s$. Por exemplo, se $\gcd(r, s) > 3$, os estratos não são suaves; se $\gcd(r, s) \in \{2, 3\}$, são suaves.

4. Significado e Impacto

• Ferramenta Computacional: O artigo fornece a primeira ferramenta algorítmica geral para detectar singularidades em estratos de EO, permitindo a classificação completa de casos específicos (como demonstrado para variedades unitárias).
• Ponte entre Características: A descoberta de que a geometria das singularidades em característica $p$ pode ser estudada via objetos em característica zero (quando $G$ é split) é uma contribuição teórica profunda. Sugere que a estrutura das singularidades é mais "rígida" e dependente apenas dos dados do grupo redutivo do que da característica do corpo base.
• Generalização de Invariantes: A extensão da teoria de invariantes de Hasse para o contexto de característica zero abre novas portas para a construção de representações de Galois e o estudo de formas automorfas em contextos onde a característica $p$ tradicional não se aplica diretamente.
• Conjecturas Futuras: Os autores conjecturam que a equivalência entre suavidade em $p$ e em $\mathbb{C}$ vale para substacks $w$-abertos gerais (não apenas elementares), o que seria um passo significativo para entender a geometria global dessas estratificações.

Em resumo, o trabalho transforma um problema geométrico complexo e aparentemente dependente da característica em um problema combinatório decidível e, em certos casos, totalmente independente da característica, oferecendo novas perspectivas para a geometria aritmética das variedades de Shimura.