Sharp Bounds for Moments of the Dedekind Zeta Function

기술적 요약: 데데킨트 제타 함수의 모멘트에 대한 정교한 상한선

문제 정의
본 논문에서 다루는 핵심 문제는 유한 갈로아 확장 $K/\mathbb{Q}$에 연관된 데데킨트 제타 함수 $\zeta_K(s)$의 임계선 $\Re(s) = 1/2$에서의 모멘트에 대한 정교한 상한선을 확립하는 것이다. 저자들은 특히 다음의 이동된 모멘트(shifted moments)를 조사한다:
$$\int_0^T \prod_{j=1}^{2k} \left| \zeta_K\left(\frac{1}{2} + i(t + b_j)\right) \right|^{a_j} dt$$
이 연구는 일반화된 리만 가설(GRH)을 가정한다.

이전의 연구들에서는 이동되지 않은 경우($a_j=1, b_j=0$)의 이러한 모멘트의 점근적 거동이 $T(\log T)^{[K:\mathbb{Q}]k^2}$ 차수일 것이라고 추측되었다. Soundararajan은 리만 제타 함수($K=\mathbb{Q}$)에 대해 거의 정교한 상한선을 확립했고, Harper는 이를 추측된 차수까지 정교화했으나, 데데킨트 제타 함수로의 확장은 한계에 부딪혔다. Milinovich와 Turnage-Butterbaugh는 일반적인 갈로아 확장(Galois extension)에 대해 로그의 지수에 $\epsilon$이 추가된 상한을 증명했다. 최근 Hagen은 유한 가해(solvable) 갈로아 확장에 대해서는 이 $\epsilon$을 제거했으나, 임의의 유한 갈로아 확장에 대해서는 여전히 간극이 존재하여 정교한 상한선이 알려지지 않은 상태였다.

방법론
저자들은 리만 제타 함수를 위해 도입된 Harper의 방법을 데데킨트 제타 함수에 맞게 수정 및 정교화한다. 이 방법은 제타 함수의 로그를 짧은 디리클레 다항식(Dirichlet polynomials)으로 근사하고, 적분 구간의 "장-단"(long-short) 분해를 활용하는 방식에 기초한다. 본 논문의 핵심적인 기술적 혁신은 이 프레임워크를 체보테레프 밀도 정리(Chebotarev Density Theorem)를 통해 데데킨트 제타 함수의 산술적 구조에 적응시키는 데 있다.

주요 방법론적 단계는 다음과 같다:

1. 근사: GRH를 사용하여 $\log |\zeta_K(1/2 + it)|$를 소원(prime ideal)들의 합, 특히 $K$에서 완전히 분할되는 유리 소수(rational primes)의 기여에 초점을 맞추어 근사한다.
2. 분해: 구간 $[T, 2T]$를 디리클레 다항식이 작은 "좋은" 집합 $\mathcal{T}$와, 이들이 특정 임계값을 초과하는 합집합인 "나쁜" 집합 $S(j)$로 분할한다.
3. 체보테레프 적용: \sum_{p \le x, p \text{ splits}} \frac{\cos(\alpha \log p)} 형태의 합을 평가하는 과정이 중요하다. 항등 합동 클래스(identity conjugacy class)에 체보테레프 밀도 정리를 적용함으로써, 저자들은 $K$에서 완전히 분할되는 소수의 밀도가 전체 소수 밀도의 $1/[K:\mathbb{Q}]$임을 보여준다.
4. 지수 개선: 갈로아 구조를 활용하지 않고 Harper의 방법을 $\zeta_K(s)$에 직접 적용하면 $[\text{K}:\mathbb{Q}]^2 k^2$의 지수를 가진 상한을 얻게 된다. 소수의 분할 성질을 이용함으로써, 저자들은 유효한 소수 합의 기여를 줄여 지수를 $[\text{K}:\mathbb{Q}]^2 k^2$에서 추측된 최적값인 $[\text{K}:\mathbb{Q}] k^2$로 개선한다.

주요 기여 및 결과

• 정리 1.1 (주요 결과): GRH를 가정할 때, 저자들은 임의의 유한 갈로아 확장 $K/\mathbb{Q}$에 대한 $\zeta_K(s)$의 이동된 모멘트에 대한 상한을 확립한다. 그 상한은 다음과 같다:
  $$\int_0^T \prod_{j=1}^{2k} \left| \zeta_K\left(\frac{1}{2} + i(t + b_j)\right) \right|^{a_j} dt \ll T (\log T)^{[K:\mathbb{Q}](\sum a_j^2)/4} \prod_{1 \le i < j \le 2k} g(|b_i - b_j|)^{[K:\mathbb{Q}] a_i a_j / 2}$$
  여기서 $g(x)$는 분리도 $|b_i - b_j|$에 따라 부분적으로 정의된 상관 함수이다. 이 결과는 가해(solvable) 확장이 아닌 임의의 유한 갈로아 확장에 대해 성립한다.

• 따름정리 1.2: $a_j=1$ 및 $b_j=0$으로 설정함으로써, 저자들은 이동되지 않은 모멘트에 대한 정교한 상한을 회복한다:
  $$\int_0^T \left| \zeta_K\left(\frac{1}{2} + it\right) \right|^{2k} dt \ll_{K,k} T (\log T)^{[K:\mathbb{Q}]k^2}$$
  이는 Hagen의 결과를 가해 확장에서 모든 유한 갈로아 확장으로 확장한 것이다.

• 따름정리 1.3 (대편차): 본 논문은 $\log |\zeta_K(1/2 + it)|$가 임계값 $V \asymp \sqrt{\log \log T}$를 초과하는 집합의 측도에 대한 상한을 도출한다. GRH를 가정할 때, 이 측도는 $e^{-V^2/2}$로 감소하며, 이는 무작위 행렬 이론(random matrix theory)이 예측하는 가우시안 휴리스틱과 일치한다.

• 따름정리 1.4 (단구간): 저자들은 이 모멘트 상한을 사용하여 단구간에서의 계수 $r_K(n)$(법 $n$을 갖는 아이디얼의 수)의 분산을 연구한다. 이들은 갈로아 확장에 대한 기존 상한을 개선하는 $r_K(n)$의 평균값 추정치 내 오차항의 분산에 대한 조건부 추정치를 제공한다.

의의
본 논문은 유한 갈로아 확장의 광범위한 클래스에 대해 데데킨트 제타 함수의 모멘트에 대한 추측된 최적의 상한을 확립함으로써, $L$-함수의 해석적 이론에서 중요한 간극을 메웠다고 주장한다. 그 의의는 두 가지이다:

1. 일반화: Hagen의 최근 연구에서 요구되었던 가해성(solvability) 제약을 제거하여, 정교한 상한이 모든 유한 갈로아 확장에 대해 성립함을 입증하였다.
2. 방법론적 정교화: 저자들은 Harper의 방법을 단순히 적용했을 때보다 개선할 수 있었던 핵심이 소수의 분할 성향을 설명하기 위해 체보테레프 밀도 정리를 사용한 데 있음을 명시적으로 밝힌다. 이를 통해 로그 인자의 지수를 $[\text{K}:\mathbb{Q}]^2 k^2$에서 $[\text{K}:\mathbb{Q}] k^2$로 줄일 수 있었다.

저자들은 자신들의 방법이 갈로아 구조에 크게 의존한다는 점을 언급하며, 이러한 정교한 상한을 임의의 (비갈로아) 수체(number field)로 확장하는 것은 새로운 아이디어를 필요로 하는 미해결 과제로 남아 있다고 기술하였다.