[論文レビュー] On the quantitative variation of congruence ideals and integral periods of modular forms

Chan-Ho Kim, Kazuto Ota|arXiv (Cornell University)|May 8, 2019

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

ひとこと要約

この論文は、ポラックとウェストンによる高重量モジュラー形式における合同イデアルの定量的挙動に関する予想を証明し、全レベルにおける合同イデアルとその $N^{-}$-新部品との間の関係をタマガワ指数を通じて明確な公式で確立する。著者らは、$R=\mathbb{T}$ 定理、ガロアコホホロジー、および明示的な随伴 $L$-値の比較という、革新的な組み合わせを用いて、幾何的アプローチに依存せずにレベル低下型合同問題を解決し、平方自由でないレベルや高重量への一般化を達成するとともに、分岐の仮定も弱めた。

ABSTRACT

We prove the conjecture of Pollack and Weston on the quantitative analysis of the level lowering congruence à la Ribet for modular forms of higher weight. It was formulated and studied in the context of the integral Jacquet-Langlands correspondence and anticyclotomic Iwasawa theory for modular forms of weight two and square-free level for the first time. We use a completely different method based on the $R=\mathbb{T}$ theorem established by Diamond-Flach-Guo and Dimitrov and an explicit comparison of adjoint $L$-values. We briefly discuss arithmetic applications of our main result at the end.

研究の動機と目的

• 高重量モジュラー形式における合同イデアルの定量的変動に関するポラックとウェストンの予想を解決すること。
• 重さ 2 および平方自由なレベルに限らないケースにまで、レベル低下型合同結果を一般化すること。
• 全レベルにおける合同イデアルとその $N^{-}$-新部品との間の明確な公式を確立すること、その際にタマガワ指数を用いること。
• 幾何的アプローチの限界を乗り越えるために、随伴 $L$-値と $R=\mathbb{T}$ 定理に基づくコホモロジー的・解析的メソッドを開発すること。
• アンチシクロトミック Iwasawa 理論および高重量における整数的 Jacquet–Langlands 対応に適用可能な枠組みを提供すること。

提案手法

• ダミアン・ダムール＝フラッチ＝クォーとディミトロフによって確立された、クaternion代数に対する $R=\mathbb{T}$ 定理を用いて、合同イデアルとセレマー群との関係を確立する。
• ガロアコホモロジーを適用し、$N^{-}$ を割る素数における「緩められた」および「新規の」局所条件を用いた随伴セレマー群のサイズを計算する。
• 緩められた局所条件と「新規の」局所条件を備えた二つのセレマー群の比較を通じて、合同イデアルの差を特定する。
• セレマー群の計算と望ましい合同公式との乖離を是正するため、随伴 $L$-関数のオイラー因子による解析的補正を導入する。
• 随伴 $L$-値の明示的計算を用いて、合同イデアルの差を $L$-値の比として解釈し、証明を完成させる。
• 固定されたクaternion代数を避けて、[DFG04, Dim09] に由来する古典的 $R=\mathbb{T}$ 定理にのみ依存することで、一般性を保つ。

実験結果

リサーチクエスチョン

• RQ1 $N^{-}$ が平方自由でないか、または形式が重さ 2 でない場合に、高重量モジュラー形式の合同イデアルはどのようにレベル低下に伴って変化するか？
• RQ2 全レベルにおける合同イデアルと $N^{-}$-新合同イデアルとの差に、明確な算術的解釈はあるか？
• RQ3 残値表現が $q \mid N^{-}$ で分岐していない場合、すなわち $t_f(q) > 0$ の場合に、$R=\mathbb{T}$ メソッドを合同イデアルの計算に拡張できるか？
• RQ4 随伴 $L$-値は、$N^{-}$ を割る素数における合同イデアルの局所的挙動をどのように符号化しているか？
• RQ5 Hecke 加群が $\mathbb{T}$-代数上で自由であるという性質は、高重量における合同イデアルの構造とどの程度関連しているか？

主な発見

• 論文は、公式 $\mathrm{ord}_{\lambda}\eta_f(N) = \mathrm{ord}_{\lambda}\eta_f(N^+,N^-) + \sum_{q|N^{-}} t_f(q)$ を証明し、重さ $k \geq 2$ のモジュラー形式におけるレベル低下型合同を定量的に記述する。
• この結果は、弱められた仮定のもとで成り立つ：$N^{-}$ が平方自由でなくてもよく、$k$ が 2 より大きくてもよいし、$q \mid N^{-}$ における分岐も不要である。
• 著者らは、高重量における幾何的アプローチの限界を乗り越えるために、ガロアコホモロジーと随伴 $L$-値の計算を組み合わせた、新しい方法を確立した。
• 全レベルと $N^{-}$-新合同イデアルとの差が、$N^{-}$ を割る素数における随伴 $L$-関数のオイラー因子に符号化されていることが示された。
• ペトリソン内積と標準周期の比較が可能となり、それらの比の $\lambda$-進付値に関する新しい公式が得られた。
• 適切な仮定の下で、$\mathrm{ord}_{\lambda}(\langle f,f\rangle / \langle f_B,f_B\rangle) = \sum_{q|N^{-}} t_f(q)$ が確認され、算術的不変量と合同データが結びつけられた。