[論文レビュー] Classicality of overconvergent Hilbert eigenforms: Case of quadratic residue degree

Yichao Tian|arXiv (Cornell University)|Apr 23, 2011

Algebraic and Geometric Analysis参考文献 20被引用数 10

ひとこと要約

この論文は、実二次体 $F$ において $p$ が非分岐である場合に、過収束ヒルベルト固有形式の古典性を確立する。$p$-進モジュラー形式のコールマンの古典性定理をヒルベルトモジュラー形式へ一般化し、特に二次体の残差次数が2の場合に、小さいスロープを持つ過収束ヒルベルト固有形式が古典的モジュラー形式であることを証明する。バズァード＝カッサイの解析的接続法と $p$-可除群の正規部分群の理論を用いて、$p$-可除群に実乗法を持つ $p$-進体上の設定において、コールマンの古典性基準をヒルベルトモジュラー設定へ拡張する。

ABSTRACT

Let $F$ be a quadratic real field, $p$ be a rational prime inert in $F$. In this paper, we prove that an overconvergent $p$-adic Hilbert eigenform for $F$ of small slope is actually a classical Hilbert modular form.

研究の動機と目的

• 実二次体において $p$ が非分岐である場合に、$p$-進モジュラー形式のコールマンの古典性定理をヒルベルトモジュラー設定へ一般化すること。
• 過収束ヒルベルト固有形式が小さいスロープを持つ場合、それが古典的であることを示し、特に二次体の残差次数の場合に古典性基準を拡張すること。
• バズァードとカッサイの解析的接続法を、完全に分解しない $p$-進構造を有するヒルベルトモジュラー設定へ適応すること。
• $p$-可除群に実乗法を持つ $p$-進体上の正規部分群を構成し、$U_p$-作用素と過収束形式を定義すること。
• 小さいスロープの $U_p$-固有形式が、ヒルベルトモジュラー多様体全体に正則な切断へ拡張されることを証明し、剛体GAGAにより古典的性が従うことを示すこと。

提案手法

• 過収束形式を関数等式 $f = \frac{1}{a_p}U_p(f)$ を用いて、ヒルベルトモジュラー多様体へ解析的接続することで、バズァード＝カッサイの解析的接続戦略をヒルベルトモジュラー設定に適応する。
• カッツとルビンによって開発された、$p$-可除群に実乗法を持つ $p$-進体上の正規部分群理論を用いて、$U_p$-作用素を定義する。
• 過収束ヒルベルトモジュラー形式を、剛体解析的ヒルベルトモジュラー多様体における通常的領域の厳密近傍上のラインバンドル $\underline{\omega}^{\vec{k}}$ の切断として構成する。
• 通常的領域を、ハッセ不変量（$E_{p-1}$ の上昇）が $p$ を法として非零に還元される点の集合として定義し、楕円的状況を一般化する。
• 剛体GAGAを適用し、剛体解析的モジュラー多様体全体に解析的に拡張された切断が、古典的代数的モジュラー形式に対応することを導く。
• $p$-可除群に実乗法を持つ構造とそのフィルトレーションの性質を用いて、$U_p$-固有形式の振る舞いを制御し、拡張プロセスの収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 $p$ が基底体において非分岐である場合に、$p$-進モジュラー形式のコールマンの古典性基準をヒルベルトモジュラー形式へ拡張できるか。
• RQ2 二次体の残差次数の場合に、小さいスロープの過収束ヒルベルト固有形式は、必ず古典的ヒルベルトモジュラー形式から来るのか。
• RQ3 バズァードとカッサイの解析的接続法を、実乗法を持つヒルベルトモジュラー多様体と非分岐 $p$ に適応できるか。
• RQ4 実乗法を持つ $p$-可除群の正規部分群は、$U_p$-作用素と過収束形式の拡張をどのように支援するか。
• RQ5 通常的領域とその補集合は、過収束形式が古典的形に拡張されるプロセスにおいて果たす役割は何か。

主な発見

• 実二次体 $F$ に対して $p$ が $F$ で非分岐であり、スロープが小さい過収束ヒルベルト固有形式は、$U_p$-固有値 $a_p$ が $v_p(a_p) < k_1 + k_2 - 2$ を満たす限り古典的である。
• 解析的接続プロセスにより、過収束形式は通常的領域および特異的領域を含む、剛体解析的ヒルベルトモジュラー多様体全体へ拡張される。
• この拡張は、$p$-進解析的構造を活用して、関数等式 $f = \frac{1}{a_p}U_p(f)$ を逐次適用することで達成される。
• 得られる拡張された切断は $\underline{\omega}^{\vec{k}}$ の正則な解析的切断であり、剛体GAGAにより古典的ヒルベルトモジュラー形式に下方に降下する。
• 実乗法を持つ $p$-可除群の正規部分群理論は、$U_p$-作用素の定義と拡張プロセスの収束を保証するために不可欠である。
• 本手法により、$p$ が非分岐である場合の、楕円的状況からヒルベルトモジュラー設定への一般化が達成され、$p$ が非分岐である場合に未解決であった文献のギャップが埋められた。