[論文レビュー] Differential eigenforms

Alexandru Buium|ArXiv.org|Jun 28, 2006

Advanced Algebra and Geometry被引用数 10

ひとこと要約

本稿では、モジュラー・ヤコビアン $J_1(N)$ の $δ$-特徴の使用により、重さ 0 で位数 2 の微分的固有形式を構成し、それらが古典的重さ 2 の固有形式と同一の固有値を持つヘッケ作用素の固有ベクトルであることを示している。これらの $δ$-モジュラー形式は、古典的対応物とは異なり、特異的超特異ディスクを越えて定義可能であり、高階導分を 0 に設定することで $δ$-フーリエ展開が $p$-進モジュラー形式 $f^{(-1)}$ を回復する。

ABSTRACT

The aim of this paper is to show how differential characters of Abelian varieties can be used to construct differential modular forms of weight 0 and order 2 which are eigenvectors of Hecke operators. These differential modular forms have "essentially the same" eigenvalues as certain classical complex eigenforms of weight 2.

研究の動機と目的

• 重さ 0 で位数 2 のヘッケ作用素の固有形式である $δ$-モジュラー形式を構成すること。
• これらの形式が、それらが古典的重さ 2 固有形式の $φ$-累乗の線形結合でないにもかかわらず、同様のヘッケ固有値を持つことの証明。
• これらの $δ$-固有形式が、古典的 $p$-進モジュラー形式とは異なり、特異的超特異ディスクを越えて定義可能であることを示すこと。
• $δ$-フーリエ展開と $p$-進モジュラー形式 $f^{(-1)} = \sum_{(n,p)=1} \frac{a_n}{n} q^n$ の間の関係を確立すること。
• $δ$-固有形式が $δ$-特徴とアーベル・ジャコビ写像の合成から生じることを示し、構成の逆を示すこと。

提案手法

• 反復フェルマー商 $\delta x = (\phi(x) - x^p)/p$ を用いて定義されるアーベル・多様体の $δ$-特徴を用い、算術的微分作用素を構成する。
• 固定された尖点を 0 に写す、モジュラー・ヤコビアン $J_1(N)$ へのアーベル・ジャコビ写像 $X_1(N) \to J_1(N)$ と $J_1(N)$ の $δ$-特徴を合成する。
• これらの $δ$-特徴の引き戻しとして $δ$-モジュラー形式 $f^\sharp$ を定義し、すべての尖点で 0 に消えるように保証する。
• 変数 $q, q', q''$ における $δ$-フーリエ展開を計算し、ヘッケ作用素 $T(p)_{\infty,m}$ における挙動を分析する。
• ローレン卜 $δ$-対称性と固有ベクトル条件を用いて、$f^\sharp$ が固有値 $a_p(f)$ を持つ $T(p)_{\infty,2}$ のローレン卜固有ベクトルであることを検証する。
• $δ$-モジュラー形式理論の結果を適用し、$T(p)_{\infty}$ の定義域にある $δ$-尖点形式が $δ$-特徴から生じることを示し、逆を確立する。

実験結果

リサーチクエスチョン

• RQ1 古典的固有形式の $φ$-累乗とは独立に、重さ 0 で位数 2 の $δ$-固有形式を構成できるか？
• RQ2 古典的 $p$-進モジュラー形式とは異なり、$δ$-モジュラー形式は特異的超特異ディスクを越えて定義可能か？
• RQ3 $f^\sharp$ の $δ$-フーリエ展開は、$p$-進モジュラー形式 $f^{(-1)} = \sum_{(n,p)=1} \frac{a_n}{n} q^n$ と関係があるか？
• RQ4 すべての $T(p)_{\infty}$ の固有ベクトルである $δ$-尖点形式は、$J_1(N)$ の $δ$-特徴から得られるか？
• RQ5 $δ$-対称性と、ヘッケ固有形式の文脈における $δ$-モジュラー形式の構造との関係は何か？

主な発見

• 構成された重さ 0 で位数 2 の $δ$-モジュラー形式 $f^\sharp$ は、古典的重さ 2 固有形式 $f$ と同じ固有値 $a_p(f)$ を持つヘッケ固有形式である。
• $f^\sharp$ の $δ$-フーリエ展開は、$q' = q'' = 0$ のとき $f^{(-1)} = \sum_{(n,p)=1} \frac{a_n}{n} q^n$ に一致し、どの古典的固有形式に対しても関連付けられていない $p$-進モジュラー形式を回復する。
• 形式 $f^\sharp$ は特異的超特異ディスクを越えて定義可能であるが、$f^{(-1)}$ はそのような性質を持たず、モジュラー曲線上で定数でない挙動のため定義不能である。
• $f^\sharp$ は、同種写像に共変な係数を用いても、$f^{(-1)}$ の $φ$-累乗の線形結合ではないため、それらの構成とは独立であることが示された。
• $f^\sharp$ の $δ$-フーリエ展開は、固有値 $p(p+1)$ を持つ $T(p)_{\infty,2}$ のローレン卜固有ベクトルであるため、$δ$-モジュラー固有形式としての性質が裏付けられた。
• 逆の結果が確立された：$δ$-対称性またはローレン卜-$δ$-対称性を持つ $δ$-フーリエ展開かつ $T(p)_{\infty}$ の定義域にある任意の $δ$-尖点形式は、$J_1(N)$ の $δ$-特徴とアーベル・ジャコビ写像の合成から生じる。