Quartic Gauss sums over primes and metaplectic theta functions

기술 요약: 소수 위에서의 4차 가우스 합과 메타플렉틱 테타 함수

문제 정의
본 논문은 가우시안 이차체 $\mathbb{Q}(i)$에서의 정규화된 4차 가우스 합을 포함하는 합의 점근적 거동을 다룬다. 구체적으로, 다음의 합에 대한 패터슨(Patterson)의 1987년 추정치를 개선하고자 한다:
$$\sum_{c \in \mathbb{Z}[i]} \text{rg}_4(c) \left(\frac{c}{|c|}\right)^\ell \Lambda(c) R\left(\frac{N(c)}{X}\right)$$
여기서 $\text{rg}_4(c)$는 정규화된 4차 가우스 합이고, $\Lambda(c)$는 폰 망골트트(von Mangoldt) 함수이며, $R$은 매끄러운 테스트 함수이다.

저자들은 3차와 4차의 경우 사이에 상당한 차이가 있음을 지적한다. 히스-브라운(Heath-Brown)과 패터슨은 3차 가우스 합의 균등 분포를 확립했으며, 패터슨은 3차 합의 1차 모멘트에 대해 $X^{5/6}$ 크기의 주항(main term)이 존재할 것이라고 추측했다(이 편향은 GRH 하에서 나중에 확인되었다). 반면, 4차의 경우는 독특한 해석적 장애물을 제시한다. 저자들은 4차의 경우에 대해 패터슨의 $O(X^{19/20})$ 경계치를 넘어 오차항을 정교화하는 것을 목표로 한다.

방법론
증명은 가우시안 정수에 적응된 해석적 정수론 기법과 메타플렉틱 형식(metaplectic forms) 이론의 결합을 사용한다. 핵심 전략은 다음과 같은 단계들을 포함한다:

