Signs of Square-Free Fourier Coefficients of Half-Integral weight cusp forms and the Congruent Number Problem

기술 요약: 반정수 가중치 셉트 폼(Cusp Form)의 제곱 자유 푸리에 계수의 부호 및 순수 정수 문제(Congruent Number Problem)

문제 정의
본 논문은 반정수 가중치 셉트 폼의 제곱 자유 푸리에 계수의 부호 분포를 조사한다. 구체적으로, $X$까지의 양수와 음수 계수의 개수가 무한히 많은 부호 변화를 보장할 만큼 충분히 큰지를 결정하는 문제를 다룬다. 이 연구는 특정 가중치 $3/2$ 계수인 $\Delta(t)$의 부호가 홀수 제곱 자유 정수 $t$에 대해 $r_{Q_1}(t) > r_{Q_2}(t)$와 $r_{Q_1}(t) < r_{Q_2}(t)$ 중 어느 쪽인지를 구별해 주는 순수 정수 문제(Congruent Number Problem)에 의해 동기 부여되었다. Waldspurger의 공식은 이 계수의 제곱을 중심 $L$-값 $L(E_t, 1)$과 연관시키지만, 그 부호 자체를 결정하지는 못한다. Hulse, Kıral, Kuan, 그리고 Lim의 선행 연구는 레벨 4 폼에 대해 무한한 부호 변화를 확립했으나, 이를 일반적인 레벨로 확장하기 위해서는 가법적 트위스트(additive twists)에 관한 상당한 해석적 난제를 극복해야 했다.

방법론
저자들은 디리클레 급수의 연속성과 랭킨-셀베르그(Rankin–Selberg) 방법을 중심으로 하는 해석적 정수론 기법들을 결합하여 사용한다.

1. 가법적 트위스트의 함수 방정식: 주요 기술적 혁신은 일반적인 레벨 $N$ (단, $4|N$)에 대하여 임의의 첨점(cusp)에서의 반정수 가중치 폼의 가법적 트위스트에 대한 함수 방정식을 유도한 것이다. 첨점의 분모에 따라 케이스를 나누어 처리했던 기존의 레벨 4 분석과 달리, 저자들은 유리수 점 $u/d$에서의 트위스트를 대응하는 첨점에서의 푸리에 전개와 연결하는 통일된 함수 방정식(Lemma 2.2)을 구축한다. 이를 위해 특정 스케일링 행렬을 구성하고 메토플렉틱 덮개(metaplectic cover)를 활용하여 오토모피(automorphy) 인자를 처리한다.
2. 제곱 자유 급수의 해석적 연속: 유도된 함수 방정식을 사용하여, 제곱 자유 계수의 디리클레 급수 $M_f(s) = \sum_{t \text{ sq-free}} a_f(t)t^{-s}$를 $\Re(s) > 3/4$ 영역까지 연속시킨다. 이는 급수를 가법적 트위스트로 표현하고, 함수 방정식을 적용하여 인수를 임계선으로 이동시킨 뒤, 프라그멘-린델로프 원리(Phragmén–Lindelöf principle)를 사용하여 임계 구역 내에서의 성장도를 제한함으로써 달성된다.
3. 랭킨-셀베르크 제2 모멘트: 저자들은 제곱 자유 계수의 제2 모멘트 $B_f(X) = \sum_{t \le X, \text{sq-free}} |a_f(t)|^2$에 대한 하한을 설정한다. 모든 정수에 대한 합을 (Lau, Royer, Wu의 방식과 유사한 전이 논증을 통해) 제곱 자유 정수에 대한 합으로 연결하고, 아이젠슈타인 급수의 스펙트럼 이론을 적용함으로써 $B_f(X) \asymp_f X$임을 증명한다.
4. 부호 분포 논증: $\Re(s) > 3/4$에서의 해석적 연속으로부터 도출된 부호가 있는 합 $S_f(X) = \sum a_f(t)W(t/X)$의 상한과 절대값의 합 $A_f(X)$의 하한을 결합하여, 양수와 음수의 기여가 모두 상당할 수밖에 없음을 입증한다. 이는 각 부호의 계수가 대거 존재해야 함을 강제한다.

