반정수 가중 히케 쿠스프 형태의 실제 영점 연구

초록

본 논문은 레벨 4의 반정수 가중 히케 쿠스프 형태에 대해, 무한대 cusp 근처의 작은 영역에서 영점이 두 수직 지오데시스 (Re s = −½, 0) 위에 집중한다는 Ghosh‑Sarnak 예측을 검증한다. 가중이 커짐에 따라 기대되는 영점 수에 거의 도달하는 경우를 다수의 형태에 대해 보이며, 양의 비율을 차지하는 형태에 대해서는 약한 하한도 얻는다. 핵심 도구는 이차 꼬임 L‑함수의 평균 1차·2차 모멘트 평가이다.

상세 분석

이 연구는 반정수 가중 히케 쿠스프 형태 (g\in S_{k+1/2}^{+}(4)) 의 영점 분포를, 고전적인 정수 가중 형태에 대한 Ghosh‑Sarnak의 “실제 영점” 현상과 직접 연결한다는 점에서 혁신적이다. 먼저 저자는 무한대 cusp (\infty) 주변의 Siegel 집합 (F_Y={z\in F:\operatorname{Im}z\ge Y}) 내에서 영점이 차지하는 비율을, 가중 (k) 와 (Y) 의 관계 (\sqrt{k}\log k\ll Y\ll k^{1-\delta}) 하에 정량화한다. 핵심 아이디어는 (\sigma\in{-\tfrac12,0}) 위의 점 (\sigma+iy_\ell) (여기서 (y_\ell\approx (k-\tfrac12)/(4\pi\ell))) 에서 함수값이 단일 푸리에 계수 (c_g(\ell)) 에 의해 지배된다는 사실이다. 따라서 영점 존재는 (c_g(\ell)) 의 부호 변화와 동치가 된다.

반정수 형태는 푸리에 계수가 제곱수에 대해서만 곱셈성을 갖기 때문에, 기존 정수 가중 경우에 사용된 곱셈적 기법을 그대로 적용할 수 없다. 저자는 이를 극복하기 위해 두 가지 전략을 도입한다. 첫째, 고정된 기본 판별식 (d) 에 대해 (c_g(|d|p^2)=c_g(|d|)(\lambda_f(p)-\chi_d(p)\sqrt p)) 이라는 Shimura‑Lift 관계(식 (2.1))를 활용해, (c_g(|d|)) 의 크기를 Waldspurger 공식과 연결한다. 둘째, Iwaniec‑Sarnak의 몰리피어 기법을 차용해 (L(1/2,f\otimes\chi_d)) 의 평균값을 정밀히 추정하고, 이를 통해 (|c_g(|d|)|) 가 기대값 (k^{-1/2+\theta}) 이하인 형태가 적어도 ((\tfrac14-\varepsilon)) 비율로 존재함을 보인다(정리 2.1).

이러한 모멘트 추정은 곱셈성 부재를 보완하는 역할을 하며, 결과적으로 두 가지 주요 정리를 얻는다. 정리 1.1은 (K) 근처의 가중을 갖는 형태 중 (\gg_\varepsilon K^2/(\log K)^{3/2+\varepsilon}) 개가 기대되는 영점 수 (\asymp KY/(\log K)^{3/2}) 을 거의 달성함을 보여준다. 정리 1.3은 전체 형태의 절반 이상에 대해, 보다 약한 하한 (\gg KY) 을 확보한다. 이는 정수 가중 경우에 알려진 결과와 구조적으로 유사하지만, 반정수 가중 상황에서 처음으로 얻어진 정량적 결과이다.

또한 논문은 실질적인 기술적 난관을 상세히 설명한다. 예를 들어, 푸리에 계수 (c_g(n)) 의 실수성은 (g) 를 실수값으로 정규화함으로써 확보하지만, (c_g(1)) 을 1로 정규화할 수 없다는 점이 기저 선택에 자유도를 남긴다. 이는 평균값 계산에 있어 조화로운 가중치를 도입해야 함을 의미한다. 저자는 Iwaniec‑Sarnak의 “harmonic weight 제거” 기법을 변형해, 형태들의 L‑함수 평균에 대한 정확한 상수를 얻고, 이를 몰리피어와 결합해 최종적인 부호 변화 결과를 도출한다.

전반적으로 이 논문은 반정수 가중 히케 쿠스프 형태의 영점 분포에 대한 첫 번째 체계적 연구이며, L‑함수 평균 이론, Waldspurger 공식, Shimura‑Lift 관계, 몰리피어 기법을 융합한 방법론은 향후 다른 반정수 자동형식(예: Maaß 형태)에도 적용 가능성을 시사한다.