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

技术摘要：半整数权尖点形式的无平方因子傅里叶系数符号问题与全等数问题

问题陈述
本文研究了半整数权尖点形式（half-integral weight cusp forms）中无平方因子傅里叶系数的符号分布问题。具体而言，它探讨了在界限 $X$ 之内的正系数与负系数的数量是否足够大，以保证存在无穷多次符号变化。这一探究受到全等数问题（Congruent Number Problem）的启发，在该问题中，特定权重为 $3/2$ 的系数 $\Delta(t)$ 的符号区分了对于奇无平方整数 $t$，不等式 $r_{Q_1}(t) > r_{Q_2}(t)$ 与 $r_{Q_1}(t) < r_{Q_2}(t)$ 的成立情况。虽然 Waldspurger 公式将这些系数的平方与中心 $L$ 值 $L(E_t, 1)$ 联系起来，但它并不能确定这些系数的符号。Hulse、Kıral、Kuan 和 Lim 此前的研究已经确立了 level 4 形式的无穷多次符号变化，但将这些结果推广到一般能级（general levels）需要克服关于加性扭转（additive twists）的重大分析障碍。

方法论
作者结合了解析数论技术，特别侧重于狄利克雷级数的延拓和 Rankin–Selberg 方法。

1. 加性扭转的泛函方程： 一个主要的数学技术创新是推导了一般能级 $N$（其中 $4|N$）下任意尖点处加性扭转的泛函方程。不同于以往 level 4 的分析中根据尖点分母进行分类讨论的情况，作者建立了一个统一的泛函方程（引理 2.2），将位于有理点 $u/d$ 处的扭转与对应尖点处的傅里叶展开联系起来。这涉及构造特定的缩放矩阵，并利用元复盖（metaplectic cover）来处理自守因子。
2. 无平方因子级数的解析延拓： 利用导出的泛函方程，作者将无平方因子系数的狄利克雷级数 $M_f(s) = \sum_{t \text{ sq-free}} a_f(t)t^{-s}$ 延拓至 $\Re(s) > 3/4$ 的半平面。这是通过将级数表示为加性扭转，应用泛函方程将参数移动到临界线，并利用 Phragmén–Lindelöf 原理来控制临界带内的增长率来实现的。
3. Rankin–Selberg 二阶矩： 本文建立了无平方因子系数的二阶矩下界 $B_f(X) = \sum_{t \le X, \text{sq-free}} |a_f(t)|^2$。通过将对所有整数的求和与对无平方整数的求和联系起来（使用类似于 Lau, Royer, 和 Wu 的转移论证），并应用 Eisenstein 级数的谱理论，作者证明了 $B_f(X) \asymp_f X$。
4. 符号分布论证： 通过结合有符号和 $S_f(X) = \sum a_f(t)W(t/X)$ 的上界（由 $\Re(s) > 3/4$ 处的解析延拓得出）与绝对值之和 $A_f(X)$ 的下界，作者证明了正向与负向的贡献必须都十分显著。这迫使存在大量的正负系数。

核心贡献与结果

• 一般能级符号定理 (Theorem 1.1)： 作者证明，对于满足特征形式条件、具有非零尖点 Shimura 提升、且（当 $k=3$ 时）正交于一元 $\theta$ 子空间的能级 $N$（其中 $4|N$）的半整数权尖点形式 $f \in S_{k/2}(\Gamma_0(N))$，其在 $X$ 之内的正和负无平方因子系数的数量满足：
  $$P_f^\pm(X) \gg_{f,\varepsilon} X^{4/7-\varepsilon}$$
  对于每一个 $\varepsilon > 0$。因此，系数无限多次改变符号。
• 对全等数问题的应用 (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)$ 无限多次改变符号。
• 非全等数： 作者指出，由于对于这些 $t$，有 $L(E_t, 1) \neq 0$（由 $\Delta(t) \neq 0$ 暗示），Coates–Wiles 定理意味着 $E_t$ 的 Mordell–Weil 秩为零。因此，Theorem 1.2 中计算的每个整数都是一个非全等数（non-congruent number）。

意义
本文的主要意义在于将已知关于无平方因子系数符号变化的结论从 level 4 推广到了满足 $4|N$ 的一般能级 $N$。作者明确指出，这种推广中的“主要新问题”在于处理任意尖点处的加性扭转，他们通过建立新的泛函方程解决了这一问题。

关于全等数问题，本文提供了一个严格证明，证明了区分两种表示计数（$r_{Q_1}$ 和 $r_{Q_2}$）的算术函数在符号上没有偏向性；两种不等式情况都会频繁出现。虽然本文并未对 $\Delta(t)$ 本身的符号提供新的算术解释（指出目前的算术解释尚不明确），但它确立了由该特定准则产生的非全等数的密度。

作者对符号分布保持谦逊，呈现的数值数据（表 1）表明符号是渐近均匀分布的（$N_+(X) \sim N_-(X)$），但他们将其表述为猜想 5.1 而非已证结果。论文结论是，符号变化是无穷的，且正负系数的数量级相同，均为 $X^{4/7-\varepsilon}$。