[論文レビュー] Existence de filtrations admissibles sur des isocristaux

Jean-Marc Fontaine, Michael Rapoport|ArXiv.org|Apr 24, 2002

Mathematical Dynamics and Fractals被引用数 4

ひとこと要約

この論文は、p進体上の等長的コホロジーに適切なフィルトレーションの存在を確立し、そのようなフィルトレーションが存在するための必要十分条件として、ホッジ多角形がノイザー多角形を支配することを証明する。この結果は、フォンタインの弱く適切な基準を任意のQ_pの有限拡大へ一般化し、フィルトレートされた等長的コホロジーとクリスタリンガロア表現の間の基礎的同値関係を提供する。さらに、等長的コホロジーに追加構造を導入した文脈へ理論を拡張する。

ABSTRACT

Let (D,phi) be an isocrystal over an algebraically closed field of characteristic p. Let F^bullet be a filtration on D. If F^bullet is (weakly) admissible, its type vector is greater or equal to the slope vector of (D,phi). We prove that conversely, give a type mu greater or equal to the slope vector of (D,phi), there exists an admissible filtration F^bullet on D of type vector equal to mu. We also give a group theoretic version of this statement and relate it to the existence of lattices M in D with mu(M)=mu.

研究の動機と目的

• 有限次拡大Q_p上の等長的コホロジーにおける適切なフィルトレーションの存在を確立すること。
• フォンタインの弱く適切な基準を、Q_pの任意の有限拡大Fへ一般化すること。
• 適切なフィルトレーションを備えたフィルトレートされた等長的コホロジーと、C_p固定部分空間に特定の条件を満たすクリスタリンガロア表現の間のカテゴリカル同値関係を提供すること。
• 等長的コホロジーに追加構造を備えた文脈へホッジ多角形およびノイザー多角形の理論を拡張すること。
• 適切なフィルトレーションの存在が、ホッジ多角形がノイザー多角形を支配することと同値であることを証明すること。

提案手法

• L = F ⊗_{W(k_F)} W(k) 上の有限次元ベクトル空間として等長的コホロジーを定義し、σ線形で全単射な自己準同型φを備える。
• 等長的コホロジーとフィルトレーションに関連するノイザー多角形P(ν)とホッジ多角形P(μ)を導入する。
• 次の2条件を満たすフィルトレーションを適切なフィルトレーションと定義する：(i) 総勾配|μ|が|ν|に等しいこと、(ii) 任意の部分等長的コホロジーについて、ホッジ勾配がノイザー勾配を支配すること。
• 部分和による順序を導入することで、(Q^d)_+ 上の部分順序を用いてノイザー多角形とホッジ多角形を比較する。
• GL_dの場合への還元を用い、HNコカラクターおよびC_p上のフラッグ多様体の分解を用いて、適切なフィルトレーションの存在を証明する。
• ラポポール＝ジンクおよびコットヴィッツの結果を応用し、周期空間およびC_p上のフラッグ多様体における適切な点の構造を解析する。

実験結果

リサーチクエスチョン

• RQ1 有限次拡大FのQ_p上の等長的コホロジーが、適切なフィルトレーションをもつための条件は何か？
• RQ2 ホッジ多角形がノイザー多角形を支配することは、適切なフィルトレーションの存在とどのように関係するか？
• RQ3 p進的文脈におけるフィルトレートされた等長的コホロジーとガロア表現の間の正確なカテゴリカル同値関係は何か？
• RQ4 適切なフィルトレーションの存在を、多角形の支配関係のみで特徴づけられるか？
• RQ5 与えられたコカラクターμに対して、C_p上のフラッグ多様体F(G, {μ})における適切な点の集合の構造は何か？

主な発見

• 等長的コホロジー(D, φ)に適切なフィルトレーションが存在するための必要十分条件は、(Q^d)_+ 上の部分順序でμ ≥ ν(D, φ)であること。
• この定理は、Q_pに限らず、任意の有限次拡大FのQ_pへフォンタインの弱く適切な基準を一般化する。
• 適切なフィルトレーションを備えたフィルトレートされた等長的コホロジーの圏と、Gal(̄L/L)のF表現のうち、クリスタリンで条件(∗)を満たすもの（すなわち、C_pベクトル空間V_{C_p,F}がガロア不変元によって生成される）のフル部分圏との間に自然な同値関係が存在する。
• GL_dの場合、L上のフラッグ多様体F(L)は、|λ| = 0を満たすλ ∈ (Q^d)_+ でインデックスづけられた互いに交わらないストラトムに分解され、最小ストラトム（λ = 0）が空でないのはμ ≥ νのときである。
• フラッグ多様体F(G, {μ})(C_p)における適切な点の集合が空でないための必要十分条件は、μの共役がbのノイザー共カルクターν_bを支配することである。
• この結果は、(φ, N)-モジュールに対しても成り立つ。なぜなら、基礎となる等長的コホロジーに適切なフィルトレーションが存在するならば、N構造を含めた場合にもそのフィルトレーションは依然として適切なままであるからである。