[論文レビュー] On the Gross-Stark Conjecture

Samit Dasgupta, Mahesh Kakde+1 more|arXiv (Cornell University)|May 26, 2016

Advanced Algebra and Geometry参考文献 11被引用数 5

ひとこと要約

この論文は、完全実体の完全偶数特徴のs=0におけるデリーニュ–リベットp進L関数の解析的先頭項に関するグロスの予想を証明する。ホモロジー的メソッド、ヒダ族、ガロアコホモロジー類によるp進レギュレータ計算を用いて、解析的先頭項が特徴によって切り出されたray類体における単位のp進レギュレータに等しいことを確立し、イwasawa理論およびp進L関数における長年の予想を解決する。

ABSTRACT

In 1980, Gross conjectured a formula for the expected leading term at $s=0$ of the Deligne--Ribet $p$-adic $L$-function associated to a totally even character $ψ$ of a totally real field $F$. The conjecture states that after scaling by $L(ψω^{-1}, 0)$, this value is equal to a $p$-adic regulator of units in the abelian extension of $F$ cut out by $ψω^{-1}$. In this paper, we prove Gross's conjecture.

研究の動機と目的

• 完全実体の完全偶数特徴について、s=0におけるデリーニュ–リベットp進L関数の先頭項に関するグロスの1980年予想を証明すること。
• p進L関数の先頭項とアーベル拡大における単位のp進レギュレータを結びつける、正確なp進アナログのスターグ予想を確立すること。
• ヒダ族から得られるコホモロジー類を構成・分析することにより、イwasawa理論における重要な未解決問題を解決すること。
• 特徴とその逆の解析的ランクが異なる場合、特にr_an(χ) > r_an(χ⁻¹)の場合に、新しいc-コサイクル構成を導入することで、すべてのケースにおける証明を完成させること。

提案手法

• ヒダ族とp進モジュラー形式を用いて、cusp形式上のヒダヘッケ代数の作用を通じて、ガロアコホモロジーにクラスを構成する。
• ヘッケ代数から完備化された群環へのホモモーフィズムφを用い、コホモロジー類をp進L関数に関連付ける。
• 単位群のマイナス部分とガロアモジュール構造を用いて、コホモロジー類と単位群との間のコホモロジー的直交性を適用する。
• pユニット上のp進対数および価値写像を用いてp進レギュレータを定義し、行列式計算を通じてL関数の先頭項と関連付ける。
• p以上における素点でのコホモロジー類の局所的性質を分析し、特徴がpで不分岐か分岐しているかに応じて場合分けを行う。
• 双対性の議論とヘッケ代数内の合同関係を用い、レギュレータ写像の行列式が、解析的先頭項と一致することを示し、r_an(χ)とr_an(χ⁻¹)が異なる場合でも成立する。

実験結果

リサーチクエスチョン

• RQ1 グロスの予想によれば、s=0におけるデリーニュ–リベットp進L関数の先頭項は、ψω⁻¹によって切り出されたアーベル拡大における単位のp進レギュレータに等しいか？
• RQ2 ヒダ族とガロアコホモロジー類を含むコホモロジー的メソッドを用いて、p進レギュレータを計算できるか？
• RQ3 特徴χとχ⁻¹の解析的ランクが異なる場合、特にr_an(χ) > r_an(χ⁻¹)の場合に、予想はどのように振る舞うか？
• RQ4 分岐および不分岐なp上の素点を含め、すべてのケースにおいてレギュレータと解析的L関数値を統一するコホモロジー的構成は存在するか？
• RQ5 文献[8]の定理4.4の証明における欠落していたケースは、b-コサイクルの代わりにc-コサイクルを用いることで埋め合わせ可能か？

主な発見

• この論文はグロスの予想を完全に証明した：任意の完全実体Fの完全偶数特徴χについて、p進L関数L_p(χω, s)のs=0における先頭項は、p進レギュレータR_p(χ)に等しい。
• r_an(χ) ≠ r_an(χ⁻¹)であるすべてのケースにおいても、L_an(χ⁻¹) = R_p(χ⁻¹)が成り立つことが確認され、先行研究における欠落を解消した。
• 証明はヒダ族から得られるガロアコホモロジー類を構成し、χ⁻¹の解析的ランクがχより小さい場合にc-コサイクルを用いて処理する。
• コホモロジー類を用いて計算されたレギュレータ写像の行列式は、ヘッケ代数内の単元を除いて解析的先頭項と一致し、予想が正当化された。
• 構成により、p進レギュレータがp進対数および価値写像による単位群の像によって記述されること、非ねじれの場合でも成り立つことが示された。
• この結果はすべての素数p、特にp=2に対しても成り立ち、従来の解析的証明の範囲を超えて予想の有効性を拡張した。