🔢 mathematics

Simplest cubic fields with small class number

Dit artikel presenteert, met behulp van PARI/GP, een exhaustive lijst van gehele getallen $m \geq -1$ waarvoor de eenvoudigste kubische velden $L_m$ een kleine klasgetal $h_m$ hebben, en specificeert het aantal dergelijke velden voor verschillende waarden van $h_m$ en de index van de ring van gehele getallen.

Oorspronkelijke auteurs: Akinari Hoshi, Hiroaki Iida

Gepubliceerd 2026-03-20

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Akinari Hoshi, Hiroaki Iida

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

De Drie Broers en hun geheime nummers: Een verhaal over de "Eenvoudigste Kubieke Velden"

Stel je voor dat wiskunde een enorme bibliotheek is, gevuld met boeken die de structuur van het universum beschrijven. In deze bibliotheek zijn er speciale boeken genaamd Velden (in het Engels: Fields). Een veld is een soort wiskundige wereld waar je kunt optellen, aftrekken, vermenigvuldigen en delen, net als met gewone getallen, maar dan met een extra laag mysterie.

De auteurs van dit artikel, Akinari Hoshi en Hiroaki Iida, hebben zich verdiept in een heel specifieke, bijzondere familie van deze velden. Ze noemen ze de "Eenvoudigste Kubieke Velden".

1. De Familie met de Geheime Code

Elk lid van deze familie wordt bepaald door één enkel getal, laten we het $m$ noemen. Je kunt $m$ zien als de geboortedatum of de ID-code van een lid.

Als je deze code $m$ in een speciale machine (een wiskundige formule) stopt, krijg je een kubieke vergelijking (een vergelijking met een $x^3$ ). De oplossing van deze vergelijking creëert een nieuwe wiskundige wereld: het veld $L_m$ .

Het leuke aan deze familie is dat ze allemaal een geheime code hebben die ze met elkaar delen. Deze code is een getal dat we de conductor noemen. Het is alsof elke familie een uniek huisnummer heeft. Als twee verschillende $m$ -waarden (bijvoorbeeld $m=1$ en $m=66$ ) naar hetzelfde huisnummer leiden, dan zijn ze eigenlijk hetzelfde lid van de familie, alleen met een andere naam. De auteurs hebben alle mogelijke "dubbele namen" in de lijst gevonden.

2. De "Class Number": De Chaos-Index

Nu komt het belangrijkste deel van het verhaal. In elke wiskundige wereld (veld) zijn er getallen die zich net iets anders gedragen dan gewone getallen. Soms kunnen getallen op meer dan één manier worden ontbonden in priemgetallen (de bouwstenen van de wiskunde). Dit veroorzaakt een beetje "chaos" of "verwarring" in de structuur.

De Class Number (of klassengetal, $h_m$ ) is een maatstaf voor deze chaos.

Als de Class Number 1 is, is de wereld perfect geordend. Alles is netjes en voorspelbaar. Er is geen verwarring.
Als de Class Number 1000 is, is de wereld een enorme warboel. Er zijn duizenden manieren waarop de structuur kan "breken".

De auteurs wilden weten: Hoe vaak komen deze "chaotische" werelden voor, en hoe chaotisch worden ze precies?

3. De Grote Telronde (Met de Computer als Hulp)

Het handmatig tellen van deze chaos in miljoenen verschillende werelden is onmogelijk. Het zou eeuwen duren. Daarom hebben de auteurs een digitale assistent ingezet: PARI/GP. Dit is een superkrachtige rekenmachine voor wiskundigen.

Ze hebben de computer opdracht gegeven om te kijken naar miljoenen verschillende $m$ -waarden (van -1 tot 4 miljoen!). Voor elk van deze waarden heeft de computer:

De wereld gebouwd.
De chaos (de Class Number) gemeten.
Gekeken of de chaos klein was (kleiner dan 1000, of zelfs kleiner dan 16).

4. Wat hebben ze ontdekt?

De resultaten zijn als een schatkaart met specifieke schatten:

De "Perfecte" Werelden ( $h_m = 1$ ): Ze vonden precies 26 getallen $m$ (tussen -1 en 4 miljoen) waarbij de wereld perfect geordend is. Het is alsof je in een heel groot bos 26 bomen vindt die perfect symmetrisch zijn. De auteurs hebben de namen van deze 26 gelukkige bomen opgeschreven in hun lijst (bijvoorbeeld $m = -1, 0, 1, 2, 4, 7, 8, 10, \dots$ ).
De "Lichte Chaos" ( $h_m < 16$ ): Als we kijken naar werelden met een beetje chaos, maar niet te veel (minder dan 16), vonden ze in totaal 137 gevallen.
De Grote Lijst: Ze hebben ook gekeken naar alle werelden met een chaos van maximaal 1000. Ze vonden 581 gevallen waarbij de structuur van de wereld "schoon" was (geen extra factoren die de structuur verstoren), en nog eens 80 of 142 gevallen met een iets complexere structuur.

