Infinitesimal commutative unipotent group schemes with one-dimensional Lie algebra

Resumo Técnico: Esquemas de Grupo Infinitesimal Comutativo Unipotente com Álgebra de Lie Unidimensional

Enunciado do Problema
O artigo aborda a dificuldade de descrever explicitamente esquemas de grupo infinitesimais comutativos unipotentes sobre um corpo algebricamente fechado $k$ de característica $p > 0$. Embora se saiba que tais esquemas existem (por exemplo, como $p$-torsão de variedades abelianas com $p$-rank zero), sua estrutura explícita em termos de álgebras de Hopf é frequentemente opaca, particularmente à medida que a dimensão aumenta. O problema específico tratado é a classificação de esquemas de grupo $k$ infinitesimais comutativos unipotentes de ordem $p^n$ com uma álgebra de Lie unidimensional. Esta classificação é motivada por uma pergunta parcial levantada por Fakhruddin sobre a existência de tais esquemas e uma pergunta de Brion concernente a ações racionais desses esquemas sobre curvas.

Metodologia
O autor emprega a teoria dos módulos de Dieudonné sobre o anel de vetores de Witt $W(k)$ para traduzir o problema geométrico em um problema algébrico envolvendo módulos sobre o anel não comutativo $E$ (gerado pelo Frobenius $F$ e pelo Verschiebung $V$).

1. Redução a Módulos de Dieudonné: Usando a antiequivalência de categorias entre esquemas de grupo infinitesimais comutativos unipotentes e módulos à esquerda de comprimento finito sobre $E$ (onde $F$ e $V$ são nilpotentes), o problema é reduzido à classificação de módulos $E$ específicos de comprimento $n$.
2. Classificação Indutiva: A prova procede por indução em $n$. Para um esquema de grupo $G$ de ordem $p^n$, o autor analisa a sequência exata curta induzida pelo morfismo de Frobenius $(n-1)$-ésimo:
   $$0 \to \ker(F_G^{n-1}) \to G \to \alpha_p \to 0$$
   Pela hipótese indutiva, o núcleo é classificado. O módulo de Dieudonné $M(G)$ é então analisado como uma extensão do módulo correspondente a $\alpha_p$.
3. Simplificação Algébrica: Um passo crucial envolve provar que certos parâmetros nas relações definidoras do módulo de Dieudonné podem ser normalizados. Especificamente, a Proposição 4.3 demonstra que, para um corpo algebricamente fechado, termos envolvendo coeficientes em $W(k)$ podem ser eliminados via isomorfismo, reduzindo a classificação a um conjunto discreto de parâmetros.
4. Construção Explícita: O artigo constrói explicitamente as álgebras de Hopf para os esquemas classificados, mostrando que eles surgem como núcleos de morfismos da forma $V - F^i$ sobre esquemas de grupo de vetores de Witt $W_n$.

Principais Contribuições e Resultados

• Teorema de Classificação (Teorema 1.1): O artigo prova que, sobre um corpo algebricamente fechado $k$ de característica $p > 0$, existem exatamente $n$ classes de isomorfismo de esquemas de grupo $k$ infinitesimais comutativos unipotentes de ordem $p^n$ com uma álgebra de Lie unidimensional.
  Esses esquemas são descritos explicitamente como:
  $$W_n^n[V - F^i] := \ker(V - F^i : W_n^n \to W_n^n)$$
  para $i = 1, \dots, n$. Aqui, $W_n^n$ denota o esquema de grupo de vetores de Witt de comprimento $\le n$, e $F, V$ são os morfismos de Frobenius e Verschiebung.

• Dualidade de Cartier (Corolário 4.5): O artigo fornece uma classificação paralela para esquemas cujos duals de Cartier possuem uma álgebra de Lie unidimensional. Estes são dados por $W_n^n[F - V^i]$ para $i = 1, \dots, n$.

• Esquemas de Subgrupo de Curvas Elípticas Supersingulares (Proposição 5.1): A classificação é aplicada a curvas elípticas supersingulares $E$. O artigo estabelece que:

  • O subgrupo de $p^n$-torsão $E[p^n]$ é isomorfo a $W_{2n}^{2n}[V - F]$.
  • O núcleo do Frobenius $m$-ésimo $E[F^m]$ é isomorfo a $W_m^m[F - V]$.
  • Consequentemente, os esquemas de subgrupo infinitesimais de uma curva elíptica supersingular são exatamente os esquemas autoduais na lista classificada (especificamente o caso $i=1$ na classificação dual).

• Ações Racionais sobre Curvas (Proposição 5.3): Abordando a pergunta de Brion, o artigo determina quais desses $n$ esquemas podem ser embutidos em um grupo algébrico unidimensional suave e conexo.

  • Apenas dois casos são embutíveis: $G \cong \alpha_{p^n}$ (subgrupo do grupo aditivo $\mathbb{G}_a$) e $G \cong W_n^n[F - V]$ (subgrupo de uma curva elíptica supersingular).
  • Todos os outros $n-2$ esquemas (onde $1 < i < n$) não são esquemas de subgrupo de nenhum grupo algébrico unidimensional suave e conexo. No entanto, por trabalhos anteriores citados no artigo, eles ainda admitem ações racionais, genericamente livres, sobre qualquer curva.

• Contrapontos Não Comutativos (Exemplo 5.4): O artigo conclui abordando uma questão sobre comutatividade. Ele fornece um exemplo explícito de um esquema de grupo unipotente infinitesimal não comutativo com uma álgebra de Lie unidimensional, demonstrando que a comutatividade não é garantida mesmo com essa restrição dimensional.

Significado
O artigo fornece uma enumeração completa e explícita de uma classe específica de esquemas de grupo que anteriormente eram compreendidos apenas via teoria abstrata de módulos de Dieudonné. Ao fornecer descrições explícitas em termos de vetores de Witt e álgebras de Hopf, o trabalho facilita a construção de ações desses esquemas sobre variedades. Além disso, resolve questões específicas sobre o embutimento desses esquemas em curvas suaves e esclarece a estrutura de torsão e núcleos de Frobenius em curvas elípticas supersingulares. Os resultados servem para distinguir entre esquemas de grupo que são "geométricos" no sentido de serem subgrupos de curvas suaves e aqueles que são puramente infinitesimais em natureza, mas ainda capazes de agir sobre curvas.