Neutral representations of finite diagonalizable group schemes and fields of moduli

Resumo Técnico: Representações Neutras e Campos de Módulos

1. O Problema e o Contexto

O artigo aborda um problema clássico na geometria algébrica: o problema do campo de módulos.

• Definição: Dada uma variedade própria $X$ (ou uma estrutura adicional, como pontos marcados) definida sobre o fecho algébrico $\bar{k}$ de um corpo $k$, com um grupo de automorfismos finito, existe um corpo intermediário $\ell$ (o campo de módulos de $X$) tal que $X$ é definida sobre $\ell$?
• Formulação em Teoria de Gerbes: Na linguagem de gerbes (no sentido de Grothendieck e Giraud), a existência de tal modelo equivale a perguntar se o gerbe residual $G_X$ associado a $X$ é neutro (ou seja, se o conjunto de pontos racionais $G_X(\ell)$ não é vazio).
• Estado da Arte: Trabalhos anteriores, como [BV24b], utilizaram o conceito de singularidades R para fornecer critérios de neutralidade. No entanto, esses métodos tinham limitações, especialmente para grupos de automorfismos cíclicos de ordem maior que 2 ou em dimensões superiores.

2. Metodologia e Novos Conceitos

Os autores introduzem uma nova ferramenta teórica para atacar o problema: o conceito de Representação Neutra.

• Definição de Representação Neutra: Seja $G$ um esquema de grupo finito sobre um corpo $K$ e $V$ uma representação de dimensão finita de $G$. Diz-se que $V$ é neutra se, para qualquer gerbe $G$ sobre um corpo $k$ que seja uma forma do classificador $BG$ (ou seja, uma torção de $BG$), e se existir um fibrado vetorial $V \to G$ que seja uma forma de $V$, então o gerbe $G$ é necessariamente neutro.

• Estratégia Geral:

  1. Associar a uma variedade $X$ uma representação natural do seu grupo de automorfismos (ex: cohomologia, espaço tangente).
  2. Demonstrar que essa representação é "neutra" sob certas condições combinatórias/aritméticas.
  3. Concluir que o gerbe residual de $X$ é neutro, provando que $X$ está definida sobre seu campo de módulos.

• Ferramentas Técnicas Principais:

  • Decomposição "Blended" (Misturada): Para grupos diagonalizáveis finitos, os autores decompõem a representação $V$ em subespaços de autovalores "misturados" ($V_\omega$). Esta decomposição é a mais fina garantida para induzir uma decomposição em qualquer forma do gerbe, permitindo analisar a estrutura do gerbe através da ação do grupo de automorfismos da representação.
  • Análise de Períodos e Índices: O artigo utiliza a teoria de cohomologia de gerbes abelianos. Um gerbe é neutro se e somente se seu índice (máximo divisor comum dos graus dos campos de divisão) é 1. Os autores estabelecem critérios para garantir que nenhum primo crítico (primos que dividem o período do gerbe) divida o índice.
  • Relação com Singularidades R: O trabalho conecta representações neutras com a teoria de singularidades R (introduzida em [BV24b]), mostrando que, para grupos sem pseudoreflexões, a neutralidade da representação é equivalente à propriedade de ser uma singularidade R.

3. Resultados Principais

O artigo estabelece critérios gerais para a neutralidade de representações de grupos diagonalizáveis finitos (incluindo grupos abelianos finitos cuja ordem é coprima com a característica do corpo base).

• Teorema Geral (Seção 6): Fornece condições sob as quais um primo $p$ não é "crítico" (ou seja, não impede a neutralidade). As condições envolvem a existência de extensões de corpo de grau coprimo a $p$ onde certos caracteres do grupo descendem a fibrados de linha no gerbe.
• Caso Cíclico (Corolário 6.10): Para um grupo cíclico $G$ de ordem $n$, a representação $V$ é neutra se, para cada primo $p$ dividindo $n$, a diferença entre a dimensão total de $V$ e a dimensão do subespaço fixo pelo subgrupo de ordem $p$ ($H_p$) não for divisível por $p$.
  • Fórmula: Se $\dim V - \dim V^{H_p} \not\equiv 0 \pmod p$ para todo $p \mid |G|$, então $V$ é neutra.

Aplicações Geométricas (Seção 8):
Os autores aplicam esses critérios para generalizar resultados existentes sobre curvas e variedades pontuadas:

1. Variedades Pontuadas (Teorema 8.1):

   • Seja $(X, x_0)$ uma variedade própria com um ponto liso $x_0$.
   • Se o grupo de automorfismos que fixa $x_0$ é cíclico de ordem $n$, e para todo primo $p \mid n$, a diferença entre a dimensão de $X$ e a dimensão do lugar fixo $X^{H_p}$ não é divisível por $p$, então $(X, x_0)$ está definida sobre seu campo de módulos.

2. Curvas Projetivas Suaves (Teorema 8.2):

   • Seja $X$ uma curva projetiva suave de gênero $g \geq 2$ com grupo de automorfismos cíclico de ordem coprima à característica.
   • Se para todo primo $p$ dividindo a ordem do grupo, a diferença entre o gênero de $X$ e o gênero da curva quociente $X/H_p$ não for divisível por $p$, então $X$ está definida sobre seu campo de módulos.
   • Nota: Este resultado generaliza casos conhecidos para $p=2$ (curvas hiperelípticas) e cobre novos casos para $p > 2$.

4. Contribuições Chave

1. Novo Conceito: A introdução da noção de "representação neutra" fornece uma ponte direta entre a teoria de representações de grupos e a teoria de gerbes/gerbes residuais.
2. Generalização: Os resultados obtidos cobrem classes muito mais amplas de exemplos do que os métodos baseados em singularidades R de trabalhos anteriores ([BV24b]). Especificamente, tratam de grupos cíclicos de ordem arbitrária (coprima à característica) e dimensões superiores.
3. Classificação: O trabalho conecta-se a classificações de singularidades R e representações neutras em dimensões baixas (2 e 3), mencionando trabalhos futuros ([BY26]) que completam essa classificação para grupos abelianos em dimensões arbitrárias.
4. Simplicidade de Critérios: Para grupos cíclicos, o critério de neutralidade reduz-se a uma verificação aritmética simples de dimensões de espaços fixos, tornando a aplicação prática acessível.

5. Significância

Este trabalho é significativo porque resolve uma questão fundamental na geometria algébrica (a existência de modelos definidos sobre campos de módulos) para uma vasta classe de variedades com simetrias cíclicas. Ao reformular o problema em termos de representações de grupos e decomposições de fibrados vetoriais sobre gerbes, os autores fornecem uma ferramenta poderosa e versátil que supera as limitações das técnicas anteriores. Os resultados têm implicações diretas para a teoria de moduli de curvas e variedades, garantindo a existência de modelos racionais em situações onde antes apenas a existência de formas torcidas era conhecida.

Em suma, o artigo estabelece que, sob condições de "não-divisibilidade" de dimensões de espaços fixos, a simetria de uma variedade garante que ela possa ser definida sobre seu campo de módulos natural, eliminando obstruções de gerbes.