🔢 mathematics

Counting Algebraic Integers of Bounded Height in Cyclotomic Fields

Dit artikel stelt een asymptotische grens vast, naarmate de priemmacht $q$ groeit, op het aantal algebraïsche gehele getallen en eenheden met een absolute hoogte van hoogstens $B$ binnen de cyclotome velden $\mathbb{Q}[\zeta_q]$ .

Oorspronkelijke auteurs: Phillip Harris, John Yin

Gepubliceerd 2026-06-16

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Phillip Harris, John Yin

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

Stel je voor dat je in een enorme, oneindige bibliotheek staat. Deze bibliotheek is niet gevuld met boeken, maar met getallen. Specifiek bevat het een bijzonder type getallen: "algebraïsche gehele getallen." Dit zijn geen alledaagse getallen zoals 1, 2 of 3; het zijn complexe, meerdimensionale getallen die leven in specifieke wiskundige werelden die cyclotomische velden worden genoemd.

Beschouw deze velden als verschillende "buurten" in de bibliotheek. De auteurs van dit artikel richten zich op een specifieke buurt genaamd $\mathbb{Q}(\zeta_q)$ , die is opgebouwd met behulp van een speciaal getal: een eenheidswortel (stel je een klok voor waarbij de wijzers naar elk deel van een cirkel kunnen wijzen, niet alleen naar de uren).

De Grote Vraag: Hoeveel Getallen Passen in een Doos?

De auteurs stellen een zeer specifieke vraag: Als we een groottebeperking opleggen aan deze getallen, hoeveel van hen kunnen we dan vinden in deze buurt?

Om de "grootte" van deze getallen te meten, gebruiken ze een liniaal genaamd Hoogte.

De Liniaal (Hoogte): Stel je voor dat elk getal een bepaalde "luidheid" of "complexiteit" heeft. De Hoogte is een maatstaf voor hoe luid of complex een getal is.
De Doos (Grens $B$ ): De auteurs zeggen: "Laten we alleen de getallen tellen die stiller zijn dan een bepaalde volumegrens, $B$ ."

De twist in dit verhaal is dat wiskundigen normaal gesproken de buurt (het veld) vastleggen en vragen hoe het aantal items groeit naarmate de doos groter wordt. Hier doen de auteurs het tegenovergestelde: ze houden de grootte van de doos ( $B$ ) vast en vragen wat er gebeurt naarmate de buurt groter en complexer wordt.

De Twee Soorten Getallen die Ze Telden

De auteurs keken naar twee verschillende groepen getallen in deze buurt:

1. De "Eenheden" (De Speciale Bewoners)

Wat zijn het? Dit zijn getallen die een "partner" hebben die met hen vermenigvuldigt om 1 te maken. Zij zijn de VIP's van de getallenwereld.
De Cyclotomische Eenheden: Onder deze VIP's bevindt zich een speciale subgroep genaan "Cyclotomische Eenheden." Dit zijn degenen die gemakkelijk gebouwd kunnen worden uit de basisbouwstenen van de buurt (zoals een huis bouwen uit standaard bakstenen).
De Bevinding: De auteurs vonden een formule om te schatten hoeveel van deze VIP's er bestaan onder de volumegrens.
- Ze ontdekten dat naarmate de buurt enorm groot wordt (terwijl de priemmacht $q$ groeit), het aantal van deze VIP's groeit, maar niet te snel. Het groeit op een manier die "sub-exponentieel" is.
- De Analogie: Stel je een feest voor waarbij het aantal gasten wordt beperkt door de hoeveelheid voedsel ( $B$ ) die beschikbaar is. Naarmate de kamer groter wordt, kun je meer mensen kwijt, maar de auteurs bewezen dat zelfs in een enorme kamer het aantal mensen niet direct in een explosie van oneindigheid ontaardt; het groeit op een beheersbare, voorspelbare manier.

2. De "Gehele Getallen" (De Algemene Populatie)

Wat zijn het? Dit zijn alle algebraïsche gehele getallen in de buurt, niet alleen de VIP's.
De Bevinding: De auteurs telden ook de algemene populatie. Ze ontdekten dat het aantal van deze gehele getallen exponentieel groeit met de grootte van de buurt, maar de "luidheid" (hoogte) van de getallen houdt hen in toom.
- De Analogie: Als de VIP's de mensen in de eerste rij zijn, dan zijn de gehele getallen iedereen in het stadion. De auteurs berekenden dat, zelfs met een strikte volumegrens, het totale aantal mensen in het stadion wordt begrensd door een specifieke formule die de grootte van het stadion en de volumegrens bevat.

Hoe Hebben Ze Het Gedaan? (De Instrumenten)

Om dit op te lossen, gebruikten de auteurs zware wiskundige machines, die ze vertaalden naar een paar slimme trucs:

