[논문 리뷰] Sign changes of coefficients of half integral weight modular forms

Jan Hendrik Bruinier, Winfried Kohnen|ArXiv.org|2007. 09. 13.

Analytic Number Theory Research인용 수 4

한 줄 요약

이 논문은 반정수 스펙트럼의 모듈라 형식의 푸리에 계수에서의 부호 변화를 조사하며, 실수 네벤티푸스를 가진 히케 고유형식의 경우, 고정된 제곱-free $ t $ 와 $ N $ 에 대해 나누어지지 않는 소수 $ p $ 에 대해 계수 $ a(tp^{2m}) $ 가 무한히 많은 부호 변화를 보임을 증명한다. 시무라 이전과 $ L $-함수 이론을 사용하여 이러한 수열에 대해 조건 없는 결과를 확립하며, 약한 조건 하에서 고유형식이 아닌 경우에도 이를 확장한다.

ABSTRACT

For a half integral weight modular form $f$ we study the signs of the Fourier coefficients $a(n)$. If $f$ is a Hecke eigenform of level $ N$ with real Nebentypus character, and $t$ is a fixed square-free positive integer with $a(t) eq 0$, we show that for all but finitely many primes $p$ the sequence $(a(tp^{2m}))_{m}$ has infinitely many signs changes. Moreover, we prove similar (partly conditional) results for arbitrary cusp forms $f$ which are not necessarily Hecke eigenforms.

연구 동기 및 목표

• 반정수 스펙트럼의 모듈라 형식의 푸리에 계수에서의 부호 분포를 이해하는 것, 특히 수열 $ a(tn^2) $ 과 $ a(tp^{2m}) $ 에 중점을 두어.
• 이 계수 수열이 무한히 많은 부호 변화를 보이는지, 특히 $ f $ 가 히케 고유형식이거나 일반적인 코어스 포름일 경우를 판단하는 것.
• 부호 변화가 이징스타인 항의 주요 항에서의 편차를 나타내는 이차형식의 표현 수에 대한 영향을 탐색하는 것.
• 표준 추측(예: 초우라의 추측) 하에서 조건 없는 결과를 확립하고, 히케 연산자 및 $ L $-함수 분석을 통해 새로운 조건 없는 정리를 증명하는 것.
• 기본 판별식과 모든 정수에서 양수 및 음수 계수의 균등 분포를 시사하는 수치적 증거를 제공하는 것.

제안 방법

• 반정수 스펙트럼의 코어스 포름 $ f \in S_{k+1/2}^*(N,\chi) $ 를 $ S_{2k}(N/2, \chi^2) $ 에 있는 정수 스펙트럼 형식으로 시무라 대응을 통해 이전하며, 히케 고유값의 구조를 유지한다.
• L-함수 이론과 발트스부르거의 정리를 적용하여, $ F $ 가 $ f $ 의 정수 스펙트럼 이전일 때 $ a(t)^2 $ 와 $ L(F, \chi_t, s) $ 의 중심 임계 값 사이의 관계를 규명한다.
• 특히 $ T(p) $ 의 작용을 고려한 $ S_{2k}(N/2, \chi^2) $ 에서의 히케 연산자 이론을 활용하여 고유값의 범위를 유도하고, 부호 변화가 없음을 가정했을 경우의 모순을 도출한다.
• 피터슨 내적을 사용하여 옥스터고널 보완 $ S_{k+1/2}^*(N,\chi) $ 를 정의하여 단항 테타 급수의 기여를 배제함으로써, 코어스 포름 성분이 0이 아님을 보장한다.
• Br의 결과를 활용하여 이차형식의 와이프트와 $ L $-함수의 비영성에 대해, 초우라의 추측 하에서 부호 변화 기준을 확립한다.
• 델리뉴의 경계에서 유도된 특정 히케 고유값이 존재하지 않는다는 모순을 통해, $ (-p^k - p^{k-1}, p^k + p^{k-1}) $ 범위 내에서의 고유값이 존재하지 않음을 증명한다.

