[論文レビュー] Slope filtrations in families

Ruochuan Liu|arXiv (Cornell University)|Sep 1, 2008

Rings, Modules, and Algebras参考文献 5被引用数 3

ひとこと要約

本稿は、混合特徴値 $(0,p)$ の下で、滑らかでないアフィノイド空間上の $φ$-モジュールの族に対して、傾き多角形の下半連続性を確立し、傾き多角形が剛点で局所定数であるとき、拡張されたロッバ環への基底拡張後に、グローバルな傾きフィルトレーションが存在することを証明する。主な貢献は、傾きの定数性の下での局所からグローバルへのフィルトレーション結果であり、古典的傾き理論を $p$-進表現の算術的族へと拡張するものである。

ABSTRACT

This paper concerns arithmetic families of $φ$-modules over reduced affinoid spaces. For such a family, we first prove that the slope polygons is lower semicontinuous around any rigid point. If the slope polygons are locally constant around a rigid point, we further prove that around this point, the family has a global slope filtration after base change to some extended Robba ring.

研究の動機と目的

• 滑らかでないアフィノイド空間上の算術的族に対して、$φ$-モジュールの古典的傾きフィルトレーション定理を一般化すること。
• $φ$-モジュールの族におけるハーダー＝ナラシムハン（HN）多角形の変動を理解すること。
• 傾き多角形が局所定数である場合に、このような族においてグローバルな傾きフィルトレーションが存在する条件を確立すること、特に傾き多角形が局所定数である場合に注目すること。
• $(φ,\Gamma)$-モジュールを介して、$p$-進表現の族へと理論を拡張し、相対 $p$-進ホッジ理論への応用を提供すること。

提案手法

• $\mathbb{Q}_p$ 上のアフィノイド代数上の $φ$-モジュールの族を定義するために、ロッバ環およびその拡張を用いる。
• ロッバ環およびその拡張上の $φ$-モジュールに対して、ディエュドンヌ＝マニン分解および傾きフィルトレーションの理論を適用する。
• 剛点の周囲での研究を局所化し、傾き多角形の振る舞いを分析するために、ワイエルシュトラス部分域を導入する。
• 傾き多角形が定数である場合にグローバルなフィルトレーションを構成するために、拡張されたロッバ環における $(c,d)$-純粋モデルの概念を用いる。
• 拡張およびエタール性を研究するため、複体 $C^\bullet_{\varphi,\gamma}(M)$ を含むコhomological技法を用いる。
• ファイバー間での HN-多角形の比較を用いて、下半連続性および定数性を分析するため、HN-多角形の理論を応用する。

実験結果

リサーチクエスチョン

• RQ1 滑らかでないアフィノイド空間上の族において、$φ$-モジュールの HN-多角形は、どのような条件下で下半連続的に変化するか？
• RQ2 $φ$-モジュールの族において、剛点の周囲で傾き多角形が局所定数であるのはいつか？
• RQ3 傾き多角形が局所定数である場合、基底拡張後に $φ$-モジュールの族に対してグローバルな傾きフィルトレーションを構成できるか？
• RQ4 ファイバーの HN-多角形が特定のファイバーと一致する点の集合の構造はいかなるものか？

主な発見

• $φ$-モジュールの族の HN-多角形は下半連続である：任意の剛点 $x$ に対して、$x$ の周りのワイエルシュトラス部分域 $M(B)$ が存在し、すべての $y \in M(B)$ に対して $M_y$ の HN-多角形が $M_x$ の HN-多角形以上になる。
• 剛点 $x$ におけるファイバー $M_x$ が純粋で、$k(x) \subset A$ であるならば、適切なワイエルシュトラス部分域への基底拡張の後、$M_A$ は $x$ の周囲で同じ傾きのグローバルに純粋になる。
• 傾き多角形が $x$ で局所定数であるとき、$M_y$ が $M_x$ と同じ HN-多角形を持つ点の集合は、$x$ の周りのワイエルシュトラス部分域におけるザリスキ閉部分集合をなす。
• このザリスキ閉部分集合上で、拡張されたロッバ環への基底拡張の後、族はグローバルな傾きフィルトレーションをもつ。
• この構成は $(\varphi,\Gamma)$-モジュール形式と整合的であり、算術的族における相対 $p$-進ホッジ理論の枠組みを提供する。
• 明示的な例により、傾き多角形が常に局所定数でないことが示されつつも、下半連続性の結果は依然として成り立ち、定数性の集合はザリスキ閉である。