[論文レビュー] On Selmer groups and factoring $p$-adic $L$-functions

Bharathwaj Palvannan|arXiv (Cornell University)|May 3, 2016

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

ひとこと要約

この論文は、Selmer群とp進L関数の因数分解の間の関係を確立し、Dasguptaの3変数p進L関数の因数分解（2変数p進L関数とKubota-Leopoldtのp進L関数の積への分解）を拡張する。特殊化技術およびSelmer群の制御定理を用いて、これらのL関数に関連する代数的構造（Selmer群）が、4次元、3次元、1次元Galois表現に関する主予想と整合する関係を満たすことを示している。

ABSTRACT

Haruzo Hida has constructed a 3-variable Rankin Helberg \(p\)-adic \(L\)-function. Two of its variables are "weight" variables and one of its variables is the "cyclotomic" variable. Samit Dasgupta has factored a certain restriction of this 3-variable \(p\)-adic \(L\)-function (when the two weight variables are set equal to each other) into a product of a 2-variable \(p\)-adic \(L\)-function (related to the adjoint representation of a Hida family) and the Kubota-Leopoldt \(p\)-adic \(L\)-function. We prove the corresponding result involving Selmer groups that is predicted by the main conjectures. A key technical input is studying the (height one) specialization of Selmer groups.

研究の動機と目的

• Dasguptaの3変数p進L関数の因数分解（2変数p進L関数とKubota-Leopoldtのp進L関数の積への分解）の代数的双対を確立すること。
• 関連するGalois表現のSelmer群を因数分解と関連づけ、主予想に対する証拠を提供すること。
• Hida族とIwasawa理論の文脈において、特に特殊化の下でのSelmer群の振る舞いを研究すること。
• 追加の仮定のもとで、3次元および4次元表現に関する主予想がUrbanの結果から導かれる条件を示すこと。
• Iwasawa理論の枠組みに合わせて、主予想を非原始的Selmer群および原始的p進L関数の言語に再定式化すること。

提案手法

• 3変数p進L関数の因数分解結果（2変数p進L関数（Hida族の随伴に関連）とKubota-Leopoldtのp進L関数の積）を出発点として用いる。
• GreenbergのIwasawa理論の枠組みを適用し、主予想を非原始的Selmer群および原始的p進L関数の言語に再定式化する。
• 制御定理および特殊化技術を用いて、4次元表現から3次元表現への制限におけるSelmer群の振る舞いを分析する。
• Iwasawa代数上の加群の完全系列における図式引き（diagram-chasing）を用いて、Selmer群間の写像の核と余核を関連付ける。
• 群論的補題（補題B.1）を用いて、部分群作用のもとでの自由性が、全群作用のもとでも自由性を保つ条件を示す。
• 可換代数の道具（例：擬似零モジュール、Nakayamaの補題）を用いて、Noether環およびIwasawa代数の文脈におけるSelmer群およびその双対の構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 4次元Galois表現から3次元表現への特殊化の下で、Selmer群はどのように振る舞うか？
• RQ2 Selmer群の代数的構造は、p進L関数の因数分解と整合的であると確認できるか？
• RQ3 Iwasawa主予想の文脈において、非原始的Selmer群と原始的Selmer群の正確な関係は何か？
• RQ4 どのような条件下で、3次元および4次元表現に関する主予想が、既存の結果（例：UrbanのEisenstein理想に関する研究）から導けるか？
• RQ5 p進L関数の因数分解は、Iwasawa理論的文脈におけるGaloisコホホロジーおよびSelmer群の構造をどのように反映するか？

主な発見

• 論文は、3変数p進L関数に関連するSelmer群が、Dasguptaの因数分解と整合するように特殊化されることを証明し、4次元表現に関する主予想を支持する。
• 非原始的Selmer群の特徴的イデアルが、2変数およびKubota-Leopoldtのp進L関数のSelmer群の特徴的イデアルの積に一致することを確立した。
• 追加の仮定のもとで、著者らは3次元表現に関する主予想が、Eisenstein理想および制御定理に関するUrbanの結果から導かれることが示された。
• 4次元表現に関する主予想は、Selmer群に関する代数的結果と組み合わせることで、因数分解と整合的であることが示された。
• 非原始的および原始的Selmer群の除数の正確な比較がなされ、Iwasawa理論の文脈における差異が明確にされた。
• 群論的補題（補題B.1）により、開部分群の固定部分モジュールが自由であれば、全群の固定部分モジュールも自由であることが保証され、証明におけるモジュール論的制御に不可欠な役割を果たした。