On $p$-adic Asai $L$-functions of Bianchi modular forms at non-ordinary primes and their decomposition into bounded $p$-adic $L$-functions

In dit artikel construeren de auteurs voor niet-ordinale Bianchi-modulaire vormen een $p$-adische verdeling die de Asai-$L$-waarden interpoleren en tonen ze onder bepaalde voorwaarden aan dat deze verdeling kan worden ontbonden in een lineaire combinatie van begrenste $p$-adische $L$-functies.

De kern

Stel je voor dat wiskundigen op zoek zijn naar een soort "geheime code" die de diepste geheimen van getallen onthult. Deze code zit verscholen in complexe formules die L-functies worden genoemd. Deze functies zijn als een enorme, ingewikkelde kaart van het getallenuniversum, maar ze zijn zo moeilijk te lezen dat we ze niet direct kunnen gebruiken om concrete vragen te beantwoorden.

Deze paper, geschreven door Mihir Deo, is als het ware een nieuwe, slimme vertaalmachine die deze complexe kaart vertaalt naar een taal die we beter kunnen begrijpen: de taal van p-adische getallen.

Hier is de uitleg, stap voor stap, met wat creatieve vergelijkingen:

1. Het Probleem: De "Niet-Normale" Getallen

In de wiskunde werken we vaak met getallen die zich "netjes" gedragen (ze heten ordinair). Voor deze getallen hebben wiskundigen al een goede vertaalmachine gebouwd (door Loeffler en Williams).

Maar wat als je te maken krijgt met getallen die zich niet netjes gedragen? Ze heten non-ordinair.

• De Analogie: Stel je voor dat je een radio hebt die normaal gesproken een kristalhelder signaal vangt (de ordinale getallen). Maar soms krijg je een station dat zo veel ruis en statische geluid heeft (de non-ordinale getallen) dat je de muziek niet meer kunt horen. De oude radio (de oude methode) werkt hier niet meer.

Mihir Deo's paper is het bouwen van een nieuwe, krachtige radio die deze ruis kan filteren en toch de muziek (de wiskundige waarheid) kan laten horen, zelfs als het signaal erg "ruisig" is.

2. De Oplossing: De "Bianchi" Muzikanten

De muziek die deze paper bestudeert, komt van een specifieke soort muzikanten: Bianchi modulaire vormen.

• De Analogie: Denk aan deze vormen als een orkest dat speelt in een heel speciaal, driedimensionaal ruim (een hyperbolische ruimte). Ze spelen een symfonie die de Asai L-functie wordt genoemd. Deze symfonie vertelt ons dingen over hoe getallen met elkaar verbonden zijn in een imaginaire kwadratische wereld (een wiskundige dimensie die net iets anders is dan onze normale getallenlijn).

Het doel is om de "noten" van deze symfonie (de speciale waarden) te kunnen opschrijven in een boekje dat we in de hand kunnen houden (de p-adische L-functie).

3. De Uitdaging: De "Ruis" filteren

Het probleem is dat voor deze "ruisige" (non-ordinale) gevallen, de oude manier van vertalen faalt. De getallen worden onbeheersbaar groot, alsof de volume-knop van de radio tot het uiterste wordt gedraaid en de luidsprekers gaan knappen.

Deo lost dit op door een slimme truc te gebruiken:

• De Analogie: In plaats van te proberen het hele lawaai in één keer op te vangen, bouwt hij een reeks van polynomen (wiskundige formules die lijken op een ladder met trappen).
  • Hij gebruikt speciale bouwstenen die Asai-Eisenstein-elementen heten. Denk hieraan als speciale "muren" of "filters" die hij opstelt in de ruimte.
  • Hij combineert deze muren met de muziek van het orkest (de modulaire vormen) om een patroon te vinden.
  • Door deze patronen op een slimme manier te stapelen (met behulp van een methode die lijkt op het oplossen van een puzzel), kan hij de "ruis" (de onbeheersbare groei) temmen.

4. Het Resultaat: De "Gedecomponeerde" Signalen

Het grootste succes van dit papier is dat Deo niet alleen de ruisige radio heeft gebouwd, maar hem ook in stukjes heeft kunnen splitsen.

• De Analogie: Stel je voor dat je een enorme, onduidelijke radio-uitzending hebt. Deo toont aan dat je deze uitzending kunt splitsen in twee schone, heldere signalen (de "signed p-adic L-functions").
  • Deze twee nieuwe signalen zijn "beperkt" (bounded). Ze zijn niet meer onbeheersbaar groot.
  • Ze werken als een logaritmische matrix: een soort vertaalapparaat dat de ruige, onbeheersbare data omzet in twee nette, beheersbare lijnen die we kunnen gebruiken om wiskundige conjectures (vermoedens) te bewijzen.

