Discriminants and Large Pólya Groups in Septic Number Fields

Technische Samenvatting: Discriminanten en Grote Pólya-groepen in Septische Getallenvelden

Probleemstelling
De systematische classificatie van Pólya-velden en het begrip van de omvang van Pólya-groepen binnen families van getallenvelden blijven centrale uitdagingen in de algebraïsche getaltheorie. Hoewel er aanzienlijke vooruitgang is geboekt voor extensies met een lage graad (kwadratisch, kubisch, quartisch en sextisch), heeft het onderzoek naar cyclische velden van graad 7 (septisch) achtergebleven. Specifiek is er nog nooit in de literatuur een oneindige familie van cyclische septische velden verschenen die een volledige en expliciete bepaling van hun Pólya-groepen toelaat. Bovendien blijft de vraag hoe groot Pólya-groepen kunnen worden binnen dergelijke families, en of men blokken van opeenvolgende velden met gelijktijdig grote Pólya-groepen kan construeren, grotendeels onverkend voor graad 7.

Methodologie
Het artikel onderzoekt een specifieke parametrische familie van cyclische septische velden $\{K_t\}_{t \in \mathbb{Z}}$ voortvloeiend uit de Hashimoto–Hoshi-constructie, gedefinieerd door de wortels van de polynoom:
$$f_t(X) = X^7 + a_6(t)X^6 + \dots + a_0(t)$$
waarbij de coëfficiënten polynomen zijn in $t$. De kern van de methodologie omvat:

1. Expliciete Discriminantberekening: Gebruikmakend van het kader van Spearman en Williams voor cyclische extensies, voert de auteur een Tschirnhausen-transformatie uit om de $X^6$-term te elimineren, wat resulteert in een getransformeerde polynoom $f^*_t(X)$. Door de deelbaarheidseigenschappen van de coëfficiënten van deze getransformeerde polynoom te analyseren en Stelling 2.1 toe te passen, worden de discriminant $d(K_t)$ en de conductor $f(K_t)$ expliciet berekend.
2. Aritmetica van een Sextische Polynoom: De analyse laat zien dat de aritmetica van de Pólya-groepen in deze familie volledig wordt beheerst door de priemfactorisatie van een enkele sextische polynoom:
   $$E(t) = t^6 + 2t^5 + 11t^4 + t^3 + 16t^2 + 4t + 8$$
   De conductor en de discriminant worden getoond te worden bepaald door de priemdivisoren van $E(t)$ die congruent zijn aan $1 \pmod 7$.
3. Machtsvrije Condities: De studie gaat ervan uit dat $E(t)$ waarden aanneemt die vijfde-machtsvrij zijn. Deze conditie wordt gerechtvaardigd door Stelling 2.3 (Erdős), die garandeert dat er oneindig veel dergelijke gehele getallen zijn, en Stelling 2.4, die asymptotische dichtheidsresultaten biedt.
4. Groepentheoretische Analyse: Door gebruik te maken van Chaberts formule voor de kardinaliteit van Pólya-groepen in cyclische extensies en Zantema's karakterisering van ambigue ideaalklassen, wordt de structuur van de Pólya-groep $Po(K_t)$ afgeleid in termen van het aantal verschillende priemdivisoren van $E(t)$, aangeduid als $\omega(E(t))$.
5. Constructieve Bewijzen voor Opeenvolgende Velden: Om de existentie van opeenvolgende velden met grote Pólya-groepen aan te pakken, gebruikt de auteur de stelling van Schur en het Chinese Reststelling om blokken van gehele getallen $t, t+1, \dots, t+m-1$ te construeren waarvoor de geassocieerde polynomen $E(t+i)$ een voorgeschreven aantal verschillende priemfactoren bezitten.

Belangrijkste Bijdragen en Resultaten

