Abstract:Let $k$ be a perfect field of characteristic $p$ and $W(k)$ its ring of Witt
vectors. We construct an equivalence of categories between the full subcategory
of the derived category of quasi-coherent sheaves on the syntomification of
$W(k)$ spanned by objects whose Hodge-Tate weights are between $[0,p-2]$ and an
appropriate derived category of Fontaine-Laffaille modules.
What problem does this paper attempt to address?
The main problems that this paper attempts to solve focus on two aspects:
1. **Recovering Fontaine - Laffaille Modules from Prismatic Cohomology**:
Given a smooth scheme \(X\) with dimension less than or equal to \(p - 1\), is it possible to recover the corresponding (big) Fontaine - Laffaille module \(\Phi_{\text{Maz}}(X)\) from its prismatic cohomology \(H^{\text{syn}}(X)\)?
2. **Does Prismatic Cohomology Contain More Information?**:
Does \(H^{\text{syn}}(X)\) contain more information than \(\Phi_{\text{Maz}}(X)\)?
Specifically, the authors construct an equivalence relation that links the derived category of objects with Hodge - Tate weights between \([0, p - 2]\) to the derived category of appropriate big Fontaine - Laffaille modules. This equivalence relation is achieved through the following main result:
\[ \text{Theorem. There exists a functor} \]
\[ \Phi_{\text{Maz}}: D^{\text{qc},[0,p - 1]}(\mathcal{W}(k)^{\text{syn}}) \to DMF^{\text{big}}_{[0,p - 1]}(\mathcal{W}(k)) \]
\[ \text{which induces an equivalence of infinity - categories:} \]
\[ D^{\text{qc},[0,p - 2]}(\mathcal{W}(k)^{\text{syn}}) \sim \to DMF^{\text{big}}_{[0,p - 2]}(\mathcal{W}(k)). \]
Furthermore, they also prove that for a perfect field \(k\) and the Witt vector ring \(\mathcal{W}(k)\), under appropriate conditions, syntomic cohomology can recover the Fontaine - Laffaille modules through the functor \(\Phi_{\text{Maz}}\), and these modules can capture more homological information.
### Main Contributions
1. **Establishing a Bridge between Prismatic Cohomology and Fontaine - Laffaille Modules**:
By constructing the functor \(\Phi_{\text{Maz}}\), the authors show how to extract information of Fontaine - Laffaille modules from prismatic cohomology, which provides new tools and perspectives for the study of \(p\)-adic Hodge theory.
2. **Verifying the Richness of Prismatic Cohomology**:
The authors not only prove that prismatic cohomology can recover Fontaine - Laffaille modules, but also explore whether it contains more additional information, which is of great significance for understanding \(p\)-adic representation theory and geometric structures.
3. **Introducing New Techniques and Methods**:
Techniques such as syntomification and filtered Cartier - Witt divisors are used in the paper, and these methods provide new ideas and tools for subsequent research.
In summary, the core objective of this paper is to further promote the understanding of \(p\)-adic Hodge theory through the relationship between prismatic cohomology and Fontaine - Laffaille modules, and to explore deeper connections between these mathematical structures.