On equations of fake projective planes with automorphism group of order $21$

Each language version is independently generated for its own context, not a direct translation.

Stel je voor dat wiskundigen op zoek zijn naar een heel speciaal soort "droomhuis" in een abstracte wereld. Dit huis heet een valse projectieve vlak (fake projective plane).

Waarom "valse"? Omdat het er van buitenaf precies uitziet als een normaal projectief vlak (een bekend, perfect symmetrisch bouwwerk in de wiskunde), maar als je er van binnen in kijkt, is de structuur heel anders. Het is alsof je een perfecte bol ziet, maar als je er doorheen loopt, ontdek je dat het eigenlijk een doolhof is.

De auteur van dit artikel, Lev Borisov, heeft een nieuwe manier gevonden om de blauwdrukken (de vergelijkingen) van twee van deze "droomhuizen" te tekenen. Hier is hoe hij dat deed, vertaald naar alledaagse taal:

1. Het grote mysterie: De blauwdrukken zijn zoek

Sinds de jaren '70 weten wiskundigen dat deze valse vlakken bestaan, maar niemand kon ooit de exacte vergelijkingen vinden die ze beschrijven. Het was alsof je wist dat er een schat begraven lag, maar je had geen kaart. De meeste wiskundigen die erover werkten, gebruikten abstracte theorieën die te ingewikkeld waren om concrete formules te geven.

2. De sleutel: Een trage trap (De Dolgachev-oppervlakken)

Borisov besloot niet direct naar het einddoel te springen. Hij gebruikte een tussenstation: een soort "ruwe schets" van het huis, genaamd een Dolgachev-oppervlak.

De analogie: Stel je voor dat je een heel complex mozaïek wilt maken. In plaats van direct de laatste steentjes te leggen, bouw je eerst een raamwerk van houten balken.
Dit raamwerk heeft een heel specifieke vorm: het heeft een "dubbele" en een "driedubbele" balk (in de wiskundetaal: een dubbel en een drievoudig vezel).
Borisov bedacht een manier om een hele familie van deze raamwerken te maken, met 9 knoppen (variabelen) die je kunt draaien om de vorm te veranderen.

3. Het zoeken naar de perfecte vorm (De 92 vergelijkingen)

Nu moest hij de juiste knoppen vinden om het raamwerk te laten kloppen met de eisen van het valse vlak.

Hij stelde een enorme puzzel op: meer dan 1600 vergelijkingen met 92 onbekenden.
De computer als hulpmiddel: Dit is te veel voor een mens om met pen en papier op te lossen. Borisov gebruikte krachtige computersoftware (Mathematica) om de vergelijkingen te "kneden" tot een oplossing. Het was alsof hij een enorme, rommelige berg Lego-blokken liet sorteren door een robot, totdat er een perfect patroon uitkwam.

4. De "Gouden Gaten" (Zoeken in eindige velden)

Een van de slimste trucs die hij gebruikte, was het zoeken in een "kleine wereld" voordat hij naar de grote wereld ging.

De analogie: Stel je voor dat je een sleutel zoekt die een heel groot slot opent. In plaats van direct in de donkere nacht te zoeken, kijkt je eerst in een klein, goed verlicht kamertje (een eindig veld, een wiskundige wereld met een beperkt aantal getallen).
Hij zocht naar een oplossing in een wereld met slechts 79 getallen. Toen hij daar een oplossing vond die "net niet perfect" leek (met bepaalde krommingen), wist hij dat hij de juiste richting op was.
Vervolgens gebruikte hij deze kleine oplossing als startpunt om stap voor stap de oplossing te "verfijnen" naar de echte, complexe wiskundige wereld.

5. Het einddoel: Twee nieuwe huizen

Met deze methode slaagde hij erin om twee nieuwe "valse projectieve vlakken" te construeren:

Het huis van Keum: Dit is een huis dat al eerder door een collega (J. Keum) was ontdekt, maar waarvoor niemand de exacte bouwtekening had. Borisov heeft nu de blauwdrukken gevonden.
Een compleet nieuw huis: Een tweede paar van deze vlakken, dat nog nooit eerder expliciet was beschreven.

6. De identificatie: Welk huis is het?

Aan het einde had hij de vergelijkingen, maar wist hij niet precies welk van de 50 bekende "soorten" valse vlakken hij had gevonden.

Hij keek naar de symmetrieën (hoe het huis kan draaien en spiegelen zonder te veranderen).
Door te tellen hoeveel "toverdraden" (torsie-bundels) er in het huis zaten, kon hij concluderen: "Ah, dit is niet het huis van Keum, dit is het huis dat in de classificatie 'C20' heet!"

