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

Titel: Neutrale Representaties in Dimensie ≤3 en Velden van Moduli

1. Het Probleem en de Context

Het artikel adresseert een fundamenteel probleem in de algebraïsche meetkunde en getaltheorie: het bepalen van het veld van moduli van een variëteit (of een object met extra structuur) $(X, \xi)$.

• Definitie: Het veld van moduli $k(X, \xi)$ is het kleinste veld waarover de isomorfieklass van $(X, \xi)$ gedefinieerd kan worden.
• De Vraag: Kan $(X, \xi)$ daadwerkelijk over dit veld van moduli gedefinieerd worden?
• Gerben en Neutraliteit: Uit eerder werk (Bresciani & Vistoli) volgt dat dit probleem equivalent is aan het bepalen of een specifieke gerbe $\mathcal{G}_{(X, \xi)}$ (die de "twisted forms" van het object classificeert) neutraal is. Een gerbe is neutraal als deze een rationaal punt heeft over het veld van moduli ($\mathcal{G}(k) \neq \emptyset$).
• De Rol van Representaties: De neutraliteit van een gerbe wordt vaak gedwongen door het bestaan van specifieke vectorbundels (of projectieve bundels) daarop. Een representatie $V$ van een algebraïsche groep $G$ wordt neutraal genoemd als elke "twisted form" van de bijbehorende vectorbundel $[V/G] \to BG$ een sectie heeft. Het doel van dit artikel is het volledig classificeren van welke eindige groepen $G \subseteq GL_n$ neutrale representaties hebben, specifiek voor lage dimensies ($n \le 3$).

2. Methodologie

De auteurs combineren gerbe-theorie, cohomologie van groepen en de theorie van "twisted forms" met een nieuwe, verfijnde aanpak voor het analyseren van subgroepen van lineaire groepen.

• Gerben en Twisted Forms: Het artikel gebruikt de taal van gerben om twisted forms van representaties te beschrijven. Een twisted vorm van een representatie correspondeert met een vectorbundel op een gerbe.
• De "Gate"-Concept: Een cruciale methodologische innovatie is het concept van een gate (poort). Een subgroep $\Pi \subseteq \Gamma$ is een gate voor een groep $G$ als elke twisted vorm van $BG \to B\Gamma$ factoriseert via $B\Pi$. Dit stelt de auteurs in staat om het probleem te reduceren van een grote groep $\Gamma$ (zoals $GL_n$) naar een veel kleinere, hanteerbaarder subgroep $\Pi$.
• Normalisatoren van Gerben: In de appendix wordt een abstracte theorie ontwikkeld voor de normalisator van een morfisme van gerben. Dit generaliseert het concept van de normalisator van een subgroep naar morfismen van gerben, wat essentieel is om te bepalen of twisted forms triviaal zijn.
• Cohomologische Criteria: De neutraliteit wordt vaak getest via de surjectiviteit van cohomologiemappingen $H^1(k, N) \to H^1(k, N/G)$, waarbij $N$ de normalisator is. Als deze mapping surjectief is voor alle velduitbreidingen, is de representatie neutraal.
• Diagonale Subgroepen: Voor abelse groepen wordt een nieuwe techniek ontwikkeld die werkt met karaktergroepen en permutatiemodulen om neutraliteit te bewijzen, zelfs in hogere dimensies.

3. Belangrijkste Bijdragen en Resultaten

Het artikel levert drie hoofdresultaten:

A. Classificatie in Dimensie 2
De auteurs geven een volledige classificatie van neutrale, trouwe representaties van eindige groepen in $GL_2$.

• Resultaat: In karakteristiek 2 zijn alle eindige subgroepen neutraal. In karakteristiek $\neq 2$ is een groep $G \subseteq GL_2$ niet neutraal dan en slechts dan als deze geconjugeerd is tot een specifieke vorm van een diagonale groep die de inverse afbeelding is van een cyclische ondergroep in $PGL_2$ (specifiek gerelateerd aan even orde en pseudo-reflexies).
• Dit vult eerdere werken aan die zich beperkten tot singulariteiten zonder pseudo-reflexies.

B. Classificatie in Dimensie 3 (Hoofdbijdrage)
Dit is het meest significante nieuwe resultaat. De auteurs classificeren alle neutrale, trouwe representaties van eindige groepen in $GL_3$ (onder de aanname van karakteristiek 0).

