[论文解读] 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 上等特征晶像的可接受过滤的存在性。
• 将福尔米奈的弱可接受性准则推广至任意有限扩张 F 的 Q_p。
• 在满足 C_p-固定子空间特定条件的晶体伽罗瓦表示与带有可接受过滤的过滤晶像之间，提供范畴等价。
• 将霍奇与牛顿折线理论扩展至具有附加结构的等特征晶像情境。
• 证明可接受过滤的存在性等价于霍奇折线对牛顿折线的支配。

提出的方法

• 将等特征晶像定义为 L = F ⊗_{W(k_F)} W(k) 上的有限维向量空间，配备一个 σ-线性双射自同态 φ。
• 引入与等特征晶像相关的牛顿折线 P(ν) 和与过滤相关的霍奇折线 P(μ)。
• 将可接受过滤定义为满足以下两个条件的过滤：(i) 总斜率 |μ| 等于 |ν|，(ii) 对每个子等特征晶像，霍奇斜率支配牛顿斜率。
• 利用 (Q^d)_+ 上由部分和定义的偏序关系，比较牛顿折线与霍奇折线。
• 通过约化至 GL_d 的情形，并利用 HN-共特征标与 C_p 上旗流形的分解，证明可接受过滤的存在性。
• 应用拉波波特-津克与科特维茨关于周期空间结构及 C_p 上旗流形中可接受点的结果。

实验结果

研究问题

• RQ1 在 Q_p 的有限扩张 F 上，等特征晶像在何种条件下允许存在可接受过滤？
• RQ2 霍奇折线对牛顿折线的支配关系如何与可接受过滤的存在性相关？
• RQ3 在 p 进设置下，过滤晶像与伽罗瓦表示之间的精确范畴等价是什么？
• RQ4 可接受过滤的存在性能否纯粹以折线支配关系来刻画？
• RQ5 对于给定的共特征标 μ，C_p 上旗流形 F(G, {μ}) 中可接受点的空间结构如何？

主要发现

• 在等特征晶像 (D, φ) 上存在可接受过滤，当且仅当在 (Q^d)_+ 上的偏序关系中 μ ≥ ν(D, φ)。
• 该定理将福尔米奈的弱可接受性准则推广至任意有限扩张 F 的 Q_p，而不仅限于 Q_p 本身。
• 带有可接受过滤的过滤晶像范畴与 Gal(̄L/L) 的 F-表示的全子范畴之间存在自然等价，这些表示是晶体的，且满足条件 (∗)：C_p-向量空间 V_{C_p,F} 由伽罗瓦不变元素生成。
• 对于 GL_d，L 上的旗流形 F(L) 按 λ ∈ (Q^d)_+ 且 |λ| = 0 的指标分解为不相交的层，当且仅当 μ ≥ ν 时，最小层（λ = 0）非空。
• 旗流形 F(G, {μ})(C_p) 中可接受点的空间非空，当且仅当 μ 的共轭支配 b 的牛顿共特征标 ν_b。
• 该结果对 (φ, N)-模也成立，因为当加入 N-结构后，底层等特征晶像上的可接受过滤依然保持可接受性。