Neutral representations of finite diagonalizable group schemes and fields of moduli

1. Il Problema: Campi di Moduli e Neutralità dei Gerbi

Il lavoro nasce nel contesto della teoria dei campi di moduli, un concetto introdotto da Matsusaka e chiarito da Shimura, che riguarda la definizione di una varietà (o struttura algebrica) sul proprio campo di moduli.

• Contesto: Dato una varietà propria $X$ su un campo $k$ con un gruppo di automorfismi finito, esiste un'estensione finita $\ell \subseteq k$ (il campo di moduli) e un gerbe residuo $\mathcal{G}_X \to \text{Spec } \ell$ che classifica le forme twistate di $X$.
• La domanda fondamentale: La varietà $X$ è definita sul suo campo di moduli $\ell$? In termini di teoria dei gerbi, questo equivale a chiedersi se il gerbe $\mathcal{G}_X$ sia neutrale, ovvero se l'insieme dei punti razionali $\mathcal{G}_X(\ell)$ non sia vuoto.
• Stato dell'arte: Nel lavoro precedente [BV24b], la neutralità è stata collegata al concetto di singolarità R (R-singularities). Se una varietà ha un punto marcato e il suo gruppo di automorfismi soddisfa la proprietà $R_d$, la coppia è definita sul campo di moduli. Tuttavia, questo approccio ha limitazioni nella generalità delle classi di varietà trattabili.

2. Metodologia: Rappresentazioni Neutrali e Decomposizione Mista

Gli autori introducono una nuova nozione astratta per generalizzare i risultati precedenti: le rappresentazioni neutrali.

2.1 Definizione di Rappresentazione Neutrale

Sia $G$ un gruppo finito (o schema di gruppo finito) su un campo $K$ e $V$ una sua rappresentazione. Si dice che $V$ è neutrale se, per ogni gerbe $\mathcal{G}$ che è una forma di $BG$ (il stack classificante di $G$) e che ammette un fibrato vettoriale $\mathcal{V}$ che è una forma di $V$, allora il gerbe $\mathcal{G}$ è necessariamente neutrale (ammette un punto razionale).
In sostanza, la presenza di una struttura vettoriale "isomorfa" a $V$ su un gerbe forza la neutralità di quel gerbe.

2.2 Strumenti Tecnici

Per caratterizzare quando una rappresentazione è neutrale, gli autori sviluppano una metodologia basata su:

• Gruppi Diagonalizzabili: Il lavoro si concentra su schemi di gruppo diagonalizzabili finiti (in particolare gruppi abeliani finiti).
• Decomposizione Mista (Blended Decomposition): Data una rappresentazione $V$, si considera il gruppo di automorfismi $\text{Aut}_V G$ che preserva la struttura della rappresentazione. Questo gruppo agisce sul gruppo dei caratteri $\hat{G}$. Le orbite di questa azione definiscono le eigen-spazi misti ($V_\omega$). La decomposizione di $V$ in somme dirette di questi spazi misti è l'unica che si preserva sotto base change per qualsiasi forma del gerbe.
• Criteri di Discesa dei Caratteri: Si analizza quando un carattere $\chi \in \hat{G}$ "discende" a un gerbe $\mathcal{G}$ (cioè corrisponde a un fascio di rette su $\mathcal{G}$).
• Periodo e Indice: Si utilizzano proprietà coomologiche (periodo e indice di un gerbe abeliano) per dimostrare che certi numeri primi non dividono l'indice del gerbe, garantendone la neutralità.

3. Risultati Chiave

3.1 Criteri Generali per la Neutralità

Il cuore del paper (Sezioni 6 e 7) fornisce criteri espliciti per determinare se una rappresentazione è neutrale:

• Teorema 6.4: Fornisce una condizione generale basata sulla generazione del gruppo dei caratteri $p$-Sylow da parte di caratteri che discendono al gerbe dopo un'estensione di grado primo a $p$.
• Corollario 6.10 (Caso Ciclico): Per un gruppo ciclico $G$, la rappresentazione $V$ è neutrale se, per ogni divisore primo $p$ di $|G|$, la differenza tra la dimensione totale di $V$ e la dimensione del sottospazio fisso $V^{H_p}$ (dove $H_p \cong \mu_p$) non è divisibile per $p$.
  $$\dim V - \dim V^{H_p} \not\equiv 0 \pmod p$$

3.2 Connessione con le Singolarità R

Il Teorema 3.2 stabilisce un legame stretto:

1. Se la singolarità $(V/G, [0])$ è una singolarità R, allora $V$ è neutrale.
2. Se $V$ è neutrale e $G$ non contiene pseudoriflessioni, allora $(V/G, [0])$ è una singolarità R.
   Questo permette di classificare le singolarità R tramite la teoria delle rappresentazioni.

3.3 Applicazioni Geometriche (Sezione 8)

Gli autori applicano i criteri di neutralità per dimostrare che ampie classi di varietà sono definite sui loro campi di moduli, generalizzando risultati noti:

• Varietà Puntate (Teorema 8.1): Sia $(X, x_0)$ una varietà con un punto liscio $x_0$ e un gruppo di automorfismi ciclico $G = \mu_n$. Se per ogni primo $p|n$, la differenza tra la dimensione di $X$ in $x_0$ e la dimensione del luogo fisso $X^{H_p}$ non è divisibile per $p$, allora $(X, x_0)$ è definita sul campo di moduli.
• Curve Proiettive Lisce (Teorema 8.2): Sia $X$ una curva proiettiva liscia di genere $g \ge 2$ con gruppo di automorfismi ciclico $G$ (ordine primo alla caratteristica). Se per ogni primo $p$ che divide $|G|$, la differenza tra il genere di $X$ e il genere del quoziente $X/H_p$ non è divisibile per $p$, allora $X$ è definita sul campo di moduli.
  • Nota: Questo generalizza risultati classici sulle curve iperellittiche ($p=2$) e copre casi per $p > 2$ non trattabili con le tecniche precedenti.

4. Contributi e Significatività

1. Nuovo Paradigma: L'introduzione delle "rappresentazioni neutrali" offre un potente strumento algebrico per risolvere problemi di discesa geometrica, bypassando la necessità di analizzare direttamente la geometria della varietà in tutti i casi complessi.
2. Generalizzazione: I risultati ottenuti (specialmente Corollario 1.2 e Teorema 8.2) coprono classi di curve e varietà con automorfismi ciclici di ordine dispari o primo alla caratteristica che non erano accessibili tramite la teoria delle singolarità R classica.
3. Classificazione: Il lavoro contribuisce alla classificazione delle singolarità R. Gli autori menzionano che, in un lavoro futuro [BY26], estenderanno la classificazione delle rappresentazioni fedeli e neutrali fino alla dimensione 3 e in caratteristica 0.
4. Semplicità dei Criteri: Nonostante la complessità tecnica della dimostrazione (che coinvolge coomologia fppf, teoremi di discesa di Galois e teoria dei gerbi), i criteri finali per l'applicazione geometrica sono sorprendentemente semplici da verificare (controllo di congruenze modulari su dimensioni e generi).

In conclusione, questo paper fornisce un ponte fondamentale tra la teoria delle rappresentazioni dei gruppi finiti e la geometria aritmetica delle varietà, risolvendo positivamente il problema del campo di moduli per una vasta gamma di esempi che superano i limiti della letteratura precedente.