Neutral representations in dimension $\leq 3$ and fields of moduli

1. O Problema Central

O artigo aborda um problema clássico na geometria aritmética e na teoria de módulos: determinar se uma variedade (ou par estruturado) $(X, \xi)$ pode ser definida sobre o seu "campo de módulos" $k(X, \xi)$.

• Campo de Módulos: É o menor subcorpo de uma extensão algébrica fixa sobre o qual a variedade pode ser definida, construído via teoria de Galois ou teoria de módulos.
• A Questão: Embora o campo de módulos seja um candidato natural para a definição mínima, nem sempre a variedade é definida sobre ele.
• Abordagem via Gerbes: O trabalho utiliza a teoria de gerbes (pilhações). Se o grupo de automorfismos $\text{Aut}(X, \xi)$ é finito, existe um gerbe $\mathcal{G}_{(X,\xi)}$ sobre o campo de módulos que classifica as formas torcidas de $(X, \xi)$.
  • A variedade $(X, \xi)$ é definida sobre o campo de módulos se e somente se o gerbe $\mathcal{G}_{(X,\xi)}$ é neutro (ou seja, possui um ponto racional: $\mathcal{G}(k) \neq \emptyset$).
• Conexão com Representações: A existência de certos fibrados vetoriais em um gerbe força a neutralidade do mesmo. O problema central do artigo é classificar quais representações de grupos algébricos induzem fibrados vetoriais que garantem essa neutralidade.

2. Metodologia

Os autores desenvolvem uma estrutura teórica combinando teoria de grupos, cohomologia de Galois e geometria algébrica de pilhas (stacks):

1. Definição de Representação Neutra: Uma representação $V$ de um grupo $G$ é chamada de neutra se, para toda forma torcida do fibrado vetorial associado $[V/G] \to BG$, o gerbe subjacente possui pontos racionais.
2. Teoria de "Gates" (Portões): Introduzem o conceito de gate (portão). Um subgrupo $\Pi \subseteq \Gamma$ é um gate para $G$ se toda forma torcida de $BG \to B\Gamma$ fatora através de $B\Pi$. Isso permite reduzir o estudo de grupos complexos para subgrupos menores e mais manejáveis.
3. Normalizadores de Morfismos de Gerbes: Desenvolvem uma teoria abstrata (apêndice) sobre o "normalizador" de um morfismo de gerbes. Eles mostram que o normalizador de uma representação torcida depende apenas do tipo geométrico da morfismo, permitindo o uso de cohomologia não-abeliana para testar a neutralidade.
4. Classificação por Dimensão: O foco é restrito a dimensões $d \le 3$.
   • Em dimensão 1, todas as representações fiéis são neutras.
   • Em dimensão 2, utilizam resultados anteriores sobre singularidades de quociente.
   • Em dimensão 3, realizam uma classificação completa e nova.
5. Análise de Subgrupos Diagonais: Para grupos abelianos (diagonais), utilizam a ação do grupo de permutação dos autoespaços sobre o grupo de caracteres para determinar a neutralidade via módulos de permutação.

3. Principais Contribuições e Resultados

O artigo apresenta três resultados principais:

A. Classificação Completa em Dimensão $\le 3$ (Característica 0)

Os autores classificam todas as representações fiéis de grupos finitos em dimensões 1, 2 e 3.

• Dimensão 1: Todo subgrupo finito de $GL_1$ é neutro.
• Dimensão 2:
  • Se a característica do corpo base é 2, todos os subgrupos finitos são neutros.
  • Se a característica é diferente de 2, um subgrupo $G \subset GL_2$ não é neutro se e somente se é conjugado a um grupo específico gerado por matrizes diagonais de ordem par (relacionado à inversa da imagem de subgrupos cíclicos em $SL_2$).
  • A maioria dos grupos não neutros tem imagem abeliana em $PGL_2$.