주요 기여 및 결과

• 일반 레벨 부호 정리 (Theorem 1.1): 저자들은 $4|N$을 만족하고, 고유 폼 조건을 충족하며, 0이 아닌 셉탈 쉬미라 리프트(cuspidal Shimura lift)를 가지고, (가중치 $k=3$인 경우) 유너리 세타 부분 공간(unary theta subspace)에 직교하는 반정수 가중치 셉트 폼 $f \in S_{k/2}(\Gamma_0(N))$에 대하여, $X$까지의 양수 및 음수 제곱 자유 계수의 개수가 다음을 만족함을 증명한다:
  $$P_f^\pm(X) \gg_{f,\varepsilon} X^{4/7-\varepsilon}$$
  결과적으로, 계수는 무한히 많은 부호 변화를 갖는다.
• 순수 정수 문제에의 적용 (Theorem 1.2): 타원 곡선 $E: y^2 = x^3 - x$와 관련된 가중치 $3/2$ 폼 $\Psi$에 위 일반 정리를 적용하여, 홀수 제곱 자유 정수 $t \le X$에 대해 다음을 증명한다:
  $$\#\{t \le X : r_{Q_1}(t) > r_{Q_2}(t)\} \gg_\varepsilon X^{4/7-\varepsilon}$$
  및
  $$\#\{t \le X : r_{Q_1}(t) < r_{Q_2}(t)\} \gg_\varepsilon X^{4/7-\varepsilon}.$$
  이는 $\Delta(t)$가 무한히 많은 번 부호가 바뀜을 확인해 준다.
• 비순수 정수(Non-Congruent Numbers): 저자들은 $\Delta(t) \neq 0$ (이로 인해 $\Delta(t) \neq 0$임이 암시됨)인 경우 $L(E_t, 1) \neq 0$이므로, 코츠-와일스(Coates–Wiles) 정리에 의해 $E_t$의 모델-바일(Mordell–Weil) 랭크가 0임을 명시한다. 따라서 Theorem 1.2에서 계산된 모든 정수는 비순수 정수이다.

의의
이 논문의 주요 의의는 제곱 자유 계수의 부호 변화에 관한 알려진 결과를 레벨 4에서 4를 약수로 갖는 일반적인 레벨 $N$으로 확장했다는 데 있다. 저자들은 이 일반화 과정에서의 "주요 새로운 쟁점"이 임의의 첨점에서의 가법적 트위스트 처리이며, 이를 새로운 함수 방정식을 구축함으로써 해결했다고 명시한다.

순수 정수 문제와 관련하여, 본 논문은 두 표현 횟수($r_{Q_1}$과 $r_{Q_2}$)를 구별하는 산술 함수가 한쪽 부호로 편향되지 않고, 두 부호가 모두 빈번하게 발생함을 엄밀하게 증명한다. 비록 본 논문이 $\Delta(t)$ 자체의 부호에 대한 새로운 산술적 해석을 제공하지는 않지만(그러한 해석은 현재 미지의 영역이라고 언급함), 이 기준으로부터 발생하는 비순수 정수의 밀도를 확립한다.

저자들은 부호 분포에 대해 겸손한 태도를 유지하며, 부호가 점근적으로 균등 분포($N_+(X) \sim N_-(X)$)되어 있음을 시사하는 수치 데이터(Table 1)를 제시하지만, 이를 증명된 결과가 아닌 추측 5.1(Conjecture 5.1)로 제시한다. 논문은 부호 변화가 무한하며, 양수와 음수의 계수 개수가 동일한 차수 $X^{4/7-\varepsilon}$를 가짐을 결론짓는다.