The classification of real quadratic fields which satisfy Hammarhjelm's condition

Technische Zusammenfassung: Die Klassifizierung reeller quadratischer Körper, die die Bedingung von Hammarhjelm erfüllen

Problemstellung
Diese Arbeit befasst sich mit der Klassifizierung reeller quadratischer Körper $K = \mathbb{Q}(\sqrt{D})$ (wobei $D > 1$ quadratfrei ist), die die „Hammarhjelm-Bedingung“ erfüllen. Ein Körper erfüllt diese Bedingung, wenn zwei Kriterien erfüllt sind:

1. Der Ring der ganzen Zahlen $\mathcal{O}_K$ besitzt die eindeutige Faktorisierung (d. h. die Klassenzahl ist $h_K = 1$).
2. Das Minkowski-Gitter $f(\mathcal{O}_K) \subset \mathbb{R}^2$, definiert durch die Einbettung $\alpha \mapsto (\alpha, \sigma(\alpha))$, enthält keine Punkte innerhalb des offenen Rechtecks $(1, \lambda) \times (-1, 1)$, wobei $\lambda > 1$ das fundamentale Einheitselement von $K$ ist.

Diese Körper sind kürzlich im Zusammenhang mit der Untersuchung sichtbarer Punkte in algebraischen Cut-and-Project-Mengen aufgetaucht. Vor dieser Arbeit waren die bekannten Beispiele auf $D \in \{2, 5, 13, 29, 53\}$ beschränkt. Das Ziel ist es, die vollständige Liste solcher Körper zu bestimmen.

Methodik
Der Beweis erfolgt durch die Herstellung einer Beziehung zwischen der Hammarhjelm-Bedingung und der Größe des fundamentalen Einheitselements relativ zum Diskriminanten, gefolgt von einer Fallunterscheidung unter Verwendung der Genustheorie und bestehender Klassifizierungen von Klassenzahl eins Feldern.

1. Begrenzung des fundamentalen Einheitselements:
   Der Autor zeigt zunächst, dass die Hammarhjelm-Bedingung das fundamentale Einheitselement $\lambda$ im Verhältnis zur Diskriminante $\Delta_K$ klein hält.

• Wenn $D \equiv 2, 3 \pmod 4$, dann gilt $\lambda < 2\sqrt{D} = \sqrt{\Delta_K}$.
• Wenn $D \equiv 1 \pmod 4$, dann gilt $\lambda < \frac{\sqrt{D}+1}{2} = \frac{\sqrt{\Delta_K}+1}{2}$.
  Diese Schranke wird durch die Konstruktion spezifischer Elemente in $\mathcal{O}_K$ abgeleitet, die in das verbotene Rechteck fallen würden, falls $\lambda$ größer wäre.

2. Genustheorie und enge Klassengruppen:
   Die Arbeit nutzt die Genustheorie, um die möglichen Diskriminanten für Felder mit Klassenzahl eins einzuschränken. Speziell ist die enge Klassenzahl $h_K^+$ durch $2^{r(K)-1}$ teilbar, wobei $r(K)$ die Anzahl der verschiedenen Primfaktoren von $\Delta_K$ ist. Für $h_K=1$ impliziert dies $r(K) \le 2$.

• Der Fall $r(K)=2$ mit $D \equiv 1 \pmod 4$ (wobei $\Delta_K = pq$) wird unter Verwendung des 4-Rangs der engen Klassengruppe (via Rédei-Matrizen) analysiert. Es wird gezeigt, dass, falls $p, q \equiv 1 \pmod 4$ und $q = p+4$, der 4-Rang gleich 1 ist, was $h_K > 1$ impliziert.

3. Klassifizierung nach Diskriminantentyp:
   Der Beweis unterteilt das Problem basierend auf der Kongruenz von $D$ modulo 4:

• $D \equiv 2, 3 \pmod 4$: Der Autor zeigt, dass kein solcher Körper für $D > 2$ die Bedingung erfüllt. Für $D=2$ hält die Bedingung. Für $D \equiv 3 \pmod 4$ führt das Fehlen von Einheiten mit negativer Norm und die Schranke für $\lambda$ zu einem Widerspruch für jede Primzahl $D$.
• $D \equiv 1 \pmod 4$:
  • Primdiskriminante ($D=p$): Die Schranke für $\lambda$ erzwingt, dass das fundamentale Einheitselement die Norm $-1$ hat, was $D$ in die Form $D = (2m+1)^2 + 4$ bringt. Dies identifiziert die Körper als eine Teilmenge von Yokois Familie.
  • Zusammengesetzte Diskriminante ($D=pq$): Die Analyse schließt Fälle aus, in denen $p, q \equiv 1 \pmod 4$ ist (aufgrund des 4-Rang-Arguments) sowie Fälle, in denen $p, q \equiv 3 \pmod 4$ ist (welche in die „enge Richaud-Degert“-Familie fallen, die gezeigt wurde, die Bedingung H für $D > 5$ zu verfehlen).

4. Anwendung der Klassifizierung von Biró:
   Für die identifizierten Felder, die zu Yokois Familie gehören ($D = m^2 + 4$), stützt sich die Arbeit auf die Klassifizierung von Klassenzahl-eins-Feldern innerhalb dieser Familie durch Biró (2003). Biró bestimmte, dass die einzigen quadratfreien Diskriminanten dieser Form mit Klassenzahl eins $D \in \{5, 13, 29, 53, 173, 293\}$ sind.

Wesentliche Beiträge und Ergebnisse
Das Hauptergebnis ist Theorem 1.1, welches besagt, dass es genau sieben reelle quadratische Körper gibt, die die Hammarhjelm-Bedingung erfüllen. Diese entsprechen den Diskriminanten:
$$D \in \{2, 5, 13, 29, 53, 173, 293\}$$

Die Arbeit liefert einen rigorosen Beweis dafür, dass:

• Die zuvor bekannten Beispiele ($D=2, 5, 13, 29, 53$) Teil einer vollständigen Liste sind.
• Zwei zusätzliche Felder, $D=173$ und $D=293$, die Bedingung erfüllen.
• Keine anderen reellen quadratischen Körper die Bedingung erfüllen.

Der Beweis etabliert, dass die Hammarhjelm-Bedingung impliziert, dass das fundamentale Einheitselement im Verhältnis zur Diskriminante klein ist, was den Suchraum auf spezifische Familien von Körpern einschränkt (Yokois Familie und enge Richaud-Degert-Erweiterungen), in denen Klassenzahl-eins-Felder bereits klassifiziert sind.

Bedeutung
Die Arbeit löst das Problem der Bestimmung aller reellen quadratischen Körper, die die Hammarhjelm-Bedingung erfüllen – ein Problem, das durch jüngste Entwicklungen in der Untersuchung sichtbarer Punkte in algebraischen Cut-and-Project-Mengen motiviert wurde. Durch die Kombination elementarer Schranken für das fundamentale Einheitselement mit tiefen Ergebnissen aus der Genustheorie und der Klassifizierung der Yokoi-Familie liefert der Autor eine definitive und endliche Liste solcher Körper, die die bekannte Menge von fünf auf sieben Beispiele erweitert.