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

Technische Samenvatting: De Classificatie van Reële Kwadratische Velden die voldoen aan de Voorwaarde van Hammarhjelm

Probleemstelling
Dit artikel behandelt de classificatie van reële kwadratische velden $K = \mathbb{Q}(\sqrt{D})$ (waarbij $D > 1$ vrij van kwadratieve factoren is) die voldoen aan de "voorwaarde van Hammarhjelm". Een veld voldoet aan deze voorwaarde als aan twee criteria wordt voldaan:

1. De ring van gehele getallen $\mathcal{O}_K$ heeft unieke factorisatie (d.w.z. de klassegetal $h_K = 1$).
2. Het Minkowski-rooster $f(\mathcal{O}_K) \subset \mathbb{R}^2$, gedefinieerd door de afbeelding $\alpha \mapsto (\alpha, \sigma(\alpha))$, bevat geen punten binnen het open rechthoek $(1, \lambda) \times (-1, 1)$, waarbij $\lambda > 1$ de fundamentele eenheid van $K$ is.

Deze velden zijn recentelijk opgedoken in het onderzoek naar zichtbare punten in algebraïsche cut-and-project verzamelingen. Vooraf aan dit werk waren de bekende voorbeelden beperkt tot $D \in \{2, 5, 13, 29, 53\}$. Het doel is om de volledige lijst van dergelijke velden te bepalen.

Methodologie
Het bewijs verloopt via het vaststellen van een relatie tussen de voorwaarde van Hammarhjelm en de grootte van de fundamentele eenheid ten opzichte van de discriminant, gevolgd door een casus-gebaseerde analyse met behulp van genusleer en bestaande classificaties van klassegetal één.

1. Het Begrenzen van de Fundamentele Eenheid:
   De auteur toont eerst aan dat de voorwaarde van Hammarhjelm de fundamentele eenheid $\lambda$ klein dwingt ten opzichte van de discriminant $\Delta_K$.

• Als $D \equiv 2, 3 \pmod 4$, dan $\lambda < 2\sqrt{D} = \sqrt{\Delta_K}$.
• Als $D \equiv 1 \pmod 4$, dan $\lambda < \frac{\sqrt{D}+1}{2} = \frac{\sqrt{\Delta_K}+1}{2}$.
  Deze grens is afgeleid door specifieke elementen in $\mathcal{O}_K$ te construeren die in de verboden rechthoek zouden vallen als $\lambda$ groter zou zijn.

2. Genusleer en Smalle Klassegroepen:
   Het artikel maakt gebruik van de genusleer om de mogelijke discriminanten voor velden met klassegetal één te beperken. Specifiek is de smalle klassegetal $h_K^+$ deelbaar door $2^{r(K)-1}$, waarbij $r(K)$ het aantal verschillende priemfactoren van $\Delta_K$ is. Voor $h_K=1$ impliceert dit $r(K) \le 2$.

• De casus $r(K)=2$ met $D \equiv 1 \pmod 4$ (waarbij $\Delta_K = pq$) wordt geanalyseerd met behulp van de 4-rang van de smalle klassegroep (via Rédei-matrices). Er wordt aangetoond dat als $p, q \equiv 1 \pmod 4$ en $q = p+4$, de 4-rang gelijk is aan 1, wat impliceert dat $h_K > 1$.

3. Classificatie naar Discriminanttype:
   Het bewijs verdeelt het probleem op basis van de congruentie van $D$ modulo 4:

• $D \equiv 2, 3 \pmod 4$: De auteur toont aan dat geen van deze velden de voorwaarde voldoet voor $D > 2$. Voor $D=2$ geldt de voorwaarde. Voor $D \equiv 3 \pmod 4$ leidt de afwezigheid van eenheden met een negatieve norm en de grens op $\lambda$ tot een tegenspraak voor elke priem $D$.
• $D \equiv 1 \pmod 4$:
  • Priem Discriminant ($D=p$): De grens op $\lambda$ dwingt de fundamentele eenheid om een norm van $-1$ te hebben, waardoor $D$ in de vorm $D = (2m+1)^2 + 4$ valt. Dit identificeert de velden als een deelverzameling van Yokoi's familie.
  • Samengestelde Discriminant ($D=pq$): De analyse sluit gevallen uit waar $p, q \equiv 1 \pmod 4$ (vanwege het 4-rang argument) en gevallen waar $p, q \equiv 3 \pmod 4$ (die behoren tot de "smalle Richaud-Degert" familie, die wordt aangetoond niet te voldoen aan Conditie H voor $D > 5$).

4. Toepassing van de Classificatie van Biró:
   Voor de velden die behoren tot Yokoi's familie ($D = m^2 + 4$), vertrouwt het artikel op de classificatie van Biró (2003) van klassegetal één velden binnen deze familie. Biró bepaalde dat de enige vrij van kwadratieve factoren discriminanten van deze vorm met klassegetal één zijn: $D \in \{5, 13, 29, 53, 173, 293\}$.

Belangrijkste Bijdragen en Resultaten
De hoofdresultaat is Stelling 1.1, die stelt dat er exact zeven reële kwadratische velden zijn die voldoen aan de voorwaarde van Hammarhjelm. Deze komen overeen met de discriminanten:
$$D \in \{2, 5, 13, 29, 53, 173, 293\}$$

Het artikel levert een rigoureus bewijs dat:

• De eerder bekende voorbeelden ($D=2, 5, 13, 29, 53$) deel uitmaken van een volledige lijst.
• Twee aanvullende velden, $D=173$ en $D=293$, aan de voorwaarde voldoen.
• Geen andere reële kwadratische velden aan de voorwaarde voldoen.

Het bewijs vestigt dat de voorwaarde van Hammarhjelm impliceert dat de fundamentele eenheid klein is ten opzichte van de discriminant, wat de zoekruimte beperkt tot specifieke families van velden (Yokoi's familie en smalle Richaud-Degert uitbreidingen) waar klassegetal één velden reeds geclassificeerd zijn.

Betekenis
Dit artikel lost het probleem op van het bepalen van alle reële kwadratische velden die voldoen aan de voorwaarde van Hammarhjelm, een probleem dat gemotiveerd wordt door recente ontwikkelingen in het onderzoek naar zichtbare punten in algebraïsche cut-and-project verzamelingen. Door de combinatie van elementaire grenzen op de fundamentele eenheid met diepgaande resultaten uit de genusleer en de classificatie van Yokoi's familie, levert de auteur een definitieve en eindige lijst van dergelijke velden, waarmee de bekende verzameling wordt uitgebreid van vijf naar zeven voorbeelden.