Neutral representations of finite diagonalizable group schemes and fields of moduli

1. El Problema: Campos de Moduli y Neutralidad de Gerbes

El trabajo se sitúa en el contexto de la teoría de campos de moduli, un concepto introducido por Matsusaka y clarificado por Shimura, y generalizado recientemente en el marco de la teoría de gerbes (en el sentido de Grothendieck y Giraud).

• Contexto: Dada una variedad propia $X$ (o una estructura adicional como puntos marcados) sobre un campo $k$, con un grupo de automorfismos finito, existe una extensión finita $\ell \subseteq k$ llamada campo de moduli de $X$.
• La Pregunta Fundamental: ¿Está $X$ definida sobre su campo de moduli $\ell$?
• Formulación en Teoría de Gerbes: La existencia de una definición sobre $\ell$ equivale a que el gerbe residual $G_X$ asociado a $X$ sea neutral. Un gerbe $G$ sobre un campo $K$ es neutral si $G(K) \neq \emptyset$ (es decir, si tiene una sección global). Si no es neutral, $X$ no puede definirse sobre $\ell$, aunque $\ell$ sea su campo de moduli.

El artículo anterior [BV24b] abordó este problema utilizando el concepto de singularidades R (R-singularities). Este nuevo trabajo introduce una herramienta más potente y general: las representaciones neutrales.

2. Metodología y Conceptos Clave

Los autores desarrollan un marco teórico que conecta la teoría de representaciones de grupos finitos (o esquemas de grupos finitos) con la neutralidad de gerbes.

A. Representaciones Neutrales

Se introduce la noción de representación neutral para un esquema de grupo finito $G$ sobre un campo $K$.

• Definición: Una representación $V$ de $G$ es neutral si, para cualquier gerbe $G$ sobre un campo $k$ que sea una forma de la pila clasificante $BG$, y para cualquier fibrado vectorial $V \to G$ que sea una forma de $V$, el gerbe $G$ es necesariamente neutral.
• Implicación: Si se puede asociar una representación neutral $V$ a una variedad $X$ (por ejemplo, a través de grupos de cohomología o espacios tangentes), entonces la neutralidad de $V$ garantiza que el gerbe residual de $X$ es neutral, y por tanto, $X$ está definida sobre su campo de moduli.

B. Descomposición "Blended" (Mezclada)

Para analizar cuándo una representación es neutral, los autores introducen la descomposición blended para grupos diagonalizables finitos.

• Dado un grupo diagonalizable $G$ y su grupo de caracteres $\hat{G}$, se define una acción del grupo de automorfismos que preservan la representación ($\text{Aut}_V G$) sobre $\hat{G}$.
• Las subespacios propios mezclados ($V_\omega$) son sumas directas de espacios propios correspondientes a caracteres en la misma órbita bajo esta acción.
• Esta descomposición es crucial porque se conserva bajo cambios de base y formas de gerbes, permitiendo reducir el problema de neutralidad al estudio de las órbitas de caracteres y sus dimensiones.

C. Periodos e Índices de Gerbes Abelianos

Se utilizan resultados de cohomología fppf para relacionar la estructura del gerbe con la representación.

• Se define el periodo y el índice de un gerbe abeliano.
• Un primo $p$ se considera crítico si divide el periodo de algún gerbe que admite la representación $V$.
• Criterio de Neutralidad: Una representación es neutral si y solo si no tiene primos críticos.

3. Resultados Principales

El núcleo del artículo son criterios explícitos para determinar la neutralidad de representaciones de grupos diagonalizables finitos, especialmente grupos cíclicos y abelianos.

Teorema General (Sección 6)

Los autores establecen condiciones bajo las cuales un primo $p$ no es crítico. La condición general implica que si existen extensiones de grado coprimo con $p$ donde ciertos caracteres descienden al gerbe y generan el grupo de caracteres $p$-Sylow, entonces $p$ no divide el índice del gerbe.

Caso de Grupos Cíclicos (Corolario 6.10)

