Gross vectors modulo 2 and elliptic curves of prime conductor

Technische Zusammenfassung: Gross-Vektoren modulo 2 und elliptische Kurven mit Primkonduktor

Problemstellung
Die Arbeit befasst sich mit den Paritätseigenschaften der Koeffizienten von Brandt-Eigenvektoren assoziierten mit supersingulären elliptischen Kurven über endlichen Körpern $\mathbb{F}_p$. Sei $p > 3$ eine Primzahl und $S_p$ die Menge der geometrischen Isomorphieklassen supersingulärer elliptischer Kurven, deren $j$-Invarianten in $\mathbb{F}_p$ liegen. Für eine elliptische Kurve $E/\mathbb{Q}$ mit Primkonduktor $p$ assoziiert die Jacquet–Langlands-Korrespondenz einen primitiven ganzzahligen Brandt-Eigenvektor $v_E = \sum c_i e_i$. Das zentrale Problem besteht darin, die Parität der Koeffizienten $c_i$ für $i \in S_p$ zu bestimmen, wenn $E$ einen positiven Mordell–Weil-Rang besitzt.

Diese Untersuchung entspringt der Studie von Divisorpolynomen und einer Vermutung von Kazalicki und Kohen, die postuliert, dass, falls $E$ einen positiven Rang und eine Wurzelzahl $+1$ hat, jeder Koeffizient $c_i$, der durch eine rationale supersinguläre Klasse ($i \in S_p$) indiziert ist, gerade sein muss. Während frühere Ergebnisse dies unter restriktiven Bedingungen (positive Diskriminante, kein rationaler 2-Torsionspunkt) etablierten, blieb der allgemeine Fall offen. Darüber hinaus ist diese Paritätsfrage mit Watkins' Vermutung über die Teilbarkeit des Modulgrades $m_E$ durch Potenzen von 2 basierend auf dem Rang von $E$ verknüpft.

Methodik
Die Autoren verwenden eine mehrstufige Strategie, die arithmetische Geometrie, Quaternionenalgebra und Klassentheorie kombiniert:

1. Reduktion auf Gross-Vektoren: Das Problem wird von den Koeffizienten $c_i$ des Brandt-Eigenvektors auf die Parität der Koeffizienten $m_i(D)$ von „Gross-Vektoren“ (CM-Vektoren) assoziiert mit negativen fundamentalen Diskriminanten $-D$, wobei $p$ inert ist, reduziert. Unter Verwendung der Orthogonalität von Gross-Vektoren bezüglich des Brandt-Eigenvektors einer Kurve mit positivem Rang zeigen die Autoren, dass der Vektor der Paritäten $(c_i \mod 2)_{i \in S_p}$ im orthogonalen Komplement des von den Gross-Paritätszeilen aufgespannten Raums liegen muss.
2. Frobenius-Reduktion: Ein entscheidender technischer Schritt reduziert die Parität der Darstellungszahlen der ternären Gitter $L_i$ von Gross auf die Parität der Darstellungszahlen der Rang-zwei-Untergitter $L_i^\perp$, die senkrecht zum Frobenius-Endomorphismus $\pi_i$ stehen. Diese Reduktion stützt sich auf die Wirkung der Frobenius-Konjugation, welche Vektoren außerhalb des senkrechten Gitters in Orbits der Größe vier gruppiert, wodurch ihr Beitrag modulo 2 gerade ausfällt.
3. Identifikation mit binären Formen: Unter Verwendung von Ibukiyamas expliziten maximalen Ordnungen in der Quaternionenalgebra $B_{p,\infty}$ identifizieren die Autoren die senkrechten Gitter $L_i^\perp$ mit spezifischen binären quadratischen Formen. Diese Formen fallen in zwei Zweige basierend auf ihren Diskriminanten: $-16p$ und $-p$ (letzteres tritt nur auf, wenn $p \equiv 3 \pmod 4$).
4. Klassentheorie und Chebotarev: Die Autoren nutzen die Xiao–Zhou–Deng–Qu-Parametrisierung, um supersinguläre Klassen auf inverse Orbits von Formklassen abzubilden. Sie wenden anschließend den Chebotarev-Dichtesatz in den entsprechenden Ringklassenkörpern an, um spezifische admissible Diskriminanten (Primzahlen und Semiprimzahlen) zu konstruieren, die einzelne supersinguläre Koordinaten isolieren. Durch die Wahl von Primzahlen, die in spezifischen Weisen innerhalb der Klassengruppen quadratischer Ordnungen zerfallen, demonstrieren sie, dass die Gross-Paritätszeilen jeden Standardbasisvektor im Raum $\mathbb{F}_2^{S_p}$ erzeugen können.

