Constructing $2$-dimensional Lubin-Tate formal groups over $\mathbb{Z}_{p}$ (I)

Technische Samenvatting van "Constructing 2-Dimensional Lubin-Tate Formal Groups over $\mathbb{Z}_p$ (I)"

Probleemstelling
Het artikel behandelt een aanzienlijke kloof in de generalisatie van de Lubin-Tate-theorie van één dimensie naar hogere dimensies. Hoewel Lubin en Tate (1964) er succesvol in slaagden om één-dimensionale formele groepen over $\mathbb{Z}_p$ te construeren waarvan de torsiepunten maximale totaal vertakte abelse uitbreidingen van $\mathbb{Q}_p$ genereren, zijn hogere-dimensionale analogen slecht begrepen gebleven. Eerdere pogingen door Honda, Hazewinkel en anderen resulteerden ofwel niet in niet-triviale hogere-dimensionale groepen, of vormden directe sommen van één-dimensionale groepen, die de beoogde complexiteit niet vatten. De auteurs beogen een authentieke klasse van 2-dimensionale Lubin-Tate formele groepen over $\mathbb{Z}_p$ te construeren (niet isomorf aan directe sommen van één-dimensionale groepen) en de studie te initiëren van de velduitbreidingen gegenereerd door hun $p^\infty$-torsiepunten.

Methodologie
De auteurs maken gebruik van een functionele vergelijking-benadering geworteld in het werk van Hazewinkel en Lubin, aangepast voor het 2-dimensionale geval.

1. Logaritmeconstructie: In plaats van de formele groepswet direct te definiëren, construeren de auteurs de groep via haar logaritme. Ze definiëren een specifieke familie van 2-dimensionale machtseries $L_g(X)$ die een functionele vergelijking voldoet met betrekking tot een sequentie van matrices $(s_i)$ en een Frobenius-achtige endomorfisme.
2. Exponentiatie: Gebruikmakend van de Functionele Vergelijking-Lemma (Lemma 3.2), inverteren ze de logaritme $L_g$ om de formele groepswet $F(X, Y) = L_g^{-1}(L_g(X) + L_g(Y))$ te definiëren.
3. Dynamische Approximatie: Om de torsiepunten te analyseren, introduceren de auteurs een dynamisch systeem $D_{\vec{h}}$ dat dient als een $p$-adische benadering van het vermenigvuldiging-met-$p$ endomorfisme $[p]_F$. Dit systeem wordt gedefinieerd door $D_{\vec{h}}(x_1, x_2) = (px_1 + x_2^{h_1}, px_2 + x_1^{h_2})$.
4. Newton Copolygon: Een nieuw geometrisch instrument, de "Newton copolygon", wordt geïntroduceerd voor $p$-adische machtseries in twee variabelen. Dit generaliseert de klassieke Newton-polygon naar de 3D-ruimte, waardoor de auteurs de relatie tussen de valentie van de coëfficiënten van een reeks en de valentie van haar nulpunten kunnen leggen.
5. Ramificatieanalyse: Het artikel analyseert de ramificatie-eigenschappen van de uitbreidingen gegenereerd door torsiepunten door de $p$-adische valenties van de coördinaten van deze punten te berekenen met behulp van het dynamische systeem en de Newton copolygon.

Belangrijkste Bijdragen en Resultaten

• Constructie van 2-dimensionale Groepen: De auteurs definiëren een familie van 2-dimensionale Lubin-Tate formele groepen $F$ over $\mathbb{Z}_p$ geassocieerd met een paar relatief priem positieve gehelen $\vec{h} = (h_1, h_2)$. Ze bewijzen dat deze groepen een endomorfisme-ring hebben die groter is dan $\mathbb{Z}_p$ wanneer ze worden beschouwd over bepaalde onvertakte uitbreidingen, wat hen onderscheidt van directe sommen van één-dimensionale groepen.
• Hoogte en Endomorfismen: De geconstrueerde groepen blijken een eindige hoogte $h = h_1 + h_2$ te hebben. Het vermenigvuldiging-met-$p$ endomorfisme $[p]_F$ voldoet aan specifieke congruentievoorwaarden modulo $p$ en graad 2, waardoor het binnen een specifieke deelverzameling van machtseries $C_{LT}$ valt.
• Galois-structuur van Torsie-uitbreidingen:
  • Stelling 5.1: De velduitbreiding $\mathbb{Q}_p(F[p^n])$ gegenereerd door de coördinaten van de $p^n$-torsiepunten is een Galois-uitbreiding van $\mathbb{Q}_p$.
  • Stelling 5.2: De uitbreiding gegenereerd door de volledige $p^\infty$-torsiepunten over de onvertakte uitbreiding $U_h$ (van graad $h=h_1+h_2$) is een abelse uitbreiding. Dit is een centraal resultaat, dat vaststelt dat hoewel de uitbreiding over $\mathbb{Q}_p$ waarschijnlijk niet-abel is (vergelijkbaar met het 1-dimensionale geval over onvertakte uitbreidingen), de uitbreiding over de passende onvertakte basis wel abels is.
• Valentie van Torsiepunten: Stelling 5.5 biedt expliciete formules voor de $p$-adische valenties van de coördinaten van niet-triviale $p^n$-torsiepunten voor een ongelijk even $p$. De valenties zijn afhankelijk van de pariteit van $n$ en de parameters $h_1, h_2$.
• Ramificatie-eigenschappen:
  • Stelling 5.6: In het specifieke geval waar de som van de hoogtes $h = h_1 + h_2$ oneven is, is de uitbreiding gegenereerd door de $p$-torsiepunten over $U_h$ totaal vertakt van graad $(p^h - 1)/2$. De coördinaten van de $p$-torsiepunten genereren dezelfde velduitbreiding.

Betekenis en Omvang
Het artikel beweert de kloof in de theorie van hogere-dimensionale Lubin-Tate groepen gedeeltelijk op te vullen door de eerste expliciete constructie van niet-triviale 2-dimensionale groepen over $\mathbb{Z}_p$ te bieden en hun fundamentele rekenkundige eigenschappen vast te stellen. De introductie van de Newton copolygon biedt een nieuw geometrisch perspectief voor het bestuderen van $p$-adische machtseries in meerdere variabelen.

De auteurs zijn bescheiden over de omvang van hun resultaten. Ze verklaren expliciet dat dit artikel slechts de studie van ramificatie-eigenschappen "initieert". Hoewel ze totaal ramificatie bewijzen voor het $p$-torsiegeval (wanneer $h$ oneven is), merken ze op dat een uitgebreide analyse van ramificatie voor $p^n$-torsiepunten met $n > 1$ is voorbehouden aan toekomstig werk. Bovendien erkennen ze dat niet elk element van de kandidaatset $C_{LT}$ een geldige Lubin-Tate formele groep oplevert, wat de beperkingen benadrukt die specifiek zijn voor de hogere-dimensionale setting vergeleken met het 1-dimensionale geval. Het artikel claimt niet de maximale abelse uitbreiding van $\mathbb{Q}_p$ volledig te karakteriseren via deze groepen, maar identificeert de specifieke onvertakte uitbreiding $U_h$ waarover de torsiepunten een abelse toren genereren.