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

Die Autoren leiten explizite Gleichungen für zwei neue Paare von gefälschten projektiven Ebenen mit einer Automorphismengruppe der Ordnung 21 her, indem sie Dolgachev-elliptische Flächen mit einer doppelten und einer dreifachen Faser untersuchen, wodurch die Aufgabe der Bestimmung expliziter Gleichungen für alle solchen Flächen abgeschlossen wird.

Das Wesentliche

Stellen Sie sich vor, die Welt der Mathematik ist wie ein riesiges, unendliches Universum voller geometrischer Formen. In diesem Universum gibt es eine sehr spezielle, fast magische Art von Oberfläche: die fälschliche projektive Ebene (auf Englisch: fake projective plane).

Der Name ist etwas verwirrend, denn diese Flächen sind keine echten „Ebenen" wie ein Blatt Papier. Sie sind eher wie perfekte Imitate. Sie sehen von weitem genau so aus wie eine normale mathematische Ebene (sie haben dieselben „Höhen" und „Tiefen" in ihrer Struktur), aber wenn man sie genau untersucht, stellt man fest, dass sie eine ganz andere, verborgene Form haben. Sie sind wie ein Schauspieler, der die Rolle eines normalen Menschen perfekt spielt, aber im Inneren ein Alien ist.

Seit Jahrzehnten wissen Mathematiker, dass diese „Alien-Ebenen" existieren. Aber sie hatten ein riesiges Problem: Sie wussten, dass sie da sind, aber sie konnten keine Baupläne für sie finden. Es war, als ob man wüsste, dass es einen bestimmten Schatz auf einer Insel gibt, aber keine Karte, die den Weg dorthin zeigt.

Was hat Lev Borisov in diesem Papier getan?

Stellen Sie sich vor, Sie wollen ein sehr kompliziertes Schloss bauen. Sie wissen, dass es aus bestimmten Teilen bestehen muss, aber Sie haben keine Anleitung. Borisov hat nun eine neue Bauanleitung gefunden, um zwei dieser verschlossenen Schätze zu konstruieren.

Hier ist die Reise, die er unternommen hat, einfach erklärt:

1. Der Ausgangspunkt: Ein seltsamer Kletterberg