Waarom is dit belangrijk?

In de wiskunde zijn er grote, onopgeloste mysteries (zoals de Bloch-Kato conjectuur). Deze mysteries zeggen dat er een diepe link is tussen de "noten" van de symfonie (de L-waarden) en de structuur van de getallen zelf.

Door deze nieuwe "radio" te bouwen die werkt voor de moeilijkste, ruisigste gevallen, opent Deo de deur om deze mysteries op te lossen voor een veel breder scala aan getallen dan ooit tevoren. Hij laat zien dat zelfs als de getallen zich niet netjes gedragen, er nog steeds een prachtige, ordelijke structuur onder zit die we kunnen blootleggen.

Kort samengevat:
Mihir Deo heeft een nieuwe wiskundige machine gebouwd die in staat is om de "ruis" van complexe getallen te filteren. Hij heeft een manier gevonden om chaotische, onbeheersbare formules om te zetten in nette, bruikbare signalen. Hierdoor kunnen wiskundigen nu dieper graven in de geheimen van het getallenuniversum, zelfs in de gebieden waar ze eerder vastliepen.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On p-adic Asai L-functions of Bianchi modular forms at non-ordinary primes and their decomposition into bounded p-adic L-functions" van M. V. Deo, geschreven in het Nederlands.

Titel en Context

Het artikel behandelt de constructie van p-adische Asai L-functies voor Bianchi modulaire vormen op niet-ordinaire priemgetallen. Het werk bouwt voort op eerdere resultaten van Loeffler en Williams, die deze constructie alleen voor het ordinair geval hadden bewezen. Het artikel is een belangrijk stap in de Iwasawa-theorie voor niet-ordinair modulaire vormen over imaginaire kwadratische velden.

Het Probleem

De centrale uitdaging in de Iwasawa-theorie is het construeren van p-adische L-functies die de speciale waarden (kritieke waarden) van complexe L-functies interpoleren.

• Achtergrond: Voor ordinaire vormen (waar de $U_p$-eigenwaarde een p-adische eenheid is) hebben Loeffler en Williams [21] een p-adische maat geconstrueerd die de Asai L-functie (een getwiste tensor L-functie) interpoleert. Hun methode leunt zwaar op de theorie van Kings over polylogaritmen, die garandeert dat de constructie onafhankelijk is van de "twist" (de exponent $j$ in de interpolatieformule).
• De Obstacle: Wanneer de vorm niet-ordinair is (d.w.z. de p-adische waardering van de $U_p$-eigenwaarde $a_p$ is positief, $v_p(a_p) > 0$), faalt de methode van Loeffler-Williams. De maat is niet langer onafhankelijk van de twist $j$, en de constructie van een enkele p-adische maat die alle twists interpoleert, is niet direct mogelijk. Bovendien kunnen de coëfficiënten van de resulterende p-adische distributie onbegrensd groeien (unbounded denominators).

Methodologie

De auteur gebruikt een combinatie van cohomologische technieken, Euler-systeem-mechanismen en interpolatiemethoden om dit probleem op te lossen.

1. Constructie van Polynomen via Asai-Eisenstein Elementen:

   • In plaats van één maat te gebruiken, construeert Deo een familie van polynomen $P_{r,j}(T)$ van graad $p^r - 1$.
   • Deze polynomen worden gedefinieerd door het pairen van een Bianchi modulaire symbool $\phi^*_\Psi$ (geassocieerd met de vorm $\Psi$) met Asai-Eisenstein elementen ($\Xi$). Deze elementen zijn de Betti-varianten van Euler-systeem-elementen (vergelijkbaar met Beilinson-Flach elementen) en zijn oorspronkelijk geconstrueerd door Loeffler en Williams.
   • De constructie maakt gebruik van moment maps en Clebsch-Gordan-afbeeldingen om de cohomologie van verschillende gewichten te verbinden.

2. Interpolatie van Twists (Congruentie-eigenschappen):

   • Een cruciale stap is het bewijzen van nieuwe congruentierelaties voor de Asai-Eisenstein elementen. Dit wordt gedaan door het bestuderen van lokaal symmetrische ruimtes met gemengd niveau ($Y^*_F(m, mN)$).
   • Lemma 5.7 en 6.1: De auteur bewijst dat bepaalde lineaire combinaties van de gepatchte polynomen voldoen aan sterke congruenties modulo $p^{jr}$. Dit garandeert dat de polynomen consistent zijn en een limiet vormen.

