[论文解读] The behavior of Hecke's L-function of real quadratic fields at s=0

Byungheup Jun, Jungyun Lee|arXiv (Cornell University)|Nov 29, 2011

Analytic Number Theory Research参考文献 5被引用 4

一句话总结

本文為實二次域族 K_n = Q(√f(n)) 的部分 Hecke L 函數在 s=0 處的特殊值建立了一個線性準則，證明當相關理想滿足特定連分數條件時，L 值在 n = qk + r 時對 k 呈線性行為。關鍵結果為一個涉及伯努利多項式值的顯式公式，使得以透過 Biró 方法，利用模素數的剩餘約束求解類數為一的問題。

ABSTRACT

For a family of real quadratic fields $\{K_n=\FQ(\sqrt{f(n)})\}_{n\in \FN}$, a Dirichlet character $χ$ modulo $q$ and prescribed ideals $\{\fb_n\subset K_n\}$, we investigate the linear behaviour of the special value of partial Hecke's L-function $L_{K_n}(s,χ_n:=χ\circ N_{K_n},\fb_n)$ at $s=0$. We show that for $n=qk+r$, $L_{K_n}(0,χ_n,\fb_n)$ can be written as $$\frac{1}{12q^2}(A_χ(r)+kB_χ(r)),$$ where $A_χ(r),B_χ(r)\in \FZ[χ(1),χ(2),..., χ(q)]$ if a certain condition on $\fb_n$ in terms of its continued fraction is satisfied. Furthermore, we write precisely $A_χ(r)$ and $B_χ(r)$ using values of the Bernoulli polynomials. We describe how the linearity is used in solving class number one problem for some families and recover the proofs in some cases. Finally, we list some families of real quadratic fields with the linearity.

研究动机与目标

• 識別部分 Hecke L 函數在 s=0 處的特殊值 L_K_n(0, χ_n, b_n) 對於 n = qk + r 時在 k 上呈現線性行為的條件。
• 以伯努利多項式與特徵值表示線性係數 A_χ(r) 與 B_χ(r) 的顯式公式。
• 透過 s=0 處 L 值的線性性質，推廣 Biró 方法以解決類數為一的問題。
• 示範線性準則可被已知的 Richaud-Degert 型家族滿足，並識別出具有受控 L 值行為的新家族。

提出的方法

• 本文使用 Shintani-Zagier 锥分解分析實二次域上部分 Hecke L 函數的結構。
• 提出一個基於 δ(n) − 1 的純週期連分數展開的準則，其中 b_n^{-1} = [1, δ(n)]，且係數 a_i(n) = α_i n + β_i 對 n 為線性。
• 該方法依賴於 n = qk + r 時 L 函數表達式中被加項的週期性與不變性性質，使依賴關係簡化至 r。
• 利用伯努利多項式值推導 A_χ(r) 與 B_χ(r) 的顯式公式，確保係數屬於 Z[χ(1), ..., χ(q)]。
• 透過分圓域中理想理論分析 n 模素數 p 的剩餘，將 L 值與類數為一的問題連結。
• 提出一個廣義框架，其中 L 值為 k 的 N 次多項式，且係數僅依賴於 r，適用於連分數係數為多項式的家族。

实验结果

研究问题

• RQ1 當 δ(n) − 1 的連分數展開滿足何種條件時，特殊值 L_K_n(0, χ_n, b_n) 對於 n = qk + r 時在 k 上呈現線性行為？
• RQ2 L_K_n(0, χ_n, b_n) 的線性表達式中係數 A_χ(r) 與 B_χ(r) 是否能以伯努利多項式值明確描述？
• RQ3 如何利用 s=0 處 L 值的線性性質，透過 n 模素數 p 的剩餘約束來解決類數為一的問題？
• RQ4 哪些實二次域家族滿足線性準則？此準則是否可用於重新獲得或推廣已知的類數為一結果？
• RQ5 當連分數係數為高次多項式時，線性現象的推廣為何？

主要发现

• 對於 n = qk + r，若滿足所列連分數與範數條件，則特殊值 L_K_n(0, χ_n, b_n) 可線性表示為 (1/(12q²))(A_χ(r) + kB_χ(r))，其中 A_χ(r), B_χ(r) ∈ Z[χ(1), ..., χ(q)]。
• 係數 A_χ(r) 與 B_χ(r) 以伯努利多項式值明確給出，使精確計算成為可能。
• 當 K_n 的類數為 1 時，線性形式可用於確定滿足條件(*)的素數 p 下 n 模 p 的剩餘，該條件僅依賴於 r、A_χ(r) 與 B_χ(r)。
• 該方法可重新獲得已知的類數為一問題結果，如 Yokoi 猜想，並推廣至實二次域的新家族。
• 線性準則可被一般 Richaud-Degert 型家族滿足，本文亦識別出額外的滿足此準則之例子。
• 提出一項推廣：當連分數係數為 N 次多項式時，L 值成為 k 的 N 次多項式，其係數僅依賴於 r。