On the Real Zeroes of Half-integral Weight Hecke Cusp Forms

技术摘要：关于半整权重 Hecke 尖点形式实零点的研究

问题陈述
本文研究了半整权重 Hecke 尖点形式在位于 $\Gamma_0(4)\backslash\mathbb{H}$ 的无穷远尖点附近的零点的分布。具体而言，它探讨了 Ghosh–Sarnak 猜想的类似情形，该猜想认为，当权重 $k \to \infty$ 时，位于收缩的 Siegel 集 $F_Y = \{z \in F : \text{Im}(z) \ge Y\}$（其中 $Y \to \infty$）中的此类形式的零点会集中在两条特定的垂直测地线上：$\delta_1 = \{s \in \mathbb{C} : \text{Re}(s) = -1/2\}$ 和 $\delta_2 = \{s \in \mathbb{C} : \text{Re}(s) = 0\}$。由于这些尖点形式在特定归一化下在这些直线上取实值，因此这些线被称为“实”零点所在的线。

虽然 Lester 和 Radziwiłł 已在广义黎曼假设（GRH）的条件下证明了半整权重形式在基本域内的零点等分布性，但针对此类情形在小尺度（靠近尖点处）的更精细分布行为尚未得到探索。一个主要的障碍在于，半整权重形式的傅里叶系数缺乏整权重形式所具有的完全乘性，这使得标准技术（例如来自 Ghosh–Sarnak、Matomäki 以及 Lester–Matomäki–Radziwiłł 的技术）无法直接应用于此。

方法论
作者采用了一种策略，将检测实零点的问题简化为研究尖点形式傅里叶系数的符号变化。其核心技术路径是通过 Shimura 对应关系将半整权重形式 $g$ 与权重为 $2k$ 的整权重形式 $f$ 联系起来，从而建立这些符号变化。

1. 简化为符号变化：
   利用陡降法（Proposition 6.1），本文确立了尖点形式 $g$ 在直线 $\delta_j$ 上的值本质上由特定 $\ell$ 的单个傅里叶系数 $c_g(\ell)$ 决定。因此，在这些直线上寻找零点等价于检测序列 $c_g(\ell)$ 随 $\ell$ 变化时的符号变化。

2. 针对定理 1.1 的方法（大量形式，最优计数）：
   为了证明有大量形式（具体为 $\gg_\varepsilon K^2/(\log K)^{3/2+\varepsilon}$）具有预期的实零点数量，作者分析了当 $d$ 遍历基本判别式时，傅里叶系数 $c_g(|d|)$ 的性质。

• L-函数的矩： 证明依赖于对二次扭转模 L-函数 $L(1/2, f \otimes \chi_d)$ 的一阶和二阶矩的估计。根据 Waldspurger 公式，$|c_g(|d|)|^2$ 与这些 L-值成比例。
• 平均化： 作者对形式族及其权重 $k$ 进行平均。这种平均化至关重要，因为导体对数的对数与族规模对数的比值过大，若不进行额外的平均化，则无法使用标准的渐近公式。
• 短区间： 论证过程涉及展示对于许多形式，系数在短区间 $[x, x+H]$ 上的和表现出符号变化。这是通过利用半整权重形式的 Petersson 公式和 Deshouillers 及 Iwaniec 的大筛不等式来限制系数的一阶矩（Lemma 2.7）和四阶矩（Lemma 2.8）来实现的。

3. 针对定理 1.3 的方法（正比例形式）：
   为了建立关于正比例形式的结果，作者利用了平方项处傅里叶系数的乘性。

• 乘性结构： 对于固定的基本判别式 $d$，序列 $c_g(|d|m^2)$ 在 $m$ 方面表现出乘性。
• 软化法（Mollification）： 证明利用 Iwaniec–Sarnak 软化子来处理 $c_g(|d|)$ 的大小。Proposition 2.1 确立了对于正比例的形式，$|c_g(|d|)|$ 不会过小。
• 符号变化： 通过应用关于乘性函数符号变化的结果（具体是通过改编 Lester, Matomäki, 和 Radziwiłł 的论证），本文证明了对于正比例的形式，序列 $c_g(|d|m^2)$ 会发生符号变化。

主要贡献与结果

• 定理 1.1： 对于在权重不超过 $K$ 的 Kohnen plus 子空间中，有 $\gg_\varepsilon K^2/(\log K)^{3/2+\varepsilon}$ 的半整权重 Hecke 尖点形式，在区域 $F_Y$（其中 $\sqrt{K}\log K \le Y \le K^{1-\delta}$）内，每个测地线 $\delta_j$ 上的实零点个数为 $\gg K/Y (\log K)^{-23/2}$。该计数在对数幂次范围内是优的，与基于定义域面积推导出的预期速率相匹配。
• 定理 1.3： 对于同一族中的至少 $(1/2 - \varepsilon)$ 的形式，在相同的 $Y$ 范围内，每个测地线 $\delta_j$ 上的实零点个数为 $\gg \sqrt{K/Y}$。这提供了一个对正比例形式成立的下界，尽管其增长率比“大量形式”的结果要弱。
• 技术创新： 本文引入了处理半整权重系数缺乏乘性这一问题的办法，即结合对权重的平均化与 Shimura 对应关系。本文提供了关于 Kohnen plus 子空间上二次扭转 L-函数一阶和二阶矩的新估计。

意义与主张
作者声称这些是关于半整权重 Hecke 尖点形式小尺度零点分布的首批结果。这项工作表明，尽管半整权重与整权重形式在结构上存在差异（特别是缺乏完全乘性），但零点集中在特定测地线附近的现象依然存在。

论文明确指出，其技术与用于整权重情形的技术有着本质的不同。整权重情形高度依赖系数的乘性来直接研究符号变化，而半整权重情形则需要 L-函数矩估计与 Shimura 提升之特定算术性质之间更复杂的相互作用。作者谦虚地表示，定理 1.1 的结果在对数因子项上是优的，且其方法与以往工作不同，证明了即使在没有整权重情形下可用之强结果的情况下，也能从这些零点中推导出非平凡的信息。

本文并未声称证明了完整的 Ghosh–Sarnak 猜想（即所有零点都集中在这些线上），也未声称消除了定理 1.1 计数中的对数损失。此外，作者也指出，使用软化子将定理 1.1 的结果扩展到正比例形式仍然是一个具有挑战性的开放问题，尽管作者在脚注中提到，已通过使用欧拉乘积软化子得到了后续结果。