Waarom is dit belangrijk?

Voor de gemiddelde leek klinkt dit misschien als abstracte klinkklank, maar het is een enorme doorbraak.

Van droom naar realiteit: Wiskundigen kunnen nu niet meer alleen zeggen "het bestaat", maar kunnen het daadwerkelijk bouwen en bestuderen met de vergelijkingen.
De sleutel tot meer: De methode die Borisov bedacht (het gebruik van computers om van een ruwe schets naar een exacte vergelijking te gaan) is een nieuwe gereedschapskist. Misschien kunnen anderen deze techniek gebruiken om de blauwdrukken te vinden voor het beroemdste valse vlak van allemaal: het huis van Mumford, dat al decennia lang een mysterie is.

Kortom: Lev Borisov heeft een nieuwe, slimme manier gevonden om de blauwdrukken van mysterieuze wiskundige bouwwerken te tekenen, door slim gebruik te maken van computers en een beetje geluk met "kleine wereld"-testen. Hij heeft hiermee twee nieuwe huizen op de kaart gezet en de weg vrijgemaakt voor nog meer ontdekkingen.

Each language version is independently generated for its own context, not a direct translation.

Hier is een gedetailleerde technische samenvatting van het artikel "On equations of fake projective planes with automorphism group of order 21" van Lev Borisov, geschreven in het Nederlands.

Titel: Over vergelijkingen van valse projectieve vlakken met een automorfismegroep van orde 21

Auteur: Lev Borisov
Publicatie: Épijournal de Géométrie Algébrique, Volume 7 (2023)

1. Probleemstelling en Achtergrond

Valse projectieve vlakken (fake projective planes) zijn complexe oppervlakken van algemeen type die dezelfde Hodge-getallen hebben als het complexe projectieve vlak $\mathbb{CP}^2$ , maar niet isomorf zijn met $\mathbb{CP}^2$ . Hoewel er een volledige classificatie bestaat van deze oppervlakken (door Cartwright en Steger), die 50 geconjugeerde paren in 28 klassen omvat, ontbraken tot nu toe expliciete polynoomvergelijkingen voor de meeste van deze oppervlakken. De constructie van automorfe vormen voor de bijbehorende discrete arithmetische subgroepen is uiterst moeilijk.

Dit artikel richt zich op het vinden van expliciete vergelijkingen voor twee specifieke paren valse projectieve vlakken die een automorfismegroep van orde 21 bezitten. De maximale orde van zo'n groep is 21. De auteur focust op:

Het valse projectieve vlak dat eerder werd geconstrueerd door J. Keum (classificatie: $(a=7, p=2, \{7\}, D_{327})$ ).
Een nieuw gevonden valse projectieve vlak (classificatie: $(C_{20}, p=2, \emptyset, D_{327})$ ).

Beide oppervlakken zijn gerelateerd aan Dolgachev-oppervlakken met een dubbele en een drievoudige vezel.

2. Methodologie

De auteur hanteert een constructieve aanpak die draait om het modelleren van de minimale resolutie $Y$ van het quotiënt van het valse projectieve vlak door zijn ondergroep $C_7$ . Dit quotiënt heeft een specifieke fibratiestructuur over $\mathbb{CP}^1$ met een genus 1 vezel, inclusief meervoudige vezels en singuliere vezels.

De kern van de methode bestaat uit de volgende stappen:

Graded Ring Constructie: Er wordt een ring $R = \bigoplus H^0(Y, \mathcal{O}(aF + bS))$ bestudeerd, waarbij $F$ de canonieke klasse is en $S$ een rationele 6-sectie. De auteur conjectureert dat deze ring een vrij module-structuur heeft over een subring gegenereerd door variabelen met specifieke gewichten.
Parametrisatie van Dolgachev-oppervlakken: Er wordt een familie van $(2,3)$ -Dolgachev-oppervlakken geconstrueerd. De vergelijkingen worden opgesteld als een stelsel van kwadratische relaties (quadrics) tussen de generatoren van de ring.
Oplossen van het stelsel: Door associativiteitsvoorwaarden van de ring op te leggen, ontstaat een systeem van meer dan 1600 vergelijkingen met 92 onbekenden. Dit wordt opgelost met behulp van Mathematica, wat leidt tot een 9-parameter familie.
Geometrische restricties: Er worden extra voorwaarden opgelegd aan de speciale vezel (de vezel van type $I_9$ ) om de parameter ruimte te verkleinen. Specifiek wordt gezocht naar configuraties met twee disjuncte lijnen in de speciale vezel. Dit reduceert de familie eerst tot 7 parameters, en vervolgens tot een 5-parameter familie.
Finite Field Search en Hefing (Lifting): Omdat de vergelijkingen te complex zijn om symbolisch direct op te lossen voor de specifieke singuliere punten, gebruikt de auteur een numerieke aanpak:
1. Zoeken naar geschikte parameters in eindige velden $\mathbb{F}_p$ (waarbij $p=79$ de eerste succesvolle priem bleek te zijn).
2. Controleren of de resulterende oppervlakken de vereiste "slechtere dan nodale" singulariteiten hebben op specifieke punten.
3. Het oplossen van de parameters naar $p$ -adische getallen en vervolgens reconstrueren van algebraïsche getallen (van graad 12) via roosterreductie-algoritmen.
Identificatie: Het gevonden oppervlak wordt geïdentificeerd als een specifiek geval uit de Cartwright-Steger classificatie door het tellen van torsie-lijnbundels in de Picard-groep. Dit gebeurt door te zoeken naar niet-gereduceerde $C_3$ -invariante elementen in het bicanonische systeem modulo een priemgetal (hier $p=29$ ).

3. Belangrijkste Resultaten

Expliciete Vergelijkingen voor een Nieuw Paar: De auteur levert de eerste expliciete polynoomvergelijkingen voor het valse projectieve vlak met classificatie $(C_{20}, p=2, \emptyset, D_{327})$ . Dit oppervlak wordt gerealiseerd als de doorsnede van 84 kubische vergelijkingen in $\mathbb{CP}^9$ .
Herontdekking van Keum's Oppervlak: Door een tweede 5-parameter familie van Dolgachev-oppervlakken te onderzoeken (met een andere intersectie-configuratie van de sectie $S$ met de vezelcomponenten), wordt een tweede paar valse projectieve vlakken gevonden. Dit blijkt het eerder door Keum geconstrueerde oppervlak te zijn. Hoewel de vergelijkingen al bekend waren, worden ze hier via een nieuwe constructieve route afgeleid.
Structuur van de Automorfismegroep: Voor beide gevonden paren wordt de automorfismegroep van orde 21 expliciet beschreven als een semidirect product van $C_7$ en $C_3$ . De werking van deze groep op de coördinatenruimte wordt expliciet berekend.
Berekening van de Torsie: Voor het nieuwe oppervlak $(C_{20})$ wordt aangetoond dat de Picard-groep een grote torsie-ondergroep bevat ( $C_2^6$ ), wat het onderscheidt van het Keum-oppervlak (dat $C_2^3$ heeft). Dit dient als cruciaal bewijs voor de identificatie.

4. Significatie en Toekomstperspectief

Doorbraak in Expliciete Meetkunde: Dit werk is een belangrijke stap in het overbruggen van de kloof tussen de abstracte classificatie van valse projectieve vlakken en hun concrete realisatie via polynoomvergelijkingen. Het bewijst dat deze complexe objecten berekenbaar zijn met moderne computeralgebra-systemen.
Methodologische Innovatie: De combinatie van theoretische algebraïsche meetkunde (graded rings, Dolgachev-oppervlakken) met geavanceerde numerieke methoden (eindige veld-reductie, $p$ -adische lifting, roosterreductie) biedt een blauwdruk voor het bestuderen van andere zeldzame algebraïsche variëteiten.
Toekomstige Doelen: De auteur stelt dat deze resultaten een weg openen voor het vinden van de vergelijkingen van het beroemde Mumford-oppervlak. Aangezien het Keum-oppervlak commensurabel is met het Mumford-oppervlak, hoopt de auteur dat het begrijpen van de overdekkingen en vezels van het Keum-oppervlak de sleutel zal zijn tot het construeren van het Mumford-oppervlak.

Conclusie

Lev Borisov slaagt erin om twee paren valse projectieve vlakken met een automorfismegroep van orde 21 expliciet te construeren. Het artikel levert niet alleen de vergelijkingen voor een nieuw, nog niet eerder expliciet beschreven oppervlak, maar valideert ook de methode door het bekende Keum-oppervlak te herconstrueren. De gebruikte techniek van "finite-field search followed by lifting" blijkt een krachtig hulpmiddel om complexe algebraïsche structuren te ontrafelen die anders ontoegankelijk zouden zijn.