Introduction to Dieudonné modules and supersingular abelian varieties revisited

Dit artikel biedt een overzicht van Dieudonné-modules en herneemt supersinguliere abelse variëteiten, waarbij een eenvoudig bewijs wordt gegeven voor de uniciteit van producten van supersinguliere elliptische krommen en voor Oorts stelling over superspecial abelse variëteiten.

De kern

De Wiskundige Lego-blokken: Een Reis door Supersinguliere Abelse Variëteiten

Stel je voor dat wiskunde een enorme bouwplaats is. Op deze bouwplaats bouwen wiskundigen met speciale blokken. Meestal zijn dit de bekende, simpele blokken (zoals getallen of standaard krommen). Maar in dit artikel kijkt de auteur, Chia-Fu Yu, naar een heel speciaal, exotisch type blok: de supersinguliere abelse variëteiten.

Laten we dit verhaal opbreken in drie simpele hoofdstukken.

1. De Vertaalmachine: Dieudonné-modules

Het grootste probleem met deze speciale blokken is dat ze heel lastig te bestuderen zijn. Ze leven in een wereld met een heel vreemde "tijd" (karakteristiek $p$, wat betekent dat als je $p$ keer iets optelt, je weer bij nul uitkomt).

Om deze blokken te begrijpen, gebruikt de auteur een vertaalmachine die Dieudonné-modules heet.

• De Metafoor: Stel je voor dat je een ingewikkeld, glimmend, 3D-puzzelstuk hebt (de abelse variëteit) dat je niet kunt vastpakken. De Dieudonné-module is als een blauwdruk of een schematische tekening van dat stuk.
• In plaats van met het moeilijke 3D-puzzelstuk te werken, werkt de wiskundige met de simpele tekening. Deze tekening bestaat uit een paar regels en pijlen (genaamd $F$ en $V$) die vertellen hoe het blok zich gedraagt.
• Het mooie is: als je de tekening begrijpt, begrijp je automatisch het hele puzzelstuk. De auteur laat zien hoe je deze vertaalmachine gebruikt om de eigenschappen van deze speciale blokken te ontcijferen.

2. De Unieke Identiteit: Zijn alle supersinguliere blokken hetzelfde?

Nu we de blauwdrukken hebben, gaan we kijken naar de supersinguliere elliptische krommen. Dit zijn de "basisblokken" van onze bouw.

• Het mysterie: Stel je hebt een verzameling van deze basisblokken. Als je er twee of meer aan elkaar plakt (een product maakt), krijg je een groter blok. De vraag is: Maakt het uit welke basisblokken je kiest?
• De ontdekking: Het artikel bevestigt een beroemde theorie (van Deligne, Ogus en Shioda): Nee, het maakt niet uit.
  • De Analogie: Stel je hebt een doos met Lego-blokjes. Als je een toren bouwt van 10 blokjes, maakt het niet uit of je rode, blauwe of groene blokjes gebruikt; als ze allemaal van hetzelfde type "supersingulier" zijn, is de toren aan het einde exact hetzelfde.
  • De auteur geeft een nieuwe, makkelijke manier om dit te bewijzen. Hij zegt: "Kijk naar de blauwdruk (de Dieudonné-module). Als de blauwdrukken hetzelfde zijn, dan zijn de gebouwen hetzelfde."

3. De "A-nummer" en de Perfecte Bouw

Er is een speciale maatstaf in deze wereld, de a-nummer.

• De Metafoor: Stel je voor dat je een huis bouwt. De "a-nummer" vertelt je hoeveel "raampjes" er open zijn.
  • Als het a-nummer laag is, heb je een raar, gebroken huis.
  • Als het a-nummer maximaal is (gelijk aan het aantal dimensies van het huis), dan heb je een superspeciaal huis.
• De conclusie van Oort: De auteur bewijst dat als je een superspeciaal huis hebt (maximaal a-nummer), dit huis altijd opgebouwd is uit de perfecte basisblokken. Het is alsof je zegt: "Als je huis perfect symmetrisch is, dan moet het gemaakt zijn van exact dezelfde, perfecte Lego-blokjes." Er is geen andere optie.

4. Het Grote Geheim: Wat bepaalt de vorm?

Tot slot gaat het artikel over een diep mysterie: Hoeveel verschillende vormen kan je maken met dezelfde basisblokken?

