[论文解读] Sign changes of coefficients of half integral weight modular forms

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

Analytic Number Theory Research被引用 4

一句话总结

本文研究了半整数权模形式傅里叶系数中的符号变化，证明了对于具有实特征的Hecke特征形式，当固定无平方因子 $ t $ 且 $ p \nmid N $ 时，系数 $ a(tp^{2m}) $ 有无穷多次符号变化。通过使用Shimura提升和 $ 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 $ 为Hecke特征形式或一般尖点形式时。
• 探讨这些符号变化对二次型表示数的影响，其中尖点形式系数的符号变化对应于主Eisenstein项的偏离。
• 在标准猜想（如Chowla猜想）下建立无条件结果，并通过Hecke算子和 $ L $-函数分析证明新的无条件定理。
• 提供数值证据，表明在基本判别式和所有整数中，正负系数趋于等分布。

提出的方法

• 利用Shimura对应将半整数权尖点形式 $ f \in S_{k+1/2}^*(N,\chi) $ 提升为 $ S_{2k}(N/2, \chi^2) $ 中的整数权形式，同时保持Hecke特征值结构。
• 应用 $ L $-函数理论和Waldspurger定理，将 $ a(t)^2 $ 与扭曲 $ L $-函数 $ L(F, \chi_t, s) $ 在中心临界点的值联系起来，其中 $ F $ 是 $ f $ 的整数权提升。
• 在 $ S_{2k}(N/2, \chi^2) $ 上应用Hecke算子理论，特别是 $ T(p) $ 的作用，推导特征值的界，并在假设无符号变化时导出矛盾。
• 使用Petersson内积定义正交补 $ S_{k+1/2}^*(N,\chi) $，排除单变量theta级数的贡献，确保尖点形式分量非零。
• 应用[Br]中关于二次扭曲和 $ L $-函数非零性的结果，基于Chowla猜想建立符号变化判别准则。
• 通过Hecke特征值在范围 $ (-p^k - p^{k-1}, p^k + p^{k-1}) $ 内不存在的矛盾论证，该结论源自Deligne的界。

实验结果

研究问题

• RQ1 对于固定的Hecke特征形式 $ f $，无平方因子 $ t $ 满足 $ a(t) \neq 0 $，以及 $ p \nmid N $ 的素数 $ p $，序列 $ a(tp^{2m}) $ 是否有无穷多次符号变化？
• RQ2 在何种条件下，序列 $ a(tn^2) $（$ t \in \mathbb{D} $ 固定）具有无穷多次符号变化，特别是当 $ f $ 不一定是Hecke特征形式时？
• RQ3 是否可以证明存在无穷多个无平方因子 $ t $，使得对某个 $ n_t \in \mathbb{N} $，$ a(tn_t^2) $ 有无穷多次符号变化，即使不假设 $ f $ 是Hecke特征形式？
• RQ4 对于基本判别式 $ d $，系数 $ a(d) $ 的符号分布如何？当 $ X \to \infty $ 时，是否趋于 50-50 的比例？
• RQ5 半整数权形式的符号变化特性如何与二次型表示数中的误差项相关？

主要发现

• 对于具有实特征的Hecke特征形式 $ f \in S_{k+1/2}^*(N,\chi) $ 且 $ a(t) \neq 0 $，对所有除有限多个外的素数 $ p \nmid N $，序列 $ (a(tp^{2m}))_m $ 有无穷多次符号变化，且该结果为无条件成立。
• 在Chowla猜想（$ L(s, \chi_{t,N}) $ 在 $ (0,1) $ 内无零点）下，若 $ f $ 不恒为零，则序列 $ (a(tn^2))_n $ 有无穷多次符号变化。
• 对于一般尖点形式 $ f \in S_{k+1/2}^*(N,\chi) $（不一定是特征形式），若 $ f $ 正交于单变量theta级数（当 $ k=1 $ 时），则存在无穷多个无平方因子 $ t $，使得对某个 $ n_t $，$ a(tn_t^2) $ 有无穷多次符号变化。
• 对 $ \delta(z) $ 和 $ g(z) $ 的数值数据表明，所有非零系数中正系数的比例随 $ X \to \infty $ 趋近于 $ 1/2 $，无论对所有 $ n \leq X $ 还是对基本判别式均成立。
• 对于 $ g(z) $，比例 $ R^{+}_{tot}(g,X) $ 在 $ X = 10^6 $ 时趋于稳定在 0.5 附近，且 $ R^{+}_{fund}(g,X) $ 趋近于 0.5，支持等分布性。
• 基于Hecke特征值界而导出的矛盾论证表明，若假设对所有满足 $ (n/p) = \varepsilon $ 的 $ n $ 都有 $ a(n) \geq 0 $，则会得到特征值 $ \lambda_p = -\varepsilon \chi^*(p)(p^k + p^{k-1}) $，这违反了Deligne的界 $ |\lambda| < p^k + p^{k-1} $，从而证明符号变化必然发生。