Toroidal families and averages of $L$-functions, II: cubic moments

Dit artikel bestudeert, als een generalisatie van eerdere werk, de gemiddelde waarden van producten van drie $L$-functies voor Dirichlet-karakters met een priemmodulus en benadrukt de samenhang met schattingen voor bilineaire vormen van spoorfuncties en het aantal oplossingen van monoidale vergelijkingen in eindige velden.

De kern

Stel je voor dat wiskunde een enorme bibliotheek is vol met mysterieuze boeken. Deze boeken heten L-functies. Ze lijken op ingewikkelde recepten die oneindig veel getallen combineren. Wiskundigen zijn al eeuwenlang gefascineerd door deze boeken, vooral omdat ze verband houden met de onderliggende structuur van de getallen zelf (zoals priemgetallen).

Het grote raadsel is: Wat gebeurt er als je naar het "hart" van deze boeken kijkt? In de wiskunde noemen we dit het punt $s = 1/2$. Als je de waarde van een L-functie op dit punt berekent, krijg je een getal. Soms is dat getal nul (het boek is "stil"), en soms niet (het boek "zingt").

De auteurs van dit paper, Fouvy, Kowalski, Michel en Sawin, hebben een nieuw hoofdstuk geschreven over hoe deze boeken met elkaar praten.

Het Grote Experiment: Een Kwartet Zingen

In hun vorige werk keken ze naar twee boeken die samen zongen (een "kwadratische moment"). In dit nieuwe paper kijken ze naar drie boeken die tegelijkertijd zingen.

Stel je voor dat je een orkest hebt met drie zangers:

1. Zanger A (met een bepaald stemgeluid, bepaald door het getal $a$)
2. Zanger B (stemgeluid $b$)
3. Zanger C (stemgeluid $c$)

Elke zanger zingt een liedje, maar ze doen dit in een heel specifiek, wiskundig universum (een "modulus" $q$, wat je kunt zien als de grootte van het concertgebouw). De vraag is: Als we alle mogelijke combinaties van deze drie zangers samenvoegen, wat is dan het gemiddelde geluid?

De auteurs willen weten:

• Is het gemiddelde geluid stil (nul)?
• Of is er een duidelijk, hoorbaar geluid (een positief getal)?

De "Galante" en de "Oxozonische" Zangers

Niet alle combinaties van zangers werken hetzelfde. De auteurs hebben een grappige manier bedacht om ze te classificeren, gebaseerd op hoe de getallen $a, b$ en $c$ met elkaar verweven zijn:

1. De "Galante" Combinaties: Dit zijn de "normale" gevallen. Hier werken de drie zangers goed samen. Het resultaat is dat er een duidelijk, voorspelbaar geluid is. Het gemiddelde is niet nul.
2. De "Oxozonische" Combinaties: Dit zijn speciale, zeldzame gevallen (zoals de getallen 1, 1 en 2). Hier is het geluid ook hoorbaar, maar het gedraagt zich net iets anders.
3. De "Sulfatische" en "Geïnduceerde" Combinaties: Dit zijn de lastige gevallen. Hier is het nog niet helemaal duidelijk wat er gebeurt. De auteurs zeggen: "We komen daar later op terug."

De grote ontdekking: Voor de "Galante" en "Oxozonische" gevallen hebben ze bewezen dat het gemiddelde geluid nooit stil is. Er is altijd een positieve waarde. Dit betekent dat er altijd minstens één combinatie van zangers is die een mooi, niet-nul geluid produceert.

De Wiskundige Magie: Hoe doen ze dit?

Hoe kun je zoiets bewijzen? Je kunt niet gewoon alle combinaties uitrekenen, want dat zijn er oneindig veel. Ze gebruiken een slimme truc, een soort "wiskundige X-ray":