Este es el resultado más aplicable y simple. Sea $G$ un grupo cíclico de orden $n$ y $V$ una representación.

• Condición: Para cada divisor primo $p$ de $n$, sea $H_p \subseteq G$ el único subgrupo isomorfo a $\mu_p$. Si la diferencia entre la dimensión total de la representación y la dimensión de los puntos fijos bajo $H_p$ no es divisible por $p$:
  $$\dim V - \dim V^{H_p} \not\equiv 0 \pmod p$$
  Entonces, la representación $V$ es neutral.

Relación con Singularidades R (Sección 3)

Se demuestra una conexión profunda con las singularidades R (herramienta central en [BV24b]):

1. Si $(V/G, [0])$ es una singularidad R, entonces $V$ es neutral.
2. Si $V$ es neutral y $G$ no contiene pseudoreflexiones, entonces $(V/G, [0])$ es una singularidad R.
   Esto permite clasificar nuevas singularidades R y generalizar resultados previos sobre la clasificación de singularidades en dimensión 2 y 3.

4. Aplicaciones Geométricas (Sección 8)

Los autores aplican la teoría de representaciones neutrales para demostrar que ciertas variedades están definidas sobre su campo de moduli, generalizando resultados existentes.

A. Variedades Puntuadas (Teorema 8.1)

Sea $(X, x_0)$ una variedad propia con un punto racional suave $x_0$. Si el grupo de automorfismos que fijan $x_0$ es cíclico ($\mu_n$) y se cumple la condición de dimensión del Corolario 6.10 aplicada al espacio tangente $T_{x_0}X$:

• Resultado: La variedad puntuada $(X, x_0)$ está definida sobre su campo de moduli.
• Generalización: Esto supera las limitaciones de [BV24b], que requerían condiciones más restrictivas sobre la singularidad o el punto fijo.

B. Curvas Suaves (Teorema 8.2)

Sea $X$ una curva proyectiva suave de género $g \geq 2$ con grupo de automorfismos cíclico de orden coprimo con la característica del campo.

• Condición: Para cada divisor primo $p$ del orden del grupo, la diferencia entre el género de $X$ y el género de la curva cociente $X/H_p$ no es divisible por $p$.
  $$g(X) - g(X/H_p) \not\equiv 0 \pmod p$$
• Resultado: La curva $X$ está definida sobre su campo de moduli.
• Significancia: Este resultado cubre casos donde los métodos anteriores fallaban, proporcionando una clase amplia de ejemplos de curvas definidas sobre su campo de moduli.

5. Significado y Contribución

1. Nueva Herramienta Teórica: La introducción de "representaciones neutrales" ofrece un criterio puramente algebraico y combinatorio (basado en dimensiones de espacios propios y órbitas de caracteres) para resolver problemas de existencia de modelos definidos sobre campos de moduli, evitando la necesidad de analizar directamente la geometría de la variedad o sus resoluciones de singularidades en cada caso.
2. Generalización de Resultados Previos: Los teoremas 8.1 y 8.2 generalizan significativamente los resultados de [BV24b], permitiendo tratar casos con grupos de automorfismos cíclicos de orden arbitrario (no solo potencias de 2 o casos específicos) y sin restricciones severas sobre la posición de los puntos fijos.
3. Conexión entre Áreas: El trabajo une la teoría de gerbes, la teoría de representaciones de grupos diagonalizables y la geometría algebraica de variedades con simetrías, demostrando que la neutralidad de un gerbe puede decidirse mediante propiedades lineales simples de la acción del grupo en espacios vectoriales asociados (como cohomología o espacios tangentes).
4. Clasificación de Singularidades: Proporciona una vía alternativa y más amplia para identificar singularidades R, conectando la teoría de representaciones con la geometría de los cocientes.

En resumen, el artículo establece que la "neutralidad" de una variedad sobre su campo de moduli puede garantizarse verificando una condición numérica simple sobre la acción del grupo de automorfismos en ciertos espacios vectoriales intrínsecos a la variedad, siempre que el grupo sea diagonalizable (especialmente cíclico).