1. 본의 항등식(Vaughan's Identity): 소수에 대한 합은 폰 망골트트 함수의 산술적 구조를 분리하기 위해 Type-I 합과 Type-II 합(다중 선형 합)으로 분해된다.
2. Type-II 추정: Type-II 합의 경우, 저자들은 4차 가우스 합의 뒤틀린 곱셈성(twisted multiplicativity), 즉 $\text{rg}_4(ab) \approx \text{rg}_4(a)\text{rg}_4(b)(\frac{a}{b})_2$ 관계를 활용한다. 이는 문제를 이차 캐릭터 합(quadratic character sums)을 추정하는 문제로 환원시킨다. 저자들은 이 합들을 유계하기 위해 $\mathbb{Q}(i)$ 상의 이차 대 대수적 체(quadratic large sieve)를 적용하며(Onodera 및 Goldmakher–Louvel에 의해), 이를 통해 $O(X^{5/6+\varepsilon})$의 경계치를 달성한다.
3. Type-I 추정 및 메타플렉틱 형식: Type-I 합은 더 복잡하다. 이들은 $\psi^{(4)}_\beta(s, \nu, \ell)$ 형태의 디리클레 급수를 포함하며, 이들은 $SL_2(\mathbb{Z}[i])$의 4중 피복(4-fold cover) 상에 있는 쿠보타(Kubota)의 메타플렉틱 아이젠슈타인 급수의 푸리에-휘터(Fourier-Whittaker) 계수로 식별된다.
   • 저자들은 이 급수들의 해석적 성질, 즉 메로모르픽 연속 확장(meromorphic continuation)과 함수 방정식을 분석한다.
   • 핵적인 구성 요소는 이 급수들의 잔차(residues, poles)를 계산하는 것이다. 패터슨이 모든 푸리에 계수에 대해 폐쇄 형식을 제공했던 3차의 경우와 달리, 4차의 경우에는 결정되지 않은 계수들이 존재한다. 저자들은 제곱 인덱스에서의 계수 $\psi^{(4)}(a^2)$에 대한 스즈키(Suzuki)의 평가에 의존하며, 이는 $N(a)^{-1/4}$만큼의 이득(saving)을 제공한다.
   • 임계선(critical line)을 다루기 위해, 저자들은 근사 함수 방정식(approximate functional equation)과 이차 대 대수적 체를 결합한 평균 경계(Voronoi 유형 공식)를 사용한다. 이를 통해 분포 수준(level of distribution) $A$에 대한 볼록성 경계(convexity bound)보다 $A^{1/2}$만큼의 인자를 절감하는 평균 경계를 얻는다.

주요 기여

• 개선된 경계치: 본 논문은 소수 위에서의 4차 가우스 합의 합에 대한 새로운 상한을 확립한다. 오차항은 패터슨의 $O(X^{19/20})$에서 Type-II 합에 대해 $O(X^{5/6+\varepsilon})$, Type-I 합에 대해 $O(X^{3/4+\varepsilon})$로 개선되었다. 전체 합에 대한 최종 결과는 날카로운 컷오프(sharp cutoffs)의 경우 $O(X^{5/6+\varepsilon})$(Type-II 병목 현상에 의해 지배됨)이며, 특정 맥락에서 평활화(smoothing)를 적용할 경우 $O(X^{3/4+\varepsilon})$이다.
• 스즈키의 결과 활용: 이 연구는 4차 테타 함수의 푸리에-휘터 계수(특히 제곱 인덱스에서의 계수)에 대한 스즈키의 부분적 결정 결과를 명시적으로 활용하여, Type-I 합의 극(pole) 항으로부터 $X^{3/4}$ 기여를 도출한다.
• 편향에 관한 추측: 저자들은 추측 1.2를 제안하며, 소수 위에서의 4차 가우스 합의 1차 모멘트가 $X^{3/4}$ 크기의 편향을 보일 것이라고 주장한다. 이는 3차의 경우 관찰된 $X^{5/6}$ 편향보다 상당히 작다. 이 추측은 $\ell=0$일 때 합이 $b_\beta X^{3/4}$에 점근하고, $\ell \neq 0$일 때 합이 $O(X^{1/2+\varepsilon})$임을 상정한다.

결과
정리 1.1은 $[1, 2]$에서 지지(support)를 갖는 매끄러운 함수 $R$에 대하여, 임의의 $\ell \in \mathbb{Z}$, $\beta \in \{1, 1+\lambda^3\} \pmod 4$, $\varepsilon > 0$에 대해 다음을 명시한다:
$$\sum_{\substack{c \in \mathbb{Z}[i] \\ c \equiv \beta \pmod 4}} \text{rg}_4(c) \left(\frac{c}{|c|}\right)^\ell \Lambda(c) R\left(\frac{N(c)}{X}\right) \ll_{\varepsilon, R} X^{5/6+\varepsilon} + X^{3/4+\varepsilon}|\ell|^{3/2+\varepsilon}$$
$X \to \infty$일 때, 이는 기존의 $X^{19/20}$ 경계치보다 실질적인 개선을 나타낸다.

의의 및 한계
본 논문은 $X^{3/4}$ 항이 메타플렉틱 아이젠슈타인 급수의 극(pole)에서 기인한다고 주장하며, 이는 4차의 경우에 특유한 현상이다. 저자들은 현재 GRH 하에서도 $X^{3/4}$의 점근적 주항을 증명하는 것이 어려움을 언급하는데, 이는 Type-II 합의 오차항(즉, $X^{5/6}$ 병목 현상)을 제어하는 데 따르는 난제 때문이다.

저자들은 $n \geq 5$인 $n$차 가우스 합으로 이 방법론을 확장하는 것이, Type-I 합에서의 관련 디리클레 급수가 $GL_{n-2}$ 객체처럼 행동하여 컨덕터(conductor)가 증가하고 오차 제어가 어려워진다는 점에 의해 저지된다고 강조한다. 본 논문은 파워 세이빙 손실(power-saving loss)을 얻기 위해 평활화 함수 $R$을 제거하는 대신, 현재의 기술로 달성 가능한 최선의 지수를 제시하는 것에 집중한다.

이 연구는 가우스 합의 분포를 $GL_2$의 4중 피복 상에 있는 메타플렉틱 형식의 잔차와 연결하며, 이는 수론적 합과 오토모픽 형식 사이의 깊은 연관성을 강화한다.