• Dimensão 3 (Resultado Novo):
  • Assume-se característica 0.
  • Um subgrupo $G \subset GL_3$ não é neutro se e somente se é conjugado a um de quatro tipos específicos de grupos:
    1. Inversos de imagens em $SL_3^{(c)}$ de certos grupos abelianos gerados por diagonais com condições específicas sobre os expoentes ($d^2 - d + 1 \equiv 0 \pmod n$).
    2. Inversos de imagens em $SL_{(2,1)}^{(c_1, c_2)}$ de grupos abelianos relacionados a raízes de unidade de ordem par.
    3. Inversos de imagens do grupo $H_2$ (grupo de ordem 18, $C_3^2 \rtimes C_2$).
    4. Inversos de imagens do grupo $H_3$ (grupo de ordem 36, $C_3^2 \rtimes C_4$), desde que uma raiz cúbica da unidade $\zeta_3$ não esteja no corpo base $k_0$.
  • Observação Crucial: A neutralidade em dimensão 3 depende da presença de raízes de unidade no corpo base (especificamente $\zeta_3$).

B. Critério Geral para Grupos Abelianos

Os autores estabelecem um critério computacionalmente eficiente para provar a neutralidade de subgrupos diagonais de $GL_n$ com autoespaços de dimensão 1.

• Teorema: Se o grupo de caracteres do quociente do normalizador pelo grupo é um somando direto de um módulo de permutação, então a representação é neutra.
• Isso permite lidar com grupos em dimensões arbitrárias, embora a classificação completa seja feita apenas até dimensão 3.

C. Teoria do Normalizador de Morfismos de Gerbes

No Apêndice, eles definem e constroem o normalizador de um morfismo de gerbes $f: \mathcal{G} \to \mathcal{H}$.

• Eles provam que o normalizador é único (a menos de equivalência) e que depende apenas do "tipo" geométrico do morfismo.
• Isso generaliza o conceito de normalizador de subgrupos para contextos de pilhas e formas torcidas, permitindo fatorar morfismos através de gerbes menores (como $BN$, onde $N$ é o normalizador do grupo).

4. Significado e Aplicações

Os resultados têm implicações profundas em várias áreas:

1. Campos de Módulos de Variedades:

   • A classificação permite identificar novas famílias de curvas e superfícies que podem ser definidas sobre seus campos de módulos.
   • Exemplo: Se a representação do grupo de automorfismos na cohomologia $H^p(X, \mathcal{O}_X)$ é neutra, a variedade é definida sobre o campo de módulos.
   • Aplica-se a curvas planas, curvas com pontos marcados e superfícies em $\mathbb{P}^3$.

2. Singularidades de Quociente Tame:

   • Existe uma correspondência direta: uma singularidade de quociente $(S, s)$ é do "tipo R" (pontos racionais sobem para resoluções de singularidades) se e somente se a representação associada do grupo fundamental local é neutra.
   • O artigo fornece a classificação completa das singularidades de quociente do tipo R em dimensão 3 (em característica 0).

3. Categorias Tannakianas:

   • Representações não neutras correspondem a objetos em categorias Tannakianas não neutras. A classificação ajuda a entender a estrutura de tais categorias, que são fundamentais na teoria de Galois motivica e na teoria de representações.

4. Contraintuição:

   • O trabalho revela que a "complexidade" do grupo (não-abelianidade) muitas vezes facilita a prova de neutralidade, pois grupos não-abelianos complexos tendem a ter normalizadores grandes ou estruturas que forçam a existência de pontos racionais. Os grupos "simples" (abelianos) são os que mais frequentemente falham em ser neutros.

Conclusão

O artigo de Breciani e Yang representa um avanço significativo na compreensão da relação entre a estrutura de grupos de automorfismos e a definibilidade de variedades sobre seus campos de módulos. Ao fornecer uma classificação completa em dimensão 3 e desenvolver ferramentas teóricas robustas (como a teoria de gates e normalizadores de gerbes), eles resolvem casos abertos e estabelecem um novo paradigma para o estudo de formas torcidas e singularidades aritméticas.