The size of $2$-Selmer groups for the $\fracπ{3}$-congruent number problem

Technisches Resümee: Die Größe der 2-Selmer-Gruppen für das $\pi/3$-kongruente Zahlenproblem

Problemstellung
Diese Arbeit untersucht den durchschnittlichen Rang der 2-Selmer-Gruppe, die mit den elliptischen Kurven im Zusammenhang mit dem $\pi/3$-kongruenten Zahlenproblem verknüpft ist. Eine positive ganze Zahl $n$ ist eine $\theta$-kongruente Zahl, wenn sie die Fläche eines rationalen Dreiecks mit einem Winkel $\theta$ darstellt. Konkret konzentrieren sich die Autoren auf den Fall $\theta = \pi/3$, bei dem die zugehörige elliptische Kurve wie folgt definiert ist:
$$E_{n, \pi/3}: y^2 = x(x + 3n)(x - n)$$
Das zentrale Untersuchungsobjekt ist der 2-Selmer-Rang, bezeichnet als $s(n)$, wobei die Größe der 2-Selmer-Gruppe $2^{2+s(n)}$ beträgt. Die Autoren streben die Bestimmung des asymptotischen Verhaltens des Mittelwerts von $2^{s(n)}$ über spezifische Familien von quadratfreien ganzen Zahlen $n$ an.

Methodik
Die Autoren wenden die von Heath-Brown [H93] für kongruente elliptische Kurven ($y^2 = x^3 - n^2x$) entwickelte Strategie an und passen diese an die spezifische arithmetische Struktur von $E_{n, \pi/3}$ an. Die Methodik gliedert sich in folgende Schritte:

1. 2-Deszendent und homogene Systeme:
   Unter Verwendung der 2-Deszenten-Methode bilden die Autoren den Quotient $E_{n, \pi/3}(\mathbb{Q})/2E_{n, \pi/3}(\mathbb{Q})$ auf ein Produkt lokaler Körper ab. Sie etablieren eine Bijektion zwischen der 2-Selmer-Gruppe und der Menge der lösbaren Systeme homogener Gleichungen über $\mathbb{Q}$. Speziell leiten sie ein System von Gleichungen her, das vier paarweise teilerfremde quadratfreie ganze Zahlen $n_1, n_2, n_3, n_4$ umfasst (wobei $n = n_1 n_2 n_3 n_4$):
   $$n_1 X^2 + 3n_4 W^2 = n_2 Y^2$$
   $$n_1 X^2 - n_4 W^2 = n_3 Z^2$$
   Die Größe der 2-Selmer-Gruppe, $2^{s(n)}$, entspricht der Anzahl solcher Systeme, die in $\mathbb{R}$ und allen $\mathbb{Q}_p$ lösbar sind.

2. Lokale Bedingungen und Nebenbedingungen:
   Die Autoren analysieren rigoros die lokalen Lösbarkeitsbedingungen an Primzahlen, die $6n$ teilen. Es wird eine entscheidende technische Einschränkung auferlegt: Die Untersuchung beschränkt sich auf quadratfreie ganze Zahlen $n$, für die gilt $n \equiv 5, 13 \pmod{24}$ und jeder Primteiler $p$ von $n$ erfüllt $p \equiv 1 \pmod 4$. Unter diesen Bedingungen verhalten sich die lokalen Gruppen kontrolliert, was es ermöglicht, die globale Größe der Selmer-Gruppe als Summe über Faktorisierungen von $n$ unter Verwendung von Jacobi-Symbolen auszudrücken.