• De auteur laat zien dat het antwoord afhangt van een soort "slot" op de deur van het gebouw (de endomorfismenring).
• Soms is er maar één manier om het gebouw te maken (het is uniek).
• Soms zijn er een paar manieren, afhankelijk van een getal dat je moet kiezen (zoals een sleutel die je in een slot steekt).
• Voor de meeste gevallen (bijvoorbeeld als je 2 of meer blokken hebt) is er maar één unieke vorm. Maar voor heel specifieke situaties (zoals met 2 blokken en een heel klein getal $p=2$), zijn er een paar variaties mogelijk.

Samenvatting in één zin:

Dit artikel is als een handleiding voor een meester-bouwer die uitlegt hoe je met een speciale set Lego-blokjes (supersinguliere variëteiten) werkt, en bewijst dat als je de blauwdrukken (Dieudonné-modules) goed begrijpt, je ziet dat er op het einde maar één perfecte toren uit komt, ongeacht welke specifieke blokjes je eerst hebt gekozen.

Het is een verhaal over orde in de chaos: hoe wiskundigen laten zien dat zelfs de vreemdste, meest ingewikkelde structuren in de wiskunde vaak terug te brengen zijn tot simpele, unieke patronen.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Introduction to Dieudonné Modules and Supersingular Abelian Varieties Revisited" van Chia-Fu Yu, geschreven in het Nederlands.

Titel: Introductie tot Dieudonné-modules en Supersinguliere Abelse Variëteiten (Herbekeken)

Auteur: Chia-Fu Yu
Taal van de samenvatting: Nederlands

---

1. Probleemstelling en Context

Het artikel richt zich op twee fundamentele aspecten van de arithmetische meetkunde in karakteristiek $p > 0$:

1. De basis theorie van Dieudonné-modules, een krachtig hulpmiddel om $p$-divisibele groepen en abelse variëteiten in positieve karakteristiek te classificeren.
2. De structuur en classificatie van supersinguliere abelse variëteiten.

Hoewel de resultaten in de literatuur bekend zijn (voornamelijk werk van Deligne, Ogus, Shioda en Oort), ontbreekt er vaak een elementaire, zelfstandige uitleg die de connectie tussen de algebraïsche structuur van endomorfieme ringen en de meetkundige classificatie van deze variëteiten helder maakt. Het artikel beoogt een overzichtelijke, elementaire bewijsvoering te geven voor de uniciteit van producten van supersinguliere elliptische krommen en voor Oorts stelling over superspeciale abelse variëteiten.

2. Methodologie

De auteur hanteert een strikt algebraïsche aanpak gebaseerd op de theorie van Dieudonné-modules en Cartier-Dieudonné-theorie. De kernmethodologie omvat:

• Dieudonné-modules: Het introduceren van de categorie van $W(k)$-vrije modules $M$ uitgerust met Frobenius ($F$) en Verschiebung ($V$) operatoren, waarbij $FV = VF = p$. Er wordt een anti-equivalentie van categorieën gebruikt tussen $p$-divisibele groepen en deze modules.
• Newton-polygoon en Slopes: Het analyseren van de "slopes" (hellingen) van de Frobenius-operatie. Een abelse variëteit is supersingulier als en slechts als alle slopes gelijk zijn aan $1/2$.
• De Manin-Dieudonné Stelling: Het presenteren van een elementair bewijs voor deze stelling, die stelt dat elke Dieudonné-module over een algebraïsch gesloten lichaam $k$ isomorf is aan een directe som van "rationale" modules $N^{\lambda}_{k}$, gekenmerkt door een rationale slope $\lambda$.
• Deformatie-theorie: Het gebruik van Cartier-modules en de theorema's van Serre-Tate om de lokale structuur van moduli-ruimten te bestuderen, specifiek de $a$-getal locus (waar $a(X) = \dim X$).
• Arithmetische Methoden: Het toepassen van de theorie van centrale simple algebra's, Hasse-Norm theorema's en sterke benadering (strong approximation) om de relatie tussen de endomorfieme ring $O = \text{End}(X)$ en de klassenverzameling van idealen te analyseren.

3. Belangrijkste Bijdragen en Resultaten

A. Fundamentele Theorie en Bewijzen

• Elementair Bewijs van Manin-Dieudonné: De auteur biedt een zelfstandig, elementair bewijs voor de classificatie van $F$-ruimten en $p$-divisibele groepen, zonder zwaar beroep te doen op zware representatietheorie.
• Uniciteit van Supersinguliere Producten (Stelling 23): Het artikel bewijst een stelling van Deligne, Ogus en Shioda: Voor elke $g > 1$ en elke verzameling van $2g$supersinguliere elliptische krommen$E_1, \dots, E_{2g}$, geldt dat:
  $$E_1 \times \dots \times E_g \cong E_{g+1} \times \dots \times E_{2g}$$
  Dit betekent dat het product van supersinguliere elliptische krommen uniek is tot isomorfisme, ongeacht de specifieke keuze van de krommen.
