[논문 리뷰] Non-vanishing and sign changes of Hecke eigenvalues for half-integral weight cusp forms

Bin Chen, Jianliang Wu|arXiv (Cornell University)|2015. 12. 28.

Advanced Algebra and Geometry참고 문헌 23인용 수 4

한 줄 요약

이 논문은 반정수 스플레트 형식의 헤크 특성값의 부호 변화, 영이 아닌 성질, 분포를 조사하며, 제곱 자유 수 $ t $ 에 대해 수열 $ \mathfrak{a}_{\mathfrak{f}}(tn^2) $ 에 초점을 맞춘다. 시무라 이우트를 통해 반정수 스플레트 형식을 정수 스플레트 모듈라 형식과 연결하고, 곱셈 함수 이론을 적용하여 첫 번째 음수 계수에 대한 상계 $ n_{\mathfrak{f}} \ll (k^2N)^{9/20} $ 를 확립하며, 영이 아닌 계수와 부호가 바뀐 계수의 양상에 대해 양의 밀도를 증명하고, $ \mathscr{B} $-자유 수 이론을 통해 짧은 간격과 등차수열에서 영이 아닌 항이 무한히 존재함을 보인다.

ABSTRACT

In this paper, we consider three problems about signs of the Fourier coefficients of a cusp form $\\mathfrak{f}$ with half-integral weight:\\begin{itemize}\\item[--]The first negative coefficient of the sequence $\\{\\mathfrak{a}\\_{\\mathfrak{f}}(tn^2)\\}\\_{n\\in \\N}$,\\item[--]The number of coefficients $\\mathfrak{a}\\_{\\mathfrak{f}}(tn^2)$ of same signs,\\item[--]Non-vanishing of coefficients $\\mathfrak{a}\\_{\\mathfrak{f}}(tn^2)$ in short intervals and in arithmetic progressions,\\end{itemize}where $\\mathfrak{a}\\_{\\mathfrak{f}}(n)$ is the $n$-th Fourier coefficient of $\\mathfrak{f}$ and $t$ is a square-free integersuch that $\\mathfrak{a}\\_{\\mathfrak{f}}(t)\ ot=0$.

연구 동기 및 목표

• 반정수 스플레트 형식의 수열 $ \{\mathfrak{a}_{\mathfrak{f}}(tn^2)\}_{n \in \mathbb{N}} $ 에서 첫 번째 음수 계수를 결정하는 것.
• 수열 $ \{\mathfrak{a}_{\mathfrak{f}}(tn^2)\} $ 에서 같은 부호를 가진 계수의 수를 정량화하는 것.
• 짧은 간격과 등차수열에서 $ \mathfrak{a}_{\mathfrak{f}}(tn^2) $ 가 영이 아닌지에 대한 결과를 확립하는 것.
• 이전의 부호 변화 연구를 확장하여 특성값 행동에 대한 효과적인 상계와 밀도 추정을 제공하는 것.

제안 방법

• 반정수 스플레트 형식을 정수 스플레트 모듈라 형식과 연결하기 위해 시무라 이우트를 활용하여, 후자의 분석 기법을 적용할 수 있도록 한다.
• 논문 [12, 13] 의 방법을 적용하여 $ k $ 와 $ N $ 에 대한 첫 번째 음수 계수 $ n_{\mathfrak{f}} $ 에 대한 상계를 유도한다.
• 곱셈 함수 이론과 지수 합 추정을 활용하여 영이 아닌 계수와 부호가 바뀐 계수의 밀도를 분석한다.
• 영이 아닌 조건을 모델링하기 위해 $ \mathscr{B}_{\mathfrak{f}} $-자유 수 체계를 도입하며, 체계적 선별 기법과 다중 지수 합 추정을 활용한다.
• 집합 $ \mathscr{B}_{\mathfrak{f}} $ 가 $ \mathscr{B} $-자유 수 이론의 조건을 충족함을 증명한다. 이는 역수 합의 수렴성과 상호소수 성질을 포함한다.
• 적분을 부분적으로 이용하고, $ \mathfrak{a}_{\mathfrak{f}}(tp^2) = 0 $ 인 소수 $ p $ 의 수에 대한 추정을 통해 $ \sum_{b \in \mathscr{B}_{\mathfrak{f}}} b^{-1} < \infty $ 의 수렴 조건을 검증한다.

