[논문 리뷰] On the value-distributions of logarithmic derivatives of Dedekind zeta functions

Masahiro Mine|arXiv (Cornell University)|2017. 05. 22.

Analytic Number Theory Research참고 문헌 19인용 수 5

한 줄 요약

이 논문은 오일러 곱에서 유도된 무한곱의 푸리에 역변환을 통해 임의의 대수적 수체에 대한 디데킨드 제타 함수의 로그 도함수의 값분포를 수립한다. 핵심 결과는 $\sigma > 1/2$ 에서 유효한 정확한 점근적 공식으로, 테스트 함수의 평균에 대한 오차 항은 관련 생성 함수의 푸리에 변환에 의해 제어된다.

ABSTRACT

We study the distributions of values of the logarithmic derivatives of the Dedekind zeta functions on a fixed vertical line. The main object is determining and investigating the density functions of such value-distributions for any algebraic number field. We construct the density functions as the Fourier inverse transformations of certain functions represented by infinite products that come from the Euler products of the Dedekind zeta functions.

연구 동기 및 목표

• 클래식한 리만 제타 함수와 디리클레 L-함수의 경우를 초월하여 L-함수의 로그 도함수의 값분포 이론을 일반화하기 위해.
• 모든 대수적 수체수 $K$ 에 대해 $(\zeta_K'/\zeta_K)(\sigma + it)$ 의 값분포에 대한 밀도 함수의 존재를 확립하고 명시적인 구성 방법을 제시하기 위해.
• 아이라-마츠모토의 결과를 케이스 (C) 에서 임의의 수체로 확장하는 데에 발생하는 기술적 장벽을, 로그 도함수의 덧셈적 특성 표현에 대한 굴로의 푸리에 분석 방법을 적응시켜 극복하기 위해.
• 디데킨드 제타 함수 및 기타 L-함수에 대해 공통의 밀도 함수 형식을 사용하는 통일된 프레임워크를 제공하기 위해.

제안 방법

• 밀도 함수 $M_{\sigma}(z)$ 는 디데킨드 제타 함수의 오일러 곱에서 유도된 소수에 대한 무한곱으로 표현되는 함수의 푸리에 역변환을 통해 구성된다.
• 덧셈적 특성 $\psi_w(z) = \exp(i\langle z,w\rangle)$ 를 사용하여 푸리에 변환 $\tilde{M}_\sigma(w)$ 를 정의하며, 이는 $\zeta_K(s)$ 의 오일러 곱으로부터 유래된 무한곱의 구조를 그대로 이어받는다.
• 핵심 기술적 도구는 $\Phi\big((\zeta_K'/\zeta_K)(\sigma+it)\big)$ 의 평균을 $t \in [0,T]$ 에 대해 근사화하는 데서, 로그 도함수 계수 $\Lambda_K(p^m)$ 에 기반한 생성 함수 $\chi(u,v)$ 로 구성된 푸리에 변환을 사용하는 것으로, 굴로의 방법을 응용한다.
• 증명은 오차 항 $E$ 의 추정에 기반하며, 푸리에 도메인을 컴act 집합 $|w| \leq (\log T)^\delta$ 와 그 여집합으로 나누어, 테스트 함수 $\Phi$ 의 푸리에 변환의 감쇠 추정을 활용한다.
• 복소계수 $\Lambda_K(p^m)$ 를 다루기 위해 지수 함수 내의 실수부와 허수부를 분리하여, $t$ 에 대한 삼각합을 유도하고 이를 $[0,1]$ 에서 적분한다.
• 이 구성은 촉각형 L-함수와 디리클레 특성의 L-함수로 확장되며, $\Lambda_\ast(p^m)$ 이 실수이거나 유계 복소노름을 가질 경우 동일한 프레임워크가 적용됨을 보여준다.

실험 결과

연구 질문

• RQ1 임의의 대수적 수체수 $K$ 에 대해 디데킨드 제타 함수 $\zeta_K(s)$ 의 로그 도함수의 값분포가 밀도 함수로 묘사될 수 있는가?
• RQ2 $\zeta(s)$ 에서 성립하는 굴로의 방법이 임의의 수체수로 확장되어, $t \in [0,T]$ 에서 테스트 함수의 평균에 대한 통일된 점근적 공식을 도출할 수 있는가?
• RQ3 테스트 함수 $\Phi\big((\zeta_K'/\zeta_K)(\sigma+it)\big)$ 의 평균을 밀도 함수 $M_{\sigma}(z)$ 를 통한 적분으로 근사할 때의 정확한 오차 항은 무엇인가?
• RQ4 $\sigma$ 와 테스트 함수 $\Phi$ 에 어떤 조건이 붙어야 평균이 $M_{\sigma}(z)$ 를 통한 적분으로 균일하게 수렴하는가?

주요 결과

• 논문은 임의의 대수적 수체수 $K$ 에 대해 모든 고정된 수직선 $\sigma > 1/2$ 에서 $(\zeta_K'/\zeta_K)(\sigma+it)$ 의 값분포에 대한 밀도 함수 $M_{\sigma}(z)$ 를 구성한다.
• 밀도 함수는 디데킨드 제타 함수의 오일러 곱에서 유도된 소수에 대한 무한곱으로 표현되는 함수의 푸리에 역변환으로 주어진다.
• $\sigma \in [1/2 + (\log T)^{-\theta}, \sigma_1]$ 이며 $\theta, \delta > 0$ 이고 $\delta + \theta < 1/2$ 인 경우, $\Phi\big((\zeta_K'/\zeta_K)(\sigma+it)\big)$ 의 평균은 $\int_{\mathbb{C}} \Phi(z) M_{\sigma}(z) |dz|$ 로 수렴하며 오차 $E \ll \exp\big(-\frac{1}{4}(\log T)^{\frac{2}{3}\theta}\big)$ 를 갖는다.
• 오차 항은 주파수 도메인의 컴 pact 및 비컴 pact 영역에서 $\Phi$ 의 푸리에 변환의 $L^1$-노름에 의해 제어되어 균일 수렴을 보장한다.
• 이 방법은 디데킨드 제타 함수 외에도 원시 디리클레 특성의 L-함수와 촉각형 형식의 L-함수에도 적용되며, 유사한 조건 하에 동일한 결과가 성립한다.
• 촉각형 형식과 디리클레 L-함수의 경우, 하한 $\sum_{p \geq M} \sum_{m=1}^\infty \frac{\Lambda_\ast(p^m)^2}{p^{2m\sigma}} \gg \frac{1}{2\sigma - 1} M^{1-2\sigma} \log M$ 이 무한곱의 수렴성과 밀도 함수 구성의 타당성을 보장한다.