• Oorts Stelling (Stelling 22): Het wordt bewezen dat elke $g$-dimensionale abelse variëteit $X$ over een algebraïsch gesloten lichaam met $a$-getal $g$ (d.w.z. $a(X)=g$) isomorf is aan een product van $g$ supersinguliere elliptische krommen.

B. Classificatie via Endomorfieme Ringen

• De $a$-getal en Superspecialiteit: De auteur definieert een abelse variëteit als superspeciaal als $a(X) = \dim X$. Dit impliceert dat de variëteit isomorf is aan een product van supersinguliere elliptische krommen.
• Bijstelling van Isomorfieklassen (Lemma 27): Er wordt een fundamentele bijectie gevestigd tussen:
  1. De verzameling $\Lambda_X$ van isomorfieklassen van supersinguliere abelse variëteiten met een gegeven $p$-divisibele groep.
  2. De verzameling $Cl(O)$ van isomorfieklassen van lokaal vrije rechter-idealen van de endomorfieme ring $O = \text{End}(X)$.
  3. De quotiëntgroep $Z_p^\times / \text{Nr}(O_p^\times)$, waarbij $\text{Nr}$ de gereduceerde norm is.
     Dit resultaat generaliseert de klassieke Deuring-Eichler-correspondentie voor elliptische krommen naar hogere dimensies.

C. Specifieke Gevallen (Dimensie 2)

Voor supersinguliere abelse oppervlakken ($g=2$) met $a(X)=1$ (dus niet superspeciaal), onderscheidt de auteur twee gevallen gebaseerd op de parameter $t \in \mathbb{P}^1(k)$ die de isogenie definieert:

• Geval I: $t \notin \mathbb{F}_{p^4}$. Hier is de verzameling $\Lambda_X$ isomorf met $\mathbb{F}_p^\times / (\mathbb{F}_p^\times)^2$.
• Geval II: $t \in \mathbb{F}_{p^4} \setminus \mathbb{F}_{p^2}$. Hier is $\Lambda_X$ triviaal (een singleton).
  Dit betekent dat in Geval II alle niet-superspeciale supersinguliere oppervlakken met dezelfde $p$-divisibele groep isomorf zijn.

D. Determinatie door $p$-divisibele Groepen

Het artikel bespreekt wanneer een gepolariseerde abelse variëteit uniek wordt bepaald door zijn gepolariseerde $p$-divisibele groep. Dit hangt af van de conditie $\text{Nr}(O_p^\times) = \mathbb{Z}_p^\times$.

• Voor $g=1$ en specifieke $p$ (2, 3, 5, 7, 13) geldt dit.
• Voor $g=2$ en $p=2,3$ geldt dit.
• Voor $g=3$ en $p=2$ met $a(X) \ge 2$ geldt dit.
  De auteur koppelt deze arithmetische voorwaarde aan meetkundige loci in moduli-ruimten.

4. Significance en Impact

Dit artikel is significant voor de volgende redenen:

1. Pedagogische Waarde: Het biedt een toegankelijke, zelfstandige introductie tot de complexe theorie van Dieudonné-modules en supersinguliere variëteiten, geschikt als supplement voor recente lecture notes en artikelen.
2. Verduidelijking van Bewijzen: Het levert elementaire bewijzen voor diepe stellingen (zoals de uniciteit van producten van elliptische krommen) die oorspronkelijk zwaarder bewezen werden.
3. Brug tussen Meetkunde en Arithmetiek: Het verduidelijkt hoe de lokale endomorfieme ring $O \otimes \mathbb{Z}_p$ fungeert als een krachtige invariante die de meetkundige structuur van de moduli-ruimte van supersinguliere abelse variëteiten bepaalt.
4. Oort's Conjectuur: Het artikel plaatst de resultaten in de context van Oorts conjectuur over automorfismengroepen van generieke abelse variëteiten, en verwijst naar recente bewijzen voor hogere dimensies ($g=3, 4$) en specifieke priemgetallen.

Kortom, het werk consolideert de theorie rondom supersinguliere abelse variëteiten door de algebraïsche classificatie (via idealen in endomorfieme ringen) direct te koppelen aan de meetkundige classificatie (via isomorfisme van producten van elliptische krommen), en biedt nieuwe inzichten in de structuur van de moduli-ruimten voor dimensie 2 en hoger.