[論文レビュー] Hecke operators, Hecke Eigensystems, and Formal Modular Forms over Number Fields

J. E. Cremona|arXiv (Cornell University)|Jan 24, 2026

Advanced Algebra and Geometry被引用数 0

ひとこと要約

この論文は、モジュラー点を用いた任意の数体上の形式の形式的理論を明示的に構築し、Hecke および Atkin–Lehner 演算子をこれらの点の関数として定義し、主演算子のデータから完全な固有系を回復する方法を示す。虚二次体での実装を用いてビアンキ双曲形式を計算する事例を提供する。

ABSTRACT

We develop an explicit theory of formal modular forms over arbitrary number fields $K$, as functions of modular points. We define modular points for $Γ_0({\mathfrak n})$ and $Γ_1({\mathfrak n})$, where the level ${\mathfrak n}$ is an integral ideal of $K$; Hecke operators and generalized Atkin-Lehner operators as functions of modular points; and associated Hecke eigensystems. We show how complete eigensystems may be recovered, uniquely up to unramified quadratic twist, from their restrictions to principal Hecke operators, and we give explicit formulas for principal operators suitable for machine computation. These have been implemented by the author in the case of imaginary quadratic fields, and used in his systematic computation of Bianchi cusp forms, which are available in the L-functions and modular forms database (LMFDB). While our description incorporates the classical theory for $K={\mathbb Q}$, and also extends work of the author and his students for imaginary quadratic fields, it applies to arbitrary number fields, and may be useful in the computation of spaces of automorphic forms for GL$(2,K)$ over number fields, whether via modular symbols or other methods.

研究の動機と目的

• GL(2,K) の数体上での自己同型形式空間の研究を動機づけ、純粋に代数的な枠組みを開発する。
• Gamma_0(n) および Gamma_1(n) のモジュラー点を定義し、それらと数体上の格との関係を述べる。
• モジュラー点の関数としてHecke 演算子と一般化 Atkin–Lehner 演算子を導入し、関連する固有系を定義する。
• 主成分の Hecke 演算子データから完全な固有系を回復する方法を示し、計算に適した公式を提供する。

提案手法

• 任意の数体上の Gamma_0(n) および Gamma_1(n) の O_K-格点とモジュラー点の明示的理論を構築する。
• Hecke 演算子をモジュラー点によって生成される自由モジュール上の作用として記述し、Hecke 全体を類別群で階層化する。
• 明示的な主演算子を提供し、固有系は主部分代数 (5.1) への制限によって決定されることを証明する。
• モジュラー点・格・適 admissible 基底行列の機械計算を可能にする具体的な記述を提供する。
• 主な Hecke および Atkin–Lehner 演算子の行列の構成と、それを計算に用いる手順を概説する。

実験結果

リサーチクエスチョン

• RQ1 任意の数体上で Gamma_0(n) および Gamma_1(n) のモジュラー点をどのように構築・分類するか。
• RQ2 Hecke 固有系は主な Hecke 演算子への制限によってどの程度決定されるか、そしてこのデータから完全な固有系をどのように回復するか。
• RQ3 機械計算に適した主演算子を一般の数体に対してどのように定式化できるか。
• RQ4 これらの理論を用いて GL(2,K) の数体上の自己同型形式空間を計算し、既存のモジュラ記号法や他のアプローチとどのように結びつくか。

主な発見

• 任意の数体上の形式的モジュラー形式のための明示的な代数的枠組みが構築され、モジュラー点と Hecke の作用が含まれる。
• Hecke algebra は理想類群で階層化され、固有系はモジュラー点への作用によって定義される。
• 完全な固有系は主な Hecke 演算子への制限から一意に回復でき、(5.1) で述べられるように概して非ramified 二分ねじりのもとで再現可能である。
• 主演算子の明示的な公式が提供され、機械計算に適している。虚二次体の実装も行われている。
• 著者は bianchi-progs にこれらの手法を実装し、ビアンキ cusp forms の系統的計算に用い、LMFDB にデータが公開されている。
• このアプローチは古典的な K = Q 理論を一般の数体へと拡張し、虚二次体に対する以前の研究を任意の数体へ拡張する。