Shortest nonzero lattice points in a totally real multi-quadratic number field and applications

Technische Samenvatting van "Shortest Nonzero Lattice Points in a Totally Real Multi-Quadratic Number Field and Applications"

Probleemstelling
Het artikel behandelt twee onderling verbonden problemen in de algebraïsche getaltheorie en de theorie van automorfe vormen. Ten eerste streeft het naar een expliciete karakterisering van de verzameling kortste niet-nul roosterpunten, aangeduid als $B_M = \{s \in M : \|\sigma(s)\| = \min(M)\}$, voor een breukideaal $M$ binnen een totaal reëel multi-kwadratisch getalveld $F = \mathbb{Q}(\sqrt{d_1}, \dots, \sqrt{d_n})$. Hierbij is $\|\sigma(s)\| = \sqrt{\sum_{i=1}^r (\sigma_i(s))^2}$ de Euclidische norm van de vector van inbeddingen van $s$. Ten tweede beoogt het artikel deze karakterisering toe te passen om de asymptotische expansie van de Petersson traceformule voor Hilbert-cuspvormen over dergelijke velden te verfijnen. De motivatie komt voort uit de noodzaak om de discrepantie tussen waarschijnlijkheidsmaten die betrokken zijn bij eigenwaarden van cuspvormen te begrijpen, waarbij precieze kennis van de minimale norm $\min(M)$ en de structuur van $B_M$ vereist is om bestaande asymptotische schattingen aan te scherpen.

Methodologie
De auteur maakt gebruik van een combinatie van algebraïsche identiteiten, Diophantische analyse en analytische getaltheorie:

1. Algebraïsche Identiteiten: Het artikel vestigt een algemene algebraïsche identiteit (Stelling 4) betreffende de som van kwadraten van lineaire combinaties met tekens bepaald door binaire tupels. Deze identiteit wordt toegepast op de inbeddingen van elementen in een multi-kwadratisch veld om een expliciete formule voor $\|\sigma(s)\|^2$ af te leiden (Stelling 5).
2. Diophantische Classificatie: Door de afgeleide normformule gelijk te stellen aan het kwadraat van de minimale norm, classificeert de auteur de kortste niet-nul roosterpunten als rationale oplossingen van een specifieke Diophantische vergelijking (Stelling 2). Het artikel maakt onderscheid tussen "tri việcale oplossingen" (waarbij maximaal één variabele niet-nul is) en niet-tri việcale oplossingen.
3. Verfijning van de Traceformule: De auteur herbekijkt de Petersson traceformule voor Hilbert-cuspvormen (Stelling 6, gebaseerd op Knightly en Li). Het asymptotische gedrag wanneer de gewicht $k_0 \to \infty$ wordt geanalyseerd. De cruciale stap omvat het analyseren van de verzameling $A_i$ van elementen in de ideaalklasse-representanten die voldoen aan specifieke normgrenzen. De auteur demonstreert dat voor multi-kwadratische velden, indien de Diophantische vergelijking een triviale oplossing toelaat, de verzameling $A_i$ reduceert tot een singleton die enkel het element bevat dat overeenkomt met die triviale oplossing. Indien geen triviale oplossing bestaat, is de verzameling $A_i$ leeg.

Belangrijkste Bijdragen en Resultaten

• Expliciete Normformule (Stelling 1 & 5): Het artikel biedt een expliciete formule voor $\|\sigma(s)\|$ voor een element $s \in \mathbb{Q}(\sqrt{d_1}, \dots, \sqrt{d_n})$. Indien $s$ wordt uitgedrukt in de basis van vierkantswortels, wordt aangetoond dat de gekwadrateerde norm $2^n$ keer de som van de kwadraten van de coëfficiënten is, gewogen door de kwadraatvrije gehele getallen $d_i$.
• Trace- en Cross-term Formules (Corollary 1.1): Als gevolg hiervan worden expliciete formules voor de trace $\text{Tr}(s)$ en de som van producten van verschillende inbeddingen $\sum_{i<j} \sigma_i(s)\sigma_j(s)$ afgeleid.
• Karakterisering van Kortste Vectoren (Stelling 2): De verzameling kortste niet-nul roosterpunten voor een breukideaal $M$ wordt precies geïdentificeerd als de verzameling elementen in $M$ waarvan de coëfficiënten een rationale oplossing vormen voor de Diophantische vergelijking:
  $$2^n \left( X_0^2 + \sum_{i=1}^n d_i X_i^2 + \sum_{i'=2}^n \binom{n}{i'} \sum_{j'=1}^{\binom{n}{i'}} Y_{i',j'}^2 \prod_{\alpha=1}^{i'} d_{s_\alpha} \right) = (\min(M))^2$$
• Verfijnde Asymptotiek voor de Petersson Traceformule (Stelling 3): Het artikel presenteert een verfijnde asymptotische formule voor de Petersson traceformule.
  • Indien de bijbehorende Diophantische vergelijking een triviale oplossing heeft voor een gegeven index $i$, stort de drievoudige som in de oorspronkelijke asymptotiek (Stelling 7) in tot een dubbele som, en wordt de foutterm expliciet begrensd.
  • Indien geen triviale oplossing bestaat voor enige index $i$, verdwijnt de gehele som over de verzameling $A_i$, wat resulteert in een eenvoudigere asymptotiek met een kleinere foutterm.
• Toepassingen op Discrepantie (Corollary 3.2 & 3.3):
  • Corollary 3.2: Onder de voorwaarde dat het smalle klassental van $F$ oneven is en specifieke idealen principaal gegenereerd worden door elementen met triviale oplossingen, stelt het artikel een ondergrens vast voor de discrepantie tussen de hoofdterm van de traceformule en de werkelijke som. Dit verbetert eerdere resultaten van BDS23.
  • Corollary 3.3: De verfijnde asymptotiek wordt gebruikt om een analoge ondergrens af te leiden voor de Stelling 1.6 van Jung en Sardari (JS20) betreffende de discrepantie tussen de Sato-Tate maat en de discrete maat van eigenwaarden voor Hilbert-cuspvormen over multi-kwadratische velden.

Betekenis en Claims
Het artikel claimt een noodzakelijk algebraïsch instrument te bieden voor het analyseren van roosterpunten in totaal reële multi-kwadratische getalvelden, die voorheen zonder expliciete vorm ontbraken. Door de meetkunde van getallen (kortste roostervectoren) te koppelen aan de rekenkunde van Diophantische vergelijkingen, verfijnt de auteur de fouttermen in de Petersson traceformule.

De betekenis ligt in het vermogen om een complexe drievoudige som in de traceformule om te zetten in een dubbele som (of deze geheel te elimineren) op basis van de oplosbaarheid van een specifieke Diophantische vergelijking. Deze verfijning maakt scherpere ondergrenzen mogelijk voor de discrepantie van eigenwaarde-verdelingen, waarmee resultaten bekend van klassieke cuspvormen ($F=\mathbb{Q}$) worden uitgebreid naar de setting van Hilbert-cuspvormen over multi-kwadratische extensies. De auteur merkt op dat deze resultaten dienen als verbeteringen aan bestaande stellingen in [BDS23] en een analoog bieden aan [JS20] in de multi-kwadratische context. Het werk stelt geen nieuwe experimentele toepassingen voor, maar versterkt de theoretische basis voor het bestuderen van de verdeling van eigenwaarden in deze specifieke getalvelden.