[논문 리뷰] Mean values of L-functions and symmetry

J. Brian Conrey, David W. Farmer|ArXiv.org|1999. 12. 13.

Analytic Number Theory Research참고 문헌 20인용 수 21

한 줄 요약

이 논문은 L-함수 가족의 대칭 유형이 그 L-함수들의 평균값과 미오르티파이드 평균제곱을 어떻게 결정하는지 규명하며, Barnes–Vignéras $Γ_2$-함수와 자기유사 함수와의 연결을 통해 이를 밝혀낸다. mean value 추측에서 나타나는 상수 $g_k$에 대한 명시적인 점근적 공식을 제공하며, 이는 대칭 유형(직교, 유니터리, 심플렉틱)과 연결되고, 스틸링 유사 전개와 제타 함수 도함수를 사용하여 $k \to \infty$일 때 $g_k$에 대한 정밀한 로그 점근적 성질을 도출한다.

ABSTRACT

Recently Katz and Sarnak introduced the idea of a symmetry group attached to a family of L-functions, and they gave strong evidence that the symmetry group governs many properties of the distribution of zeros of the L-functions. We consider the mean-values of the L-functions and the mollified mean-square of the L-functions and find evidence that these are also governed by the symmetry group. We use recent work of Keating and Snaith to give a complete description of these mean values. We find a connection to the Barnes-Vignéras $Γ_2$-function and to a family of self-similar functions.

연구 동기 및 목표

• 가족의 L-함수들의 대칭 유형이 그 평균값과 미오르티파이드 평균제곱의 점근적 행동을 어떻게 결정하는지 조사한다.
• 리만 제타 함수의 모멘트에 대한 전당적 추측을, 직교, 유니터리, 심플렉틱과 같은 특정 대칭 유형을 가진 더 넓은 L-함수 가족으로 확장한다.
• 평균값 추측에 나타나는 상수 $g_k$에 대한 정밀한 점근적 공식을 유도하며, 이를 산술 상수 $a_k$와 대칭군 매개변수와 연결한다.
• $g_k$의 점근적 행동을 특수함수, 특히 Barnes–Vignéras $\Gamma_2$-함수와 연결하고, $p$-진 전개에서 유도되는 자기유사 함수와의 관계를 규명한다.
• 해석적 수론 도구를 사용하여 다양한 대칭 유형에서 $L$-함수 모멘트의 성장에 대한 통합적 프레임워크를 제공한다.

제안 방법

• Katz와 Sarnak의 대칭 유형에 관한 추측적 프레임워크를 사용하여 L-함수 가족을 그에 해당하는 대칭군(O, U, Sp)으로 분류한다.
• Keating와 Snaith의 최신 결과인 랜덤 행렬의 특성다항식 모멘트를 활용하여 L-함수의 평균값을 모델링한다.
• 계승과 이중 계승의 로그 합에 대해 스틸링 공식과 오일러-매클르린 합공식을 적용하여 $g_k$의 점근 전개를 유도한다.
• Montgomery와 Vaughan의 Dirichlet 다항식에 대한 평균값 정리를 활용하여 $g_k$를 길이 $T$인 다항식이 $\zeta(s)^k$의 평균제곱을 포괄하기 위해 필요한 수의 척도로 정의한다.
• $p$-진 전개를 분석하여 자기유사 함수 $c_p(x)$와 $v_p(g_{k,O})$를 정의하고, $j \to \infty$일 때 이들이 프랙탈 유사한 극한으로 수렴함을 보인다.
• Barnes–Vignéras $\Gamma_2$-함수를 사용하여 $g_k$의 점근적 행동을 리만 제타 함수와 그 도함수의 특수값으로 표현한다.

실험 결과

연구 질문

• RQ1 L-함수 가족의 대칭 유형은 그 평균값의 점근적 성장에 어떻게 영향을 미치는가?
• RQ2 L-함수 모멘트의 추측적 평균값 공식에 나타나는 상수 $g_k$의 정밀한 점근적 행동은 무엇인가?
• RQ3 상수 $g_k$는 Barnes–Vignéras $\Gamma_2$-함수와 같은 특수함수로 표현될 수 있는가?
• RQ4 산술 상수 $a_k$와 대칭군 매개변수 간의 상호작용은 어떻게 $L$-함수 모멘트의 성장률을 결정하는가?
• RQ5 L-함수의 미오르티파이드 평균제곱과 $p$-진 전개에서 유도되는 자기유사 함수 사이의 연결은 무엇인가?

주요 결과

• 유니터리 대칭 유형의 $g_k$의 점근적 성장은 $k \to \infty$일 때 $\log g_{k,U} = k^2 \log k + \left(\frac{1}{2} - 2\log 2\right)k^2 + O(k \log k)$로 주어진다.
• 직교 대칭 유형의 경우 $\log g_{k,O} = \frac{1}{2}k^2 \log k + \left(\frac{1}{4} - \log 2\right)k^2 + O(k \log k)$이며, 이는 $\zeta'(-1)$와 $\zeta'(0)$를 포함한 명시적인 상수를 포함한다.
• 심플렉틱 경우는 $\log g_{k,Sp} = \frac{1}{2}k^2 \log k + \left(\frac{1}{4} - \log 2\right)k^2 + O(k \log k)$로 나타나며, 주항항은 직교 경우와 동일하지만, 저항항 계수에서 차이를 보인다.
• 상수 $g_k$는 대칭 유형에 의해 결정되며, 리만 제타 함수의 경우 $g_1 = 1$이고 $g_2 = 2$로, 이는 유니터리 경우와 일치한다.
• $j \to \infty$일 때 $v_p(g_{k,O})/p^j$의 극한은 자기유사 함수 $\frac{1}{2} x c_p(x)$로 수렴하며, 여기서 $c_p(x)$는 $||x||^2$와 관련된 프랙탈 유사 함수이다.
• Stirling 유사 전개와 오일러-매클르린 합공식을 사용하여 $g_k$의 점근적 성질을 도출하였으며, 이는 $\zeta^\prime(-1)$, $\zeta^\prime(0)$, 그리고 로그 항을 포함하는 정밀한 로그 전개를 제공한다.