Sharp Bounds for Moments of the Dedekind Zeta Function

Technische Samenvatting: Scherpe Grenzen voor Momenten van de Dedekind-zetafunctie

Probleemstelling
Het centrale probleem dat in dit artikel wordt behandeld, is het vaststellen van scherpe bovengrenzen voor de momenten van de Dedekind-zetafunctie, $\zeta_K(s)$, geassocieerd met een eindige Galois-uitbreiding $K/\mathbb{Q}$, op de kritieke lijn $\Re(s) = 1/2$. Specifiek onderzoeken de auteurs de verschoven momenten:
$$\int_0^T \prod_{j=1}^{2k} \left| \zeta_K\left(\frac{1}{2} + i(t + b_j)\right) \right|^{a_j} dt$$
onder de aanname van de Gegeneraliseerde Riemann-hypothese (GRH).

Voorafgaand aan dit werk werd het asymptotische gedrag van deze momenten vermoedelijk van de orde $T(\log T)^{[K:\mathbb{Q}]k^2}$ voor het onverschoven geval ($a_j=1, b_j=0$). Hoewel Soundararajan bijna scherpe grenzen vaststelde voor de Riemann-zetafunctie ($K=\mathbb{Q}$) en Harper dit verfijnde naar de vermoedelijke orde, stuitten uitbreidingen naar Dedekind-zetafuncties op beperkingen. Milinovich en Turnage-Butterbaugh bewezen een grens met een extra $\epsilon$ in de exponent van de logaritme voor algemene Galois-uitbreidingen. Hagen heeft deze $\epsilon$ onlangs verwijderd, maar alleen voor eindige oplosbare Galois-uitbreidingen. De kloof bleef bestaan voor willekeurige eindige Galois-uitbreidingen, waar de scherpe grens onbekend was.

Methodologie
De auteurs passen de methode die door Harper voor de Riemann-zetafunctie is geïntroduceerd aan en verfijnen deze. Deze methode berust op het benaderen van de logaritme van de zetafunctie door korte Dirichlet-polynomen en het gebruik van een "lang-kort" decompositie van het integratie-interval. De kern van de technische innovatie in dit artikel ligt in de aanpassing van dit kader aan de arithmetische structuur van Dedekind-zetafuncties via de Chebotarev-dichtheidstelling.

Belangrijke methodologische stappen zijn:

1. Benadering: Gebruikmakend van GRH, benaderen de auteurs $\log |\zeta_K(1/2 + it)|$ door een som over priemidealen, waarbij specifiek wordt gefocust op de bijdrage van rationale priemgetallen die volledig splitsen in $K$.
2. Decompositie: Het interval $[T, 2T]$ wordt gepartitioneerd in een "goede" verzameling $\mathcal{T}$ waar de Dirichlet-polynomen klein zijn, en een vereniging van "slechte" verzamelingen $S(j)$ waar ze bepaalde drempelwaarden overschrijden.
3. Toepassing van Chebotarev: Een cruciale stap is het evalueren van sommen van de vorm $\sum_{p \le x, p \text{ splits}} \frac{\cos(\alpha \log p)}{p}$. Door de Chebotarev-dichtheidstelling toe te passen op de identiteitsconjugaatklasse, tonen de auteurs aan dat de dichtheid van priemgetallen die volledig splitsen in $K$ gelijk is aan $1/[K:\mathbb{Q}]$ van de totale dichtheid van priemgetallen.
4. Verbetering van de Exponent: Directe toepassing van Harpers methode op $\zeta_K(s)$ zonder de Galois-structuur te exploiteren, zou een grens opleveren met de exponent $[K:\mathbb{Q}]^2 k^2$. Door het splitsingsgedrag van priemgetallen te benutten, reduceren de auteurs de effectieve bijdrage van de priem-sommen, waardoor de exponent wordt verbeterd van $[K:\mathbb{Q}]^2 k^2$ naar de vermoedelijk optimale $[K:\mathbb{Q}] k^2$.

Belangrijkste Bijdragen en Resultaten

• Stelling 1.1 (Hoofdresultaat): Onder aanname van GRH, stellen de auteurs een bovengrens vast voor verschoven momenten van $\zeta_K(s)$ voor elke eindige Galois-uitbreiding $K/\mathbb{Q}$. De grens is:
  $$\int_0^T \prod_{j=1}^{2k} \left| \zeta_K\left(\frac{1}{2} + i(t + b_j)\right) \right|^{a_j} dt \ll T (\log T)^{[K:\mathbb{Q}](\sum a_j^2)/4} \prod_{1 \le i < j \le 2k} g(|b_i - b_j|)^{[K:\mathbb{Q}] a_i a_j / 2}$$
  waarbij $g(x)$ een correlatiefunctie is die stuksgewijs is gedefinieerd op basis van de scheiding $|b_i - b_j|$. Dit resultaat geldt voor willekeurige eindige Galois-uitbreidingen, niet alleen voor oplosbare.

• Corollary 1.2: Door $a_j=1$ en $b_j=0$ te kiezen, herstellen de auteurs de scherpe bovengrens voor de onverschoven momenten:
  $$\int_0^T \left| \zeta_K\left(\frac{1}{2} + it\right) \right|^{2k} dt \ll_{K,k} T (\log T)^{[K:\mathbb{Q}]k^2}$$
  Dit breidt de resultaten van Hagen uit van oplosbare uitbreidingen naar alle eindige Galois-uitbreidingen.

• Corollary 1.3 (Grote Afwijkingen): Het artikel leidt een bovengrens af voor de maat van de verzameling waar $\log |\zeta_K(1/2 + it)|$ een drempelwaarde $V \asymp \sqrt{\log \log T}$ overschrijdt. Onder aanname van GRH, vervalt de maat als $e^{-V^2/2}$, wat overeenkomt met de Gaussische heuristiek voorspeld door de willekeurige matrixtheorie (random matrix theory).

• Corollary 1.4 (Korte Intervallen): De auteurs passen hun momenten-grenzen toe om de variantie van de coëfficiënten $r_K(n)$ (het aantal idealen met norm $n$) in korte intervallen te bestuderen. Ze bieden een voorwaardelijke schatting voor de variantie van de foutterm in de gemiddelde-waarde schatting van $r_K(n)$, wat de eerdere grenzen voor Galois-uitbreidingen verbetert.

Significantie
Het artikel claimt een belangrijke kloof in de analytische theorie van $L$-functies te hebben opgevuld door de vermoedelijk optimale bovengrens voor momenten van Dedekind-zetafuncties vast te stellen voor de brede klasse van eindige Galois-uitbreidingen. De significantie is tweeledig:

1. Generalisatie: Het verwijdert de restrictie van oplosbaarheid die vereist was door het recente werk van Hagen, en toont aan dat de scherpe grens geldt voor elke eindige Galois-uitbreiding.
2. Methodologische Verfijning: De auteurs stellen expliciet dat de sleutel tot hun verbetering ten opzichte van een naïeve toepassing van Harpers methode het gebruik van de Chebotarev-dichtheidstelling is om het splitsingsgedrag van priemgetallen te verklaren. Dit stelt hen in staat om de exponent van de logaritmische factor te reduceren van $[K:\mathbb{Q}]^2 k^2$ naar $[K:\mathbb{Q}] k^2$.

De auteurs merken op dat hoewel hun methode sterk leunt op de Galois-structuur, het uitbreiden van deze scherpe grenzen naar willekeurige (niet-Galois) getallenvelden een openstaand probleem blijft dat nieuwe ideeën vereist.