Construction of Generically Ordinary Families of Hyperelliptic Curves

Technische Zusammenfassung: Konstruktion generisch ordinary Familien hyperelliptischer Kurven

Problemstellung
Die Arbeit behandelt eine von Katz (2018) aufgestellte Vermutung bezüglich der generischen Ordinarität spezifischer einparametriger Familien hyperelliptischer Kurven über der $t$-Geraden. Eine glatte projektive Kurve $C$ des Geschlechts $g$ über einem Körper mit Charakteristik $p > 0$ heißt ordinary, wenn der mittlere Koeffizient des Zählers der Zetafunktion von $C$ teilerfremd zu $p$ ist. Äquivalent dazu ist die Jacobiansche Varietät von $C$ eine ordinary abelsche Varietät, was durch einen Newton-Polygon charakterisiert wird, der nur die Steigungen 0 und 1 besitzt. Diese Bedingung wird durch das Nichtverschwinden der Determinante der Hasse-Witt-Matrix (oder Cartier-Manin-Matrix) detektiert.

Katz vermutete, dass die Familie der Kurven definiert durch $K: y^2 = x^d - dx + t$ (wobei $d \in \{2g+1, 2g+2\}$ und $g \ge 2$) für alle hinreichend großen Primzahlen $p$ generisch ordinary ist. Obwohl die Familie eine „große Monodromie“ besitzt (Index endlich in $Sp_{2g}(\mathbb{Z})$), war bekannt, dass sie für kleine Primzahlen die generische Ordinarität verfehlt. Das spezifische Problem besteht darin, eine quadratische Schranke $P^+(d)$ zu etablieren, so dass die Familie für alle $p > P^+(d)$ generisch ordinary ist, und dies auf Familien der Form $C_\alpha: y^2 = x^d + \alpha x + t$ für jede nicht-null werdende algebraische ganze Zahl $\alpha$ zu verallgemeinern.

Methodik
Die Beweisstrategie stützt sich auf die Analyse der mit der Familie $C_\alpha$ assoziierten Hasse-Witt-Matrix und zeigt, dass deren Determinante (das Hasse-Witt-Polynom) für hinreichend große $p$ nicht identisch Null modulo $p$ ist.

1. Konstruktion des Hasse-Witt-Polynoms:
   Die Autoren definieren eine Koeffizientenmatrix $(M_{ij}(X, Y))_{1 \le i,j \le g}$ über $\mathbb{Z}[X, Y]$, wobei $M_{ij}$ der Koeffizient von $x^{pi-j}$ in der Entwicklung von $(x^d + Xx + Y)^{(p-1)/2}$ ist. Das Hasse-Witt-Determinantenpolynom ist definiert als $H_{p,\alpha}(Y) = \det(M_{ij}(\alpha, Y))$. Die generische Faser ist ordinary genau dann, wenn dieses Polynom modulo $p$ nicht verschwindet.

2. Analyse des Leitglieds:
   Um $H_{p,\alpha}(Y) \not\equiv 0 \pmod p$ zu beweisen, analysieren die Autoren das Leitglied des Polynoms. Sie identifizieren einen spezifischen Grad $E$ und zeigen, dass der führende Koeffizient der Form $\alpha^m u_p \Delta_p$ ist, wobei:

• $m$ eine nicht-negative ganze Zahl ist.
• $u_p$ ein Produkt von Binomialkoeffizienten ist, die teilerfremd zu $p$ sind.
• $\Delta_p$ eine Determinante ist, die Binomialkoeffizienten $\binom{(p-1)/2 - Q_i}{s_i - j}$ umfasst, wobei $s_i$ die Residuen von $pi \pmod d$ sind.

3. Reduktion auf eine Binomialdeterminante:
   Die zentrale technische Innovation ist die Reduktion von $\Delta_p$ modulo $p$ auf eine konstante rationale Determinante $\Delta(s_1, \dots, s_g)$, die unabhängig von $p$ ist. Unter Verwendung der Kongruenz $(p-1)/2 - Q_i \equiv \beta_i \pmod p$ (wobei $\beta_i = s_i \frac{d-1}{2}$) zeigen sie, dass $\Delta_p \equiv \Delta(s_1, \dots, s_g) \pmod p$.