Het Rooster (Het Grid): Ze stelden zich de getallen voor als punten op een gigantisch, meerdimensionaal rooster.
De Vorm (Het Polytoop): De voorwaarde "hoogte minder dan $B$ " creëert een specifieke vorm in dit rooster (zoals een vreemde, veelzijdige bal).
Het Tellen van de Punten: Het probleem werd: "Hoeveel roosterpunten passen er binnen deze vreemde vorm?"
Het Davenport Lemma: Dit is een beroemde regel in de wiskunde die hels helpt bij het schatten van hoeveel punten er in een vorm passen zonder ze één voor één te hoeven tellen. De auteurs gebruikten deze regel om hun bovengrenzen te verkrijgen.

Het "Klassegetal"-Mysterie

Er is één kleine variabele in hun formule voor de eenheden (de units) genaamd $h^+_q$ . Dit is een getal dat beschrijft hoe "rommelig" de buurt is.

De auteurs geven toe dat ze dit getal niet perfect kunnen controleren.
Echter, ze noemen een populaire vermoeden (de Cohen-Lenstra heuristieken) dat suggereert dat dit "rommeligheid"-getal meestal erg klein is of constant blijft.
De Belangrijkste Les: Als deze vermoeden waar is, dan is hun formule voor de eenheden zelfs nog betrouwbaarder.

Samenvatting in Gewone Mensentaal

Dit papier is een volkstelling voor een specif soort wiskundige buurt.

Het Doel: Tel hoeveel speciale getallen (eenheden) en gewone getallen (gehele getallen) er bestaan in een buurt, als we alleen de "stille" getallen (die met een lage hoogte) tellen.
De Methode: Ze behandelden de getallen als punten op een rooster en gebruikten geometrische regels om te schatten hoeveel punten er binnen een specifieke volumegrens passen.
Het Resultaat: Ze boden een wiskundig "plafond" (een bovengrens) voor hoeveel van deze getallen kunnen bestaan. Ze lieten zien dat zelfs wanneer de wiskundige buurt oneindig complex wordt, het aantal "stille" getallen groeit op een manier die voorspeld en begrensd kan worden, in plaats van dat het volledig uit de hand loopt.

Ze hebben geen nieuw medicijn of een nieuwe technologie gevonden; ze hebben simpelweg een preciezere kaart getekend van hoe deze abstracte getallen verdeeld zijn in het uitgestrekte landschap van de wiskunde.

Technische Samenvatting: Het tellen van algebraïsche gehele getallen van begrensde hoogte in cyclotomische velden

1. Probleemstelling

Dit werk behandelt het probleem van het tellen van algebraïsche gehele getallen en eenheden binnen cyclotomische velden $\mathbb{Q}(\zeta_q)$ , waarbij $q = p^r$ een macht van een priemgetal is, onderworhev aan een vaste absolute hoogte $B$ . In tegenstelling tot de klassieke Batyrev-Manin-conjectuur, die het grondveld vaststelt en de hoogte $B$ varieert als $B \to \infty$ , stelt dit artikel de hoogte $B$ vast en onderzoekt het het asymptotische gedrag van de telling naarmate de graad van het veld groeit (specifiek wanneer $r \to \infty$ ).

De auteurs definiëren twee primaire telfuncties:

Eenheden: $U(n, B)$ , het aantal eenheden in $\mathbb{Z}[\zeta_n]$ met een logarithmische Weil-hoogte $h(\alpha) < B$ . Een subset van belang is $U_{cyc}(n, B)$ , die enkel cyclotomische eenheden telt.
Gehele getallen: $I(q, B)$ , het aantal algebraïsche gehele getallen in $\mathbb{Z}[\zeta_q]$ met $h(\alpha) \le B$ .

Het doel is om boven- en ondergrenzen voor deze grootheden vast te stellen naarmate $q$ groeit, waarbij specifiek de afhankelijkheid van de veldgraad $D = \phi(q)$ wordt geanalyseerd.

2. Methodologie

De bewijzen steunen op een combinatie van algebraïsche getaltheorie en geometisch roosterpunt-tellen.

2.1 Geometisch Kader

Het kerninstrument in de geometrie is Davenport's Lemma [2], die een foutenmarge biedt voor het aantal roosterpunten in een compact lichaam $P \subset \mathbb{R}^D$ ten opzichte van zijn volume. De foutmarge is afhankelijk van de volumes van projecties van $P$ op coördinaat-subruimten.

Voor cyclotomische eenheden wordt het probleem getransformeerd naar het tellen van gehele vectoren $c$ waarvoor $\|Ac\|_{L_1} < T$ , waarbij $A$ een matrix is afgeleid van de logaritmen van de absolute waarden van de Galois-conjugaten van de cyclotomische eenheidsgeneratoren.
Voor algebraïsche gehele getallen maken de auteurs gebruik van de Minkowski-inbedding $\Phi: K \to \mathbb{R}^D$ . De verzameling gehele getallen met begrensde hoogte is vervat in een regio $R_1$ die wordt gedefinieerd door logaritmische restricties op de coördinaten. Deze regio wordt benaderd door een vereniging van hyper-rechthoeken (dozen) $Q(k)$ om de volumeschatting te vergemakkelijken.

