[論文レビュー] An anticyclotomic Mazur-Tate conjecture for modular forms

Chan-Ho Kim|arXiv (Cornell University)|Dec 12, 2016

Algebraic Geometry and Number Theory参考文献 29被引用数 3

ひとこと要約

本稿は、虚二次体の巡回類体拡張上におけるモジュラー形式について、アティコサイクロトーム・マズール＝テイト予想を証明し、p進Z_p-拡張からのEuler系の可除性をより一般の有限アーベル拡張へ拡張する。一般化されたEuler系の議論を素数pと互いな拡張に拡張し、精密な制御定理を確立することで、Selmer群に対するFitting理想の境界を導出し、Iwasawa主予想のサイズ推定を超えた構造的精錬を提供する。

ABSTRACT

Under certain assumptions, we prove an anticyclotomic analogue of the "weak main conjecture" à la Mazur and Tate for modular forms over a large class of cyclic ring class extensions.

研究の動機と目的

• p進Z_p-拡張から虚二次体の巡回類体拡張へ、マズール＝テイト予想を拡張すること。
• 無限Z_p-拡張上の特徴的イデアルではなく、有限アーベル拡張上のFittingイデアルを研究することにより、Iwasawa主予想を構造的に精錬すること。
• ガロア群がZ_p × Z/m'Z（(p, m')=1）である拡張上におけるアティコサイクロトームIwasawa主予想の一般化されたEuler系の可除性を確立すること。
• Fittingイデアルを用いたSelmer群の構造の分析により、これらの群のサイズを超えたより深い算術的理解を提供すること。

提案手法

• ベルトリンォリ＝ダーモンのEuler系の議論を、素数pと互いな巡回類体拡張にまで拡張するため、Chebotarev密度定理の結果をより一般の底体へアップグレードする。
• 離散付値環上での文字ごとの可除性議論を適用し、文字による特殊化によって問題を局所的計算に還元する。
• 標準的なNakayama型の議論が半局所環で制限を受けるのを克服するため、離散付値環から一般化されたIwasawa代数への可除性の昇格議論を発展させる。
• 商への等型分解を用いて、元のEuler系戦略をp冪拡張でない拡張に再利用・適応する。
• 商に関するコンパクトなSelmer群の制御定理を確立し、拡張された底体上でのSelmer群の一般化された自由性定理に依拠する。
• n-適正な素数におけるmod p^nレベル上昇構成を導入し、非通常型設定における「Ihara条件」の重要性を強調する。

実験結果

リサーチクエスチョン

• RQ1 マズール＝テイト予想は、虚二次体のp進Z_p-拡張から、より一般の巡回類体拡張へ拡張可能か？
• RQ2 ガロア群がZ_p × Z/m'Z（(p, m')=1）である拡張上、Euler系の議論をp冪拡張に限らず一般化できるか？
• RQ3 一般化されたIwasawa代数の役割は何か？ また、半局所設定において、離散付値環からこの代数への可除性結果をどのように昇格できるか？
• RQ4 有限アーベル拡張上でのFittingイデアルを特徴的イデアルに代えて用いる場合、Selmer群の構造はどのように変化するか？
• RQ5 非p安定化モジュラー形式のレベル上昇と例外的ゼロ現象の文脈において、「Ihara条件」の意義は何か？

主な発見

• 本稿は、適切な仮定の下で、ガロア群がZ_p × Z/m'Z（(p, m')=1）である拡張上、一般化されたアティコサイクロトームIwasawa主予想のEuler系可除性を確立した。
• 一般化されたベルトリンォリ＝ダーモンの元が、巡回類体拡張上での双対Selmer群のFittingイデアルに属することを証明した。すなわち、$ L_M(K(m),E) \in \mathrm{Fitt}_{\mathbb{Z}/M\mathbb{Z}[\Gamma_m]}(\mathrm{Sel}(K(m),E[M])^\vee) $ が成り立つ。
• Mに含まれる各素数冪 $ p^{r_i} $ に対して、$ L_M(K(m),f) \mod p^{r_i} \in \mathrm{Fitt}_{\mathbb{Z}/p^{r_i}\mathbb{Z}[\Gamma_m]}(\mathrm{Sel}(K(m),E[p^{r_i}])^\vee) $ の可除性が成り立ち、中国剰余定理によりグローバルな境界が得られる。
• この手法により、p冪拡張とは異なる、素数pと互いな拡張に起因する新しいタイプの例外的ゼロ現象が明らかになった。
• 一般化された制御定理およびコンパクトなSelmer群の自由性定理は、n-適正集合と等型分解を用いて、p冪でない拡張へと拡張された。
• 系17.4は、合成数Mに対する巡回類体拡張上でのシャファレヴィチ＝タイト群のサイズについて部分的な答えを提供し、p進L不変量のp進付値を用いて、$ \chi $-等型部分の境界を与える。