1. De Approximate Functional Equation (AFE): Dit is als een magische bril. In plaats van het hele oneindige liedje te horen, laat deze bril je alleen de belangrijkste noten zien. Het maakt het probleem veel kleiner en hanteerbaar.
2. Het Tellen van Oplossingen: Na het gebruik van de bril, houden ze een hoop getallen over die ze moeten tellen. Ze moeten weten hoeveel manieren er zijn om een vergelijking op te lossen (bijvoorbeeld: hoe vaak kun je $a \times b \times c$ zo kiezen dat het gelijk is aan een bepaald getal?).
   • Dit is als het zoeken naar een naald in een hooiberg, maar dan in een hooiberg die bestaat uit getallen.
   • Ze gebruiken geavanceerde meetkunde (zogenoemde "sheaves" of "schillen") om te bewijzen dat deze hooibergen niet te groot zijn en dat je de naalden kunt vinden.
3. De Gok (Conjecture P): Voor de meest moeilijke gevallen maken ze een slimme gok (een hypothese). Ze zeggen: "Als we aannemen dat de getallen zich op een bepaalde manier gedragen, dan klopt het bewijs." Voor de makkelijkste gevallen (waarbij twee zangers hetzelfde zijn) hebben ze dit al bewezen. Voor de rest hopen ze het later volledig te bewijzen.

Waarom is dit belangrijk?

Je zou kunnen denken: "Wie zit er nou te wachten op het gemiddelde geluid van drie wiskundige boeken?"

Het antwoord is: Iedereen die geïnteresseerd is in de fundamentele structuur van het universum.

• Niet-nul is cruciaal: Als het gemiddelde nul zou zijn, zou dat betekenen dat er misschien geen enkele zanger is die een niet-nul geluid maakt. Maar omdat ze bewijzen dat het gemiddelde niet nul is, weten we zeker dat er altijd minstens één combinatie is die werkt.
• De "Toroidale" Familie: De titel verwijst naar "toroidale families". Stel je een donut voor. De auteurs kijken naar patronen die zich rondom zo'n donut bewegen. Ze ontdekken dat deze patronen (de L-functies) een zeer rijke en complexe structuur hebben die we nog niet volledig begrijpen.

Samenvatting in één zin

De auteurs hebben bewezen dat als je drie specifieke wiskundige "liedjes" (L-functies) door elkaar haalt in een groot universum van getallen, het gemiddelde resultaat altijd een duidelijk, hoorbaar geluid is, wat betekent dat er altijd minstens één combinatie bestaat die niet "stil" is. Ze hebben dit gedaan door slimme brillen te gebruiken om de complexe muziek te vereenvoudigen en door te kijken naar hoe getallen met elkaar dansen.

Het is een overwinning voor de wiskunde: we weten nu dat in dit specifieke deel van de getallenwereld, de muziek altijd doorgaat.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Toroidal Families and Averages of L-functions, II: Cubic Moments" van Étienne Fouvry, Emmanuel Kowalski, Philippe Michel en Will Sawin, in het Nederlands.

1. Probleemstelling en Context

Het artikel richt zich op het evalueren van de derde momenten (cubische momenten) van centrale waarden van Dirichlet L-functies in een specifieke familie, de "toroidale families".

• Het doel: Het vinden van een asymptotische formule voor de gemiddelde waarde van het product van drie L-waarden op het kritieke punt $s=1/2$:
  $$M_{a,b,c}(q) := \frac{1}{q-1} \sum_{\chi \pmod q} L(1/2, \chi^a) L(1/2, \chi^b) L(1/2, \chi^c)$$
  waarbij $q \to \infty$ langs priemgetallen en $a, b, c$ vaste, niet-nul gehele getallen zijn.
