On the Real Zeroes of Half-integral Weight Hecke Cusp Forms

기술 요약: 반정수 가중치 헤케 큐스프 폼의 실수 제로(Real Zeroes)에 관하여

문제 정의
본 논문은 $\Gamma_0(4)\backslash\mathbb{H}$ 상의 반정수 가중치 헤케 큐스프 폼(half-integral weight Hecke cusp forms)의 제로가 무한대 첨부(cusp at infinity) 근처에서 갖는 분포를 조사한다. 구체적으로, 본 논문은 가중치 $k \to \infty$일 때, 수축하는 지겔 집합(Siegel sets) $F_Y = \{z \in F : \text{Im}(z) \ge Y\}$ (여기서 $Y \to \infty$) 내에 존재하는 큐스프 폼의 제로들이 두 특정한 수직 측지선(vertical geodesics) $\delta_1 = \{s \in \mathbb{C} : \text{Re}(s) = -1/2\}$와 $\delta_2 = \{s \in \mathbb{C} : \text{Re}(s) = 0\}$에 집중된다는 Ghosh–Sarnak 추측의 유사 문제를 다룬다. 이 선들은 큐스프 폼이 특정 정규화 하에서 해당 직선 위에서 실수 값을 취하기 때문에 "실수 제로(real zeroes)"라고 불린다.

반정수 가중치 폼의 기본 영역(fundamental domain) 내에서의 제로의 등분포성(equidistribution)은 Lester와 Radziwiłł에 의해 일반화된 리만 가설(GRH)을 조건으로 확립되었으나, 작은 척도(small scales, 즉 첨부 근처)에서의 더 미세한 분포적 거동은 아직 탐구되지 않았다. 주요 장애물은 반정수 가중치 폼의 푸리에 계수(Fourier coefficients)가 정수 가중치 폼이 가진 완전한 곱셈성(multiplicativity)을 결여하고 있다는 점이며, 이로 인해 정수 가중치 사례에서 사용되는 표준 기법들(예: Ghosh–Sarnak, Matomäki, Lester–Matomäki–Radziwiłł의 연구)을 적용할 수 없다.

방법론
저자는 큐스프 폼의 제로를 감지하는 문제를 큐스프 폼의 푸리에 계수의 부호 변화(sign changes)를 연구하는 문제로 환원하는 전략을 채택한다. 핵심적인 기술적 접근법은 반정수 가중치 폼 $g$를 무게 $2k$인 정수 가중치 폼 $f$와 연결하는 시무라 대응(Shimura correspondence)을 활용하여 두 가지 뚜렷한 경로를 구축하는 것이다.

1. 부호 변화로의 환원:
   급속 감소 논증(steep descent argument, Proposition 6.1)을 사용하여, 저자는 $\delta_j$ 상에서의 큐스프 폼 $g$의 값이 특정 $\ell$에 대한 단일 푸리에 계수 $c_g(\ell)$에 의해 본질적으로 결정됨을 입증한다. 결과적으로, 이 선들 위에서 제로를 찾는 것은 $\ell$이 변함에 따라 푸리에 계수 수열 $c_g(\ell)$의 부호 변화를 감지하는 것과 대응된다.

2. 정리 1.1을 위한 접근 (많은 폼, 최적의 개수):
   많은 수의 폼(구체적으로 $\gg_\varepsilon K^2/(\log K)^{3/2+\varepsilon}$)이 기대되는 수의 실수 제로를 갖는다는 것을 증명하기 위해, 저자는 $d$가 기본 판별식(fundamental discriminants)을 순회할 때의 푸리에 계수 $c_g(|d|)$를 분석한다.

• L-함수의 모멘트: 증명은 이차 꼬리 이차 쿼드라틱 ���스트(quadratic twists)의 모듈러 L-함수 $L(1/2, f \otimes \chi_d)$의 1차 및 2차 모멘트를 추정하는 것에 의존한다. Waldspurger 공식에 의해, $|c_g(|d|)|^2$은 이러한 L-값들에 비례한다.
• 평균화(Averaging): 저자는 폼의 가계(family)와 가중치 $k$에 대해 평균을 낸다. 이러한 평균화는 필수적인데, 왜냐하면 컨덕터(conductor)의 로그와 가계 크기의 로그 사이의 비율이 추가적인 평균화 없이는 표준적인 점근 공식이 적용되기에는 너무 크기 때문이다.
• 단구간(Short Intervals): 저자는 많은 폼에 대하여, 짧은 구간 $[x, x+H]$에서의 계수의 합이 부호 변화를 보임을 입상한다. 이는 계수의 1차 모멘트(Lemma 2.7)와 4차 모멘트(Lemma 2.8)를 바운드함으로써 달성되며, 이를 위해 반정수 가중치 폼에 대한 페테르손 공식(Petersson formula)과 Deshouillers 및 Iwaniec의 대형 체(large sieve) 부등식을 활용한다.