Wesentliche Beiträge und Ergebnisse

• Der Gross-Zeilen-Spannungssatz (Theorem 1.1): Das primäre Ergebnis beweist, dass die Vektoren der Gross-Koeffizienten modulo 2, indiziert durch $S_p$, den gesamten Vektorraum $\mathbb{F}_2^{S_p}$ aufspannen. Dies wird durch die explizite Konstruktion von Gross-Zeilen erreicht, die jede Koordinate isolieren, wobei die Ausnahmeprobleme der $j$-Invarianten ($0$ und $1728$) separat behandelt und die Zweige der Diskriminanten $-16p$ und $-p$ mittels distinkter Primzahlselektionsstrategien bearbeitet werden.
• Lösung der Kazalicki–Kohen-Paritätsvermutung (Korollar 1.2): Als direkte Folge des Spannungssatzes beweisen die Autoren, dass, falls eine elliptische Kurve $E/\mathbb{Q}$ einen Primkonduktor $p$ und einen positiven Mordell–Weil-Rang besitzt, jeder Koeffizient $c_i$ ihres Brandt-Eigenvektors für $i \in S_p$ gerade ist. Dies entfernt die vorherigen Beschränkungen hinsichtlich der Diskriminante und der Existenz von rationalen 2-Torsionspunkten. Die Arbeit stellt fest, dass dies ein einseitiges Kriterium darstellt: Ein ungerader Koeffizient an einer rationalen supersingulären Klasse zertifiziert, dass der Rang Null ist.
• Teilbarkeit des Modulgrades (Korollar 1.3 und Theorem 6.1): Durch Kombination des Paritätsergebnisses mit Mestres Normformel und der Gross–Kudla-Kubikidentität beweisen die Autoren, dass für jede elliptische Kurve mit Primkonduktor $p$, positivem Rang und Wurzelzahl $+1$, der Modulgrad $m_E$ durch 4 teilbar ist.
• Verifizierung von Watkins' Vermutung für Rang 2: Das Ergebnis bestätigt Watkins' Vermutung ($2^{\text{rank}} \mid m_E$) für alle elliptischen Kurven mit Primkonduktor und Rang 2 mit Wurzelzahl $+1$.

Bedeutung
Die Arbeit behauptet, eine spezifische Paritätsvermutung bezüglich Brandt-Eigenvektoren gelöst zu haben, und liefert ein robustes algebraisches Zertifikat für Rang 0 basierend auf der Parität supersingulärer Koeffizienten. Durch den Nachweis der Spanneigenschaft von Gross-Vektoren modulo 2 schlägt die Arbeit eine Brücke zwischen der Arithmetik supersingulärer Kurven und den analytischen Eigenschaften modularer Formen (speziell dem Verschwinden von $L$-Funktionen am zentralen Punkt). Die Anwendung auf Watkins' Vermutung erweitert die bekannten Fälle dieser Vermutung auf alle Kurven mit Primkonduktor und Rang 2 mit Wurzelzahl $+1$, wodurch die vorherigen Einschränkungen der Diskriminante entfallen. Die Methodik zeigt die Leistungsfähigkeit der Reduktion von ternären Darstellungsproblemen auf binäre Formen via Frobenius-Symmetrie und der Nutzung expliziter maximaler Ordnungsmodelle zur Kontrolle der Darstellungsparitäten mittels Klassentheorie.