• Achtergrond: Dit bouwt voort op eerdere werk (verwijzing [12]) over gemengde momenten van de tweede orde. Het probleem is complexer dan het standaard kubische moment ($a=b=c=1$) omdat de exponents $a, b, c$ de symmetrie en de onderliggende algebraïsche structuur van de sommen beïnvloeden.
• Vereenvoudiging: Door variabeletransformaties kan het probleem worden gereduceerd tot het geval waarbij $a, b, c$ onderling ondeelbaar zijn (setwise coprime) en een extra factor $d$ wordt geïntroduceerd. De auteurs onderscheiden verschillende klassen van drietallen $(a, b, c)$ op basis van de geometrische monodromiegroep van de bijbehorende $\ell$-adische schoven:
  • Galant: De meeste gevallen.
  • Oxozonic: Specifieke gevallen waarbij de monodromiegroep $O_4$ is.
  • Induced, Solvable, Sulfatic: Speciale, vaak degenerere gevallen die in dit artikel grotendeels buiten beschouwing worden gelaten of als open vragen worden gelaten.

2. Methodologie

De bewijsvoering is een synthese van analytische getaltheorie, algebraïsche meetkunde en de theorie van trace-functies. De aanpak volgt de volgende stappen:

A. Fourier-analyse en Afsplitsing

De auteurs gebruiken Fourier-analyse op de groep van $d'$-de wortels van eenheid ($\mu_{d'}(\mathbb{F}_q)$) om de som te ontbinden in "twisted moments" $M_{a,b,\pm c}(\xi; q)$. Vervolgens wordt gesplitst in even en oneven Dirichlet-karakters.

B. Benaderende Functionale Vergelijking (AFE)

Voor elk product van L-functies wordt een benaderende functionale vergelijking (Approximate Functional Equation - AFE) toegepast. Dit transformeert de L-waarden in twee soorten sommen:

1. Een directe som: Een som over gehele getallen $l, m, n$ met een congruentievoorwaarde $l^a m^b n^{\pm c} \equiv \xi \pmod q$.
2. Een duale som: Een som die de Gauss-sommen $\varepsilon(\chi)$ bevat, wat leidt tot trilineaire sommen van exponentiële sommen.

De parameters $X$ en $Y$ in de AFE worden gekozen als $X = q^{2-\delta}$ en $Y = q^{1+\delta}$ om de fouttermen te minimaliseren.

C. Analyse van de Directe Sommen (Congruenties)

De directe sommen worden geanalyseerd door het tellen van oplossingen voor de congruentie $l^a m^b n^{\pm c} \equiv \xi \pmod q$ in kleine "dozen" (dyadische intervallen).

• Hoofdbegrip: De bijdrage van de oplossing $l=m=n=1$ (of $l^a m^b = n^c$) levert de hoofdbegins op.
• Fouttermen: De overige oplossingen worden gecontroleerd via een nieuwe conjectuur, Conjecture P, die een bovengrens geeft voor het aantal oplossingen van monomiale congruenties in kleine dozen.
  • Voor het geval $a=b$ wordt deze conjectuur bewezen (gebaseerd op werk van Pierce).
  • Voor het algemene geval wordt de asymptotische formule bewezen onder de aanname van Conjecture P.
  • Een onvoorwaardelijke ondergrens wordt bewezen door te benutten dat de sommen van niet-negatieve termen bestaan.

D. Analyse van de Duale Sommen (Exponentiële Sommen)

De duale sommen leiden tot trilineaire sommen van de vorm:
$$\sum_{l,m,n} K_{a,b,\pm c}(\xi l^a m^b n^{\pm c}; q)$$
waarbij $K_{a,b,\pm c}$ een "monomiale Kloosterman-achtige som" is.

• Schoven en Monodromie: De auteurs tonen aan dat $K_{a,b,\pm c}$ de trace-functie is van een $\ell$-adische schaar (hypergeometrisch).
• Galant vs. Oxozonic: Ze gebruiken de classificatie van de geometrische monodromiegroep van deze schaar. Als de groep "galant" is (of $O_4$ in het oxozonische geval), kunnen ze krachtige schattingen uit de $\ell$-adische cohomologie toepassen (werk van Katz, Fouvry, Kowalski, Michel).
• Resultaat: Deze schattingen tonen aan dat de bijdrage van de duale sommen verwaarloosbaar klein is ($O(q^{-\eta})$), mits het drietal $(a, b, c)$ galant of oxozonic is.

