On the second moment and non-vanishing of central values of Hecke $L$-functions of $r$-th order characters

기술 요약: $r$차 캐릭터에 대한 헤케 $L$-함수의 2차 모멘트 및 중앙값의 비소멸성에 관하여

문제 정의
본 논문은 $2r$제곱근을 포함하는 전역체(특히 대수적 수체) 상의 원시 $r$차 잔여 기호(primitive $r$-th order residue symbols)와 연관된 헤케 $L$-함수의 해석적 거동을 다룬다. 여기서 $r \geq 3$인 정수이다. 주요 목적은 다음과 같다:

1. 중앙점 $s=1/2$에서 이들 $L$-함수의 1차 및 2차 트위스티드 모멘트(twisted moments)에 대한 점근 공식(asymptotic formulas)을 확립하는 것.
2. 이들 중앙값 중 양의 비율이 0이 아님을 도출하는 것.
3. 이러한 결과를 제곱 자유(square-free) 아이디얼 및 $r$제곱 자유(r-th power-free) 아이디얼의 가족 모두로 확장하는 것.

이 연구 이전에는, 무조건적인 양의 비율 비소멸 결과가 이차($r=2$), 삼차($r=3$), 사차($r=4$) 경우로 제한되어 있었다. $r \geq 5$인 고차의 경우, 제곱 자유 가족에 대한 2차 모멘트의 점근 공식을 결여하고 있었으며, $r=3, 4$에 대한 기존 방법들은 특정 대 대형 체(large sieve) 추정치에 의존하거나 사례별 분석에 국한되어 일반화하기 어려웠다.

방법론
저자들은 Multiple Dirichlet Series (MDS) 체계를 사용한다. 이는 저자와 그 동료들(예: [Dia04], [Dia19], [DW21])에 의해 개발된 프레임워크이다. 이 접근법은 [Sou00]의 이차 경우에 사용된 몰리피케이션(mollification) 기법이나 [DdFDS24], [CdFD26]에서 사용된 삼차 및 사차의 특정 대 대형 체 경계값과는 근본적으로 다르다.

핵심 전략은 다음과 같다:

1. MDS 구축: 저자들은 두 개의 헤케 $L$-함수와 하나의 트위스팅 캐릭터의 곱을 포함하는 다중 디리클레 급수 $Z_S(s; \psi_1, \psi_2, \rho)$를 정의한다. 이 급수는 "완벽한(perfect)" MDS 프레임워크를 통해 구축되며, 이는 메로모르픽 연속 확장(meromorphic continuation)과 함수 방정식 군(group of functional equations)을 보장한다.
2. 체질(Sieving)을 통한 분해: 제곱 자유 또는 $r$제곱 자유 아이디얼에 대한 제한을 처리하기 위해, 저자들은 뫼비우스 반전(Möbius inversion)을 활용한다. 이들은 제한된 합을 트위스티드 쿠보타 급수(가우스 합의 디리클레 급수)로부터 구성된 "빌딩 블록" MDS 함수 $\widetilde{Z}_{S \cup Sh}$들의 선형 결합으로 표현한다.
3. 메로모르픽 연속 확장 및 함수 방정식: 빌딩 블록들이 벨 군(Weyl group)과 관련된 유한한 함수 방정식을 만족함을 보인다. 저자들은 [BB06]에서 확립된 쿠보타의 디리클레 급수의 메로모르픽 연속성과 연관된 MDS의 함수 방정식을 활용하여 수렴 영역을 확장한다.
4. 볼록성 경계 및 대 대형 체: 점근 공식을 얻기 위해, 저자들은 임계 구역(critical strip) 내에서의 MDS에 대한 볼록성 경계값을 유도한다. 결정적인 단계는 $r$차 잔여 기호에 대한 대 대형 체 부등식([BGL14])을 적용하여 오차항을 제한하는 것이다. 삼차($r=3$)의 경우, 오차항을 개선하기 위해 [DdFDS24]의 정교한 경계값을 활용한다.
5. 경로 적분(Contour Integration): 복소 평면에서 적분 경로를 이동시켜 극(poles)(구체적으로 $s_3=1$ 및 $s_3=1/2+1/r$)에서의 유수(residues)를 포착함으로써 점근 공식을 유도한다.

주요 기여 및 결과

