Ribet Points, geometric divisibility sequence and order of reductions on semiabelian varieties

Technische Zusammenfassung: Ribet-Punkte, geometrische Teilbarkeitsfolgen und die Ordnung der Reduktionen auf semiabelen Varietäten

Problemstellung
Die Arbeit befasst sich mit einem langjährigen offenen Problem bezüglich des Verhaltens geometrischer Teilbarkeitsfolgen, die an Zariski-dichten Punkten auf irreduziblen kommutativen algebraischen Gruppen der Dimension mindestens zwei anliegen. Konkret wird Silvermans Vermutung 1.2 untersucht, die besagt, dass für eine Gruppenschemata $G/\mathbb{Z}$ mit einem generischen Fiber $G_{\mathbb{Q}}$, der eine irreduzible kommutative algebraische Gruppe der Dimension $\ge 2$ ohne unipotenten Teil ist, und für einen Punkt $P \in G(\mathbb{Z})$ mit einer Zariski-dichten zyklischen Bahn, die Gleichheit $D_{nP} = D_P$ (wobei $D_P$ das Nennerideal ist) für unendlich viele positive ganze Zahlen $n$ gilt.

Diese Vermutung steht in logischer Spannung zum Silverman–Cheon–Hahn-Theorem (Theorem 1.1), welches feststellt, dass für elliptische Kurven (Dimension 1) jede hinreichend große ganze Zahl $n$ als exakte Ordnung der Reduktion für mindestens eine Primzahl erscheint. Während der Fall der Dimension eins vollständig ist, blieb das Verhalten in höheren Dimensionen, insbesondere für semiable Varietäten, unbekannt. Die vorliegende Arbeit untersucht, ob das Analogon zum Silverman–Cheon–Hahn-Theorem für höherdimensionale semiable Varietäten gilt oder ob die vorhergesagte exakte Rekurrenz von Silverman eintritt.

Methodik
Der Autor konstruiert bedingungslose Beispiele geometrisch nicht-gespaltener semiabler Varietäten über Zahlenkörpern, bei denen die geometrische Teilbarkeitsfolge unendlich oft zu ihrem Anfangswert zurückkehrt. Die Methodik stützt sich auf die arithmetischen Eigenschaften von Ribet-Punkten auf Erweiterungen abelscher Varietäten durch die multiplikative Gruppe $\mathbb{G}_m$.

1. Geometrischer Aufbau: Die Arbeit betrachtet eine semiable Varietät $G_q$, die durch eine Erweiterung $1 \to \mathbb{G}_m \to G_q \to A \to 0$ definiert ist, repräsentiert durch einen Punkt $q \in A^\vee(K)$.
2. Ribet-Abschnitte: Unter Verwendung der normierten Poincaré-Biextension definiert der Autor einen Ribet-Punkt $R_\beta(q) \in G_q(K)$, der mit einem Homomorphismus $\beta: A^\vee \to A$ assoziiert ist. Der antisymmetrische Teil $\delta = \beta - \hat{\beta}$ spielt dabei eine entscheidende Rolle.
3. Torsions-Translation: Die Kernkonstruktion umfasst die Translation des Ribet-Punktes durch einen fixen Torsionspunkt $t$ im torischen Kern: $P = R_\beta(q) + \iota(t)$.
4. Arithmetische Verstärkung: Ein zentrales technisches Lemma (Lemma 3.3) zeigt, dass, falls die Ordnung des Ribet-Punktes quadratisch durch die Ordnung seiner Projektion beschränkt ist (eine Eigenschaft, die aus der Weil-Paarung folgt), die Translation durch einen Torsionspunkt eine spezifische Teilbarkeitsbedingung für die Ordnung des resultierenden Punktes $P$ erzwingt.
5. Lokal-zu-Global-Argument: Durch Kombination der endlichen Gruppenverstärkung mit den Eigenschaften der Nennerideale auf Néron-Modellen beweist der Autor, dass für eine spezifische ganze Zahl $N_{\delta, t}$ die Reduktionsordnung $d_v(P)$ für fast alle Stellen $v$ durch $N_{\delta, t}$ teilbar ist.
6. Abstieg (Descent): Um Beispiele über $\mathbb{Q}$ zu erhalten, verwendet die Arbeit eine quadratische Descent-Technik (Theorem 4.3). Hierbei wird die Erweiterung über einem quadratischen Körper $L$ konstruiert, in dem die notwendigen antisymmetrischen Endomorphismen existieren, und anschließend wird die Erweiterung und der Punkt nach $\mathbb{Q}$ abgestiegen, indem die Galois-Wirkung auf den Endomorphismus mit dem Vorzeichencharakter eines Norm-eins-Torus gepaart wird.

Wesentliche Beiträge und Ergebnisse

