A short remark on the $\ell$-torsion part of class groups

Dit artikel beantwoordt een vraag van Ellenberg over het aantal primitieve elementen met kleine hoogte in getallenlichamen en verbetert de bovengrens voor het $\ell$-torsiegedeelte van de klassengroepen van pure kubische en algemene pure getallenlichamen van oneven graad.

De kern

Stel je voor dat getallenwerelden (zoals de getallen die we kennen, maar dan uitgebreid met wortels) een soort sociale club zijn. In deze club zitten leden die we "idealen" noemen. Soms gedragen deze leden zich raar: als je ze een paar keer bij elkaar optelt (of vermenigvuldigt), verdwijnen ze plotseling in het niets. Dit noemen wiskundigen torsie.

Deze paper van Martin Widmer gaat over het tellen van deze "verdwijnende leden" in specifieke soorten getallenwerelden. Hier is de uitleg in gewone taal, met wat creatieve vergelijkingen:

1. Het Probleem: De "Verdwijnende Leden"

In de wiskunde proberen we te begrijpen hoe groot de groep van deze verwarrende leden is. Hoe meer er zijn, hoe "rommeliger" de getallenwereld is.
Vroeger hadden wiskundigen een schatting (een bovengrens) voor hoeveel van deze leden er maximaal kunnen zijn. Het was als zeggen: "In deze stad wonen hoogstens 1000 mensen die kunnen verdwijnen."

Een wiskundige genaamd Ellenberg had in 2008 een nieuw idee. Hij dacht: "Misschien kunnen we die schatting veel scherper maken als we kijken naar hoe 'klein' de getallen in die wereld zijn." Hij stelde een vraag: Hoeveel 'kleine' getallen (generatoren) zijn er eigenlijk in zo'n wereld?

2. De Ontdekking: Het "Kleine Getallen"-Experiment

Widmer neemt deze vraag serieus en doet een experiment. Hij kijkt naar een heel specifieke soort getallenwereld: de pure velden.

• Analogie: Stel je een pure veld voor als een huis dat gebouwd is op één enkele, specifieke steen (een getal $a$). Alles in het huis is een combinatie van die ene steen.
• De Vraag: Als je probeert het huis te bouwen met de kleinste mogelijke stenen, hoeveel kleine stenen heb je dan nodig?

Het verrassende resultaat (Propositie 1):
Widmer ontdekt dat voor bepaalde soorten getallenwerelden, Ellenbergs idee niet werkt zoals gehoopt.

• De Metafoor: Ellenberg dacht dat er misschien maar heel weinig kleine stenen waren, waardoor de "verdwijnende leden" groep klein zou blijven. Widmer laat zien dat er juist ontzettend veel kleine stenen zijn die je kunt gebruiken om het huis te bouwen.
• Gevolg: Omdat er zo veel kleine opties zijn, kan je de bovengrens voor de "verdwijnende leden" niet verbeteren met Ellenbergs oude methode. Het is alsof je dacht dat er maar één sleutel was die een deur opent, maar Widmer laat zien dat er duizenden sleutels zijn. De deur blijft dus net zo groot (of het probleem net zo lastig) als voorheen.

3. De Oplossing: Een Nieuwe Snelweg

Maar wacht, het verhaal is niet klaar! Hoewel Ellenbergs oude methode faalt, heeft Widmer een nieuwe, slimmere manier gevonden om de "verdwijnende leden" in te tomen.

Hij kijkt naar een heel specifieke subgroep: de pure kubische velden (waar je derdemachtswortels gebruikt, zoals $\sqrt[3]{a}$).

• De Analogie: Stel je voor dat de "verdwijnende leden" een zwerm muggen is die om een lantaarnpaal (het getal $a$) vliegen.
• De Oude Methode: Probeerde de muggen te tellen door naar de hele stad te kijken.
• Widmers Methode: Hij kijkt heel precies naar de vorm van de lantaarnpaal. Als de paal een bepaalde vorm heeft (bijvoorbeeld als het getal $a$ uit specifieke bouwstenen bestaat die niet in elkaar passen), dan weet hij dat er minder muggen kunnen vliegen dan de oude regels zeiden.

Het nieuwe resultaat (Propositie 2):
Widmer bewijst dat voor deze specifieke vormen van getallenwerelden, het aantal "verdwijnende leden" kleiner is dan we dachten.

