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

技術的要約：半整数重ウェイトカスプ形式の平方フリーフーリエ係数の符号、および合同数問題

問題設定
本論文は、半整数重ウェイトカスプ形式の平方フリー（square-free）フーリエ係数の符号分布について調査している。具体的には、係数の正負の数が、無限回の符号変化を保証するのに十分な大きさであるかどうかという問題に取り組んでいる。この問いは、合同数問題によって動機付けられている。そこでは、特定の重み $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 による先行研究は、レベル4の形式における無限の符号変化を確立したが、これらの結果を一般的なレベルへと拡張するには、加法的ツイスト（additive twists）に関する重要な解析的手法の障壁を克服する必要があった。

手法
著者らは、ディリクレ級数の継続およびランク・セルベルグ法（Rankin–Selberg method）に焦溶点を置いた、解析的数論の手法を組み合わせて用いている。

1. 加法的ツイストの関数等式： 主要な技術的革新は、任意のカスプにおける、一般的なレベル $N$（ただし $4|N$）の半整数重ウェイト形式の加法的ツイストに関する関数等式の導出である。分母に基づくカスプごとのケース分けを行っていたレベル4の解析とは異なり、著者らは、有理点 $u/d$ におけるツイストを、対応するカスプにおけるフーリエ展開に関連付ける統一的な関数等式（補題 2.2）を構築している。これには、スケーリング行列の構成、および自己相似因子（automorphy factors）を扱うためのメタプレクトティック被覆（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. ランク・セルベルグの二次のモーメント： 著者らは、平方フリー係数の二次のモーメント $B_f(X) = \sum_{t \le X, \text{sq-free}} |a_f(t)|^2$ の下界を確立する。すべての整数上の和から平方フリー整数の和への変換（Lau, Royer, and Wuに類似した転送議論）を用い、アイゼンシュタイン級数のスペクトル論を適用することで、$B_f(X) \asymp_f X$ であることを証明する。
4. 符号分布の議論： 解析的継続（$\Re(s) > 3/4$）から得られる有界な和 $S_f(X) = \sum a_f(t)W(t/X)$ の上界と、絶対値の和 $A_f(X)$ の下界を組み合わせることで、正の寄与と負の寄与の両方が相当な大きさにならなければならないことを示す。これにより、各符号の係数が大量に存在することが強制される。

主要な貢献および結果

• 一般レベルの符号定理 (Theorem 1.1)： 著者らは、固有形式条件を満たし、非零のカスプ型シムラ・リフト（cuspidal Shimura lift）を持ち、（$k=3$ の場合は）単項テータ部分空間に対して直交する、レベル $N$（ただし $4|N$）の半整数重ウェイトカスプ形式 $f \in S_{k/2}(\Gamma_0(N))$ について、以下のことを証明する。$X$ までの正および負の平方フリー係数の数は、任意の $\varepsilon > 0$ に対して次を満たす：
  $$P_f^\pm(X) \gg_{f,\varepsilon} X^{4/7-\varepsilon}$$
  したがって、係数は無限に符号を変える。
• 合同数問題への適用 (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の定理により、Mordell–Weilランクはゼロであることが示唆される。したがって、Theorem 1.2 でカウントされているすべての整数は非合同数である。

意義

本論文の主要な意義は、平方フリー係数の符号変化に関する既知の結果を、レベル4から4で割り切れる一般的なレベル $N$ へと拡張した点にある。著者らは、「主要な新しい課題」は、任意のカスプにおける加法的ツイストの扱いであり、それを新しい関数等式を確立することで解決したと明言している。

合同数問題に関しては、本論文は、二つの表現数（$r_{Q_1}$ と $r_{Q_2}$）を区別する算術関数が、一方の符号に偏っていない（両方の不等式が頻繁に発生する）ことを厳密に証明している。なお、本論文は $\Delta(t)$ 自体の符号に対する新たな算術的解釈（そのような解釈は現在未知であると注記されている）を提供するものではないが、この特定の基準から生じる非合同数の密度を確立している。

著者らは、符号の分布に関して控えめな姿勢を保っており、数値データ（表1）は漸近的な一様分布（$N_+(X) \sim N_-(X)$）を示唆しているものの、これを証明された結果ではなく、予想 5.1 として定式化している。結論として、符号の変化は無限であり、正および負の係数のカウントは同等のオーダー $X^{4/7-\varepsilon}$ であるとしている。