[論文レビュー] Where the Slopes Are

Fernando Q. Gouvêa|ArXiv.org|Sep 5, 2000

Algebraic Geometry and Number Theory参考文献 20被引用数 18

ひとこと要約

本稿は、レベル $Np$ で重さ $k$ が増加するモジュラー形式におけるアトキン＝レナー $U$-作用素の固有形式の $p$-進スロープの分布を、広範な数値計算を用いて調査する。スロープ列に予期せぬ規則性が現れる——特に $0, \frac{1}{2}, 1, \frac{3}{2}, \dots$ のような有理数値——これは、$p$-進モジュラー形式に深いつながりのある構造が存在することを示唆し、今後の理論的考察を喚起する。

ABSTRACT

Fix a prime number p and choose, once and for all, an embedding of the algebraic closure of Q into Qp. Let k and N be integers, and suppose N is not divisible by p. If f is a modular form of weight k, level N, and trivial character which is an eigenform for the p-th Hecke operator Tp, we define the slope of f to be the p-adic valuation of the eigenvalue of Tp. This paper reports on computations that suggest that there is quite a lot of structure to the set of slopes for eigenforms of varying weight k. In particular, we find that the slopes are often smaller than expected, that they are almost always integers, that there is evidence of a connection between fractional slopes and slopes which are "bigger than usual", and that there are some hints of a connection to the theory of theta-cycles.

研究の動機と目的

• レベル $Np$ および増加する重さ $k$ のモジュラー形式の文脈において、アトキン＝レナー $U$-作用素の $p$-進スロープの体系的数値的調査を開始すること。
• 固定されたレベルで変化する重さにおける $p$-進スロープの分布——$U$-作用素の固有値の $p$-進付値として定義される——を調査すること。
• 計算されたスロープ列に現れる予期しない規則性、特に $\frac{1}{2}, 1, \frac{3}{2}, \dots$ のような有理数値の再発を特定・分析すること。
• 観察された $p$-進モジュラー形式におけるこれらのパターンの算術的および幾何的起源を理論的に探求するための刺激を提供すること。

提案手法

• $U$-作用素 $U(\sum a_n q^n) = \sum a_{np} q^n$ を用いて、$S_k(Np, \mathbb{C}_p)$ 内の固有形式の $p$-進スロープを計算すること。
• $U$-作用素の固有値 $\lambda$ の $p$-進付値 $\operatorname{ord}_p(\lambda)$ を用いて、固有形式のスロープを定義すること。
• ロバート・コールマンが作成した修正済みスクリプトを用い、gp ソフトウェアで数値計算を実施し、$N=1$ およびさまざまな素数 $p$ を対象とすること。
• $p$ を固定し $k$ を増加させる場合のスロープ列を分析し、特に $p = 79$, $7$, $5$ に対して構造的パターンを検出すること。
• $U$-作用素が基底体の拡張後に対角的になる、$S_k(Np, \mathbb{Q}_p)$ 内の新形式の空間に焦点を当てる。
• $U$-作用素の特性多項式のノイトン多角形とスロープの分布を関連付けること。

実験結果

リサーチクエスチョン

• RQ1 固定されたレベル $Np$ において、重さ $k$ が増加するにつれて、$U$-固有形式の $p$-進スロープの分布にどのようなパターンが現れるか？
• RQ2 計算されたスロープ列が一貫して $0, \frac{1}{2}, 1, \frac{3}{2}, \dots$ のような有理数値を含むのはなぜか？ それらにどのような算術的意味があるのか？
• RQ3 重さ $k \to \infty$ の漸近的挙動においてスロープはどのように振る舞い、観察された規則性の背後にある極限的分布や構造は存在するか？
• RQ4 スロープ列に観察された規則性——対称的または周期的なパターン——は、より深い $p$-進的またはガロア理論的メカニズムによって説明可能か？
• RQ5 異なる素数 $p$（例：$p=5,7,79$）におけるスロープ列は、$p$-進モジュラー形式理論における普遍的現象か、$p$-依存的現象か、それぞれの程度はいかほどか？

主な発見

• $p=79$ において、重さ $k=38$ のスロープ列は $(0, 1)$ であり、$k=116$ では $(0, \frac{1}{2}, \frac{1}{2}, 1, 1, 1, 1, 1, 1)$ であり、半整数の早期出現が確認される。
• $k=194$ における $p=79$ のスロープ列は $(0, \frac{1}{2}, \frac{1}{2}, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2)$ であり、繰り返し値の安定したパターンが示される。
• $k=496$ における $p=79$ のスロープ列は $(0, 0, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 5)$ であり、スロープ値が増加するに従い多重度が増加する傾向が明らかになる。
• $k=444$ および $p=79$ におけるスロープ列は $(0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 5, 5, 5, 5, 5, 5, 6)$ であり、対称的かつ構造的な進行が示される。
• $p=5$ において、$k=480$ のスロープ列は $(\frac{1}{2}, \frac{1}{2}, 1, 1, 1, 2, 2, 2, 2, 2, 2, 3, 3, 3, 3, 4, 4, 4, 4, 4, 5, 5, 5, 5, 5, 6, 6, 6, 6, 6, 7, 7, 7, 7, 7, 7)$ であり、高い繰り返しと対称性が確認される。
• $p=7$ において、$k=488$ のスロープ列は $(0, 0, 1, 1, 1, 1, 2, 2, 2, 2, 2, 3, 3, 3, 3, 3, 4, 4, 4, 4, \frac{9}{2}, \frac{9}{2}, 5, 5, 5, 6, 6, 6, 6, 6, 6, 7, 7, 7, 7, 8, 8, 8, 8, 8)$ であり、$\frac{9}{2}$ における顕著なジャンプが観察され、しきい値効果の可能性を示唆する。