• Hij verbetert de oude formule. In plaats van te zeggen "er zijn maximaal $X$ muggen", zegt hij nu: "Als de paal er zo uitziet, zijn er maximaal $X$ minus een stukje muggen."
• Dit is een echte verbetering, vooral als het getal $a$ uit bepaalde soorten factoren bestaat (zoals "vierkantsvrije" getallen).

4. Samenvatting in Eén Zin

Deze paper zegt: "Ellenberg dacht dat we door naar kleine getallen te kijken de chaos in getallenwerelden beter konden begrijpen, maar Widmer laat zien dat er juist te veel kleine getallen zijn om dat te gebruiken. Echter, door slim te kijken naar de specifieke vorm van de getallenwereld, kan hij toch bewijzen dat er in sommige gevallen minder 'verdwijnende leden' zijn dan we dachten."

Waarom is dit belangrijk?
Het helpt wiskundigen om de fundamentele structuur van getallen beter te begrijpen. Het is alsof je een kaart tekent van een onbekend landschap: je ontdekt dat sommige paden die je dacht dat breed waren, eigenlijk smal zijn, en dat er op sommige plekken meer steenblokken liggen dan je dacht. Dit helpt bij het oplossen van grotere raadsels in de getaltheorie.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "A SHORT REMARK ON THE ℓ-TORSION PART OF CLASS GROUPS" van Martin Widmer, geschreven in het Nederlands.

Probleemstelling

Het artikel richt zich op het vinden van scherpe bovenkanten voor de grootte van de $\ell$-torsie-deelgroep van de ideaalklasgroep ($\text{Cl}_K[\ell]$) van een getallenlichaam $K$ met graad $d > 1$. De grootte wordt doorgaans uitgedrukt in termen van de absolute discriminant $D_K$.

