[論文レビュー] The Hecke Algebra T_k has Large Index

Frank Calegari, Matthew Emerton|ArXiv.org|Nov 21, 2003

Advanced Algebra and Geometry参考文献 6被引用数 4

ひとこと要約

この論文は、固定されたレベル $N$ に対して、新形式のヘッケ代数 $\mathbf{T}_k(N)^{\mathrm{new}}$ の $p$-進付値が重さ $k$ に対して少なくとも線形に増加することを証明し、セールの予想を確認する。結果は、ヘッケ代数の判別式および正規化の研究を通じて得られ、クリスタル系ガロア表現の構造に影響を与え、バザールドおよびマザーの予想（変形空間およびおそらく半単純表現に関する）に対する支援的証拠を提供する。

ABSTRACT

Let T_k denote the Hecke algebra acting on newforms of weight k and level N. We prove that the power of p dividing the index of T_k inside its normalisation grows at least linearly with k (for fixed N), answering a question of Serre. We also apply our method to give heuristic evidence towards recent conjectures of Buzzard and Mazur.

研究の動機と目的

• 重さ $k$ が増加する際、ヘッケ代数 $\mathbf{T}_k(N)^{\mathrm{new}}$ の $p$-進付値の指数の増加に関するセールが提起した問いを解決すること。
• バザールドの予想、すなわちクリスタル系ガロア表現 $\rho$ における $[\mathbf{Q}_p(\rho) : \mathbf{Q}_p]$ が有界であるという理論的証拠を提供すること。
• 古典的モジュラー点における $p$ でのおそらく半単純表現の正規性に関するマザーの予想を支持すること。
• ガロア表現の変形空間の構造を解析し、それらがヘッケ代数およびエイゲンカーブとどのように関係するかを明らかにすること。

提案手法

• ヘッケ代数の指数を、$\mathbf{Z}_p$ 上の正規化における代数の指数として定義する。
• $\mathbf{T}_k(N)^{\mathrm{new}}$ 上のトレース双線形形式の判別式を用いて、指数の下界を評価する。
• $N$ 以外の素因数におけるヘッケ作用素によって生成される部分代数 $\mathbf{T}_k(N)'$ に対して還元論的議論を適用し、その指数も $k$ に対して線形に増加することを示す。
• $\mathbf{T}_k(N)' \to \prod_{M|N} \mathbf{T}_k(M)^{\mathrm{new}}$ の積写像の単射性と、$\mathbf{Q}_p$ への基底拡張で正規化が同型を保存することを用いる。
• $p$-進ホッジ理論および $B_{\mathrm{st}}$-加群の理論を用いて、おそらく半単純ガロア表現の分岐および表現論的構造を解析する。
• $p > n+1$ のとき $\mathrm{GL}_n(\mathcal{O})$ に位数 $p$ の元が存在しないことを示す補題 4.2 を適用し、$p \geq 5$ の場合に、完全に分岐した半単純的上昇が存在しないことを除外する。

実験結果

リサーチクエスチョン

• RQ1 固定された $N$ に対して、ヘッケ代数 $\mathbf{T}_k(N)^{\mathrm{new}}$ の $p$-進付値の指数が重さ $k$ に対して少なくとも線形に増加するか？
• RQ2 クリスタル系表現の変形空間 $\overline{\Omega}$ の構造は、バザールドの予想における有界次元体の存在を支持するように制約されるか？
• RQ3 マザーの予想に従い、$\overline{\Omega}$ 内のすべての古典的モジュラー点が $p$ で正規的かつおそらく半単純的であるか？
• RQ4 $\mathrm{GL}_n(\mathcal{O})$ に $p$- torsion が存在しないという事実が、完全に分岐したおそらく半単純的表現の存在にどのような制約を課えるか？

主な発見

• $\mathbf{T}_k(N)^{\mathrm{new}}$ の指数 $I_k(N)^{\mathrm{new}}$ の $p$-進付値は、$k$ に対して少なくとも線形に増加する。すなわち、$\liminf_{k\to\infty} \frac{1}{k} \cdot \mathrm{ord}_p(I_k(N)^{\mathrm{new}}) > 0$ が成り立つ。
• 同様に、$N$ 以外の素因数におけるヘッケ作用素によって生成される部分代数 $\mathbf{T}_k(N)'$ に対しても線形増加が成り立ち、セールの指数増加に関する問いに肯定的に答えている。
• $p \geq 5$ の場合、$F$ が絶対的に分岐していないと仮定すると、$\mathrm{GL}_2(F)$ への完全に分岐したおそらく半単純的表現は存在しない。これは、$p > de+1$ のとき $\mathrm{GL}_d(\mathcal{O})$ に $p$- torsion が存在しないことによる。
• この結果は、$\mathbf{Q}_p$ に係数を持つ新形式で $p$-冪レベルを持つものは、すべて有界な導手を持つため、固定された重さでは有限個しか存在しないことを示唆する。
• 変形環が正の次元を持つような、$\overline{\Omega}$ が剛体空間としてパラメトライズ可能でないことを排除することで、バザールドの予想に対する理論的支援が得られる。
• 本研究は、Hodge–Tate 重みが有界なクリスタル系表現の集合が、レベルおよび重さの制約がない限り、完全な変形空間内で閉じていないことを確立しており、これらの予想の微妙さを強調している。