[论文解读] Crystalline Galois Representations arising from K3 Surfaces

Bruno Chiarellotto, Christopher Lazda+1 more|arXiv (Cornell University)|Jan 11, 2017

Algebraic Geometry and Number Theory参考文献 21被引用 3

一句话总结

该论文证明了在 p-进域上，K3 曲面的平展上同调表示是晶体的，当且仅当该曲面在某个有限无分支扩张后获得良归约。此外，该文还表明，Fontaine 和 Kisin 的函子计算了具有典范奇点的模型的特殊纤维的最小解析的晶体上同调。

ABSTRACT

Let $K$ be a $p$-adic field and let $X$ be a K3 surface over $K$. Assuming potential semi-stable reduction, we show that the ${ m Gal}(\overline{K}/K)$-representation on $H^2_{ m et}(X_{\overline{K}},{\mathbb Q}_p)$ is crystalline if and only if $X$ has good reduction after a finite and unramified extension of $K$. However, $X$ usually does not have good reduction over $K$ in this case, but it admits a model over ${\mathcal O}_K$, whose special fiber ${\cal X}_0$ has canonical singularities. Moreover, we show that functors of Fontaine and Kisin compute the crystalline cohomology of the minimal resolution of singularities of ${\cal X}_0$.

研究动机与目标

• 确定 p-进域上 K3 曲面的平展上同调上的伽罗瓦表示为晶体表示的精确条件。
• 分析 p-进域上 K3 曲面的归约行为，特别是当良归约不在基域上发生，而仅在无分支扩张后发生时的情况。
• 研究基域整数环上 K3 曲面模型的奇异特殊纤维，证明其具有典范奇点。
• 确立 Fontaine 和 Kisin 的函子能够计算特殊纤维奇点的最小解析的晶体上同调。

提出的方法

• 假设具有潜在半稳定归约，以分析 $ H^2_{\text{ét}}(X_{\bar{K}}, \bbQ_p) $ 上伽罗瓦表示的结构。
• 应用 Néron 模型理论和 Néron 的最小模型程序，在 $ \bbZ_p $ 上构造 K3 曲面的模型 $ \frak{X}_0 $，使其具有典范奇点。
• 运用对数结构和半稳定归约的理论，将一般纤维的上同调性质与特殊纤维联系起来。
• 利用 Fontaine 和 Kisin 的函子，计算 $ \frak{X}_0 $ 的最小解析的晶体上同调，将 p-进霍奇理论与算术几何联系起来。
• 利用晶体情形下平展上同调与晶体上同调之间的比较同构，验证函子与解析之间的相容性。

实验结果

研究问题

• RQ1 对于 p-进域 $ K $ 上的 K3 曲面 $ X $，何时其 $ H^2_{\text{ét}}(X_{\bar{K}}, \bbQ_p) $ 上的伽罗瓦表示是晶体的？
• RQ2 晶体表示的存在是否意味着 K3 曲面在 $ K $ 的某个有限无分支扩张上获得良归约？
• RQ3 当 $ X $ 在 $ K $ 上不具有良归约时，$ X $ 在 $ \bbZ_K $ 上的模型的特殊纤维具有何种性质？
• RQ4 能否使用 Fontaine 和 Kisin 的函子来计算特殊纤维奇点的最小解析的晶体上同调？
• RQ5 特殊纤维的奇点如何与一般纤维的上同调性质相关联？

主要发现

• 在假设潜在半稳定归约的前提下，$ H^2_{\text{ét}}(X_{\bar{K}}, \bbQ_p) $ 上的伽罗瓦表示是晶体的，当且仅当 $ X $ 在 $ K $ 的某个有限无分支扩张后获得良归约。
• 即使 $ X $ 在 $ K $ 上不具有良归约，它仍存在一个在 $ \bbZ_K $ 上的模型，其特殊纤维 $ \frak{X}_0 $ 仅具有典范奇点。
• 对 $ \frak{X}_0 $ 的最小解析具有明确定义的晶体上同调，且可由 Fontaine 和 Kisin 的函子计算。
• $ \frak{X}_0 $ 的最小解析的晶体上同调同构于 $ H^2_{\text{ét}}(X_{\bar{K}}, \bbQ_p) $ 上伽罗瓦表示的 $ \bbQ_p $-实现，确认了与 p-进霍奇理论的相容性。
• $ \frak{X}_0 $ 的奇点是温和的（典范的），确保解析为具有受控上同调不变量的光滑曲面。