[論文レビュー] The 2-adic Eigencurve is Proper

Kevin Buzzard, Frank Calegari|ArXiv.org|Mar 17, 2005

advanced mathematical theories参考文献 7被引用数 14

ひとこと要約

この論文は、随伴レベル1の2進Eigencurveが固有性の値の基準を満たすことを証明しており、これは、非自明な解析的族の有限スロープの過収束固有形式が、穴あき点で無限スロープの形式に崩壊することはできない、という意味である。著者たちは、U作用素の核に属する固有形式の過収束性を、明示的なモジュラー形式 $ h $ を用いて分析することで、この事実を確立した。その結果、このような形式は高過収束にはなり得ず、したがってそのような崩壊族は存在しないことが示された。

ABSTRACT

For p=2 and tame level N=1 we prove that the map from the (Coleman-Mazur) Eigencurve to weight space satisfies the valuative criterion of properness. More informally, we show that the Eigencurve has no "holes"; given a punctured disc of finite slope overconvergent eigenforms over weight space, the center can be "filled in" with a finite slope overconvergent eigenform.

研究の動機と目的

• コールマとマザールが提起した疑問に答えること：穴あき円板上での有限スロープ族が、2進Eigencurve上での無限スロープ固有形式に収束しうるか。
• 無限次元であるにもかかわらず、2進Eigencurveから重み空間への射影が固有性の値の基準を満たすことを確立すること。
• 2進設定において、特に非整数重みにおけるU作用素の核に属する固有形式の過収束挙動を分析すること。
• 標準的な $ F/E_\kappa $ のねじれに依存しない、特定のモジュラー形式 $ h $ を用いた過収束の測定法を新たに開発すること。
• 高過収束族が無限スロープ形式に収束することはできないことを証明し、Eigencurveが「関手的固有性」を有することを保証すること。

提案手法

• 重み12のレベル2のモジュラー形式 $ h $ を用い、$ F/E_\kappa $ の代わりに $ F/h^s $ を用いる新しい過収束基準を定義する。ここで $ h^{1/3} $ は重み4の形式である。
• 過収束性を精密に制御できるように、$ M_0[r] $ の適切に選ばれた基底上で、U作用素および $ 2VU - \mathrm{id} $ の明示的行列を構成する。
• 作用素 $ U'_{k'} $ を $ U'_{k'}(\phi) = E_2^{-1} h^m U(E_2 h^{-m} \phi) $ で定義し、重み $ 2 - 12m $ の固有形式を重み0の固有形式と関連付ける。
• $ |s| < 8 $ のとき、$ M_0[r] $ 上の作用素 $ U'(s) $ はコンパクトであり、過収束性を増加させることを証明し、固有形式がより大きな過収束領域へ拡張できることを保証する。
• 重み $ 2 - 12m $ における $ W $（$ 2VU - \mathrm{id} $ に関連する）の行列成分を分析し、それらが無限スロープ形式が $ r $-過収束になれないことを示す境界条件を満たしていることを示す。ここで $ r = \frac{3 + \nu(2s)}{12} $ である。
• これらの境界条件を適用し、有限スロープ形式の族が穴あき点で無限スロープ形式に収束するならば、その極限は高過収束でなければならないが、これは不可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 穴あき円板上に、非定数の解析的族としての有限スロープ過収束固有形式が存在し、その族が穴あき点で無限スロープ固有形式に収束しうるか。
• RQ2 随伴レベル1の2進Eigencurveは、固有性の値の基準を満たす意味で固有であるか。
• RQ3 U作用素の核に属する固有形式は、特に非整数重みにおいて高過収束になり得るか。
• RQ4 標準的な $ F/E_\kappa $ の過収束測度は、Uの核に属する固有形式の過収束性を制御できないのか。もしそうであれば、代替策として有効なものは何か。
• RQ5 非標準的基底における $ U $ および $ 2VU - \mathrm{id} $ の明示的行列計算は、$ p=2 $ に対して強い過収束境界を導くことができるか。

主な発見

• 随伴レベル1の2進Eigencurveは、固有性の値の基準を満たしており、したがってそのような崩壊族は存在しない。
• Uの核に属する固有形式は高過収束にはなり得ず、最大限の過収束から明確に離れている。
• $ |s| < 8 $ のとき、$ M_0[r] $ 上の作用素 $ U'(s) $ はコンパクトであり、過収束性を増加させる。これにより、固有形式がより大きな過収束領域へ拡張可能であることが保証される。
• 選ばれた基底における $ U $ および $ 2VU - \mathrm{id} $ の行列成分は、明示的な境界条件を満たしており、$ r = \frac{3 + \nu(2s)}{12} $ に対して無限スロープ形式が $ r $-過収束にはなり得ないことを示している。
• $ E_\kappa $ の代わりに $ h^s $ をねじれに用いることで、非整数重みにおける過収束性の精密な制御が可能となり、標準的手法の限界を克服できる。
• 結果は重み空間の原点を中心とする円板上での重みに対して成り立ち、境界付近では既に [4] によって固有性が知られているため、全Eigencurveは固有である。