[论文解读] Descent of morphisms of overconvergent F-crystals

Kiran S. Kedlaya|ArXiv.org|May 29, 2001

Algebraic Geometry and Number Theory参考文献 8被引用 5

一句话总结

本文证明了Tsuzuki关于过收敛$(F,\nabla)$-晶体嵌入到收敛晶体中全忠实性的猜想，限制在潜在半稳定晶体以及至多两个不同斜率的晶体上。通过de Jong的半稳定变换和斜率滤子技术，本文建立了$k((t))$上晶体上同调晶体的过收敛性与潜在半稳定性，解决了Katz关于幂零性与伽罗瓦表示之间等价性的问题。

ABSTRACT

Tsuzuki has conjectured that for crystals with Frobenius and connection over a local field k((t)), the embedding of the category of overconvergent crystals into the category of convergent crystals is fully faithful. We prove Tsuzuki's conjecture restricted to the subcategory of potentially semistable (or quasi-unipotent) crystals, following de Jong's proof of a slightly weaker result. We also prove Tsuzuki's conjecture restricted to crystals with at most two distinct slopes.

研究动机与目标

• 证明Tsuzuki的猜想：在$k((t))$上，过收敛$(F,\nabla)$-晶体到收敛晶体的嵌入在潜在半稳定晶体的子范畴上是全忠实的。
• 将de Jong关于态射扩张的定理推广至过收敛晶体，特别是在具有对数结构的$F$-晶体背景下。
• 解决Katz提出的问题：$F$-晶体的幂零性与关联伽罗瓦表示的平凡性是否等价。
• 建立光滑射影概族在$k((t))$上的晶体上同调产生过收敛且潜在半稳定的$(F,\nabla)$-晶体。
• 通过验证秩为2及低斜率情形，为过收敛晶体的潜在半稳定性猜想提供部分证明。

提出的方法

• 利用de Jong的半稳定变换定理，构造一个在基上具有严格半稳定特殊纤维的正规射影变换$X_1 \to X$。
• 应用斜率滤子理论，将$\tilde{\nabla}$-环上的$F$-晶体分解为斜率递减的等斜率部分，利用$\tilde{\nabla}$-扩张上的特征向量构造。
• 通过Poincaré对偶性与次数论证，证明在有限满射态射下，上拉映射在晶体上同调上的单射性，从而说明$\rho^*$是单射。
• 在$\tilde{\nabla}$-环上的$\tilde{\nabla}$-晶体上构造投影算子$\frac{1}{d}\rho^*\rho_*$，以将自同态从$\tilde{\nabla}$-环提升至$\tilde{\nabla}$-扩张上的$\tilde{\nabla}$-环。
• 应用定理4.2，证明在$\tilde{\nabla}$-环上定义的自同态可延拓至基环$\tilde{\nabla}$，从而保证过收敛性与潜在半稳定性。
• 利用$\tilde{\nabla}^{\text{perf}}_{\text{con}} \to \tilde{\nabla}^{\text{perf}}$的单射性，实现基环扩张下滤子与态射的下降。

实验结果

研究问题

• RQ1 在$k((t))$上，过收敛$(F,\nabla)$-晶体到收敛晶体的嵌入是否对潜在半稳定晶体是全忠实的？
• RQ2 每个在$k((t))$上具有至多两个不同斜率的$F$-晶体是否满足Tsuzuki的Tate型猜想？
• RQ3 能否证明光滑射影概族在$k((t))$上的晶体上同调产生过收敛且潜在半稳定的$(F,\nabla)$-晶体？
• RQ4 一个$F$-晶体的幂零性是否等价于其关联伽罗瓦表示的平凡性？
• RQ5 de Jong的半稳定变换定理在多大程度上允许在过收敛$F$-晶体之间态射的下降？

主要发现

• Tsuzuki关于过收敛$(F,\nabla)$-晶体嵌入到收敛晶体中全忠实性的猜想在潜在半稳定晶体的子范畴上成立。
• 该猜想对秩为2的$F$-晶体以及更一般地对具有至多两个不同斜率的$F$-晶体已得证明。
• 任意光滑射影概族在$k((t))$上的晶体上同调均产生一个过收敛且潜在半稳定的$(F,\nabla)$-晶体。
• 在$k((t))$上的$F$-晶体是幂零的，当且仅当其关联伽罗瓦表示是平凡的，从而回答了Katz的问题。
• 在有限满射态射下，晶体上同调上的上拉映射$\rho^*$是单射，且在$\tilde{\nabla}$-环上定义了投影算子$\frac{1}{d}\rho^*\rho_*$。
• 过收敛$(F,\nabla)$-晶体之间的态射可通过$\tilde{\nabla}^{\text{perf}}_{\text{con}} \to \tilde{\nabla}^{\text{perf}}$的单射性实现下降，从而保证结构的下降。