Extreme values of class group $L$-functions

Technische Samenvatting: Extreme Waarden van Klasse-groep L-functies

Probleemstelling
Het artikel onderzoekt de grootte van de maximale waarde van $L(1/2, \chi)$, waarbij $\chi$ varieert over de karakters van de klasse-groep van een imaginaire kwadratische veld $\mathbb{Q}(\sqrt{-D})$. Hoewel de Lindelöf-hypothese voorspelt dat $L(1/2, \chi) \ll_\epsilon D^\epsilon$, en de Gegeneraliseerde Riemann-hypothese (GRH) een grens impliceert van $\exp((\frac{\log 2}{2} + o(1)) \frac{\log D}{\log \log D})$, suggereren probabilistische modellen door Farmer, Gonek en Hughes dat de werkelijke orde van grootte voor het maximum aanzienlijk groter is:
$$\max_{\chi} |L(1/2, \chi)| = \exp((c + o(1)) \sqrt{\log D \log \log D})$$
voor een bepaalde positieve constante $c$. Voorgaand werk door Bondarenko en Seip heeft deze orde van grootte vastgesteld voor de Riemann zeta-functie en Dirichlet L-functies met behulp van de resonantiemethode. Dit artikel beoogt te bepalen of dezezelfde orde van grootte geldt voor klasse-groep L-functies, waarbij specifiek de uitdagingen van de symplectische aard van de familie en de distributie van gesplitste priemgetallen worden geadresseerd.

Methodologie
De auteur maakt gebruik van de resonantiemethode, oorspronkelijk ontwikkeld door Soundararajan en aangepast door Bondarenko en Seip. De kernstrategie bestaat uit het construeren van een "resonator"-functie $R_\chi$ om de verhouding $V/W$ te maximaliseren, waarbij $V$ een gewogen som van L-waarden is en $W$ de som van de gewichten.

1. Benaderende Functionele Vergelijking: De L-waarden worden uitgedrukt via een benaderende functionele vergelijking met een gewichtsfunctie $W(x)$, waardoor de L-waarden geschreven kunnen worden als sommen over integrale idealen.
2. Resonator Constructie: De resonator-coëfficiënten $R_\chi$ worden gedefinieerd als sommen over een verzameling idealen $\mathcal{M}$ met een multiplicatieve functie $f$. De verzameling $\mathcal{M}$ wordt zorgvuldig geconstrueerd als een deelverzameling van vrij vierkante idealen gegenereerd door priemidealen die boven rationale priemgetallen liggen in een specifieke reeks: $(e \log M \log_2 M, \exp(\lfloor (\log_2 M)^\gamma \rfloor) \log M \log_2 M]$.
3. Beperking Triviale Karakter: Een kritieke technische hindernis is het waarborgen dat de bijdrage van het triviale karakter niet domineert in de som. Het artikel stelt vast dat indien de grootte van de verzameling $\mathcal{M}$ voldoet aan $|\mathcal{M}| \leq h_D / (3D^{1/4} \log D)$, de bijdrage van het triviale karakter verwaarloosbaar is ten opzichte van de hoofdbeterm.
4. Afhandeling van Gesplitste Priemen: In tegen रहा met voorgaande toepassingen van de resonantiemethode op Dirichlet L-functies, hangt de ondergrens hier af van de som van $1/\sqrt{N\mathfrak{p}}$ over priemidealen $\mathfrak{p}$ die splitsen in $\mathbb{Q}(\sqrt{-D})$. Indien priemgetallen in de gekozen reeks inert zijn, wordt de grens triviaal.

Belangrijkste Bijdragen en Resultaten

• Stelling 1 (Gemiddelde Geval): Het artikel bewijst dat de veronderstelde orde van grootte geldt gemiddeld over fundamentele discriminanten $-D \in [-2X, -X]$. Specifiek, voor elke $\delta < 1/4$:
  $$\left( \prod_{X \leq D \leq 2X}^{\flat} M_D \right)^{1/N_X} \geq \exp\left( \delta \sqrt{\frac{\log X \log_3 X}{\log_2 X}} \right)$$
  waarbij $M_D$ de maximale L-waarde is voor een gegeven $D$, en de product maximaal één uitzonderlijke discriminant uitsluit. Dit is het eerste onvoorwaardelijke bewijs van deze orde van grootte in een symplectische familie (met uitzondering van een functieveld-voorbeeld).

• Stelling 2 (Punctuële Technische Grens): Het artikel geeft een precieze ondergrens voor een specifieke discriminant $-D$ die expliciet afhangt van het splitsingsgedrag van priemgetallen in een specifiek bereik. Indien $P$ de verzameling is van de priemidealen boven priemgetallen in het bereik gedefinieerd door parameters $M$ en $\gamma$, dan:
  $$\max_{\chi} L(1/2, \chi) \geq \exp\left( (1+o(1)) \sqrt{\frac{\log M \log_2 M}{\log_3 M}} \sum_{\mathfrak{p} \in P} \frac{1}{\sqrt{N\mathfrak{p}}} \frac{1}{\sqrt{p}(\log p - \log_2 M - \log_3 M)} \right)$$
  Dit resultaat benadrukt dat de grootte van de grens direct verbonden is met het aantal gesplitste priemgetallen in het interval $(\log D)^{1+\epsilon}$.

Betekenis en Beperkingen
Het artikel stelt dat het gemiddelde kenmerk in Stelling 1 noodzakelijk is omdat de methode vereist dat priemgetallen van grootte $(\log D)^{1+\epsilon}$ splitsen om de gewenste grens te bereiken. De auteur merkt op dat men zelfs onder GRH niet kan garanderen dat er voor elke discriminant voldoende veel dergelijke priemgetallen splitsen; GRH garandeert slechts splitsing voor priemgetallen groter dan $\log^2 D$.

Consequentelijk bewijst het artikel niet dat de veronderstelde maximum voor elke fundamentele discriminant onvoorwaardelijk geldt; in plaats daarvan demonstreert het dat de grens gemiddeld geldt, door gebruik te maken van de probabilistische verwachting dat de helft van de relevante priemgetallen splitst. De auteur roept een open vraag op: of het bestaan van extreme waarden voor elke discriminant (zoals voorspeld door de Farmer-Gonek-Hughes conjectuur) zou impliceren dat er sterkere resultaten over priemsplitsing zijn dan wat de GRH momenteel biedt, of dat de orde van grootte alleen bereikt kan worden met priemgetallen groter dan $\log^2 D$.

Het werk wordt gepresenteerd als een adaptatie van de resonantiemethode naar de symplectische familie van klasse-groep karakters, waarbij specifieke obstakels met betrekking tot de positiviteit van coëfficiënten en de distributie van gesplitste priemgetallen in imaginaire kwadratische velden zijn overwonnen.