실험 결과

연구 질문

• RQ1 부호가 음수이고 $ (n, N/2) = 1 $ 인 $ \mathfrak{a}_{\mathfrak{f}}(tn^2) < 0 $ 를 만족하는 가장 작은 $ n $ 은 무엇인가요?
• RQ2 수열 $ \{\mathfrak{a}_{\mathfrak{f}}(tn^2)\} $ 에서 같은 부호를 가진 항의 수는 몇 개인가요? 자연 밀도는 어떻게 되나요?
• RQ3 짧은 간격과 등차수열에서 계수 $ \mathfrak{a}_{\mathfrak{f}}(tn^2) $ 는 영이 아닌가요?
• RQ4 $ \mathscr{B} $-자유 수를 사용하여 영이 아닌 계수의 분포를 모델링할 수 있나요?

주요 결과

• 수열 $ \{\mathfrak{a}_{\mathfrak{f}}(tn^2)\} $ 에서 첫 번째 음수 계수 $ n_{\mathfrak{f}} $ 는 $ n_{\mathfrak{f}} \ll (k^2N)^{9/20} $ 를 만족하며, 여기서 음함수 상수는 $ k $ 와 $ N $ 에 독립적이다.
• $ x $ 이하에서 영이 아닌 계수 $ \mathfrak{a}_{\mathfrak{f}}(tn^2) $ 의 수는 점 渐진적으로 $ \rho_{\mathfrak{f}} x \{1 + O_{\mathfrak{f},\varepsilon}((\log x)^{-1/4 + \varepsilon})\} $ 로 표현되며, $ \rho_{\mathfrak{f}} > 0 $ 은 양의 밀도 상수이다.
• $ x $ 이하에서 양수 및 음수 계수 $ \mathfrak{a}_{\mathfrak{f}}(tn^2) $ 의 수는 각각 $ \frac{1}{2}\rho_{\mathfrak{f}} x \{1 + O_{\mathfrak{f},\varepsilon}((\log x)^{-1/4 + \varepsilon})\} $ 의 밀도를 가진다.
• 모든 $ \varepsilon > 0 $ 에 대해, $ y \gg x^{7/17 + \varepsilon} $ 인 경우, $ (x, x+y] $ 에서 $ \mathscr{B}_{\mathfrak{f}} $-자유 정수 $ n $ 이 $ \gg_{\mathscr{B}_{\mathfrak{f}},\varepsilon} y $ 개 존재하며, 이는 짧은 간격에서 $ \mathfrak{a}_{\mathfrak{f}}(tn^2) $ 가 영이 아니라는 것을 보장한다.
• 모든 $ q \leq x^{\varepsilon} $ 이고 $ \gcd(a,q) $ 가 $ \mathscr{B}_{\mathfrak{f}} $ 의 모든 $ b $ 와 서로소인 등차수열 $ n \equiv a \pmod{q} $ 에서, $ y \gg x^{17/38 + 100\varepsilon} $ 인 경우 $ \mathfrak{a}_{\mathfrak{f}}(tn^2) \neq 0 $ 인 $ n $ 이 $ \gg_{\mathscr{B}_{\mathfrak{f}},\varepsilon} y/q $ 개 존재한다.
• 집합 $ \mathscr{B}_{\mathfrak{f}} $ 는 $ \sum_{b \in \mathscr{B}_{\mathfrak{f}}} b^{-1} < \infty $ 와 상호소수 성질을 모두 만족하므로, $ \mathscr{B} $-자유 수 이론에 적용 가능함을 입증한다.