5. Waarom is dit belangrijk?

Je vraagt je misschien af: "Waarom moeten we deze getallen tellen?"

Stel je voor dat wiskundigen architecten zijn die gebouwen bouwen voor de cryptografie (de beveiliging van internet en bankrekeningen). Ze hebben gebouwen nodig die sterk zijn, maar ook voorspelbaar.

Als je weet precies welke $m$ -waarden leiden tot een "perfect geordend" gebouw (Class Number 1), kun je die gebruiken om superveilige systemen te bouwen.
Als je weet hoe de chaos zich gedraagt, kun je voorspellen wanneer een systeem instabiel wordt.

De auteurs zeggen eigenlijk: "Wij hebben de hele stad afgezocht en we hebben een lijst gemaakt van alle huizen die perfect in orde zijn. Als je een veilig huis wilt bouwen, gebruik dan een van deze adressen."

Samenvatting in één zin

Deze paper is een uitgebreide inventarisatie van een specifieke familie van wiskundige werelden, waarbij de auteurs met behulp van computers alle gevallen hebben gevonden waarin deze werelden een "kleine" of "perfecte" structuur hebben, zodat toekomstige onderzoekers precies weten waar ze moeten zoeken voor de meest stabiele en interessante wiskundige patronen.

Het is als het maken van een perfecte catalogus van de "rustigste plekken" in een enorm, chaotisch universum van getallen.

Titel: Eenvoudigste Kubieke Velden met Kleine Classaantallen

Auteurs: Akinari Hoshi en Hiroaki Iida
Trefwoorden: Eenvoudigste kubieke velden, classaantal, Thue-vergelijkingen, monogene polynomen, PARI/GP.

1. Probleemstelling en Context

Het artikel onderzoekt de eenvoudigste kubieke velden (simplest cubic fields), een specifieke familie van cyclische kubieke velden geïntroduceerd door Daniel Shanks. Deze velden worden gedefinieerd als $L_m = \mathbb{Q}(\alpha)$ , waarbij $\alpha$ een wortel is van de irreducibele polynoom:
$f_m(X) = X^3 - mX^2 - (m + 3)X - 1$
met $m \in \mathbb{Z}$ .

De centrale vraag in dit onderzoek is het bepalen van het classaantal $h_m = |\text{Cl}(L_m)|$ (de orde van de ideaalklasgroep) voor deze velden. Specifiek richten de auteurs zich op:

Het vinden van alle gehele getallen $m \ge -1$ waarbij het classaantal $h_m \le 1000$ .
Het verfijnen van deze zoekopdracht voor $h_m < 16$ binnen een veel groter bereik ( $m \le 4 \cdot 10^6$ ).
Het analyseren van de relatie tussen het classaantal en de index $[\mathcal{O}_{L_m} : \mathbb{Z}[\alpha]]$ , die aangeeft of de ring van gehele getallen $\mathcal{O}_{L_m}$ monogeen is (d.w.z. gegenereerd door één element $\alpha$ ).

De discriminant van de polynoom is $D = (m^2 + 3m + 9)^2$ . De relatie tussen de discriminant van het veld $d_m$ , de conductor $f_m$ en de index wordt gegeven door:
$m^2 + 3m + 9 = f_m \cdot [\mathcal{O}_{L_m} : \mathbb{Z}[\alpha]]$

2. Methodologie

De auteurs combineren theoretische resultaten uit de algebraïsche getaltheorie met geavanceerde computationele methoden.

