[논문 리뷰] Distribution of zeta zeroes of Artin--Schreier curves

Alina Bucur, Chantal David외 3명|arXiv (Cornell University)|2011. 11. 20.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 5

한 줄 요약

이 논문은 고정된 유한체 $\mathbb{F}_q$ 위의 사영선에 대한 아르틴-슈라이어 쌍대체에서 리만 zeta 함수의 영점 분포를 연구한다. 지수 합과 뷔르링-셀버그 다항식을 사용하여, 종수의 증가함에 따라 고정된 부분구간 $\mathcal{I}$ 내의 각도를 가진 영점의 수가 가우시안 분포로 수렴함을 증명하며, 분산은 $\frac{2(p-1)}{\pi^2}\log(d|\mathcal{I}|)$에 점 渐진적으로 수렴한다. 이는 이러한 영점들에 대한 중심극한정리가 전역 및 메조스코픽 영역 모두에서 성립함을 보여준다.

ABSTRACT

We study the distribution of the zeroes of the zeta functions of the family of Artin-Schreier covers of the projective line over $\mathbb{F}_q$ when $q$ is fixed and the genus goes to infinity. We consider both the global and the mesoscopic regimes, proving that when the genus goes to infinity, the number of zeroes with angles in a prescribed non-trivial subinterval of $[-π,π)$ has a standard Gaussian distribution (when properly normalized).

연구 동기 및 목표

• 고정된 유한체 $\mathbb{F}_q$ 위의 사영선 $\mathbb{P}^1$ 에 대한 아르틴-슈라이어 쌍대체의 제타 함수 영점의 통계적 분포를 이해하는 것.
• 종수 $g$ 가 무한으로 갈 때 이러한 영점들이 전역 및 메조스코픽 영역 모두에서 어떻게 행동하는지 분석하는 것.
• 지정된 각도 간격 $\mathcal{I} \subset [-\pi, \pi)$ 내의 영점 수에 대한 중심극한정리를 수립하는 것.
• 정규화된 영점 수가 표준 정규분포로 수렴함을 보이는 것.
• $p$, $d$, 및 $|\mathcal{I}|$ 에 따라 분산을 정량화하는 것.

제안 방법

• 각 아르틴-슈라이어 쌍대체 $Y^p - Y = f(X)$ 와 관련된 $L$-함수 $L(u,f,\psi)$ 의 명시적 인수분해를 사용한다.
• 주어진 각도 간격 $\mathcal{I}$ 내의 영점 수를 유계하기 위해 뷔르링-셀버그 다항식 근사법을 적용한다.
• 명시적 공식(보조정리 3.1)을 사용하여 영점 수를 $\mathbb{F}_q$ 위의 지수 합과 연결한다.
• 무작위 행렬 이론 및 특성 합 추정치를 활용하여 정규화된 합 $S^{\pm}(K,C_f)$ 의 모멘트를 분석한다.
• 분산 추정치 $\left\langle S^{\pm}(K,C_f)^2 \right\rangle \sim \frac{2(p-1)}{\pi^2}\log(d|\mathcal{I}|)$ 를 사용하여 가우시안 극한을 도출한다.
• 정규화된 수세기 $N_{\mathcal{I}}(C_f)$ 와 정규화된 합 $S^{\pm}(K,C_f)$ 사이의 평균 제곱 수렴을 증명하며, 이는 분포 수렴을 함의한다.

실험 결과

연구 질문

• RQ1 종수가 증가함에 따라 아르틴-슈라이어 쌍대체의 제타 함수 영점의 각도는 어떻게 분포하는가?
• RQ2 고정된 각도 간격 $\mathcal{I}$ 내의 영점 수는 큰 종수의 극한에서 가우시안 변동을 보이는가?
• RQ3 이러한 간격 내 영점 수의 점 渐진적 분산은 무엇이며, $p$, $d$, 및 $|\mathcal{I}|$ 에 어떻게 의존하는가?
• RQ4 각도 간격 $|\mathcal{I}|$ 가 줄어들지만 $d|\mathcal{I}|$ 는 증가하는 메조스코픽 영역도 전역 영역과 동일한 도구로 분석할 수 있는가?
• RQ5 각도 간격 $|\mathcal{I}|$ 가 작을 때에도 부분구간 내 영점 수에 대한 중심극한정리가 성립하는가?

주요 결과

• 종수가 무한으로 갈 때, 비자명한 부분구간 $\mathcal{I} \subset [-1/2, 1/2)$ 내의 각도를 가진 영점 수는 점 渐진적으로 $2g|\mathcal{I}|$ 가 된다.
• 이러한 영점 수의 분산은 점 渐진적으로 $\frac{2(p-1)}{\pi^2}\log(d|\mathcal{I}|)$ 가 된다.
• 정규화된 영점 수는 표준 정규분포로 수렴하며, 모든 차수까지 모멘트가 정규분포와 일치한다.
• 정규화된 수세기 $\frac{N_{\mathcal{I}}(C_f) - 2g|\mathcal{I}|}{\sqrt{\frac{2(p-1)}{\pi^2}\log(d|\mathcal{I}|)}}$ 는 평균 제곱 수렴으로 $\frac{S^{\pm}(K,C_f)}{\sqrt{\frac{2(p-1)}{\pi^2}\log(d|\mathcal{I}|)}}$ 로 수렴한다.
• 정규화된 합의 모멘트는 짝수 $n=2\ell$ 에 대해 $\lim_{d\to\infty} \frac{\langle S^{\pm}(K,C_f)^{2\ell} \rangle}{\left(\sqrt{\frac{2(p-1)}{\pi^2}\log(d|\mathcal{I}|)}\right)^{2\ell}} = \frac{(2\ell)!}{\ell! 2^\ell}$ 를 만족하며, 홀수 $n$ 에 대해서는 0 이다.
• 결과는 전역 영역($|\mathcal{I}|$ 가 고정)과 메조스코픽 영역($|\mathcal{I}| \to 0$, $d|\mathcal{I}| \to \infty$) 모두에서 성립한다.