• Expliciete Karakterisering van Pólya-groepen: Het artikel biedt een volledige karakterisering van de Pólya-groep voor de Hashimoto–Hoshi-familie. Onder de aanname dat $E(t)$ vijfde-machtsvrij is, is de Pólya-groep isomorf aan:

  • $(\mathbb{Z}/7\mathbb{Z})^{\omega(E(t))-2}$ als $t$ even is.
  • $(\mathbb{Z}/7\mathbb{Z})^{\omega(E(t))-1}$ als $t$ oneven is.
    Consequentelijk is $K_t$ een Pólya-veld dan en slechts dan als $\omega(E(t))$ gelijk is aan 2 (voor even $t$) of 1 (voor oneven $t$).

• Onbegrensdheid van Pólya-groepen: De familie bevat oneindig veel niet-Pólya velden waarvoor de kardinaliteit van de Pólya-groep onbegrensd is. Specifiek is de 7-rang van de klassengroepen van deze velden onbegrensd. Dit wordt vastgesteld door aan te tonen dat voor een positief aandeel priemgetallen $p$, $E(7p+2)$ vijfde-machtsvrij is, en door Stelling 2.5 (Halberstam), $\omega(E(7p+2))$ naar oneindig neigt.

• Opeenvolgende Grote Pólya-groepen: Het artikel bewijst dat er voor elke vaste gehele getal $m \ge 2$ en $r > 1$ oneindig veel blokken van $m$ opeenvolgende velden in de familie bestaan waarvoor de 7-rang van de Pólya-groep voor elk veld in het blok minstens $r$ is. Dit wordt bereikt door rekenkundige progressies te construeren waar de waarden van de geassocieerde polynomen gelijktijdig deelbaar zijn met verschillende verzamelingen priemgetallen.

• Monogeniteit en Veldindex: Het artikel demonstreert dat voor elk oneven geheel getal $t$ die copriem is aan 15, het veld $K_t$ niet-monogeen is. Echter, de veldindex $I(K_t)$ is exact 1. Dit resultaat wordt afgeleid door te laten zien dat de discriminant van de definiërende polynoom niet deelbaar is door priemgetallen kleiner dan de graad (2, 3 of 5) onder deze condities, terwijl Gras' stelling wordt ingeroepen, die impliceert dat een cyclisch septisch veld niet monogeen kan zijn tenzij het de maximale reële subveld is van een specifieke cyclotomische veld (wat onmogelijk is voor graad 7).

Betekenis en Claims
De primaire betekenis van dit werk ligt in het opvullen van een gat in de literatuur met betrekking tot cyclische septische velden. Het biedt de eerste oneindige familie van dergelijke velden waar de Pólya-groepen expliciet bepaald en als willekeurig groot aangetoond kunnen worden.

• Theoretische Implicaties: De resultaten bieden een alternatief bewijs voor de conjectuur dat de $m$-rang van de klassengroep van een getallenveld van graad $d$ onbegrensd is wanneer $m=d=7$.
• Conditionele Aard van Pólya-velden: Het artikel merkt op dat hoewel het de existentie van oneindig veel niet-Pólya velden met grote groepen bewijst, de existentie van oneindig veel Pólya velden in deze familie conditioneel is. Het steunt op de Bunyakovsky-conjectuur, die stelt dat de irreducibele polynoom $E(t)$ oneindig vaak priemwaarden aanneemt. Het artikel vermeldt expliciet dat het onvoorwaardelijk bewijzen van de infinitude van Pólya-velden in deze familie de Bunyakovsky-conjectuur voor $E(t)$ zou beslechten, een probleem dat momenteel openstaat voor alle polynomen van graad groter dan één.
• Beperkingen: De auteurs zijn bescheiden over de onvoorwaardelijke existentie van Pólya-velden in deze familie, en erkennen dat de huidige resultaten afhankelijk zijn van de vijfde-machtsvrije aanname en, voor de existentie van specifiek de Pólya-velden, van de onbewezen Bunyakovsky-conjectuur. Het artikel stelt geen nieuwe experimentele toepassingen voor, maar brengt het theoretische begrip van de structuur van Pólya-groepen in hogere-graad cyclische extensies vooruit.