Theoretische Basis:
- Ze gebruiken de conductor-discriminant formule en resultaten van Gras, Washington en Lettl om de conductor $f_m$ te relateren aan $m$ .
- Ze maken gebruik van de class number formula en ondergrenzen voor $L$ -functies (Lettl's stelling) om een bovengrens te stellen voor $m$ wanneer $h_m$ klein moet zijn. Dit betekent dat voor een vast classaantal $h$ en een vaste index, er slechts eindig veel $m$ bestaan.
- Ze benutten eerdere resultaten over Thue-vergelijkingen (werk van Thomas, Mignotte, Hoshi) om de structuur van de velden en mogelijke coincidenties ( $L_m = L_n$ ) te begrijpen.
Computationele Aanpak (PARI/GP):
- De auteurs gebruiken de computeralgebrasysteem PARI/GP om de classaantallen en de structuur van de ideaalklasgroepen te berekenen.
- Commando's: Ze gebruiken bnfinit om de veldinformatie te initialiseren en K.no voor het classaantal.
- Validatie: Om de resultaten betrouwbaar te maken zonder afhankelijkheid van de Algemene Riemann-hypothese (GRH), gebruiken ze het commando bnfcertify. Dit bevestigt dat de berekende classaantallen correct zijn.
- Bereiken:
  - Voor $h_m \le 1000$ : Ze berekenen $m$ tot ongeveer $5762$ (voor index 1), $10742$ (voor index 3) en $36763$ (voor index 27), gebaseerd op theoretische ondergrenzen.
  - Voor $h_m < 16$ : Ze scannen het volledige bereik $-1 \le m \le 4 \cdot 10^6$ .

3. Belangrijkste Bijdragen en Resultaten

De paper levert drie hoofdbijdragen, samengevat in de stellingen 1.12 en 1.13:

A. Classaantallen $\le 1000$ voor specifieke indices

De auteurs classificeren de velden op basis van de index $k = [\mathcal{O}_{L_m} : \mathbb{Z}[\alpha]]$ , die kan zijn 1, 3 of 27. Ze vinden exact het aantal $m$ -waarden voor elk geval:

Index 1 (Monogeen veld, $m^2+3m+9 = f_m$ ):
- Er zijn precies 581 waarden van $m \ge -1$ met $h_m \le 1000$ .
- Dit omvat 7 gevallen met $h_m=1$ (o.a. $m = -1, 1, 2, 4, 7, 8, 10$ ).
- De auteurs splitsen dit verder op in gevallen waar $f_m$ priem is of een product van verschillende priemgetallen.
Index 3 ( $m^2+3m+9 = 3f_m$ ):
- Er zijn precies 80 waarden van $m$ met $h_m \le 1000$ .
- Hierbij is $h_m$ altijd deelbaar door 3.
Index 27 ( $m^2+3m+9 = 27f_m$ ):
- Er zijn precies 142 waarden van $m$ met $h_m \le 1000$ .
- Dit omvat 3 gevallen met $h_m=1$ ( $m = 12, 39, 93$ ).

B. Classaantallen $< 16$ voor een groot bereik

Voor het bereik $-1 \le m \le 4 \cdot 10^6$ hebben de auteurs alle velden geïdentificeerd met een zeer klein classaantal ( $h_m < 16$ ).

Totaal aantal: Er zijn 137 waarden van $m$ die voldoen aan $h_m < 16$ .
Verdeling per classaantal:
- $h_m = 1$ : 26 waarden (o.a. $m=0, 3, 54, 286, 397, \dots$ )
- $h_m = 3$ : 31 waarden
- $h_m = 4$ : 10 waarden
- $h_m = 7$ : 10 waarden
- $h_m = 9$ : 36 waarden
- $h_m = 12$ : 21 waarden
- $h_m = 13$ : 3 waarden
GRH-afhankelijkheid: De auteurs stellen dat onder de aanname van de Algemene Riemann-hypothese (GRH), deze lijst van 137 waarden compleet is voor het gegeven bereik. Zonder GRH zijn de resultaten voor de specifieke gevallen waar bnfcertify succesvol was (wat voor kleine classaantallen vaak het geval is) onvoorwaardelijk correct.

C. Expliciete Tabellen

De paper bevat uitgebreide tabellen (Tabellen 1 t/m 7) die voor elke gevonden $m$ de volgende informatie geven:

De waarde van $m$ .
De congruentieklasse van $m$ modulo 3, 9 en 27.
De waarde van $m^2 + 3m + 9$ en de priemfactorisatie daarvan.
De structuur van de ideaalklasgroep (bijv. $C_2 \times C_2$ of $C_3 \times C_3$ ).

4. Significatie en Conclusie

Dit werk is significant voor de volgende redenen:

Computationele Volledigheid: Het biedt de meest complete lijst tot nu toe van eenvoudigste kubieke velden met kleine classaantallen, zowel voor monogene velden als voor velden met hogere index.
Validatie van Theoretische Grenzen: De resultaten bevestigen de theoretische ondergrenzen voor $m$ die nodig zijn om een bepaald classaantal te bereiken, en tonen aan dat er geen "verwachte" waarden ontbreken in de berekende intervallen.
Correctie en Uitbreiding: De auteurs corrigeren een eerdere publicatie van Lettl (1986) door het geval $m=12$ (waar $h_m=1$ ) toe te voegen, dat eerder was over het hoofd gezien.
Data voor Verdere Onderzoek: De expliciete lijsten van $m$ -waarden en de bijbehorende classagroepen vormen een waardevolle dataset voor onderzoekers die zich bezighouden met de verdeling van classaantallen, de structuur van cyclische velden en het oplossen van Diophantische vergelijkingen.

Kortom, Hoshi en Iida hebben door een combinatie van diepgaande theorie en krachtige computeralgebra een definitieve classificatie gemaakt van de "eenvoudigste" kubieke velden met de kleinste mogelijke classaantallen, wat een belangrijke stap is in het begrijpen van de arithmetische eigenschappen van deze specifieke familie van getalvelden.