Borisov begann nicht direkt beim Ziel (der „fälschlichen Ebene"), sondern bei einem verwandten Objekt, das man sich wie einen Kletterberg mit speziellen Pfaden vorstellen kann. Dieser Berg hat zwei besondere Eigenschaften:

• Er hat einen „doppelten Pfad" und einen „dreifachen Pfad" (das sind mathematische Begriffe für spezielle Linien auf der Oberfläche).
• Er ist so gebaut, dass man ihn in eine Art „Schleife" verwandeln kann.

Dieser Berg ist wie ein Rohling. Wenn man ihn richtig bearbeitet (ihn „glättet" und bestimmte Teile entfernt), entsteht daraus die gewünschte fälschliche Ebene.

2. Das Puzzle mit 1600 Teilen

Um diesen Berg zu bauen, musste Borisov ein riesiges mathematisches Puzzle lösen. Er stellte sich vor, dass der Berg aus einem Gitter von Gleichungen besteht.

• Er hatte 92 unbekannte Zahlen (wie fehlende Puzzleteile).
• Diese Zahlen mussten über 1600 Regeln gleichzeitig erfüllen.

Stellen Sie sich vor, Sie müssten einen Code knacken, bei dem jedes Zahlenspiel gleichzeitig 1600 verschiedene Sätze erfüllen muss. Das ist für einen Menschen unmöglich im Kopf zu rechnen. Borisov nutzte daher einen super-schnellen Computer (Mathematica), der wie ein unermüdlicher Detektiv arbeitete, der Millionen von Möglichkeiten durchprobte, bis er die wenigen richtigen Zahlenkombinationen fand.

3. Die Suche nach dem „Fehler" im Raster

Ein besonders cleverer Trick war die Suche nach einem „Fehler". Normalerweise sind diese mathematischen Flächen glatt. Aber Borisov suchte nach einer ganz speziellen Art von „Knick" oder „Ecke" an bestimmten Punkten.

• Er schaute sich den Berg in einer kleinen, endlichen Welt an (einem „endlichen Feld", wie ein Raster mit nur 79 Punkten).
• Er suchte nach Konfigurationen, bei denen der Berg an zwei bestimmten Stellen „kaputt" oder „krumm" war.
• Als er diese Krümmung in der kleinen Welt fand, war er sich sicher: „Aha! Hier ist der richtige Bauplan!"

Dann nahm er diese kleine Lösung und vergrößerte sie Schritt für Schritt, bis sie wieder in die große, komplexe Welt der unendlichen Zahlen passte. Das ist wie das Rekonstruieren eines riesigen Mosaiks aus einem einzigen, kleinen Stein.

4. Das Ergebnis: Zwei neue Schätze

Am Ende hatte Borisov nicht nur einen, sondern zwei neue Paare dieser fälschlichen Ebenen gefunden.

• Das erste Paar ist ein Objekt, das der Mathematiker Keum schon theoretisch vorhergesagt hatte, aber für das niemand die genauen Formeln hatte. Borisov hat nun den „Bauplan" geliefert.
• Das zweite Paar ist ein völlig neuer Fund, den niemand vorher kannte.

5. Der Beweis: Der Fingerabdruck

Wie weiß man, dass man wirklich das richtige Objekt gebaut hat? Borisov nutzte eine Art mathematischen Fingerabdruck.
Er prüfte, wie sich die Oberfläche verhält, wenn man sie mit bestimmten Symmetrien (wie Drehungen) manipuliert. Er fand heraus, dass diese neuen Flächen eine ganz bestimmte Anzahl von „versteckten Symmetrien" haben. Nur eine der bekannten Klassen von fälschlichen Ebenen hat genau diese Symmetrien. Damit war bewiesen: „Ja, das ist es!"

Zusammenfassung in einer Metapher

Stellen Sie sich vor, die Mathematiker wussten schon lange, dass es im Ozean zwei bestimmte, seltene Muscheln gibt, die nur in einer bestimmten Tiefe vorkommen. Sie wusten, wie sie aussehen, aber niemand hatte je eine gesehen oder konnte beschreiben, wie man sie findet.

Lev Borisov hat nun:

1. Eine neue Methode entwickelt, um den Ozean zu durchsuchen (die Dolgachev-Oberflächen).
2. Mit Hilfe eines Computers (dem „Tiefseeroboter") nach den perfekten Bedingungen gesucht.
3. Die beiden Muscheln gefunden und ihnen eine genaue Adresse gegeben (die Gleichungen).
4. Bewiesen, dass sie echt sind, indem er ihre einzigartigen Muster (Symmetrien) geprüft hat.

Warum ist das wichtig?
In der Mathematik ist es oft so: Wenn man ein Objekt nur theoretisch kennt, ist es wie ein Geist. Wenn man aber die Gleichungen (die Bauplan) hat, kann man es anfassen, damit experimentieren und neue Dinge daraus bauen. Borisov hat also Geister in greifbare, berechenbare Objekte verwandelt. Dies öffnet die Tür, um noch mehr dieser mysteriösen Flächen zu entdecken und vielleicht sogar das „Heilige Gral"-Objekt, die ursprüngliche fälschliche Ebene von Mumford, eines Tages ebenfalls zu finden.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des Artikels „On equations of fake projective planes with automorphism group of order 21" von Lev Borisov auf Deutsch.

1. Problemstellung und Motivation

Das Ziel der Arbeit ist die explizite Bestimmung polynomieller Gleichungen für Fake-Projektive-Ebenen (FPE). Diese sind algebraische Flächen vom allgemeinen Typ, die dieselben Hodge-Zahlen wie die komplexe projektive Ebene $\mathbb{C}P^2$ besitzen, aber nicht isomorph zu dieser sind.

• Hintergrund: Die Existenz solcher Flächen wurde von D. Mumford (1979) bewiesen, jedoch ohne explizite Gleichungen. Eine vollständige Klassifikation aller 50 konjugierten Paare von FPE wurde von Cartwright und Steger (CS) vorgenommen. Diese basiert auf diskreten arithmetischen Untergruppen der komplexen Ballgruppe, liefert aber keine polynomiellen Darstellungen.
• Spezifisches Problem: Der Autor konzentriert sich auf FPE mit einer Automorphismengruppe der Ordnung 21. Nach der CS-Klassifikation gibt es genau drei konjugierte Paare mit dieser Eigenschaft. Bisher waren nur Gleichungen für eines dieser Paare bekannt (das erste Beispiel der Klasse $(a=7, p=2, \emptyset, D_{327})$).
• Ziel: Die Arbeit zielt darauf ab, explizite Gleichungen für die beiden verbleibenden Paare zu finden:
  1. Die von J. Keum konstruierte Fläche (Klasse $(a=7, p=2, \{7\}, D_{327})$).
  2. Ein neues Paar (Klasse $(C_{20}, p=2, \emptyset, D_{327})$), das zuvor keine explizite Gleichung hatte.

2. Methodik

Der Ansatz folgt einem mehrstufigen Prozess, der geometrische Konstruktionen mit rechnergestützter algebraischer Geometrie verbindet.

Schritt 1: Geometrische Grundlage (Dolgachev-Oberflächen)

Die FPE werden als 7-fache Überlagerung einer speziellen Dolgachev-Oberfläche $Y$ konstruiert. $Y$ ist eine elliptische Faserung über $\mathbb{C}P^1$ mit folgenden Eigenschaften:

• Eine doppelte Faser ($2F_3$) und eine dreifache Faser ($3F_2$).
• Eine rationale 6-Sektion $S$.
• Eine spezielle Faser vom Typ $I_9$ (ein Ring aus neun $\mathbb{C}P^1$), die unter der Wirkung der verbleibenden $C_3$-Automorphismengruppe transformiert wird.
• Der Autor betrachtet den Ring der globalen Schnitte $R = \bigoplus H^0(Y, \mathcal{O}(aF + bS))$ und postuliert eine freie Modul-Struktur über einem Unterring, der von Variablen $u_0, u_1, v_1, v_2$ erzeugt wird.

Schritt 2: Konstruktion einer Familien von Flächen

• Parametrisierung: Es wird eine 9-parametrige Familie von (2,3)-Dolgachev-Oberflächen konstruiert. Die definierenden Gleichungen sind 9 Quadriken mit bestimmten Gewichten in den Variablen.
• Koeffizientenbestimmung: Durch das Aufstellen von Assoziativitätsbedingungen für den Ring $R$ entsteht ein System von über 1600 Gleichungen mit 92 Unbekannten. Dieses wird mit Hilfe von Mathematica gelöst, um die Koeffizienten der Quadriken zu bestimmen.
• Einschränkung: Durch das Auflegen geometrischer Bedingungen (z. B. dass die spezielle Faser bestimmte Linien enthält oder Singularitäten aufweist) wird die Familie auf 7-, 5- und schließlich 2-parametrige Familien reduziert.

Schritt 3: Finite-Feld-Reduktion und Hensel-Liftung

Da die direkten algebraischen Berechnungen über den komplexen Zahlen zu komplex sind:

• Suche über endlichen Körpern: Der Autor sucht nach Parametern über endlichen Körpern $\mathbb{F}_p$ (insbesondere $p=79$), bei denen die resultierende Fläche $Y_0$ die gewünschten singulären Eigenschaften (verschlechterte Singularitäten an bestimmten Punkten) aufweist.
• Liftung: Sobald eine Lösung in $\mathbb{F}_p$ gefunden ist, wird sie schrittweise zu $p$-adischen Zahlen und schließlich zu algebraischen Zahlen über einem Zahlkörper (hier $\mathbb{Q}(\sqrt{-7})$) geliftet. Dies geschieht durch das Lösen linearer Gleichungssysteme modulo $p^k$.

Schritt 4: Konstruktion der Fake-Projektiven-Ebene

• Überlagerung: Die FPE wird als 7-fache zyklische Überlagerung von $Y_0$ konstruiert, verzweigt entlang der Kurven $S, B, C$ und deren Bilder unter der $C_3$-Wirkung.
• Gleichungen: Die Gleichungen der FPE werden als Schnittmenge von 84 kubischen Gleichungen in $\mathbb{C}P^9$ dargestellt, basierend auf dem bikanonischen System.

Schritt 5: Identifikation und Verifizierung

• Torsionsbündel: Um die FPE der richtigen CS-Klasse zuzuordnen, wird die Torsionsgruppe der Picard-Gruppe untersucht. Durch die Suche nach nicht-reduzierten linearen Schnitten im bikanonischen System (modulo $p=29$) wird nach 2-Torsionselementen gesucht.
• Ergebnis der Identifikation: Die Anzahl der gefundenen Torsionselemente erlaubt es, die Fläche eindeutig als $(C_{20}, p=2, \emptyset, D_{327})$ zu identifizieren (im Gegensatz zu Keums Fläche, die eine andere Torsionsstruktur hat).
• Keum's Fläche: Ein separater, ähnlicher Prozess (Brute-Force-Suche über $\mathbb{F}_{53}$) führt zur Konstruktion der FPE von Keum.

3. Wichtige Beiträge und Ergebnisse

1. Explizite Gleichungen: Der Artikel liefert die ersten expliziten polynomiellen Gleichungen für zwei neue Paare von Fake-Projektiven-Ebenen mit Automorphismengruppe der Ordnung 21.
   • Ein neues Paar der Klasse $(C_{20}, p=2, \emptyset, D_{327})$.
   • Die Wiederherstellung der von J. Keum konstruierten Fläche (Klasse $(a=7, p=2, \{7\}, D_{327})$).
2. Methodische Innovation: Die Arbeit demonstriert eine robuste Methode, um explizite Gleichungen für arithmetische Quotienten des komplexen Balls zu finden, indem sie Dolgachev-Oberflächen als intermediäre Modelle nutzt und Finite-Feld-Methoden mit algebraischer Liftung kombiniert.
3. Struktur der Gleichungen: Die FPE werden als Schnitt von 84 kubischen Gleichungen in $\mathbb{C}P^9$ realisiert. Die Koeffizienten liegen im Körper $\mathbb{Q}(\sqrt{-7})$.
4. Verifizierung: Die Glattheit und die korrekte Identität der Flächen wurden algorithmisch verifiziert (unter Verwendung von Magma, Macaulay2 und Mathematica).

4. Bedeutung und Ausblick

• Fortschritt in der Klassifikation: Diese Arbeit schließt eine Lücke in der expliziten Darstellung der bekannten FPE-Klassen. Während die Klassifikation von Cartwright und Steger abstrakt ist, liefert diese Arbeit konkrete algebraische Objekte, die weiter untersucht werden können.
• Brücke zu Mumfords Beispiel: Da Keums FPE und Mumfords FPE zur selben Klasse gehören (commensurable), hoffen die Autoren, dass die Kenntnis der Gleichungen von Keums FPE der Schlüssel zur Entdeckung der Gleichungen für Mumfords ursprüngliches Beispiel sein könnte. Dies erfordert das Verständnis von nicht-Galois-Überlagerungen vom Grad 7.
• Offene Probleme: Die Autoren diskutieren die Möglichkeit, ihre Methode auf andere FPE anzuwenden, wobei die Existenz einer $C_3$-Symmetrie für die Effizienz der Finite-Feld-Suche entscheidend ist. Zudem bleibt die Suche nach einfacheren Variablen für die Gleichungen und die explizite Konstruktion von Mumfords FPE als offene Herausforderung.

Zusammenfassend stellt die Arbeit einen Meilenstein in der computergestützten algebraischen Geometrie dar, der abstrakte Klassifikationsergebnisse in konkrete, berechenbare algebraische Gleichungen übersetzt.