The Period-Three Secondary Term in the Mean Value of $L(1/2,\chi_D)$ in the Hyperelliptic Ensemble

기술 요약: 하이퍼엘립틱 앙상블 내 $L(1/2, \chi_D)$의 평균값에 대한 주기-3 차수 항(The Period-Three Secondary Term in the Mean Value of $L(1/2, \chi_D)$ in the Hyperelliptic Ensemble)

문제 정의
본 논문은 홀수 차수 하이퍼엘립틱 앙상블 $\mathcal{H}_{2g+1}$ (함수체 $\mathbb{F}_q[T]$, 여기서 $q$는 홀수 소수 거듭제곱)에 대한 중심점에서의 이차 디리클레 $L$-함수의 1차 모멘트를 조사한다. 관심 대상인 양은 다음과 같다:
$$M_1(g) := \sum_{D \in \mathcal{H}_{2g+1}} L\left(\frac{1}{2}, \chi_D\right)$$
여기서 $q$는 고정된 상태로 $g \to \infty$일 때의 값이다. Andrade와 Keating이 주항(principal term)을 결정한 반면, Florea는 이전에 크기가 $g q^{2g/3}$인 차수 항(secondary term)을 확립했다. 그러나 Florea의 결과는 $q \equiv 1 \pmod 4$라는 가정에 의존했으며, 차수 항을 생성 함수의 양의 실수 극(positive real pole)으로부터 유도된 단일 다항식으로 식별했다. 본 논문은 Florea의 차수 항이 불완전함을 지적하고, 모든 홀수 소수 거듭제곱 $q$에 대해 점근 공식의 유효성을 확장한다.

방법론
저자는 제곱 자유 실베(square-free sieve)와 푸아송 합산(Poisson summation)을 사용하여 모멘트를 제로-주파수(zero-frequency), 제곱-듀얼(square-dual), 비제곱-듀얼(nonsquare-dual) 기여분으로 분해한다. 주요 방법론적 혁신은 다음과 같다:

1. 위상 정규화된 가우스 합(Phase-Normalized Gauss Sums): 임의의 홀수 소수 거듭제곱 $q$를 처리하기 위해(특히 $q \equiv 3 \pmod 4$인 경우), 저자는 위상 정규화된 이차 가우스 합을 도입한다. 이 정규화는 가우스 합의 승법성(multiplicativity)과 제곱-듀얼 계산에서 사용되는 국소 오일러 곱(local Euler product) 평가의 유효성을 복구하며, 이는 정규화되지 않은 합의 경우 $q \equiv 3 \pmod 4$일 때 실패하는 부분이다.
2. 경로 적분 및 유수 분석(Contour Integration and Residue Analysis): 제곱-듀얼 기여분은 이중 경로 적분을 통해 평가된다. 저자는 경로를 "차수 원(secondary circle)" $|z| = q^{-4/3}$로 변형한다. [3]의 분석이 이 원 위의 양의 실수 극만을 고려하는 것과 달리, 본 논문은 분모 $(1 - q^4 z^3)^2$가 동일한 절댓값을 가진 세 개의 이중 극(double poles) $z_k = q^{-4/3} \omega^k$ ($k=0, 1, 2$, 여기서 $\omega = e^{2\pi i/3}$)을 생성한다는 점을 식별한다.
3. 유수 기록(Residue Bookkeeping): 저자는 세 극에서의 유수를 동시에 계산한다. 복소 공액 극($z_1, z_2$)의 기여는 실수 극($z_0$)과 동일한 차수이며, 제너스 $g$를 3으로 나눈 나머지에 따라 달라짐을 보여준다.

주요 기여 및 결과

• 차수 항의 수정: 본 논문은 Florea의 차수 항이 양의 실수 극($z_0$)의 기여만을 나타낸다는 것을 입증한다. 완전한 차수 항은 두 개의 비실수 공액 극($z_1, z_2$)의 기여를 포함한다.
• 주기-3 현상(Period-Three Phenomenon): 완전한 차수 항은 다음과 같이 나타난다:
  $$q^{2g/3} \left( \alpha_{g \bmod 3} g + \beta_{g \bmod 3} \right)$$
  여기서 계수 $\alpha_m, \beta_m$은 $q$에 의존하며, 제너스 $g$에 대해 정확히 3의 최소 주기를 갖는다. 이 의존성은 실재하는 것이며, 계수들은 단순히 하나의 평균에 대한 작은 섭동이 아니다. $q=3$인 경우, 계수들은 크게 변하며, 한 클래스는 평균과 반대되는 부호를 갖는다.
• 모든 홀수 소수 거듭제곱으로의 일반화: 정리 1.1은 모든 홀수 소수 거듭제곱 $q$에 대해 증명되었다. 이는 정규화되지 않은 가우스 합의 승법성 실패로 인해 $q \equiv 3 \pmod 4$인 경우를 다루지 못했던 [3]의 공백을 해결한다. 위상 정규화된 가우스 합은 논의가 균일하게 진행될 수 있도록 한다.
• 정확한 유한 앙상블 검증: $q=3$인 경우, 저자는 제너스 $g=15$까지의 정확한 모멘트를 계산한다. 수치 데이터는 이론적 예측을 확인시켜 준다: 데이터를 $g \bmod 3$에 따라 분리했을 때, 점들은 단일 선형 추세가 아닌 세 개의 뚜렷한 선형 추세와 정렬된다.

의의 및 주장
본 논문은 이 $L$-함수들의 평균값에 대한 차수 항이 $g$에 대한 단일 다항식이 아니라, 주기가 3인 $g$의 주기 함수라고 주장한다. "주기-3 현상"은 복소 평면상의 차수 원이 동일한 절댓값을 가진 세 개의 이중 극을 운반하며, 이들이 모두 점근 전개에 포함되어야 하기 때문에 발생한다.

저자는 본 결과가 Florea의 계산에 대한 재정규화가 아니라 **완성(completion)**임을 주장한다. Florea의 다항식은 세 개의 주기 의존적 항들을 잔여 클래스에 대해 평균한 것으로 식별된다. 비실수 극들은 적어도 세 개의 잔여 클래스 중 두 개에서 $g q^{2g/3}$ 차수의 항을 기여하며, 이는 오차 항 $O(q^{g(1+\epsilon)/2})$에 흡수될 수 없는 크기이다.

본 논문은 주항(Andrade와 Keating이 결정한)을 변경하거나 하이퍼엘립틱 앙상블의 1차 모멘트에 대한 새로운 응용을 제안하지 않는다. 주요 기여는 주기적인 차수 항을 엄밀하게 식별하고, 위상 정규화를 통해 모든 홀수 소수 거듭제곱으로 증명을 확장한 것이다.