3. Mittelwertbildung und Charaktersummen:
   Um den Mittelwert der Größe zu berechnen, summieren die Autoren den Ausdruck für $2^{s(n)}$ über die Menge $S(X, h) = \{1 \le n \le X : n \equiv h \pmod{24}, n \text{ quadratfrei}, p|n \implies p \equiv 1 \pmod 4\}$.

   • Sie zerlegen die Summe über die 16 Variablen $n_{ij}$, die aus der Faktorisierung von $n_1, \dots, n_4$ resultieren.
   • Sie wenden Heath-Browns Technik der „verknüpften Variablen“ an, um Charaktersummen zu beschränken. Variablen werden als „verknüpft“ betrachtet, wenn sie gemeinsam in einem Jacobi-Symbol auftreten.
   • Unter Verwendung von Schranken für Charaktersummen (speziell Lemma 3.1 und Lemma 3.3 aus [H93], angepasst an Modulo 24) zeigen sie, dass Beiträge von Konfigurationen mit vielen „großen“ Variablen vernachlässigbar sind.
   • Der Hauptterm ergibt sich aus spezifischen Konfigurationen von Indizes (9 identifizierte Ausnahmefälle in Lemma 4.1), in denen die Variablen ausreichend entkoppelt sind, um eine explizite Auswertung zu ermöglichen.

Wesentliche Beiträge und Ergebnisse

• Hauptsatz (Theorem 1.2): Für $h = 5$ und $h = 13$ beweisen die Autoren die folgende asymptotische Formel für die Summe von $2^{s(n)}$:
  $$\sum_{n \in S(X,h)} 2^{s(n)} = 9 \# S(X, h) + O\left(X (\log X)^{-5/8} (\log \log X)^8\right)$$
  Dieses Ergebnis etabliert, dass die durchschnittliche Größe der relaxierten 2-Selmer-Gruppe genau das Neunfache der Anzahl der ganzen Zahlen in der Menge ist.

• Dichte der Selmer-Ränge:
  Durch Kombination des Hauptsatzes mit Paritätsergebnissen von Wei-Guo [WG2022] leiten die Autoren bedingungslose Dichteergebnisse ab:

  • Fall $n \equiv 5 \pmod{24}$: Da $s(n)$ gerade ist, ist die Dichte von $s(n) = 0$ oder $s(n) = 2$ mindestens $7/16$.
  • Fall $n \equiv 13 \pmod{24}$: Da $s(n)$ ungerade ist, ist die Dichte von $s(n) = 1$ oder $s(n) = 3$ mindestens $1/3$.

• Implikationen für den Mordell-Weil-Rang:
  Unter Verwendung der Ungleichung $r(n) \le s(n)$ liefern die Autoren obere Schranken für den durchschnittlichen Mordell-Weil-Rang $r(n)$ in diesen Familien, die konsistent mit den für $s(n)$ abgeleiteten Schranken sind.

Bedeutung und Behauptungen
Die Arbeit behauptet, dass ihre Ergebnisse bedingungslose Evidenz für Yoshidas Vermutung bezüglich $\pi/3$-kongruenter Zahlen liefern. Die abgeleiteten Dichten legen nahe, dass ein positiver Anteil der ganzen Zahlen in den spezifizierten Familien niedrige Selmer-Ränge aufweist, was mit der Existenz rationaler Punkte auf den Kurven korreliert.

Die Autoren heben eine signifikante Abweichung von den allgemeinen Heuristiken von Bhargava-Kane-Lenstra-Poonen-Rains (BKLPR) hervor. Während BKLPR eine spezifische Verteilung basierend auf der Zufallsmatrixtheorie vorhersagt, spiegelt die Konstante 9 im Hauptsatz eine „starre Struktur“ wider, die aus der 2-Isogenie der Kurve und den spezifischen lokalen Bedingungen an Primzahlen, die 6 teilen, resultiert. Diese Starrheit führt dazu, dass die Verteilung der 2-Selmer-Ränge in dieser Familie von den allgemeinen Zufallsmatrixteorien abweicht.

Die Autoren merken ausdrücklich an, dass ihre Technik derzeit auf ganze Zahlen beschränkt ist, bei denen alle Primfaktoren kongruent zu $1 \pmod 4$ sind. Die Erweiterung dieser Ergebnisse auf die volle Menge der quadratfreien ganzen Zahlen oder auf das $2\pi/3$-kongruente Zahlenproblem würde neue Methoden erfordern, da die technischen Schwierigkeiten in diesen Fällen erheblich sind. Das Papier beansprucht nicht, die vollständige $\pi/3$-kongruente Zahlenvermutung zu lösen, bietet aber eine fundamentale asymptotische Formel für eine spezifische, gut strukturierte Teilfamilie.