Torsion graded pieces of Nyggard filtration for crystalline representation

这是一份关于 Tong Liu 论文《Torsion Graded Pieces of Nygaard Filtration for Crystalline Representation》（结晶表示的 Nygaard 滤过的挠率分次片）的详细技术总结。

1. 研究背景与问题 (Problem)

背景：
在 $p$-进霍奇理论中，结晶表示（Crystalline representation）$T$ 是 $p$-进域 $K$ 的绝对伽罗瓦群 $G_K$ 的有限自由 $\mathbb{Z}_p$-表示。这类表示可以通过 Breuil-Kisin 模 $M$ 及其扩展 $M^* = S \otimes_{\varphi, S} M$ 来研究，其中 $S = W(\kappa)[[u]]$。
$M^*$ 上定义了 Nygaard 滤过 $F^i M^*$，其分次片 $gr^i M^*$ 与 $D_{dR}(T)$ 的滤过分次片密切相关。具体而言，$M^*/E M^*$ 同构于 $D_{dR}(T)$，且 $F^i M^*$ 的投影对应于 $D_{dR}(T)$ 的滤过 $F^i D_{dR}(T)$。

核心问题：
已知 $gr^i M^* \otimes \mathbb{Q}_p$ 非零当且仅当 $i$ 是 $T$ 的霍奇 - 泰特权重（Hodge-Tate weights）之一。然而，在整系数层面（即考虑挠率），$gr^i M$（其中 $M = M^*/E M^*$）可能在非霍奇 - 泰特权重处出现非平凡的 $p$-挠率（$p$-torsion）。
本文旨在解决以下问题：

1. 确定 $gr^i M$ 出现非平凡 $p$-挠率时，指标 $i$ 必须满足的精确条件。
2. 探究这种挠率的存在性与 Breuil-Kisin 模 $M^*$ 的“适配基”（adapted basis）存在性之间的关系。

2. 主要结果 (Key Results)

定理 1.1 (Theorem 1.1)：
设 $T$ 的霍奇 - 泰特权重为 $r_1, \dots, r_d$（满足 $0=r_1 \le \dots \le r_d = h$）。则 $gr^i M$ 的非零挠率部分 $(gr^i M)_{tor}$ 仅当 $i$ 满足以下条件时才可能非零：
$$i = r_j + mp$$
其中 $j \in \{1, \dots, d\}$，$m$ 为正整数，且 $i \le h$。
换句话说，如果 $i$ 不能表示为某个霍奇 - 泰特权重加上 $p$ 的正整数倍，那么 $gr^i M$ 就是无挠的（torsion-free）。

推论 1.3 (Corollary 1.3)：
如果最高霍奇 - 泰特权重 $h \le p$，则 $M^*$ 具有适配基（adapted basis）。
注：适配基是指存在 $M^*$ 的 $S$-基 $\{e_1, \dots, e_d\}$，使得每个滤过 $F^i M^*$ 由形如 $\{E^{a_{ij}} e_j\}$ 的元素生成。
这一结论恢复了 [GLS14] 中的一个主要技术结果，并给出了更清晰的证明。

命题 1.2 (Proposition 1.2)：
如果对于所有 $i \le h-1$，$(gr^i M)_{tor} = 0$，则 $M^*$ 具有适配基。

3. 方法论 (Methodology)

本文没有使用 Gee 和 Kisin 在相关定理中使用的 Sen 算子（Sen operator）或栈（stacks）理论，而是采用了一种更直接、基于计算的代数几何方法，核心在于利用 Griffith 横截性（Griffith transversality） 的整系数版本。

关键技术步骤：

1. Breuil 模与 Nygaard 滤过的联系：
   利用 Kisin 模 $M^*$ 与 Breuil 模 $D$ 之间的同构，将问题转化为研究 $D$ 上的滤过。定义 $M^*$ 上的 Nygaard 滤过为 $F^i M^* = \{x \in M^* \mid (1 \otimes \varphi_M)(x) \in E^i M\}$。

2. 积分 Griffith 横截性 (Lemma 2.3)：
   这是本文的核心引理。作者证明了对于 $x \in F^i M^*$，其导数 $\nabla(x)$ 满足特定的整系数性质：
   $$\nabla(F^i M^*) \subset S_p \otimes_S F^{i-1} M^*$$
   其中 $S_p$ 是 $S[1/p]$ 中在 $u=p$ 处取值在 $W(\kappa)$ 中的元素。这一结果是通过分析伽罗瓦群作用在 $A_{inf}$ 和 $A_{cris}$ 上的公式，结合 $\tau$-算子的展开式推导出来的。

3. 基的构造 (Construction of Basis, Section 2.3)：
   作者通过归纳法构造 $F^i M^*$ 的 $S$-基。

   • 情形 1：$i \notin \mathcal{J}$（其中 $\mathcal{J}$ 是形如 $r_j + mp$ 的集合）。
     利用引理 2.3 和 Griffith 横截性，作者证明了可以通过调整基向量（添加 $E$ 的幂次项），使得新的基向量落在 $F^{i+1} M^*$ 中。这导致 $gr^i M = 0$，即无挠。
   • 情形 2：$i \in \mathcal{J}$。
     此时 $gr^i M$ 可能非零。作者详细分析了 $gr^i M$ 的结构，将其分解为自由部分和挠率部分。通过精细的矩阵变换和基的选取，证明了挠率仅出现在特定的指标上。

4. 归纳论证：
   通过从 $i=0$ 到 $i=h$ 的归纳，逐步构造 $F^i M^*$ 的基，并追踪 $ev_p$ 映射下的像，从而确定 $gr^i M$ 的挠率性质。

4. 贡献与意义 (Contributions & Significance)

1. 精确刻画挠率位置：
   论文给出了 $gr^i M$ 出现 $p$-挠率的充要条件的上界描述（即 $i$ 必须是 $r_j + mp$ 的形式）。这比之前的定性理解更加精确，揭示了挠率产生的算术结构。

2. 替代性证明与独立性：
   虽然 Gee-Kisin 定理（关于 $M/pM$中$\varphi$ 作用的对角化指数与霍奇 - 泰特权重的关系）和本文定理 1.1 都可以通过 Sen 算子或栈理论证明，但本文提供了一种纯代数且显式的证明方法。这种方法不依赖于复杂的模空间理论，而是基于 Breuil-Kisin 模的具体计算。

3. 适配基的存在性：
   通过证明当 $h \le p$ 时 $M^*$ 具有适配基，本文巩固了低权重情形下结晶表示分类的理论基础。适配基的存在性对于研究形变环（deformation rings）和模形式理论至关重要。

4. 未来应用的潜力：
   作者在引言中提到，这种对 $F^h M^*$ 生成元的显式描述（基于 Griffith 横截性），对于未来研究**结晶形变环（crystalline deformation rings）**的结构至关重要。显式的基构造为处理更复杂的形变问题提供了具体的计算工具。

5. 总结

Tong Liu 的这篇论文通过深入分析 Breuil-Kisin 模上的 Nygaard 滤过，利用积分版本的 Griffith 横截性，成功证明了结晶表示的分次片 $gr^i M$ 的挠率仅出现在霍奇 - 泰特权重平移 $p$ 的倍数处。这一结果不仅恢复了 [GLS14] 中的关键推论，还提供了一个不依赖 Sen 算子的、更具构造性的证明框架，为 $p$-进霍奇理论的进一步研究（特别是形变理论）奠定了坚实的代数基础。