3. Constructie van de p-adische Distributie:

   • Met behulp van de technieken van Amice-Vélu, Višik, Perrin-Riou en Büyükboduk-Lei, worden de polynomen $P_{r,j}$ gebruikt om een p-adische distributie $\mathcal{L}^{As}_p(\Psi)$ te construeren.
   • Deze distributie behoort tot de ruimte $H_{E, v_p(a_p)}(\Gamma)$, wat betekent dat de coëfficiënten een groeifactor hebben van $O(\log_p^{v_p(a_p)})$. Dit verklaart waarom de distributie "onbegrensd" is (unbounded) wanneer $v_p(a_p) > 0$.

4. Decompositie in Beperkte Maatregelen (Signed L-functies):

   • Om de onbegrensde distributie om te zetten in een meer beheersbare vorm (beperkte maatregelen), gebruikt de auteur de theorie van logaritmische matrices (ontwikkeld door de auteur in [9] en gebaseerd op werk van Pollack, Sprung, en Lei-Loeffler-Zerbes).
   • Onder de aanname dat $p$ splitst in $F$ ($p\mathcal{O}_F = \mathfrak{p}\bar{\mathfrak{p}}$) en dat de vorm op de ene prime niet-ordinair is en op de andere ordinair, kan de onbegrensde distributie worden ontbonden in een lineaire combinatie van twee getekende (signed) p-adische L-functies met beperkte coëfficiënten.

Belangrijkste Resultaten

1. Hoofdstelling A (Theorema 6.5 & 6.7):
   Voor een p-niet-ordinair Bianchi eigenvorm $\Psi$ met kleine helling (small slope, $0 < v_p(a_p) < k+1$), bestaat er een unieke p-adische distributie$\mathcal{L}^{As}_p(\Psi)$ die de kritieke waarden van de Asai L-functie interpoleert.

   • Interpolatieformule: Voor een Dirichlet-karakter $\theta$ en een integer $0 \le j \le k$:
     $$\mathcal{L}^{As}_p(\Psi, \theta, j) \propto L^{As}(\Psi, \theta, j+1)$$
     (mits de pariteit correct is; anders is de waarde 0).
   • Dit resultaat generaliseert het werk van Loeffler-Williams naar het niet-ordinair geval zonder de aanname van een Asai-motive over $\mathbb{Q}$.

2. Decompositie in Getekende L-functies (Theorema 7.3 & 7.6):
   De auteur toont aan dat de onbegrensde distributie kan worden geschreven als:
   $$\begin{pmatrix} \mathcal{L}^{As}_p(\Psi_{\tilde{\alpha}}) \\ \mathcal{L}^{As}_p(\Psi_{\tilde{\beta}}) \end{pmatrix} = \tilde{Q}^{-1} \tilde{M} \begin{pmatrix} \mathcal{L}^{As, \sharp}_p \\ \mathcal{L}^{As, \flat}_p \end{pmatrix}$$
   Waarbij $\tilde{M}$ een logaritmische matrix is en $\mathcal{L}^{As, \sharp}_p, \mathcal{L}^{As, \flat}_p$ beperkte p-adische L-functies (p-adische maten) zijn.

   • Dit stelt de auteur in staat om getekende Iwasawa-hoofdstellingen te formuleren, analoog aan het werk van Kobayashi voor elliptische krommen.

3. Onafhankelijkheid van de "c"-factor:
   Onder bepaalde voorwaarden (niet-triviale nebentypus), toont de auteur aan dat de constructie onafhankelijk gemaakt kan worden van de keuze van de hulpconstante $c$ (die vaak nodig is in de constructie van Siegel-eenheden), waardoor een "zuivere" p-adische L-functie ontstaat.

Significantie en Impact

• Generalisatie van de theorie: Het artikel vult een cruciale lacune in de Iwasawa-theorie voor Bianchi modulaire vormen door de constructie van p-adische L-functies uit te breiden van het ordinair naar het niet-ordinair geval.
• Technische Innovatie: De toepassing van de "interpolatie van twists" via polynomen en de combinatie met Asai-Eisenstein elementen biedt een robuust kader voor het hanteren van onbegrensde distributies.
• Toekomstige Toepassingen: De decompositie in getekende L-functies is essentieel voor het formuleren en bewijzen van de Iwasawa-hoofdstelling voor niet-ordinaire vormen. Dit verbindt de algebraïsche kant (Selmer-groepen) met de analytische kant (p-adische L-functies) in een setting waar de traditionele Hida-theorie niet werkt.
• Onafhankelijkheid van Motieven: De constructie is puur cohomologisch en maakt geen gebruik van de (nog steeds conjecturale) existentie van de Asai-motive over $\mathbb{Q}$, wat de resultaten robuuster maakt.

Kortom, dit artikel levert een fundamentele bijdrage aan het begrijpen van de p-adische eigenschappen van Asai L-functies en opent de deur voor verdere onderzoek naar de arithmetiek van Bianchi modulaire vormen in het niet-ordinair regime.