In this paper, the second Kronecker ``limit" formula for a real quadratic field is established for the first time. More precisely, we obtain the second Kronecker limit formula of Zagier's zeta function. Using the reduction theory of Zagier, which connects Zagier's zeta function to the zeta function of real quadratic fields, we express the values of the zeta function of narrow ideal classes in real quadratic fields at natural arguments in terms of an analytic function which we call the \emph{higher Herglotz-Zagier-Novikov function} and denote it by $\mathscr{F}_k(x; α, β)$. This function plays a central role in our study. The function $\mathscr{F}_k(x; α, β)$ possesses elegant properties, for example, we prove that it satisfies the two, three and six-term functional equations. As a result of our Kronecker limit formula and functional equations, we provide another expression for the combinations of zeta values. Finally, we interpret our Kronecker ``limit" formula in terms of cohomological relations and establish a connection between $\mathscr{F}_k(x; α, β)$ and a generalized Dedekind-eta function.
論文ID : 2510.10554タイトル : Kronecker second limit formula for real quadratic fields著者 : Youngju Choie, Rahul Kumar分類 : math.NT（数論）、math.CA（複素解析）発表日時 : 2025年10月14日（arXiv プレプリント）論文リンク : https://arxiv.org/abs/2510.10554 本論文は、実二次体に対するKronecker第二「極限」公式を初めて確立したものである。より正確には、著者らはZagier zeta関数に対するKronecker第二極限公式を得た。Zagierの約化理論（Zagier zeta関数を実二次体のzeta関数と結びつける理論）を利用することで、著者らは実二次体における狭義イデアル類のzeta関数の自然数パラメータにおける値を、高階Herglotz-Zagier-Novikov関数と呼ばれる解析関数F k ( x ; α , β ) F_k(x;α,β) F k ( x ; α , β ) F k ( x ; α , β ) F_k(x;α,β) F k ( x ; α , β )
Kronecker極限公式の歴史 : 古典的な第一および第二Kronecker極限公式は数論と物理学で広く応用されており、特定のDirichlet級数のs = 1 s=1 s = 1 既存成果の限界 :Kroneckerは当初、虚二次体に対するDedekind zeta関数の公式を導出した Zagierは1975年に実二次体の第一Kronecker極限公式を発展させ、Herglotz関数を導入した しかし実二次体の第二Kronecker極限公式は長年欠落していた 研究の空白 : 第一Kronecker極限公式とその応用は広く発展しているが、第二Kronecker極限公式に関する文献は相対的に限定的であり、特に実二次体の場合がそうである。本論文は、この重要な理論的空白を埋めることを目的とし、実二次体に対する第二Kronecker極限公式を初めて確立することで、虚二次体の場合の実域対応版を提供する。
実二次体の第二Kronecker極限公式の初確立 : Zagier zeta関数を通じて完全な第二Kronecker極限公式を得た高階Herglotz-Zagier-Novikov関数の導入 : 既知のHerglotz関数を一般化した新しい解析関数F k ( x ; α , β ) F_k(x;α,β) F k ( x ; α , β ) 豊富な関数性質の証明 : F k ( x ; α , β ) F_k(x;α,β) F k ( x ; α , β ) コホモロジー解釈の提供 : 極限公式をコホモロジー関係の観点から解釈し、関連する1-コサイクルを構成したDedekind-eta関数との関連性の確立 : Binet型積分表現を通じてF k ( x ; α , β ) F_k(x;α,β) F k ( x ; α , β ) 有理zeta値の表現式の提供 : zeta値の組み合わせの新しい表現式を提供した高階Herglotz-Zagier-Novikov関数 :
F k ( x ; α , β ) : = ∫ 0 ∞ Li k − 1 ( e − x t e 2 π i α ) 1 − e − t e 2 π i β d t , Re ( x ) > 0 F_k(x;α,β) := \int_0^∞ \frac{\text{Li}_{k-1}(e^{-xt}e^{2πiα})}{1-e^{-t}e^{2πiβ}} dt, \quad \text{Re}(x) > 0 F k ( x ; α , β ) := ∫ 0 ∞ 1 − e − t e 2 πi β Li k − 1 ( e − x t e 2 πi α ) d t , Re ( x ) > 0
ここでLi s ( z ) = ∑ n ≥ 1 z n n s \text{Li}_s(z) = \sum_{n≥1} \frac{z^n}{n^s} Li s ( z ) = ∑ n ≥ 1 n s z n
Zagier zeta関数 :
Z Q ( s ; ( α , β ) ) : = ∑ p ≥ 1 , q ≥ 0 e 2 π i ( α p + β q ) Q ( p , q ) s Z_Q(s;(α,β)) := \sum_{p≥1,q≥0} \frac{e^{2πi(αp+βq)}}{Q(p,q)^s} Z Q ( s ; ( α , β )) := ∑ p ≥ 1 , q ≥ 0 Q ( p , q ) s e 2 πi ( α p + βq )
ここでQ ( x , y ) Q(x,y) Q ( x , y )
定理2.2（第二Kronecker極限公式） :
α , β ∈ R ∖ Z α,β ∈ \mathbb{R}\setminus\mathbb{Z} α , β ∈ R ∖ Z
Z Q ( s ; ( α , β ) ) Z_Q(s;(α,β)) Z Q ( s ; ( α , β )) Re ( s ) > 1 / 2 \text{Re}(s) > 1/2 Re ( s ) > 1/2 第二Kronecker極限公式は以下で与えられる:
Z Q ( 1 ; ( α , β ) ) = F 2 ( w ′ ; α , β ) − F 2 ( w ; α , β ) Z_Q(1;(α,β)) = F_2(w';α,β) - F_2(w;α,β) Z Q ( 1 ; ( α , β )) = F 2 ( w ′ ; α , β ) − F 2 ( w ; α , β ) 定理2.3（高階の場合） :
正整数k > 1 k > 1 k > 1 Z Q ( k ; ( α , β ) ) = − ( D k − 1 F 2 k ) ( w , w ′ ; α , β ) Z_Q(k;(α,β)) = -(D_{k-1}F_{2k})(w,w';α,β) Z Q ( k ; ( α , β )) = − ( D k − 1 F 2 k ) ( w , w ′ ; α , β )
ここでD n D_n D n ( D n f ) ( x , y ; α , β ) = ∑ i = 0 n ( 2 n − i n ) f ( i ) ( x ; α , β ) − ( − 1 ) i f ( i ) ( y ; α , β ) i ! ( y − x ) n − i (\mathcal{D}_nf)(x,y;α,β) = \sum_{i=0}^n \binom{2n-i}{n} \frac{f^{(i)}(x;α,β) - (-1)^if^{(i)}(y;α,β)}{i!(y-x)^{n-i}} ( D n f ) ( x , y ; α , β ) = ∑ i = 0 n ( n 2 n − i ) i ! ( y − x ) n − i f ( i ) ( x ; α , β ) − ( − 1 ) i f ( i ) ( y ; α , β )
二項関数方程式 :
F k ( x ; α , β ) + ( − x ) k − 2 F k ( 1 x ; β , α ) = 1 x Li k ( e 2 π i α ) − ( − x ) k − 1 Li k ( e 2 π i β ) + ∑ r = 1 k − 1 ( − x ) r − 1 Li k − r ( e 2 π i α ) Li r ( e 2 π i β ) F_k(x;α,β) + (-x)^{k-2}F_k\left(\frac{1}{x};β,α\right) = \frac{1}{x}\text{Li}_k(e^{2πiα}) - (-x)^{k-1}\text{Li}_k(e^{2πiβ}) + \sum_{r=1}^{k-1}(-x)^{r-1}\text{Li}_{k-r}(e^{2πiα})\text{Li}_r(e^{2πiβ}) F k ( x ; α , β ) + ( − x ) k − 2 F k ( x 1 ; β , α ) = x 1 Li k ( e 2 πi α ) − ( − x ) k − 1 Li k ( e 2 πi β ) + ∑ r = 1 k − 1 ( − x ) r − 1 Li k − r ( e 2 πi α ) Li r ( e 2 πi β )
三項関数方程式 :
より複雑な三項関係はF k ( x ; α , β ) F_k(x;α,β) F k ( x ; α , β ) F k ( x + 1 ; α + β , β ) F_k(x+1;α+β,β) F k ( x + 1 ; α + β , β ) F k ( x + 1 x ; α + β , α ) F_k(\frac{x+1}{x};α+β,α) F k ( x x + 1 ; α + β , α )
六項関数方程式 :
三項関係と模変換F k ∣ 2 k ( − I ) ( x , α , β ) = F k ( x , − α , − β ) F_k|_{2k}(-I)(x,α,β) = F_k(x,-α,-β) F k ∣ 2 k ( − I ) ( x , α , β ) = F k ( x , − α , − β )
著者らはK = Q ( 3 ) K = \mathbb{Q}(\sqrt{3}) K = Q ( 3 )
この体は二つの狭義類B 0 B_0 B 0 B 1 B_1 B 1 対応する約化二次無理数の集合は:
Red ( B 0 ) = { 2 + 3 } \text{Red}(B_0) = \{2+\sqrt{3}\} Red ( B 0 ) = { 2 + 3 } Red ( B 1 ) = { 1 + 1 3 , 3 + 3 2 } \text{Red}(B_1) = \{1+\frac{1}{\sqrt{3}}, \frac{3+\sqrt{3}}{2}\} Red ( B 1 ) = { 1 + 3 1 , 2 3 + 3 } Mathematicaを使用した計算により、高階Kronecker極限公式(2.18)の両辺の数値一致性が小数点以下15桁以上の精度で検証された。
数値計算は理論公式の正確性を示唆している。例えば、Red ( B 0 ) = { 2 + 3 } \text{Red}(B_0) = \{2+\sqrt{3}\} Red ( B 0 ) = { 2 + 3 } ( α , β ) = ( 0.5 , 0.5 ) (α,β) = (0.5, 0.5) ( α , β ) = ( 0.5 , 0.5 )
左辺: − 11.127412237247254... + 6.11342... × 10 − 20 i -11.127412237247254... + 6.11342... × 10^{-20}i − 11.127412237247254... + 6.11342... × 1 0 − 20 i 右辺: − 11.12741223912468... + 1.30095... × 10 − 15 i -11.12741223912468... + 1.30095... × 10^{-15}i − 11.12741223912468... + 1.30095... × 1 0 − 15 i 誤差は数値精度の範囲内であり、理論の正確性を検証している。
命題3.2 : F k ( x ; α , β ) F_k(x;α,β) F k ( x ; α , β ) x → ∞ x→∞ x → ∞ x → 0 x→0 x → 0
x → ∞ x→∞ x → ∞ F k ( x ; α , β ) ∼ ∑ n = 0 ∞ a n ( β ) x n + 1 Li k + n ( e 2 π i α ) F_k(x;α,β) \sim \sum_{n=0}^∞ \frac{a_n(β)}{x^{n+1}}\text{Li}_{k+n}(e^{2πiα}) F k ( x ; α , β ) ∼ ∑ n = 0 ∞ x n + 1 a n ( β ) Li k + n ( e 2 πi α )
x → 0 x→0 x → 0
Kronecker（1929年） : 虚二次体Dedekind zeta関数の初期の極限公式Hecke（1917年）、Herglotz（1923年） : 実二次体の初期の研究Zagier（1975年） : 実二次体の第一Kronecker極限公式、Herglotz関数の導入Vlasenko-Zagier（2013年） : 高階Kronecker「極限」公式Novikov（1981年） : 関連関数の研究本論文は実二次体の第二Kronecker極限公式の確立を初めて完成させ、理論的空白を埋め、豊富な関数性質とコホモロジー解釈を提供する。
実二次体の第二Kronecker極限公式の確立に成功した 導入されたF k ( x ; α , β ) F_k(x;α,β) F k ( x ; α , β ) zeta値の新しい表現式とコホモロジー解釈を提供した 一般化されたDedekind-eta関数との深い関連性を確立した 某些結果はα , β ∈ R ∖ Z α,β ∈ \mathbb{R}\setminus\mathbb{Z} α , β ∈ R ∖ Z 有理zeta値の結果は主にα = β α = β α = β 予想6.2はまだ完全には解決されていない より一般的な代数体への拡張 保型形式理論との深い関連性の探求 F k ( x ; α , β ) F_k(x;α,β) F k ( x ; α , β ) 有理zeta値の一般理論の完善 理論の完全性 : 実二次体の第二Kronecker極限公式を初めて確立し、重要な理論的空白を埋めた技術的革新 : 導入されたF k ( x ; α , β ) F_k(x;α,β) F k ( x ; α , β ) 方法の厳密性 : 証明技術は複素解析、関数方程式理論、コホモロジーなど複数の側面を含む結果の豊富さ : 主要公式の提供に加えて、関数の多様な性質と応用を確立した適用範囲 : 某些結果はパラメータに制限条件を有する計算の複雑性 : 実際の計算では関数と積分が比較的複雑である未解決問題 : 依然として未解決の予想があり、理論はさらなる完善が必要である学術的価値 : 解析数論の分野で重要な理論的意義を有する方法への貢献 : 類似問題の研究に新しい技術と視点を提供する応用の可能性 : Stark予想、保型形式理論などとの潜在的な関連性を有する解析数論におけるL関数特殊値の研究 二次体の算術的性質の研究 保型形式と自己同型形式理論 代数数論におけるコホモロジー方法 論文は37篇の参考文献を含み、Kronecker極限公式、zeta関数、保型形式理論など関連分野の古典的および現代的文献をカバーし、研究に堅実な理論的基礎を提供している。
