Ekedahl-Oort types of stable curves

Resumo Técnico: Tipos de Ekedahl-Oort de Curvas Estáveis

Enunciado do Problema
O artigo aborda a interpretação e o cálculo dos tipos de Ekedahl-Oort para curvas estáveis em característica $p > 0$. Embora o tipo de Ekedahl-Oort de uma curva suave seja classicamente definido via seu Jacobiano (uma variedade abeliana polarizada principal), estender essa definição para curvas estáveis (que possuem Jacobianos generalizados que são variedades semi-abelianas) requer um tratamento cuidadoso. O autor busca estabelecer uma definição intrínseca desses tipos que não dependa exclusivamente do Jacobiano generalizado, facilitando assim a aplicação de técnicas indutivas para calcular as dimensões dos loci de Ekedahl-Oort dentro do espaço de moduli de curvas estáveis, $\mathcal{M}_g$. Especificamente, o artigo visa generalizar resultados existentes sobre as dimensões dos loci de $p$-posto e do número-$a$, além de calcular limites para novos estratos de Ekedahl-Oort mais complexos.

Metodologia
A principal contribuição metodológica é a extensão do conceito de triplas de Hasse-Witt de Moonen para todas as curvas estáveis, partindo de curvas suaves.

1. Definição Intrínseca: O autor define o tipo de Ekedahl-Oort de uma curva estável $C$ diretamente através da tripla de Hasse-Witt $(Q, \Phi, \Psi)$, onde $Q = H^1(C, \mathcal{O}_C)$, $\Phi$ é o operador de Frobenius e $\Psi$ é uma bijeção $\sigma$-linear específica. Esta definição é intrínseca à cohomologia da curva e não requer a passagem pelo Jacobiano generalizado.
2. Prova de Equivalência: Um passo técnico central envolve provar que esta definição intrínseca coincide com a definição clássica derivada do Jacobiano generalizado $J_C$. Isso é alcançado através da análise da normalização $h: \tilde{C} \to C$ e do estabelecimento de que o módulo de Dieudonné de $J_C$ se decompõe na soma direta do módulo de Dieudonné da parte de toros e do módulo de Dieudonné do Jacobiano da normalização, $\tilde{C}$.
3. Técnica Indutiva: O artigo utiliza as morfismos de "clutching" (identificação de pontos em curvas de gênero menor para formar curvas de gênero maior) e o divisor de fronteira $\Delta_0$ de $\mathcal{M}_g$. Ao utilizar a definição intrínseca, o autor aplica um argumento indutivo (generalizando técnicas de [FvdG04]) para limitar as dimensões dos estratos de Ekedahl-Oort. A lógica baseia-se no fato de que, se um estrato intersecta a fronteira $\Delta_0$, seus componentes podem ser relacionados a estratos em $\mathcal{M}_{g-1}$.
4. Restrições Combinatórias: Os limites indutivos são estabelecidos sob condições técnicas específicas nos diagramas de Young $\mu$ que definem os estratos. Essas condições relacionam-se às relações de inclusão dos loci de Ekedahl-Oort no espaço de moduli de variedades abelianas $\mathcal{A}_g$ e ao comportamento do grupo de Weyl $W_g$.

Principais Contribuições e Resultados

• Teorema A (Equivalência): O artigo prova que, para uma curva estável $C$, seu Jacobiano generalizado $J_C$ e sua normalização $\tilde{C}$, os tipos de Ekedahl-Oort são idênticos: $\mu(J_C) = \mu(C) = \mu(\tilde{C})$. Aqui, $\mu(C)$ é definido via a tripla de Hasse-Witt intrínseca, enquanto $\mu(J_C)$ é a definição clássica. Isso valida o uso da abordagem intrínseca para curvas estáveis.
• Teorema B (Limites de Dimensão): O autor estabelece uma fórmula indutiva geral para a codimensão dos estratos de Ekedahl-Oort. Se um diagrama de Young $\mu$ satisfaz uma condição técnica específica (relacionada à inclusão de estratos em $\mathcal{A}_g$ e $\mathcal{A}_{g+1}$), então qualquer componente $\Gamma$ do locus $Z_\mu(\mathcal{M}_{g+1})$ que intersecte a fronteira $\Delta_0$ tem uma codimensão em $\mathcal{M}_{g+1}$ limitada inferiormente por um valor determinado pela dimensão máxima das componentes em $Z_\mu(\mathcal{M}_g)$.
• Generalização de Resultados Conhecidos: Este arcabouço recupera e generaliza resultados anteriores referentes às dimensões dos loci com $p$-posto $\le f$ e número-$a \ge a$.
• Novos Limites para Números-$a$ Superiores: A técnica permite o cálculo de limites superiores para loci que eram anteriormente inacessíveis, especificamente o locus $T_3(\mathcal{M}_g)$ de curvas com número-$a \ge 3$. O artigo prova que $\dim T_3(\mathcal{M}_g) \le 3g - 8$.
• Curvas Hiperelípticas e Características Específicas:
  • O artigo fornece um critério (Teorema 5.6) para calcular as dimensões dos loci de Ekedahl-Oort $Z_\mu(\mathcal{M}_4)$ baseando-se nas propriedades de curvas hiperelípticas.
  • Em característica $p=2$, mostra-se que $Z_{[4,3]}(\mathcal{M}_4)$ é vazio, enquanto $Z_{[3,2]}(\mathcal{M}_4)$ é não vazio e possui a dimensão esperada.
  • Em característica $p=3$, o artigo demonstra a existência de uma única curva hiperelíptica com tipo de Ekedahl-Oort $[4,3]$. Este resultado de finitude é utilizado para provar que, para $\mu > [4,3]$, o locus $Z_\mu(\mathcal{M}_4)$ é não vazio e puro da codimensão esperada.
  • Mostra-se que para $g \ge 5$ em característica 3, nenhuma curva hiperelíptica suave satisfaz $F_C^2 = 0$, levando à vacuidade de certos loci de Ekedahl-Oort.

Significância
O artigo reivindica significância primariamente através da unificação das definições intrínseca e clássica, o que desbloqueia todo o potencial das técnicas indutivas para o estudo da geometria dos espaços de moduli de curvas estáveis. Ao afastar-se da dependência de um Jacobiano generalizado para a definição do tipo, o autor pode relacionar diretamente as propriedades cohomológicas de curvas singulares com suas normalizações. Essa mudança permite a derivação de limites de dimensão para estratos de Ekedahl-Oort que eram anteriormente inacessíveis, particularmente para números-$a$ mais elevados. Os resultados fornecem uma "geografia" mais completa das estratificações de Ekedahl-Oort em $\mathcal{M}_g$, esclarecendo as dimensões das componentes e a existência de curvas com estruturas específicas de $p$-torção em baixas características. O trabalho serve como uma ponte entre a teoria combinatória dos tipos de Ekedahl-Oort em $\mathcal{A}_g$ e a realidade geométrica das curvas estáveis em $\mathcal{M}_g$.