• Bedingungslose Beispiele: Die Arbeit liefert die ersten bedingungslosen Beispiele geometrisch nicht-gespaltener semiabler Varietäten über Zahlenkörpern, bei denen die geometrische Teilbarkeitsfolge unendlich oft zu ihrem Anfangswert zurückkehrt.
• Theorem 1.4 (Allgemeine Konstruktion): Für eine positive dimensionale abelsche Varietät $A$, einen Homomorphismus $\beta$, sodass $\delta = \beta - \hat{\beta}$ eine Isogenie ist, und einen Torsionspunkt $t$, besitzt der Punkt $P = R_\beta(q) + \iota(t)$ die Eigenschaft, dass eine spezifische ganze Zahl $N_{\delta, t}$ die Ordnung der Reduktion $d_v(P)$ für fast alle Stellen teilt. Folglich gilt, wenn $(n, Q) = 1$ für eine quadratfreie ganze Zahl $Q$, die durch das Radikal von $N_{\delta, t}$ teilbar ist, dass das Nennerideal $\mathfrak{d}_{\mathbb{N}}(nP) = \mathfrak{d}_{\mathbb{N}}(P)$ erfüllt ist.
• Theorem 1.5 (Fläche über $\mathbb{Q}$): Der Autor konstruiert explizit eine geometrisch nicht-gespaltene semiable Fläche $G_{surf}/\mathbb{Q}$ (eine Erweiterung der elliptischen Kurve $E: y^2 = x^3 - 2$ durch den Norm-eins-Torus $R^1_{L/\mathbb{Q}}\mathbb{G}_m$ mit $L=\mathbb{Q}(\sqrt{-3})$) und einen Punkt $P_{surf} \in G_{surf}(\mathbb{Q})$ mit einer Zariski-dichten zyklischen Bahn. Für diesen Punkt ist der asymptotische Reduktionsdivisor $U(P_{surf}) = 2$. Dies impliziert, dass für alle $n$, die zu einer fixen ganzen Zahl teilerfremd sind, $\mathfrak{d}_{\mathbb{N}}(nP_{surf}) = \mathfrak{d}_{\mathbb{N}}(P_{surf})$ gilt.
• Theorem 4.9 (Dreier über $\mathbb{Q}$): Eine geometrisch nicht-gespaltene semiable Dreier über $\mathbb{Q}$ wird unter Verwendung der elliptischen Kurve $E: y^2 + y = x^3 + x^2 - 2x$ (Konduktor 389) konstruiert. Der resultierende Punkt $P$ erfüllt $D_P = 1$ und $U(P) = 2$, was die Bedingungen von Silvermans Vermutung für eine Dreier bestätigt.
• Dimensionale Generatität: Theorem 4.16 erweitert diese Ergebnisse auf jede Dimension $d \ge 2$ über $\mathbb{Q}$ durch Produktbildung mit gespaltenen Tori und zeigt damit, dass das Phänomen nicht auf niedrige Dimensionen beschränkt ist.
• Dichtewergebnisse: Die Arbeit stellt fest, dass die Menge der Indizes $n$, für die $D_{nP} = D_P$ gilt, eine untere natürliche Dichte von mindestens $1 - 1/N_{\delta, t}$ besitzt. Umgekehrt hat die Menge der exakten Reduktionsordnungen (primitive Divisor-Indizes) eine obere Dichte von höchstens $1/N_{\delta, t}$.

Bedeutung und Behauptungen
Die Arbeit demonstriert, dass das Analogon zum Silverman–Cheon–Hahn-Theorem in der Kategorie der semiablen Varietäten stark scheitert, während sie gleichzeitig explizite Instanzen konstruiert, in denen Silvermans Vermutung 1.2 gilt. Speziell:

1. Versagen der exakten Ordnung-Realisierung: Im Gegensatz zum Fall der elliptischen Kurven existieren auf semiablen Varietäten dichte Punkte, bei denen die Menge der exakten Reduktionsordnungen (primitive Divisor-Indizes) dünn ist (Dichte $\le 1/N$), was bedeutet, dass viele ganze Zahlen niemals als exakte Ordnungen der Reduktion erscheinen.
2. Validierung von Silvermans Vermutung für spezifische Instanzen: Die konstruierten Punkte erfüllen die Bedingungen von Silvermans Vermutung 1.2 und beweisen, dass das „exakte Rückkehr“-Phänomen ($D_{nP} = D_P$) unendlich oft, und tatsächlich für eine Menge von Indizes mit positiver Dichte, auftritt. Die Arbeit merkt an, dass die Vermutung in ihrer vollen Allgemeinheit über Zahlenkörper zwar offen bleibt, diese Beispiele jedoch die erste bedingungslose Verifizierung für geometrisch nicht-gespaltene semiable Varietäten darstellen.
3. Rolle der Ribet-Punkte: Die Arbeit hebt hervor, dass Ribet-Abschnitte (speziell deren durch Torsion verschobene Versionen) das Hindernis für die Existenz primiter Divisoren für alle großen $n$ darstellen. Dies kontrastiert mit gespaltenen semiablen Varietäten (Produkte aus ablen Varietäten und Tori), bei denen Perrucas Theorem impliziert, dass die Komponentenzahl des Orbitabschlusses die universelle Teilbarkeit bestimmt, welche für zusammenhängende dichte Punkte 1 ist.
4. Geometrische Nicht-Splittung: Das Phänomen ist intrinsisch mit geometrisch nicht-gespaltenen Erweiterungen verknüpft. Die Arbeit stellt fest, dass für gespaltene Produkte die Komponentenzahl des Orbitabschlusses die größte ganze Zahl ist, die fast jede Reduktionsordnung teilt, was die Konstruktion solcher „fehlenden Ordnung“-Mengen verhindert. Die nicht-gespaltene Natur der Erweiterung, kombiniert mit der spezifischen Arithmetik des Ribet-Punktes, erlaubt es, dass der asymptotische Reduktionsdivisor $U(P)$ strikt größer als 1 ist (z. B. $U(P)=2$), selbst wenn der Orbitabschluss zusammenhängend ist.

Die Arbeit schließt damit, dass die „fehlende Information“ (der universelle Divisor der Reduktionsordnungen) genuin gemischt ist und durch die Erweiterungsklasse, die Biextensions-Lifting und die Torsions-Translation getragen wird, und dass dieses Verhalten in reinen ablen Varietäten oder gespaltenen Produkten fehlt.