1. 모멘트에 대한 점근 공식:

   • 2차 모멘트 (Theorem A): 본 논문은 제곱 자유 아이디얼 상의 $r$차 헤케 $L$-함수의 트위스티드 2차 모멘트에 대한 점근 공식을 확립한다. 이 공식은 $X$ 차수의 주항(main term)과 $O(X^{\frac{r+A_r}{r+1} + \epsilon})$ 차수의 오차항을 포함하며, 여기서 $A_r = 1/2$ ($r > 3$일 때) 및 $A_3 = 1/3$이다. $r=3$ 및 $r=4$의 경우, 이는 기존의 결과를 회복하고 정교화하며, $r \geq 5$의 경우 최초의 점근 공식을 제공한다.
   • 1차 모멘트 (Theorem B): 트위스티드 1차 모멘트에 대한 점근 공식이 유도되며, 특히 $r=3$인 경우 $X^{1/2 + 1/r}$의 2차 항을 포착한다. 이 항의 상수는 $GL_2$의 $r$중 덮개(r-fold cover) 상의 세타 함수의 휘태커-푸리에 계수(Whittaker-Fourier coefficients)를 포함한다.
   • 거듭제곱 자유 가족 (Theorems D & E): 저자들은 이러한 결과들을 $r$제곱 자유 아이디얼로 확장한다. 이 공식들은 제곱 자유의 경우보다 더 날카로운 오차항을 특징으로 하며, 2차 모멘트의 경우 작은 $r$ (예: $r=3, 4$)에 대해 2차 항을 포함한다.

2. 비소멸 결과:

   • 제곱 자유 아이디얼 (Theorem C): 1차 및 2차 모멘트에 적용된 몰리피케이션 방법을 사용하여, 저자들은 제곱 자유 아이디얼에 대해 중앙값 $L(1/2, \chi_a)$가 0이 아닌 경우가 양의 비율임을 증명한다. 그 비율은 $r=3$의 경우 최소 $\frac{1}{12} - \epsilon$이며, $r \geq 4$의 경우 $\frac{1}{4r+2} - \epsilon$이다.
   • 거듭제곱 자유 아이디얼 (Theorem F): $r$제곱 자유 아이디얼의 가족에 대해 양의 비율의 비소멸성을 확립한다. 그 비율은 오일러 곱(Euler products)을 포함하는 명시적인 상수로 주어지며, 이는 제곱 자유 사례로부터 도출된 자명한 경계값보다 엄격히 더 나은 것으로 나타났다.

3. 균일성 및 일반성:
   이 방법은 $2r$제곱근을 포함하는 임의의 전역체에 대해 균일하게 적용된다. 본 논문은 수체(number fields)에 초점을 맞추고 있으나, 저자들은 이 프레임워크가 리만 가설이 결과를 더욱 정교하게 만들 수 있는 함수체(function fields)에 대한 직접적인 유사성을 가짐을 언급한다.

의의 및 주장
본 논문은 $r \geq 5$인 $r$차 헤케 $L$-함수의 2차 모멘트에 대한 최초의 무조건적인 점근 공식을 제공한다고 주장한다. 의의는 접근 방식의 균일성에 있다. 낮은 $r$에 대한 특정 대 대형 체 추정치에 의존했던 이전 방법들과 달리, 이 방법은 벨 군 다중 디리클레 급수의 구조적 특성을 활용한다.

저자들은 자신들의 접근 방식이 완전히 체질(sieved)된 대상 수준에서는 보이지 않는 "더 깊은 해석적 정보"를 포착한다고 강조한다. 이는 $r=3$에서 점근 전개(asymptotic expansion)의 2차 항을 감지할 수 있는 능력과, 정교한 귀납적 논증을 통해 $r$제곱 자유 가족에 대해 더 날카로운 오차항을 도출해낸 점을 통해 입증된다.

본 논문은 다음과 같은 한계를 인정한다:

• $r=3$의 경우, 2차 모멘트 점근 공식의 오차항이 추측된 2차 항 $X^{5/6}$을 포착하기에는 약간 미치지 못하는데, 이는 현재의 삼차 대 대형 체 부등식 상태와 연결된 장벽 때문이다.
• $r=3$의 경우 비소멸 비율이 [DdFDS24]보다 약간 작게 나타나는데, 이는 기술적 복잡성을 높이지 않기 위해 절단된 뫼비우스 합(truncated Möbius sum)을 사용하여 몰리파이어 파라미터를 최적화하지 않았기 때문이다.
• $r \geq 4$의 경우, 1차 모멘트의 2차 항 계수들이 잘 이해되지 않은 휘태커 계수를 포함하고 있어, 이러한 항들의 명시적인 기술을 제한한다.

요약하자면, 이 연구는 고차 $L$-함수의 모멘트 계산의 지평을 넓혀, $r \geq 3$에 대한 견고한 프레임워크를 제공하고 이전에 도달하기 어려웠던 가족들에 대해 무조건적인 비소멸 결과를 확립한다.