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

技術的要約：半整数重みヘッケ尖点形式の真の零点について

問題設定
本論文は、多様体 $\Gamma_0(4)\backslash\mathbb{H}$ における、無限遠点のカスプ付近における半整数重みヘッケ尖点形式の零点の分布を調査するものである。具体的には、重み $k \to \infty$ のとき、縮小するシーゲル集合 $F_Y = \{z \in F : \text{Im}(z) \ge Y\}$（ここで $Y \to \infty$）内にあるこれらの尖点形式の零点が、2つの特定の垂直測地線 $\delta_1 = \{s \in \mathbb{C} : \text{Re}(s) = -1/2\}$ および $\delta_2 = \{s \in \mathbb{C} : \text{Re}(s) = 0\}$ 上に集中するという、Ghosh–Sarnak予想のアナログを取り上げている。これらの線は、尖点形式が特定の正規化の下でこれらの線上において実数値をとることから、「真の（real）」零点と呼ばれる。

半整数重み形式における基本領域内での零点の等分布性は、LesterとRadziwiłłによって一般化リーマン予想（GRH）の下で確立されているが、より微細なスケール（カスプ付近）における分布挙動については未探索であった。主要な障害は、半整数重み形式のフーリエ係数が、整数重み形式が持つ完全な乗法性を欠いていることであり、これにより、整数重みのケース（Ghosh–Sarnak、Matomäki、あるいはLester–Matomäki–Radziwiłłによるものなど）で用いられる標準的な手法が適用できなくなっている。

手法
著者は、尖点形式の真の零点の検出を、尖点形式のフーリエ係数の符号変化の研究へと還元する戦略を採用している。この核心となる技術的アプローチは、半整数重み形式 $g$ を重み $2k$ の整数重み形式 $f$ に結びつけるシムラ対応を利用して、これらの符号変化を立証するという、2つの異なる経路を用いている。

1. 符号変化への還元:
   急降下引数（Proposition 6.1）を用いることで、本論文は、特定の $\ell$ に対するフーリエ係数 $c_g(\ell)$ によって、測地線 $\delta_j$ 上の尖点形式の値が本質的に決定されることを確立している。したがって、これらの線上の零点を見つけることは、$\ell$ が変化する際のフーリエ係数の列 $c_g(\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)$ の第1および第2モーメントの推定に依存している。Waldspurgerの公式により、$|c_g(|d|)|^2$ はこれらのL値に比例する。
• 平均化: 著者は、形式の族 $g$ と重み $k$ について平均化を行う。この平均化は極めて重要である。なぜなら、導手の対数の族のサイズの対数に対する比が大きすぎるため、追加の平均化なしでは標準的な漸近公式が適用できないからである。
• 短区間: 多くの形式において、短区間 $[x, x+H]$ における係数の和が符号変化を示すことを示すプロセスが含まれる。これは、半整数重み形式のペーターソン公式を利用して係数の第1モーメント（Lemma 2.7）および第4モーメント（Lemma 2.8）を評価することで達成される。

3. 定理 1.3（正の割合の形式）のためのアプローチ:
   正の割合の形式に対して結果を確立するために、著者は平方数におけるフーリエ係数の乗法性を利用する。

• 乗法的構造: 固定された基本判別式 $d$ に対して、数列 $c_g(|d|m^2)$ は $m$ に関して乗法的に振る舞う。
• モリファイア（Mollification）: $c_g(|d|)$ の大きさを扱うために、Iwaniec–Sarnakのモリファイアを利用する。Proposition 2.1は、正の割合の形式に対して $|c_g(|d|)|$ が小さすぎないことを確立している。
• 符号変化: 乗法的関数の符号変化に関する結果（具体的にはLester, Matomäki, Radziwiłłの手法を適応したもの）を適用することで、正の割合の形式において数列 $c_g(|d|m^2)$ が符号変化を起こすことを本論文は示している。

主な貢献と結果

• 定理 1.1: 重みが $K$ で抑えられたKohnenプラス部分空間内の半整数重みヘッケ尖点形式のうち、$\gg_\varepsilon K^2/(\log K)^{3/2+\varepsilon}$ 個において、領域 $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}$ である。これは、正の割合の形式に対して成り立つ下界を提供するが、「多数の形式」の結果と比較すると成長率は弱くなっている。
• 技術的革新: 本論文は、重みの平均化とシムラ対応を組み合わせることで、半整数重み係数の乗法性の欠如を扱う手法を導入している。また、Kohnenプラス部分空間上で平均化された二次ツイストされたL関量の第1および第2モーメントに関する新しい推定値を提供している。

意義と主張
著者は、これらが半整数重みヘッケ尖点形式の零点の小規模分布に関する最初の結果であると主張している。本研究は、整数重み形式との構造的な違い（具体的には完全な乗法性の欠如）があるにもかかわらず、零点が特定の測地線上に集中するという現象が持続することを実証している。

本論文は、用いる手法が整数重みの設定とは根本的に異なることを明記している。整数重みのケースは、係数の乗法性に依拠して直接符号変化を研究するが、半整数重みの設定では、L関量のモーメント推定とシムラ・リフトの特定の算術的性質との間の、より複雑な相互作用が必要となる。著者は、定理1.1の結果は対数因子を除いて最適であり、かつその手法が先行研究とは異なるものであることを控えめに述べており、整数重みの場合で利用可能な強力な結果がなくとも、これらの零点に関する非自明な情報を抽出できることを示している。

本論文は、完全なGhosh–Sarnak予想（すべての零点がこれらの線上に集中するという予想）を証明することや、定理1.1のカウントにおける対数損失を取り除くことを主張している。また、モリファイアを用いて定理1.1の結果を正の割合の形式へと拡張することは依然として困難な未解決問題であることも記しているが、脚注において、オイラー積モリファイアを用いた後続の結果が得られていることにも触れている。