Determination of Hilbert modular forms using squarefree coefficients

技術要約：平方フリーな係数によるヒルベルトモジュラー形式の決定

問題設定
本論文は、全実数体 $F$（狭義類数1）上の半整数重みのヒルベルトモジュラー形式を、そのフーリエ係数の部分集合によって一意に決定できるかという問題に取り組んでいる。フーリエ係数の全集合はモジュラー形式を一意に決定するが、著者らは「最小限の」集合で十分であるかどうかを調査している。具体的には、平方フリーな代数的整数に支持される係数に焦点を当てている。この問いは、Kohnenによる先行研究（$\mathbb{Q}$ 上の「プラス空間」に限定）や、Luo-Ramakrishnanによる研究（整数重みの形式および中心 $L$ 値に関する研究）を、より一般的な、重みやレベルが変化するヒルベルトモジュラー形式の設定へと拡張するものである。

手法
著者らは、シムラ対応、ワルドシュピルガーの公式、およびランクイン・セルベルグ理論を活用した、解析的数論の手法を組み合わせて用いている。

1. シムラ対応と関数等式： 核となる戦略は、半整数重みの形式 $f$ および $g$ を、それらの整数重みのシムラ・リフト $\tilde{f}$ および $\tilde{g}$ に関連付けることである。著者らは、これらの形式に関連するディリクレ級数の関数等式を確立している。決定的なステップは、Fricke 変換および $W(n)$ 作用素であり、これらを用いることで、ある形式の $L$ 関数とそのねじれ（twist）の $L$ 関数を関連付けることができる。
2. ディリクレ級数の比較： すべての平方フリーな整数において正規化されたフーリエ係数が（定数 $\kappa$ の下で）一致すると仮定した場合、著者らは、完備化された $L$ 関数の比 $C(s) = \Lambda(s, f) / \Lambda(s, g)$ を構成する。
3. 解析接続と矛盾： $L$ 関数の関数等式および関与するガンマ因子の性質を分析することにより、$C(s)$ が定数であることを証明する。これは、レジャンドルの倍角公式および $L$ 関数の特定の点における挙動を利用して、パラメータの不一致を排除するという、矛盾による証明である。
4. ねじれによる一意性： $L$ 関数のねじれが等しいとき、形式自体も等しいという結論を導くために、消滅するねじれたディリクレ級数に関する補題（補題2）を利用する。この補題は、指標の直交性とレイ・クラス群の性質から導かれる。
5. ランクイン・セルベルグ理論： 非消滅の結果については、ランクイン・セルベルグ $L$ 関数 $L(s, f \times f)$ と $s=1$ におけるその極を利用する。係数の二乗和を推定し、ラマンジャンの評価を適用することで、平方フリーな整数に支持される係数の大きさの下限を導出する。

主要な貢献と結果

• 定理 3 (主要な決定結果)： 著者らは、異なる重みおよびレベルを持つ半整数重みのカスピダル・ヒルベルト・ヘッケ固有形式 $f$ と $g$ があり、それらの正規化されたフーリエ係数が、すべての平方フリーな $\tau \in \mathcal{O}_F$ に対して $\lambda_f(\tau) = \kappa \lambda_g(\tau)$ （ただし $\kappa \neq 0$）を満たすとき、$f = \kappa g$ であることを証明した。これは、プラス空間への制限を取り除き、重みやレベルの変化を許容することで、Kohnen の結果を一般化している。ただし、等式が「ほとんどすべて」ではなく「すべての」平方フリー整数に対して成立する必要があるという条件は保持されている。
• 定理 4 (非消滅結果)： 本論文は、非ゼロのヘッケ固有形式 $f$ に対して、平方フリーな整数に支持されるフーリエ係数の絶対値の上極限が非ゼロであることを示す「ソフトな証明」を提供している。具体的には、$\limsup_{T \to \infty, N(\tau)<T, \tau \text{ sq.free}} |\lambda_f(\tau)| \gg_{f,F} 1$ である。これは、これら無限個の係数が非消滅であることを裏付けている。
• 系 1 (プラス空間への特殊化)： 著者らは、$F$ 上のKohnenのプラス空間に対する結果に類似した結果を回収し、基本判別式上の係数の等価性が形式の同一性を意味することを示している。

意義と主張
本論文は、平方フリーな係数が、半整数重みのヒルベルトモジュラー形式を一意に決定するために必要なすべての情報を持っているという哲学的な期待に対し、厳密な定式化を提供していると主張している。著者らは、定理3を、Kohnenの特定のケース（固定された重み/レベル、プラス空間）と、Luo-Ramakrishnanの結果（整数重み、中心 $L$ 値）との間の中間的な結果として位置づけている。

著者らは、自らの一般化の範囲について控えめな姿勢を示している。彼らは、現在の手法では、係数の等価性が「ほとんどすべて」ではなく「すべての」平方フリー整数に対して成立するという要件を取り除くことは困難であると明示的に述べている。また、係数の等価性をその大きさ（magnitude）の等価性に緩和することもできていない。さらに、定理4は非消滅を確立しているものの、$\limsup |\lambda_f(\tau)| = \infty$ というより強い結果を証明することは依然として未解決の問題であると述べているが、GKS24の研究がその方向への一歩であると引用している。

判別式が主イデアルとなる場であれば、現在の証明構造の一部は適応可能であるが、狭義類数が 1 であるという仮定は便宜上、および現在の証明構造における部分的な必要性として付されている。本研究は、半整数重みと整数重みの間の溝を埋めるために、シムラ対応と関連する $L$ 関数の関数等式の堅牢性に大きく依存している。