Abstract:In this short note, we give a new proof of a recent result of Tong Liu on torsions in the graded pieces of a Nygaard filtration associated to a crystalline lattice. Our approach is inspired on the one hand by a result of Gee--Kisin on the shape of mod $p$ crystalline Breuil--Kisin modules, and on the other hand by a connection between the Deligne--Illusie theorem and the Sen operator on the diffracted Hodge complex, as observed by Drinfeld and Bhatt--Lurie.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the torsion problem in the Nygaard filtration stratification of crystalline representation. Specifically, the author provides a new proof of the torsion in the Nygaard filtration stratification of the crystalline lattice.
### Problem Background
In the paper, a perfect field \(k/F_p\) and its Witt vector ring \(K := W(k)[1/p]\) are considered. Let \(T \in \text{Rep}_{\text{cris}}^{Z_p}(G_K)\) be a crystalline lattice, and denote \(H_T\) as the set of Hodge - Tate weights of the rational representation \(T[1/p]\). The Breuil - Kisin module associated with \(T\) is denoted as \(M\), and the Nygaard filtration is defined as:
\[FiliM^* := \Phi^{-1}_M(E(u)^i M)\]
where \(\Phi_M: M^*[1/E(u)]\simeq M[1/E(u)]\). It is known that \((M^*/EM^*)[1/p]\simeq D_{\text{dR}}(T[1/p])\), and \(\text{ev}_p(FiliM^*)[1/p]=FiliD_{\text{dR}}(T[1/p])\).
### Main Results
The main result of the paper is to reprove a theorem of Tong Liu:
**Theorem 1.1 ([4, Theorem 1.1])**:
\[(\text{gr}^i M)_{\text{tor}}\neq 0\Rightarrow i = r+mp\]
where \(r\in H_T\) and \(m > 0\).
### Solution Methods
The author reproves this result through the following methods:
1. **Inspired by the results of Gee - Kisin**: Utilize the shape of the crystalline Breuil - Kisin module modulo \(p\).
2. **Deligne - Illusie theorem and Sen operator**: Utilize the connection between the Deligne - Illusie theorem and the Sen operator observed by Bhatt - Lurie.
### Important Formulas
Definition of Nygaard filtration:
\[FiliM^* := \Phi^{-1}_M(E(u)^i M)\]
Torsion condition:
\[(\text{gr}^i M)_{\text{tor}}\neq 0\Rightarrow i = r+mp\]
### Summary
By introducing new proof methods, this paper re - verifies the existence condition of torsion in the Nygaard filtration stratification in crystalline representation, further deepening the understanding of relevant mathematical structures in this field.