De bestaande standaardbovenkante, afgeleid van het "Key-Lemma" van Ellenberg en Venkatesh (2008), is:
$$\#\text{Cl}_K[\ell] \ll_{d,\ell,\varepsilon} D_K^{1/2 - 1/(2\ell(d-1)) + \varepsilon}$$
Deze schatting is afhankelijk van het bestaan van voldoende veel "kleine" priemidealen die niet uit een eigenveld van $K$ voortkomen. Ellenberg stelde in 2008 een strategie voor om deze exponent te verbeteren door de functie $f(\ell, d)$ te analyseren, die de verbetering bepaalt. Hij stelde de vraag of het mogelijk is dat het aantal primitieve elementen met kleine hoogte ($N'_K(X)$) zo snel groeit dat er geen verbetering mogelijk is, wat zou betekenen dat $f(\ell, d) = 1/(2\ell(d-1))$.

Methodologie

Widmer hanteert een combinatie van analytische getaltheorie, de theorie van Weil-hoogtes en specifieke eigenschappen van "pure" getallenlichamen (lichamen gegenereerd door wortels van $x^d - a$).

1. Analyse van de Ellenberg-Venkatesh Strategie:

   • De auteur onderzoekt de functie $M_{K,\ell}$, gedefinieerd als het infimum van $X^{-1/\ell}(1 + N'_K(X))$, waarbij $N'_K(X)$ het aantal primitieve elementen met relatieve hoogte kleiner dan $X$ is.
   • Hij bewijst een lagere grens voor het aantal kleine generatoren ($N'_K(X)$) door te kijken naar rationale veelvouden van een minimale generator. Dit leidt tot de conclusie dat voor $\ell \geq d/2$ de strategie van Ellenberg geen verbetering oplevert boven de bestaande grens.

2. Verbetering voor Pure Velden:

   • Voor pure velden $K = \mathbb{Q}(a^{1/d})$ (waar $d$ oneven is) wordt de klassieke ondergrens voor de hoogte van een generator ($\eta(K)$) aangescherpt.
   • In plaats van de algemene ondergrens van Silverman ($\eta(K) \gg D_K^{1/(2(d-1))}$), maakt Widmer gebruik van een recentere ondergrens van Dubickas (2023). Deze houdt rekening met de specifieke factorisatie van het getal $a$ in kwadraatvrije factoren $A_i$.
   • De methode combineert deze versterkte ondergrens voor $\eta(K)$ met een verfijnde versie van het Key-Lemma, waarbij de voorwaarde voor de grootte van de priemidealen wordt aangepast aan de daadwerkelijke hoogte van de generator.

3. Constructie van Geschikte Priemidealen:

   • Er wordt een lemma bewezen (gebaseerd op werk van Heath-Brown) dat garandeert dat er voldoende veel priemidealen van graad 1 en vertakkingsindex 1 bestaan in pure velden van oneven graad, mits de discriminant niet te veel priemfactoren heeft.

Belangrijkste Bijdragen en Resultaten

1. Beantwoording van de vraag van Ellenberg (Propositie 1):
Widmer bewijst dat voor $\ell \geq d/2$ de functie $f(\ell, d)$ exact gelijk is aan $1/(2\ell(d-1))$.

• Conclusie: De directe toepassing van Ellenberg's originele strategie (gebaseerd op het tellen van primitieve elementen met kleine hoogte) levert geen verbetering op voor de bovenkante van de $\ell$-torsie wanneer $\ell$ groot genoeg is ($\ell \geq d/2$). Dit betekent dat $N'_K(X)$ inderdaad snel genoeg groeit om de potentiële winst te neutraliseren.

2. Verbeterde bovenkanten voor Pure Velden (Propositie 2 en 3):
Hoewel de algemene strategie faalt, lukt het wel om specifieke verbeteringen te bereiken voor pure velden van oneven graad $d$ ($K = \mathbb{Q}(a^{1/d})$).

• De auteur leidt een nieuwe, scherpere bovenkante af die afhangt van de structuur van het getal $a$. Als $a = \prod A_i^i$ met $A_i$ onderling ondeelbaar en kwadraatvrij, dan geldt:
  $$\#\text{Cl}_K[\ell] \ll_{\varepsilon, \ell, d} D_K^{1/2 + \varepsilon} \left( \min_{\frac{d+1}{2} \leq m \leq d-1} \prod_{i=1}^{d-1} A_i^{\frac{i \cdot m}{d} - \lfloor \frac{i \cdot m}{d} \rfloor} \right)^{-1/\ell}$$
• Specifiek geval (Kubieke velden): Voor kubieke velden ($d=3$) met $a = A_1 A_2^2$ (waar $A_1, A_2$ kwadraatvrij en onderling ondeelbaar zijn), wordt de exponent verbeterd van $1/2 - 1/(4\ell)$naar$1/2 - 1/(3\ell)$(plus een correctieterm afhankelijk van$A_2$).
  $$\#\text{Cl}_K[\ell] \ll_{\varepsilon, \ell} D_K^{1/2 - 1/(3\ell) + \varepsilon} A_2^{1/(3\ell)}$$
  Als $a$ kwadraatvrij is ($A_2=1$), is de verbetering het grootst.

Significantie

• Theoretische duidelijkheid: Het artikel sluit een belangrijke theoretische discussie af door te tonen dat de "Key-Lemma"-strategie van Ellenberg in zijn oorspronkelijke vorm een fundamentele limiet heeft voor grote $\ell$. Dit voorkomt verdere zoektochten naar verbeteringen via dezelfde weg voor deze parameterbereiken.
• Onvoorwaardelijke resultaten: De verbeterde bovenkanten voor pure velden zijn onvoorwaardelijk (ze vereisen geen aanname zoals de Generalized Riemann Hypothesis). Dit is zeldzaam en waardevol in de getaltheorie.
• Verfijning van methoden: Het werk demonstreert hoe het combineren van recente resultaten over de hoogte van generatoren (Dubickas) met klassieke technieken (Heath-Brown, Ellenberg-Venkatesh) kan leiden tot substantiële verbeteringen in specifieke, maar belangrijke, klassen van getallenlichamen.
• Toepassing: De resultaten zijn relevant voor het begrijpen van de distributie van ideale klassen en de structuur van de klasgroep, wat centraal staat in veel problemen binnen de algebraïsche getaltheorie.

Samenvattend biedt dit artikel een genuanceerd antwoord op een vraag uit 2008: de algemene strategie faalt voor grote $\ell$, maar door in te zoomen op de specifieke structuur van pure velden en gebruik te maken van scherpere hoogteschattingen, kunnen er wel degelijk significante, onvoorwaardelijke verbeteringen worden geboekt.