실험 결과

연구 질문

• RQ1 고정된 히케 고유형식 $ f $, 제곱-free $ t $ (여기서 $ a(t) \neq 0 $) 및 $ N $ 에 대해 나누어지지 않는 소수 $ p $ 에 대해, 계수 $ a(tp^{2m}) $ 가 무한히 많은 부호 변화를 보이나?
• RQ2 고정된 $ t \in \mathbb{D} $ 에 대해, $ f $ 가 반드시 히케 고유형식이 아니더라도, 수열 $ a(tn^2) $ 가 무한히 많은 부호 변화를 보이는 조건은 무엇인가?
• RQ3 히케 고유형식이 아님을 가정하더라도, $ a(tn_t^2) $ 가 어떤 $ n_t \in \mathbb{N} $ 에 대해 무한히 많은 부호 변화를 보이는 제곱-free $ t $ 가 무한히 존재하는가?
• RQ4 기본 판별식 $ d $ 에 대한 계수 $ a(d) $ 의 부호 분포는 어떻게 되며, $ X \to \infty $ 일 때 50-50 분포에 수렴하는가?
• RQ5 반정수 스펙트럼 형식의 부호 변화 성질이 이차형식의 표현 수에서 오차 항과 어떻게 관련되는가?

주요 결과

• 실수 네벤티푸스를 가진 히케 고유형식 $ f \in S_{k+1/2}^*(N,\chi) $ 와 $ a(t) \neq 0 $ 인 경우, 모든 $ N $ 에 대해 나누어지지 않는 소수 $ p $ 에 대해 거의 유한한 수의 제외를 제외한 나머지 모든 $ p $ 에 대해 수열 $ (a(tp^{2m}))_m $ 이 무한히 많은 부호 변화를 보이며, 이 결과는 조건 없이 성립한다.
• 초우라의 추측(즉, $ L(s, \chi_{t,N}) $ 가 $ (0,1) $ 에 영점이 없다) 하에, $ f $ 가 식별적으로 0이 아니면 수열 $ (a(tn^2))_n $ 이 무한히 많은 부호 변화를 보인다.
• 일반적인 코어스 포름 $ f \in S_{k+1/2}^*(N,\chi) $ (특히 고유형식이 아님) 에 대해서는, $ f $ 가 단항 테타 급수와 옥스터고널일 경우(특히 $ k=1 $ 에서), 무한히 많은 제곱-free $ t $ 가 존재하여 어떤 $ n_t $ 에 대해 $ a(tn_t^2) $ 가 무한히 많은 부호 변화를 보인다.
• 델타 함수 $ \delta(z) $ 와 $ g(z) $ 의 수치적 데이터는, 모든 비영인 계수 중에서 양수 계수의 비율이 $ X \to \infty $ 일 때 $ 1/2 $ 에 수렴함을 시사하며, 이는 모든 $ n \leq X $ 와 기본 판별식에 대해 모두 해당된다.
• $ g(z) $ 에서는 $ X = 10^6 $ 에서 $ R^{+}_{tot}(g,X) $ 가 약 $ 0.5 $ 근처에서 안정화되고, $ R^{+}_{fund}(g,X) $ 도 $ 0.5 $ 에 수렴함을 보여, 균등 분포를 지지한다.
• 히케 고유값 경계에 기반한 모순 증명은, 모든 $ a(n) \geq 0 $ 이고 $ (n/p) = \varepsilon $ 라면 고유값 $ \lambda_p = -\varepsilon \chi^*(p)(p^k + p^{k-1}) $ 가 존재하게 되며, 이는 델리뉴의 경계 $ |\lambda| < p^k + p^{k-1} $ 를 위반하므로, 반드시 부호 변화가 발생해야 한다는 것을 증명한다.