[論文レビュー] Frobenius modules over multivariate Robba rings

Kiran S. Kedlaya|arXiv (Cornell University)|Nov 29, 2013

Algebraic Geometry and Number Theory参考文献 45被引用数 7

ひとこと要約

この論文はp進ホッジ理論における古典的単変数ロバ環の一般化として、多変数ロバ環を導入し、これらの環上のフロベニウス加群を統一的に扱う枠組みを可能にする。主な貢献は、このような環上の射影的φ加群が適切な有理的局所化の後でエタールモデルをもつことを示す定理であり、収束的降下を多変数設定に拡張し、p進ホッジ理論における最近の発展を統一する。

ABSTRACT

We describe a class of multivariate series rings generalizing the usual Robba ring over a p-adic field, and give a basic development of phi-modules over such rings. This makes it possible to give a unified survey of a number of recent developments in p-adic Hodge theory.

研究の動機と目的

• 古典的ロバ環を多変数設定に一般化し、p進ホッジ理論における最近の発展を統一する。
• アイワサワ理論やp進ラングランズ計画への応用を目的として、多変数ロバ環上のφ加群論を構築する。
• 古典的単変数降下が失敗する状況においても、多変数設定での収束的降下を確立する。
• 非巡回的Zp-ツリー、アフィノイド代数、基本群表現など多様な構成を含む枠組みを提供する。

提案手法

• p進体上のアフィノイドまたは半アフィノイド代数の完備化として多変数ロバ環を構成する。
• pを法としてq乗フロベニウスを上げるフロベニウス自己準同型をこれらの環に導入する。
• スペクトル上の点の近傍におけるφ加群の挙動を制御するために有理的局所化技術を適用する。
• 局所化の完全完備化を用いて、ティルダ環から元のロバ環へのエタールモデルの降下を実現する。
• ディエュドンヌ＝マニン分類およびスロープ多角形理論を用いてφ加群の分解を分析する。
• ガロア群のコンパクト性と協加性モジュール論を用いて作用の整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 収束的降下は、単変数ロバ環を超えて多変数設定へ拡張可能か？
• RQ2 非巡回的Zp-ツリーまたはルビン＝タート拡大から生じる多変数ロバ環上でのフロベニウス加群は、どのように振る舞うか？
• RQ3 (φ,Γ)-加群論は、アフィノイド代数や基本群表現への表現を含む形にどの程度一般化可能か？
• RQ4 単変数設定で収束的降下が失敗する場合、多変数一般化によってこれを克服できるか？
• RQ5 多変数ロバ環上のφ加群が局所化後に自由なエタールモデルをもつための条件は何か？

主な発見

• 適切な有理的局所化の後で、多変数ロバ環上の射影的φ加群はエタールモデルをもつ。これは、シェルボニエ＝コルゼの降下を一般化する。
• ティルダ環へのベース拡大がエタールであるφ加群に対して、エタールモデルの存在が保証される。
• φ加群のスロープ多角形は下半連続であり、ある点の近傍でエタール性が保証される。
• 高さh > 1のルビン＝タート拡大に対して、関連するスペクトル上の点は非古典的であり、単変数の形式的べき級数環への特殊化が失敗することを示唆する。
• 構成により、局所化された多変数ロバ環上の(φ,Γ)-加群が得られ、非分岐ルビン＝タートの場合に予想12.13を証明する。
• この方法により、クリスタル表現に関連する協加性反射的モジュールの降下が可能となり、ベルジャの構成と整合することが確認される。