4. Produkterzeugnis und Primfaktor-Schranken:
   Die Autoren leiten eine explizite Produktherstellung für die Determinante $\Delta(s_1, \dots, s_g)$ ab, indem sie diese auf eine Vandermonde-Typ-Determinante reduzieren. Diese Formel beinhaltet Faktoren der Form $(k - \lambda_r)$ und Binomialkoeffizienten.

• Lemma 2.1 & 2.2: Diese stellen sicher, dass bestimmte rationale Parameter $\lambda_r$ keine ganzen Zahlen sind, wodurch die Determinante wohldefiniert und ungleich Null ist.
• Lemma 2.6: Entscheidend beweisen die Autoren, dass jeder Primfaktor des Zählers und Nenners der Produktherstellung für $\Delta$ durch $P^+(d)$ beschränkt ist. Dies wird durch die Analyse der Funktion $h(x, y) = (2d-2)x - 2dy - d$ über spezifische Gitterregionen $U$ und $V$ erreicht.

5. Nichtverschwinden modulo $p$:
   Für jede Primzahl $p > P^+(d)$ ist die Determinante $\Delta$ eine $p$-adische Einheit (ungleich Null modulo $p$). Folglich ist der führende Koeffizient von $H_{p,\alpha}(Y)$ modulo $p$ ungleich Null (vorausgesetzt $\alpha \not\equiv 0 \pmod p$), was sicherstellt, dass das Polynom selbst nicht verschwindet.

Wesentliche Beiträge und Ergebnisse

• Theorem 1.3: Die Arbeit beweist, dass für jedes Geschlecht $g \ge 2$ und jede nicht-null werdende algebraische ganze Zahl $\alpha$ die Familie $C_\alpha: y^2 = x^d + \alpha x + t$ (mit $d \in \{2g+1, 2g+2\}$) für jede Primzahl $p > P^+(d)$ generisch ordinary ist, sofern $p$ nicht den Norm von $\alpha$ teilt.
  • Die Schranke ist definiert als:
    $$P^+(d) = \begin{cases} d^2 - 4d + 2 & \text{falls } d \text{ ungerade ist} \\ (d^2 - 3d + 2)/2 & \text{falls } d \text{ gerade ist} \end{cases}$$
• Lösung der Katz-Vermutung: Als direkte Korollar (Korollar 4.2) bestätigt die Arbeit die Vermutung von Katz (2018) für die spezifische Familie $K$ (wo $\alpha = -d$) für alle $p > P^+(d)$.
• Verallgemeinerung auf zwei-parametrige Familien: Korollar 4.3 erweitert das Ergebnis auf die zwei-parametrige Familie $y^2 = x^d + sx + t$ über der affinen Ebene und zeigt, dass diese für $p > P^+(d)$ generisch ordinary ist.
• Verfeinerung für $p \equiv 1 \pmod d$: Korollar 4.5 zeigt, dass die Familie, falls $p \equiv 1 \pmod d$, für alle $p$ generisch ordinary ist (ohne die $P^+(d)$-Schranke), da die Determinante $\Delta_p$ in diesem Fall 1 wird.

Bedeutung und Behauptungen
Die Arbeit behauptet, die Vermutung von Katz für alle $g \ge 2$ geklärt zu haben. Die Bedeutung liegt darin, über bisherige Ergebnisse (wie die von Miller, deren Koeffizientenmatrix monomial ist) hinauszugehen, um Familien zu behandeln, in denen die Hasse-Witt-Matrix im Allgemeinen nicht-monomial ist und viele ungleich Null werdende Einträge enthält. Die Autoren merken an, dass ihr Ansatz einen „anderen und neuen Ansatz“ erfordert, da die Determinante nicht zu einem einfachen Produkt reduziert werden kann.

Die Arbeit etabliert eine konkrete, quadratische Schranke $P^+(d)$ für generische Ordinarität. Die Autoren stellen fest, dass diese Schranke in bestimmten Fällen scharf ist; Daten von Katz zeigen, dass die generische Ordinarität für $p = P^+(d)$ in spezifischen Instanzen fehlschlägt (z. B. $(d, p) = (21, 359)$), was darauf hindeutet, dass die Schranke im Allgemeinen nicht auf $p \ge P^+(d)$ abgeschwächt werden kann.

Die Arbeit ordnet ihre Ergebnisse in die Tradition von Miller (1972) und der Untersuchung großer Monodromie in hyperelliptischen Loci ein und bestätigt, dass die ordinary Locus für diese Familien bei großen Primzahlen nicht leer und dicht ist.