The first moment of quadratic Dirichlet $L$-functions in the even hyperelliptic ensemble

문제 정의
본 논문은 고정된 홀수 소수 거듭제곱 $q$에 대하여, 함수체 $\mathbb{F}_q[x]$ 상의 짝수 쌍곡선 앙상블(even hyperelliptic ensemble) $\mathcal{H}_{2g+2}$에서의 이차 디리클레 $L$-함수의 중앙값의 1차 모멘트를 조사한다. 구체적으로, 저자는 다음과 같은 합에 대한 점근 공식(asymptotic formula)을 구하고자 한다:
$$M(g) := \sum_{D \in \mathcal{H}_{2g+2}} L\left(\frac{1}{2}, \chi_D\right)$$
여기서 $g \to \infty$일 때의 거동을 다룬다. 이 문제에 대한 주항(principal term)과 오차 지수(error exponent)는 이미 Jung [10]과 Andrade–MacMillan [3]에 의해 확립되었으나, 해당 결과들은 $g \pmod 3$에 독립적인 계수를 갖는 $g q^{2g/3}$ 차수의 하위 항(lower-order terms)을 포함하고 있었다. 또한, 이전 연구들은 종종 $q \equiv 1 \pmod 4$와 같은 $q$에 대한 합동 조건을 부과하였다. 본 논문은 이러한 제한을 제거하고, 이전에 관찰되지 않았던 주기적 의존성을 드러내기 위해 이차 항 분석을 정교화하는 것을 목표로 한다.

방법론
본 분석은 다음 두 가지 측면에서 기존의 처리 방식과 차별화된다:

1. 완성된 $L$-함수의 사용: 저자는 $L(s, \chi_D)$를 직접 다루는 대신, 완성된 $L$-함수인 $L^*(s, \chi_D) = L(s, \chi_D)(1-q^{-s})^{-1}$를 사용한다. 짝수 앙상블의 경우, 캐릭터 $\chi_D$는 짝수(even)이므로 $L(s, \chi_D)$는 자명한 인자 $(1-q^{-s})$를 갖는다. 이 인자를 제거함으로써 얻은 $L^*(s, \chi_D)$는 대칭적인 함수 방정식을 만족하며, 절단 수준(truncation levels) $g$와 $g-1$을 포함하는 정확한 이항 중앙값 공식(two-term central-value formula)을 가진다. 이 접근법은 이전의 짝수 차수 처리에서 요구되었던 $g$에 대한 귀납법이나 원점에서의 잔차(residue) 계산을 피할 수 있게 해준다.

2. 위상 정규화된 가우스 합(Phase-Normalized Gauss Sums): $q \equiv 1 \pmod 4$라는 제한 없이 임의의 홀수 소수 거듭제곱 $q$를 다루기 위해, 저자는 위상 정규화된 가우스 합을 도입한다. $\mathbb{F}_q[x]$ 상의 표준적인 이차 가우스 합은 $q \pmod 4$에 의존하는 단위근 위상을 가지며, 이 위상을 가우스 합의 정의에 흡수함으로써, 결과적인 푸아송 합 공식(Poisson summation formula)은 모든 홀수 $q$에 대해 위상으로부터 자유로워진다(phase-free). 이를 통해 기존에 $q \equiv 1 \pmod 4$인 경우로 제한되었던 기법들을 적용할 수 있게 된다.

증명의 핵심은 푸아송 합에서 발생하는 쌍대 변수(dual variables)에 기초하여 $M^*(g)$(완성된 $L$-값들의 합)를 세 가지 기여분으로 분해하는 것이다:

• 영(zero) 쌍대 변수: 주항을 산출한다.
• 제곱 쌍대 변수: 이차 항을 산출한다.
• 비제곱(non-square) 쌍대 변수: 오차 항으로 유계(bounded)된다.

핵-기술적 단계는 복소 평면에서의 경로 이동(shifting contours)을 포함한다. 저자는 영-쌍대 기여로부터 오는 경로 적분을 유지하면서, 이것이 주 제곱-쌍대 잔차로부터 발생하는 대응하는 경로 적분에 의해 정확히 상쇄됨을 보인다. 남은 이차 항은 "삼차 점(cubic points)" $z^3 = q^{-4}$에서의 잔차로부터 발생한다.

주요 기여 및 결과

• 정확한 점근 공식: 본 논문은 $M(g)$에 대한 다음과 같은 점-근 공식을 확립한다:
  $$M(g) = M_{\text{prin}}(g) + S(g) + O_\epsilon(q^{g(1+\epsilon)/2})$$
  여기서 $M_{\text{prin}}(g)$는 주항(이전 결과와 일치함)이며, 이차 항은 다음과 같다:
  $$S(g) = q^{2g/3+2} (a_g g + b_g)$$

• 주기-3 계수: 계수 $a_g$와 $b_g$는 $g \pmod 3$에 의존하는 실수이다. 수열 $m \mapsto (a_m, b_m)$은 정확히 3의 최소 주기를 갖는다. 이는 이차 계수가 $g \pmod 3$에 대해 상수였던 이전의 짝수 차수 공식들과 대조된다. 이러한 주기성은 이차 항이 단순히 실근이 아니라, 세 개의 세제곱근(즉, $z_k = q^{-4/3} e^{2\pi i k/3}$ for $k=0,1,2$)에서의 잔수의 합이기 때문에 발생한다.

• 임의의 홀수 $q$에 대한 일반화: 결과는 $q \equiv 1 \pmod 4$와 같은 합동 조건을 필요로 하지 않고, 임의의 고정된 홀수 소수 거듭제곱 $q$에 대해 성립한다.

• 수치적 검증: 본 논문은 작은 $q$와 $g$에 대한 수치 데이터를 제공하여, 이차 항의 부호 패턴이 이론적 예측과 일치하게 3의 주기로 진동함을 확인한다. 또한 이 데이터는 이차 항의 대안적 모델(예: 주기-2 진동)을 배제한다.

의의
본 연구의 주요 의의는 짝수 쌍곡선 앙상블의 1차 모멘트에 대한 이차 항에서 발견된 주기-3 거동에 있다고 주장한다. 이러한 거동은 이전의 방법들이 실근만을 유지함으로써 복소 위상을 평균화해 버렸기 때문에 이전에 가려져 있었다. 완성된 $L$-함수와 위상 정규화된 푸아송 합을 활용함으로써, 저자는 하위 항들이 $g \pmod 3$에 민감하다는 것을 밝혀냈다.

저자는 완성된 $L$-함수를 다루고 정확한 이항 공식을 사용하는 방법이 짝수 앙상블에 대한 고차 모멘트($k \ge 2$)로 확장될 것으로 기대되며, 이는 이전의 접근 방식($4^k$개의 블록)에 비해 조합론적 복잡성을 줄이는 것($2^k$개로 감소)을 가능하게 할 것이라고 언급한다. 그러나 본 논문은 엄격하게 1차 모멘트에 집중하며 고차 모멘트에 대한 명시적인 결과는 제공하지 않는다.