3. 정리 1.3을 위한 접근 (양의 비율을 갖는 폼):
   양의 비율을 갖는 폼에 대한 결과를 확립하기 위해, 저자는 제곱 인자에서의 푸리에 계수의 곱셈성을 이용한다.

• 곱셈적 구조: 고정된 기본 판별식 $d$에 대하여, 수열 $c_g(|d|m^2)$은 $m$에 대해 곱셈적으로 행동한다.
• 몰리파이어(Mollification): 저자는 $c_g(|d|)$의 크기를 다루기 위해 Iwaniec–Sarnak 몰리파이어를 사용한다. Proposition 2.1은 양의 비율을 갖는 폼들에 대해 $|c_g(|d|)|$가 너무 작지 않음을 확립한다.
• 부호 변화: 곱셈 함수에 관한 결과(특히 Lester, Matomäki, Radziwiłł의 논증을 응용)를 적용함으로써, 저자는 수열 $c_g(|d|m^2)$이 양의 비율을 갖는 폼들에 대해 부호 변화를 일으킨다는 것을 보여준다.

주요 기여 및 결과

• 정리 1.1: 가중치가 $K$ 이하인 코헨 플러스 부분공간(Kohnen plus subspace) 내의 반정수 가중치 헤케 큐스프 폼 중 $\gg_\varepsilon K^2/(\log K)^{3/2+\varepsilon}$에 대하여, 영역 $F_Y$ (여기서 $\sqrt{K}\log K \le Y \le K^{1-\delta}$) 내의 각 측지선 $\delta_j$ 상의 실수 제로의 개수는 $\gg K/Y (\log K)^{-23/2}$이다. 이 계산은 로그 차수까지 최적이며, 도메인의 넓이로부터 유도된 기대율과 일치한다.
• 정리 1.3: 동일한 가계 내의 폼 중 적어도 $(1/2 - \varepsilon)$에 대하여, 동일한 범위의 $Y$ 내의 각 측지선 $\delta_j$ 상의 실수 제로의 개수는 $\gg \sqrt{K/Y}$이다. 이는 양의 비율을 갖는 폼들에 대해 성립하는 하한을 제공하지만, "많은 폼" 결과보다는 약한 성장률을 보인다.
• 기술적 혁신: 본 논문은 시무라 대응과 가중치에 대한 평균화를 결러 반정수 가중치 계수의 곱셈성 결여를 처리하는 방법론을 도입한다. 또한 코헨 플러스 부분공간에 대해 평균화된 이차 꼬리 쿼드라틱 ���스트의 L-함수 모멘트에 대한 새로운 추정치를 제공한다.

의의 및 주장
저자는 이것이 반정수 가중치 헤케 큐스프 폼의 작은 척도 제로 분포에 관한 최초의 결과라고 주장한다. 이 연구는 정수 가중치 폼과 반정수 가중치 폼 사이의 구조적 차이(특히 완전한 곱셈성의 결여)에도 불구하고, 제로가 특정 측지선에 집중되는 현상이 지속된다는 것을 보여준다.

본 논문은 기술적 방법론이 정수 가중치 설정과는 근본적으로 다르다고 명시한다. 정수 가중치 사례가 부호 변화를 직접 연구하기 위해 계수의 곱셈성에 크게 의존하는 반와 달리, 반정수 가중치 설정은 L-함수 모멘트 추정과 시무라 리프트(Shimura lift)의 특정한 산술적 성질 사이의 더 복잡한 상호작동을 요구한다. 저자는 정리 1.1의 결과가 로그 인자까지 최적이라고 겸허히 밝히며, 사용된 방법론이 이전 연구들과 구별됨을 강조한다. 즉, 정수 가중치 사례에서 가용한 강력한 결과들 없이도 이 제로들에 대한 비자명한 정보를 도출할 수 있음을 보여준다.

본 논문은 완전한 Ghosh–Sarnak 추측(모든 제로가 이 선들에 집중된다는 것)을 증명하거나, 정리 1.1의 계산에서 로그 손실을 제거한다고 주장하지 않는다. 또한 몰리파이어를 사용하여 정리 1.1의 결과를 양의 비율을 갖는 폼으로 확장하는 것이 여전히 도전적인 열린 문제임을 언급하였으나, 주석을 통해 오일러 곱 몰리파이어(Euler product mollifier)를 사용하는 후속 결과가 얻어졌음을 언급하였다.