[論文レビュー] Lissite de la courbe de Hecke de GL(2) aux points Eisenstein critiques

Joël Bellaïche, Gaëtan Chenevier|ArXiv.org|May 21, 2004

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

ひとこと要約

この論文は、GL(2)のColeman-Mazur固有曲線が臨界Eisenstein点において滑らかであることを証明し、p-adic zeta値を用いて、これらの点における重み写像のエタール性の基準を確立する。主な結果は、滑らかさとエタール性がp-adic L関数の消えないことに関連していることを示し、関連する擬スカラー関数のスキーム的還元性の分岐点とp-adic Hodge理論に依拠している。

ABSTRACT

Let p be a prime number and C be the p-adic tame level 1 eigencurve introduced by Coleman-Mazur. We prove that C is smooth at the evil Eisenstein points and we give necessary and sufficient conditions for etaleness of the map to the weight space at these points in terms of p-adic zeta values. A key step is the determination at these points of the schematic reducibility locus of the pseudo-character carried by C restricted to a decomposition group at p. Then, the smoothness appears to be a consequence of the fact that the Dirichlet L-functions only have simple zeros at integers.

研究の動機と目的

• 関連するガロア表現が可約であり、Dirichlet特徴と円分的特徴の捩れに対応する臨界Eisenstein点において、Coleman-Mazur固有曲線の滑らかさを確立すること。
• 固有曲線から重み空間への重み写像が、これらの臨界Eisenstein点においてエタールであるための必要十分条件を特定すること。
• pにおける分解群に制限した固有曲線の擬スカラー関数のスキーム的還元性の分岐点が、単一の点に等しいことを示すこと。
• 滑らかさとエタール性が、特に臨界整数におけるp-adic zeta関数の非消滅にどのように関連しているかを接続すること。
• Mazur-WilesとBloch-Katoの予想の技術を用いて、極大イデアルの最小生成数をセレマー群の次元に関連付けること。

提案手法

• pにおける分解群Dに制限した固有曲線の擬スカラー関数Tを研究し、Kisin理論を用いてそのスキーム的還元性の分岐点を特定する。
• Colemanの古典性定理の極限ケースを用いて、臨界Eisenstein点xにおけるT|Dの還元性分岐点が、xにおける重み写像のファイバーと同型であることを示す。
• 局所環が主イデアルをもつことを示すことにより、Tのグローバル還元性分岐点が単一の点xに等しいことを証明する。
• Mazur-Wilesの技術を用いて、極大イデアルの最小生成数をセレマー群の次元で上から抑え込む。
• 極大イデアルが主イデアルであることは、p-adic zeta関数ζ_p(w*)が臨界整数において単純零点をもつか、非消滅することと同値であることを確立する。
• 重み写像がxにおいてエタールであることと、写像の次数が1であることとは同値であり、これはζ_p(w*) ≠ 0のときに成り立つ。

実験結果

リサーチクエスチョン

• RQ1 Galois表現が可約である臨界Eisenstein点において、Coleman-Mazur固有曲線は滑らかか？
• RQ2 このような点において、重み写像がエタールである条件は何か？
• RQ3 p-adic分解群における擬スカラー関数のスキーム的還元性分岐点は、固有曲線の幾何にどのように関連するか？
• RQ4 p-adic L値の非消滅と固有曲線の滑らかさ／エタール性の間にはどのような関係があるか？
• RQ5 臨界Eisenstein点における極大イデアルの主イデアル性は、p-adic zeta値に関する予想に還元可能か？

主な発見

• 臨界Eisenstein点における固有曲線は滑らかであり、その点における局所環の極大イデアルが主イデアルであるためである。
• 重み写像が臨界Eisenstein点xにおいてエタールであることと、p-adic zeta値ζ_p(w*)が非ゼロであることとは同値である。
• このような点における擬スカラー関数T|Dのスキーム的還元性分岐点は、xにおける重み写像のファイバーと同型であり、かつ単一の点である。
• 点xにおける固有曲線の滑らかさは、Dirichlet L関数が整数において単純零点しか持たないという事実に起因する。この事実はBloch-Kato予想と併用される。
• 極大イデアルの最小生成数は、あるセレマー群の次元によって上から抑え込まれ、イデアルが主イデアルであることはζ_p(w*) ≠ 0のときに限り成り立つ。
• 重み写像のxにおける次数が1であることと、ζ_p(w*) ≠ 0であることとは同値であり、これはxにおけるエタール性と同値である。