• Stelling 1.5: Een representatie van een eindige groep $G \subseteq GL_3$ is niet neutraal dan en slechts dan als $G$ geconjugeerd is tot een van de volgende groepen:
  1. De inverse afbeelding in $SL^{(c)}_3$ van een abelse groep gegenereerd door diagonalen met specifieke verhoudingen tussen de wortels van eenheid (type $a$ en $e$ in de tekst).
  2. De inverse afbeelding in een specifieke blok-groep $SL^{(c_1, c_2)}_{(2,1)}$ van een groep gegenereerd door $\text{diag}(\zeta_{2m}, \zeta_{2m}, 1)$ en $\text{diag}(\zeta_{2n}, \zeta_{2n}^{-1}, 1)$.
  3. De inverse afbeelding van de groep $H_2$ (orde 18).
  4. De inverse afbeelding van de groep $H_3$ (orde 36), mits de derdemachtswortel van eenheid $\zeta_3$ niet in het grondveld $k_0$ zit. Als $\zeta_3 \in k_0$, is deze groep wel neutraal.
• Conclusie: Niet-neutrale groepen zijn een zeer kleine fractie van alle eindige subgroepen. De meeste "complexe" groepen (niet-abels in $PGL_n$) blijken neutraal te zijn, terwijl de uitzonderingen vaak abelse of specifieke structuren hebben.

C. Algemene Resultaten voor Abelse Groepen
De auteurs bewijzen een zeer algemeen, berekeningsvriendelijk criterium voor de neutraliteit van diagonale subgroepen van $GL_n$ met 1-dimensionale eigenruimtes.

• Stelling 1.6: Als de karaktergroep van de subgroep een direct sommand is van een permutatiemodule onder de werking van de normalisator, dan is de representatie neutraal. Dit werkt in willekeurige dimensies.

4. Toepassingen en Significantie

De resultaten hebben directe en belangrijke gevolgen voor verschillende gebieden:

1. Velden van Moduli van Variëteiten:

   • De classificatie levert direct nieuwe voorbeelden op van variëteiten die over hun veld van moduli gedefinieerd kunnen worden.
   • Voorbeeld 1: Als de automorfismegroep van een kromme $C$ eindig is en de representatie op de cohomologie $H^p(C, \mathcal{O}_C)$ neutraal is, dan is $C$ gedefinieerd over zijn veld van moduli.
   • Voorbeeld 2: Voor variëteiten met een gemarkeerd punt, als de actie op de raakruimte neutraal is, is het paar gedefinieerd over het veld van moduli.

2. Singulariteiten van Quotienten:

   • Er bestaat een directe link tussen neutrale representaties en quotient singulariteiten van type R. Een singulariteit $(S, s)$ is van type R als elke rationele punt op een twisted vorm van $S$ opstijgt naar een resolutie van de singulariteit.
   • De classificatie in dimensie 3 levert de volledige classificatie op van tame quotient singulariteiten van type R in dimensie 3 en karakteristiek 0. Dit is een uitbreiding van eerdere resultaten in dimensie 2.

3. Tannakiaanse Categorieën:

   • Omdat Tannakiaanse categorieën equivalent zijn aan gerben, betekent het begrijpen van niet-neutrale representaties het begrijpen van objecten in niet-neutrale Tannakiaanse categorieën. De resultaten geven sterke beperkingen op welke objecten in dergelijke categorieën kunnen voorkomen.

4. Theoretische Generalisatie:

   • De ontwikkeling van de theorie van de normalisator van een morfisme van gerben (Appendix A) biedt een krachtig nieuw instrument voor de studie van twisted forms van objecten in algemene sites, verder dan alleen lineaire representaties.

5. Conclusie

Het artikel toont aan dat neutraliteit de "normale" toestand is voor trouwe representaties van eindige groepen in lage dimensies; niet-neutrale gevallen zijn zeldzaam en goed geclassificeerd. Door de brug te slaan tussen gerbe-theorie, cohomologie en de meetkunde van quotient-singulariteiten, biedt het papier een krachtige methodologie om de definitie van algebraïsche objecten over hun veld van moduli te garanderen. De resultaten zijn zowel theoretisch diepgaand (door de abstracte normalisator-theorie) als praktisch toepasbaar (door de expliciete classificaties in dimensie 2 en 3).