An elementary proof of the local Kronecker-Weber theorem

Technische Samenvatting: Een Elementair Bewijs van de Lokale Kronecker-Weber-stelling

Probleemstelling
Het artikel behandelt de Lokale Kronecker-Weber-stelling, die stelt dat elke eindige abelse uitbreiding van de $p$-adische getallen $\mathbb{Q}_p$ is opgenomen in een cyclotomische uitbreiding. Waar de globale versie (voor $\mathbb{Q}$) een klassiek resultaat is, wordt de lokale versie vaak bewezen met geavanceerde hulpmiddelen zoals lokale class field theory, Galois-cohomologie of Lubin-Tate-theorie. De auteurs beogen een bewijs te leveren dat elementair, zelfstandig en expliciet is, en uitsluitend steunt op de theorie van discrete waarderingen, elementaire Galois-theorie en Kummer-theorie, zonder terug te grijpen op resultaten uit de lokale class field theory of analytische hulpmiddelen zoals $p$-adische logaritmen.

Methodologie
Het bewijs verloopt door een eindige abelse uitbreiding $F/\mathbb{Q}_p$ van graad $n = p^l \cdot m$ (waarbij $(p, m)=1$) te ontleden in twee onderscheiden gevallen op basis van de vertakking:

1. Het Tamme Geval ($p \nmid n$): De auteurs analyseren het onvertakte en het vertakte deel van de uitbreiding afzonderlijk. Zij maken gebruik van de uniciteit van traagheidslichamen om het onvertakte deel te behandelen. Voor het vertakte deel maken zij gebruik van Hensel's Lemma en eigenschappen van hogere eenheidsgroepen om aan te tonen dat de uitbreiding wordt gegenereerd door het toevoegen van wortels van $-p$ (specifiek $\sqrt[e]{-p}$), die vervolgens worden aangetoond binnen cyclotomische lichamen te liggen.
2. Het Wilde Geval ($p \mid n$): Dit geval betreft de maximale abelse pro-$p$-uitbreiding. De auteurs werken over het grondlichaam $K = \mathbb{Q}_p(\zeta_p)$. Zij maken gebruik van Kummer-theorie om een bijectie vast te stellen tussen cyclische uitbreidingen van graad $p$ en één-dimensionale deelruimten van $K^\times / K^{\times p}$.
   • Zij berekenen expliciet de structuur van de quotiëntgroep $K^\times / K^{\times p}$ met behulp van filtraties van hogere eenheidsgroepen ($U_F^{(k)}$).
   • Een cruciale stap bestaat uit het analyseren van de werking van de Galois-groep $\text{Gal}(K/\mathbb{Q}_p)$ op deze eenheidsgroepen om te bepalen welke cyclische uitbreidingen abels blijven over $\mathbb{Q}_p$.
   • Voor $p=2$ wordt een specifiek technisch lemma geïntroduceerd om de unieke eigenschappen van $\mathbb{Q}_2(i)$ te behandelen, zodat het bewijs alle priemgetallen uniform binnen één algebraïsch raamwerk bestrijkt.

Belangrijkste Bijdragen en Resultaten

• Elementair en Zelfstandig Bewijs: Het artikel levert een bewijs dat lokale class field theory, Galois-cohomologie en Lubin-Tate-construkties vermijdt. Het steunt uitsluitend op de theorie van discrete waarderingen en standaard algebraïsche hulpmiddelen.
• Expliciete Cyclotomische Opname: In tegenstelling tot sommige bestaande bewijzen die bestaan aantonen zonder de opnemende veld te specificeren, biedt dit artikel een expliciete formule voor de cyclotomische uitbreiding die een willekeurige gegeven abelse uitbreiding $F$ van graad $n = p^l m$ bevat:
  $$F \subseteq \mathbb{Q}_p(\zeta_{p^{l+2}}, \zeta_{p^{m-1}})$$
  (Opmerking: Voor $p=2$ wordt de bovengrens lichtjes aangepast naar $\mathbb{Q}_2(\zeta_{2^{l+2}}, \zeta_{2^{2l-1}})$).
• Structurele Analyse van Eenheidsgroepen: De auteurs leiden expliciete bases af voor de quotiëntgroepen $F^\times / F^{\times p}$ (en $F^\times / F^{\times 2}$ voor $p=2$) in termen van uniformisatoren en vertegenwoordigers van hogere eenheden. Dit maakt een precieze karakterisering mogelijk van de generatoren van abelse uitbreidingen.
• Gecombineerde Behandeling van Priemgetallen: Het bewijs behandelt het geval $p=2$ en $p>2$ binnen één enkel algebraïsch raamwerk, in plaats van ze als disjuncte structurele gevallen te behandelen, hoewel specifieke lemma's (zoals Lemma 2.6) vereist zijn om het unieke gedrag van $\mathbb{Q}_2$ aan te pakken.
• Vergelijking met Washington: Het artikel vergelijkt expliciet zijn aanpak met het bewijs in Washington's Cyclotomic Fields [10]. De auteurs merken op dat hoewel Washingtons bewijs structureel vergelijkbaar is, het steunt op analytische argumenten (volledigheid van $\mathbb{Q}_p$) en niet dezelfde expliciete beschrijving oplevert van de vereiste cyclotomische uitbreidingen.

Betekenis en Aanspraken
De auteurs beweren dat hun aanpak een "gestroomlijnd en expliciet" alternatief biedt voor klassieke bewijzen. Door analytische hulpmiddelen (zoals $p$-adische logaritmen en exponentiële reeksen) en geavanceerde class field theory te vermijden, blijft het bewijs toegankelijk voor personen met een achtergrond in een tweede universitaire cursus algebra. De primaire betekenis ligt in de explicietheid van het resultaat: het artikel bewijst niet alleen dat een abelse uitbreiding cyclotomisch is, maar biedt een concrete bovengrens voor de eenheidswortels die nodig zijn om deze te bevatten, direct afgeleid van de graad van de uitbreiding. Het artikel concludeert dat de maximale abelse pro-$p$-uitbreiding van $\mathbb{Q}_p$ inderdaad een cyclotomische uitbreiding is, met een Galois-groep isomorf met $\mathbb{Z}_p \times \mathbb{Z}_p$ (voor $p>2$) of $C_2 \times \mathbb{Z}_2 \times \mathbb{Z}_2$ (voor $p=2$), wat overeenkomt met de structuur van de cyclotomische toren.