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 제2극한공식저자 : Youngju Choie, Rahul Kumar분류 : math.NT (정수론), math.CA (복소해석)발표시간 : 2025년 10월 14일 (arXiv 사전인쇄본)논문링크 : https://arxiv.org/abs/2510.10554 본 논문은 실이차체에 대한 제2Kronecker "극한"공식을 처음으로 확립한다. 더 정확히 말하면, 저자들은 Zagier zeta 함수의 제2Kronecker 극한공식을 도출했다. 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 극한공식의 역사 : 고전적인 제1 및 제2 Kronecker 극한공식은 정수론과 물리학에서 광범위한 응용을 가지며, 특정 Dirichlet 급수의 s = 1 s=1 s = 1 기존 성과의 한계 :Kronecker는 원래 허이차체에 대해 Dedekind zeta 함수의 공식을 도출했다 Zagier는 1975년에 실이차체의 제1 Kronecker 극한공식을 발전시키고 Herglotz 함수를 도입했다 그러나 실이차체의 제2 Kronecker 극한공식은 지금까지 결여되어 있었다 연구공백 : 제1 Kronecker 극한공식 및 그 응용이 광범위하게 발전했음에도 불구하고, 제2 Kronecker 극한공식의 문헌은 상대적으로 제한적이며, 특히 실이차체의 경우가 그러하다.본 논문은 이러한 중요한 이론적 공백을 메우기 위해, 실이차체에 대한 제2 Kronecker 극한공식을 처음으로 확립하는 것을 목표로 한다. 이는 허이차체의 경우에 대한 실수체 대응 버전이다.
실이차체의 제2 Kronecker 극한공식 최초 확립 : Zagier zeta 함수를 통해 완전한 제2 Kronecker 극한공식을 획득했다고차 Herglotz-Zagier-Novikov 함수 도입 : 새로운 해석함수 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 (제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 제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) : 실이차체 제1 Kronecker 극한공식, Herglotz 함수 도입Vlasenko-Zagier (2013) : 고차 Kronecker "극한"공식Novikov (1981) : 관련 함수의 연구본 논문은 실이차체의 제2 Kronecker 극한공식 확립을 처음으로 완성하여 이론적 공백을 메우고, 풍부한 함수성질과 상동론적 해석을 제공한다.
실이차체의 제2 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 값의 일반이론 완성 이론의 완전성 : 실이차체의 제2 Kronecker 극한공식을 최초로 확립하여 중요한 이론적 공백을 메웠다기술적 혁신 : 도입된 F k ( x ; α , β ) F_k(x;α,β) F k ( x ; α , β ) 증명의 엄밀성 : 증명 기법은 복소해석, 함수방정식 이론, 상동론 등 여러 분야를 포함한다결과의 풍부성 : 주요 공식뿐만 아니라 함수의 다양한 성질과 응용을 확립했다적용범위 : 일부 결과는 매개변수에 제한조건을 가진다계산복잡성 : 실제 계산에서 포함된 함수와 적분이 상당히 복잡하다미해결문제 : 여전히 미해결 추측이 있으며, 이론의 추가 완성이 필요하다학술적 가치 : 해석정수론 분야에서 중요한 이론적 의의를 가진다방법론적 기여 : 유사 문제 연구를 위한 새로운 기법과 관점을 제공한다응용가능성 : Stark 추측, 모듈러형식 이론 등과 잠재적 연결성을 가진다해석정수론에서의 L-함수 특수값 연구 이차체의 산술적 성질 연구 모듈러형식 및 자기동형형식 이론 대수정수론의 상동론적 방법 논문은 Kronecker 극한공식, zeta 함수, 모듈러형식 이론 등 관련 분야의 고전 및 현대 문헌 37편을 포함하여 연구를 위한 견고한 이론적 기초를 제공한다.