2.2 Algebraïsche Instrumenten

Cyclotomische eenheden: De auteurs maken gebruik van de expliciete basis van cyclotomische eenheden $\xi_a$ (Propositie 1) en hun relatie met de volledige eenheidsgroep via de klassegetal $h_q^+$ . De werking van de Galoisgroep op deze eenheden wordt geanalyseerd met behulp van Dirichlet-karakters.
Spectrale Analyse: De matrix $A$ die de hoogte van de eenheden bepaalt, wordt gediaogonaliseerd met behulp van niet-triviale even Dirichlet-karakters. De eigenwaarden $\lambda_\chi$ worden uitgedrukt in termen van Gauss-sommen $\tau(\chi_f)$ en $L$ -functies $L(1, \chi_f)$ . Siegel's ondergrens voor $L$ -functies wordt gebruikt om de grootte van deze eigenwaarden te schatten.
Determinant-schattingen: Het volume van de getransformeerde regio's bij het tellen van gehele getallen omvat het determinant van de Minkowski-inbeddingsmatrix. De auteurs gebruiken de Cauchy-Binet formule en Hadamards ongelijkheid om de som van gekwadrateerde minor's van de matrix te begrenzen, waarbij zij gebruikmaken van de bekende discriminant van cyclotomische velden.

3. Belangrijkste Resultaten

3.1 Grenzen voor Cyclotomische Eenheden

Stelling 1 stelt het asymptotische gedrag vast voor cyclotomische eenheden in $\mathbb{Q}(\zeta_q)$ waar $q=p^r$ een oneven macht van een priemgetal is.

Bovengrens: Het aantal cyclotomische eenheden voldoet aan:
$U_{cyc}(q, B) \ll_{q^3} \exp\left(C_\epsilon B^{1/3} q^{5/6+\epsilon}\right)$
Voor de volledige eenheidsgroep bevat de bovengrens het klassegetal van de maximale reële subveld $h_q^+$ :
$U(q, B) \ll_{q^3} \exp\left(C_\epsilon (h_q^+ B)^{1/3} q^{5/6+\epsilon}\right)$
Ondergrens: Propositie 4 toont aan dat voor voldoende grote $B$ , $\log U_{cyc}(q, B) \gg B \log q$ , wat wijst op een polynomiale ondergrens in $q$ .

De auteurs merken op dat hoewel $h_q^+$ over het algemeen moeilijk te controleren is, numeriek bewijs en de Cohen-Lenstra heuristieken suggereren dat het klein is (potentieel constant) voor een vaste $p$ naarmate $r \to \infty$ , wat een subexponentiële grens voor de volledige eenheidsgroep zou impliceren in dat regime.

3.2 Grenzen voor Algebraïsche Gehele Getallen

Stelling 2 levert een exponentiële bovengrens voor het aantal algebraïsche gehele getallen van begrensde hoogte:
$\log I(q, B) \ll D(B + 1)$
waarbij $D = \phi(q)$ .

Ondergrens: Het artikel construeert een polynomiale ondergrens door coëfficiënten in de machtsbasis $\zeta_q^i$ te kiezen zodanig dat de som van de absolute waarden begrensd is, wat ongeveer $q^{e^B}$ keuzes oplevert.
Vergelijking: De auteurs observeren dat in het functieveld-analogon $\mathbb{F}_q(t)$ , de telling exact $q^{B+1}$ is, wat suggereert dat de werkelijke telling in het getalveld-geval mogelijk polynomiaal in $q$ is, hoewel de bewezen bovengrens exponentieel is in de graad $D$ .

4. Betekenis en Claims

Het artikel claimt de eerste asymptotische grenzen te bieden voor het aantal algebraïsche gehele getallen en eenheden van vaste hoogte in cyclotomische velden naarmate de graad van het veld naar oneindig gaat.

Contrast met de Literatuur: Het werk contrasteert met eerdere resultaten (bijv. Dubickas [4]) die de graad vaststelden en de hoogte lieten groeien. Hier is de hoogte vastgesteld, en varieert het veld.
Subexponentiële Conjectuur: Hoewel de bewezen grenzen voor eenheden exponentieel zijn in $q^{5/6}$ , vermoeden de auteurs dat de werkelijke groei waarschijnlijk polynomiaal in $q$ is (subexponentieel in de graad) op basis van het gedrag van het klassegetal $h_q^+$ en de functieveld-analogie.
Methodologische Bijdrage: Het artikel demonstreert het nut van het combineren van Davenport's roosterpunt-tellen met de expliciete spectrale eigenschappen van cyclotomische eenheden (via Dirichlet-karakters) en precieze determinant-schattingen voor Minkowski-inbeddingen.

De auteurs hanteren een bescheiden toon met betrekking tot de optimaliteit van de grenzen, waarbij zij erkennen dat de exponentiële factor in de eenheidsgrens voortkomt uit het huidige onvermogen om het klassegetal $h_q^+$ nauwkeurig te controleren en de geometrische dekking-argumenten die gebruikt worden voor het tellen van gehele getallen.