3. Belangrijkste Resultaten

1. Asymptotische Formule (Hoofdstelling 1.2 & 4.1):
   Voor galante en oxozonische drietallen $(a, b, c)$ en $a=b$, bestaat er een constante $D_{a,b,\pm c} \ge 1$ zodanig dat:
   $$M_{ad, bd, \pm cd}(q) = D_{a,b,\pm c} + O(q^{-\eta})$$
   De constante $D$ is onafhankelijk van de schaal $d$ en wordt gegeven door de waarde bij $s=1/2$ van een convergente Dirichlet-reeks.

   • Voor het algemene geval ($a \neq b$) geldt een onvoorwaardelijke ondergrens ($\ge D + O(q^{-\eta})$).
   • De gelijkheid voor het algemene geval is afhankelijk van Conjecture P.

2. Gemiddelde over Moduli (Stelling 1.5):
   Zelfs zonder Conjecture P, geldt de asymptotische formule gemiddeld over de priemgetallen $q$ in een interval $[Q, 2Q)$. Dit volgt uit het feit dat Conjecture P gemiddeld waar is.

3. Niet-verdwijning (Corollary 1.4):
   Een directe toepassing van de ondergrens is dat er een positieve fractie van de karakters $\chi \pmod q$ bestaat waarvoor het product $L(1/2, \chi^a)L(1/2, \chi^b)L(1/2, \chi^c)$ niet nul is. Concreet:
   $$|\{ \chi : \text{product} \neq 0 \}| \gg \frac{q}{(\log q)^{12}}$$

4. Classificatie van Drietallen:
   Het artikel introduceert en classificeert systematisch de gedragingen van de monodromiegroepen voor verschillende combinaties van $a, b, c$, wat de toepasbaarheid van de cohomologische methoden bepaalt.

4. Technische Innovaties en Bijdragen

• Hypergeometrische Scharen: De auteurs construeren expliciet hypergeometrische $\ell$-adische scharen die corresponderen met de exponentiële sommen van monomiale vormen. Ze koppelen de algebraïsche eigenschappen van deze scharen (monodromiegroepen) direct aan de analytische gedragingen van de L-functie-momenten.
• Verbinding tussen Geometrie en Analyse: Het artikel illustreert hoe de "galante" eigenschap van een schaar (een meetkundig concept) leidt tot sterke cancelatie in trilineaire sommen (een analytisch concept), wat essentieel is om de fouttermen te beheersen.
• Conjecture P: Het introduceren van een specifieke conjectuur over het tellen van oplossingen van monomiale congruenties in kleine dozen, die als een brug dient tussen de bekende gevallen ($a=b$) en het algemene geval.

5. Betekenis en Impact

Dit werk is een significante stap in de studie van momenten van L-functies:

• Uitbreiding van de theorie: Het gaat verder dan het klassieke kubische moment ($1,1,1$) en het gemengde moment ($1,1,-1$) naar een breed scala aan exponenten.
• Methodologische kracht: Het toont aan dat de techniek van "toroidal averages" en de theorie van trace-functies van schalen (trace functions of sheaves) krachtige hulpmiddelen zijn voor het analyseren van complexe gemengde momenten.
• Niet-verdwijning: De resultaten leveren sterke bewijzen voor het bestaan van niet-nul centrale waarden, wat fundamenteel is voor het begrijpen van de verdeling van nulpunten van L-functies.
• Toekomstig werk: Het artikel markeert de grens van wat momenteel bewezen kan worden zonder de volledige oplossing van Conjecture P, en identificeert de resterende "induced" en "sulfatic" gevallen als open problemen voor toekomstig onderzoek.

Kortom, het artikel combineert diepe resultaten uit de algebraïsche meetkunde met geavanceerde analytische technieken om een nieuw inzicht te geven in de statistische eigenschappen van Dirichlet L-functies.