1. Introduction
Let $\mathcal {O}_K$ be a mixed characteristic discrete valuation ring (DVR) with perfect residue field $k$ and fraction field $K$. Let $\mathcal {X}$ be a smooth proper (formal) scheme over $\mathcal {O}_K$. It is natural to ask how the geometry of $\mathcal {X}_k$ and $\mathcal {X}_K$ are related. Recall that the proper base change theorem [Sta21, Tag 0GJ2] says that, for any prime $\ell$, there is a specialization map
The smooth base change theorem says [Sta21, Tag0GKD] that the above map is an isomorphism for any $\ell \neq p$.
The lack of a smooth base change theorem for when $\ell = p$ is related to many interesting ‘pathology’ phenomena in $p$-adic cohomology theories. In this paper, we try to investigate these pathologies using the recent advances of prismatic cohomology theory.
The driving philosophy in this paper is as follows. Recall that in [Reference Bhatt, Morrow and ScholzeBMS18], [Reference Bhatt, Morrow and ScholzeBMS19], and [Reference Bhatt and ScholzeBS22], the authors attached a natural cohomology theory, known as the prismatic cohomology, to the mixed characteristic family $\mathcal {X}/\mathcal {O}_K$. This cohomology can be thought of as ‘the universal $p$-adic cohomology theory’, therefore we expect a certain well-defined piece inside prismatic cohomology to be ‘the universal source of pathology’ in all $p$-adic cohomology theories. Before explicating the above, let us first say that the comparison between étale torsion and crystalline torsion as in [Reference Bhatt, Morrow and ScholzeBMS18, Theorem 1.1(ii)] serves as the initial inspiration. Now let us showcase two more such pathologies and state what our main theorem specializes to in these two cases.
Albanese and reduction
Let us assume, in addition to the above, that $\mathcal {X}$ possesses an $\mathcal {O}_K$-point $x$. Associated with the pair $(\mathcal {X}, x)$ is a functorial map of abelian varieties $f \colon \mathrm {Alb}(\mathcal {X}_k) \to \mathcal {A}_k$ over $k$, where $\mathcal {A}$ is the Néron model of the Albanese of $(\mathcal {X}_K, x_K\!)$. The smooth and proper base change theorem tells us that $f$ is a $p$-power isogeny. What can we say about $\ker (f)$?
Theorem 1.1 (Corollary 4.6)
Let $e$ be the ramification index of $\mathcal {O}_K$.
(1) If $e < p-1$ then the map $f \colon \mathrm {Alb}(\mathcal {X}_k) \to \mathrm {Alb}(\mathcal {X}_K\!)_k$ is an isomorphism.
(2) If $e < 2(p-1)$ then $\ker (f)$ is $p$-torsion.
(3) If $e = p-1$ then $\ker (f)$ is $p$-torsion and of multiplicative type, hence must be a form of several copies of $\mu _p$. Moreover, there is a canonical injection of $\mathcal {O}_K$-modules,
\[ \mathbb{D}(\ker(f)) \otimes_k \big(\mathcal{O}_K/p\big) \hookrightarrow {\mathrm{H}}^2(\mathcal{X}, \mathcal{O}_{\mathcal{X}}). \]
Here $\mathbb {D}(-)$ denotes the Dieudonné module of the said finite flat group scheme. If one translates this result into a statement concerning maps between Picard schemes, then our result slightly refines an old result by Raynaud [Reference RaynaudRay79, Thèoréme 4.1.3] in the setting of smooth central fibers (see Remark 4.8).
Kernel of specialization
The $p$-adic specialization map is not an isomorphism, as it is almost never surjective, for the rank of the source is at most half of the rank of the target. One can still ask whether the $p$-adic specialization map is injective or not.
Theorem 1.2 (Corollary 4.15)
Let $e$ be the ramification index of $\mathcal {O}_K$ and let $i \in \mathbb {N}$. Consider the specialization map $\mathrm {Sp}^i \colon {\mathrm {H}}^i_{\operatorname {\acute {e}t}}(\mathcal {X}_{\overline {k}}, \mathbb {Z}_p) \to {\mathrm {H}}^i_{\operatorname {\acute {e}t}}(\mathcal {X}_{\overline {K}}, \mathbb {Z}_p)$.
(1) If $e \cdot (i-1) < p-1$, then $\mathrm {Sp}^i$ is injective.
(2) If $e \cdot (i-1) < 2(p-1)$, then $\ker (\mathrm {Sp}^i)$ is annihilated by $p^{i-1}$.
(3) If $e \cdot (i-1) = p-1$, then $\ker (\mathrm {Sp}^i)$ is $p$-torsion, and there is a $\mathrm {Gal}(\overline k /k)$-equivariant injection,
\[ \ker(\mathrm{Sp}^i) \otimes_{\mathbb{F}_p} \big(\mathcal{O}_K \otimes_W W(\overline{k})\big)/p \hookrightarrow {\mathrm{H}}^i(\mathcal{O}_{\mathcal{X}}) \otimes_{W} W(\overline{k}). \]
The above two theorems are of similar shape, and that is because they are shadows of the same result concerning prismatic cohomology, which we explain next.
Prismatic input
Choose a uniformizer $\pi \in \mathcal {O}_K$. There is a canonical surjection ${\mathfrak {S}} := W(k)[\![u]\!] \twoheadrightarrow \mathcal {O}_K$ with kernel generated by the Eisenstein polynomial of $\pi$, which has degree given by the ramification index $e$. Let $\varphi _{{\mathfrak {S}}}$ be the endomorphism on ${\mathfrak {S}}$ which restricts to usual Frobenius on $W(k)$ and sends $u$ to $u^p$. The triple $({\mathfrak {S}}, (E), \varphi _{{\mathfrak {S}}})$ is known as the Breuil–Kisin prism associated with $(\mathcal {O}_K, \pi )$ [Reference Bhatt and ScholzeBS22, Example 1.3(3)].
In [Reference Bhatt, Morrow and ScholzeBMS19, Reference Bhatt and ScholzeBS22], the authors attached an ${\mathfrak {S}}$-perfect complex $\mathrm {R\Gamma }_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})$ with a Frobenius operator. Similar to the classical crystalline story, the Frobenius operator is also an isogeny. A concrete consequence of having an isogenous Frobenius map is that the torsion submodule in ${\mathrm {H}}^i_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})$ is $p$-power torsion [Reference Bhatt, Morrow and ScholzeBMS18, Proposition 4.3(i)]. Hence, the torsion must be supported on $\operatorname {Spec}({\mathfrak {S}}/p)$. Note that ${\mathfrak {S}}/p \cong k[\![u]\!]$ is a DVR. An upshot of the above discussion is that we have three descriptions of a submodule in ${\mathrm {H}}^i_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})$:
(1) the $u^{\infty }$-torsion submodule in ${\mathrm {H}}^i_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})$, henceforth denoted by ${\mathrm {H}}^i_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})[u^{\infty }]$;
(2) the maximal finite length submodule in ${\mathrm {H}}^i_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})$; and
(3) the submodule in ${\mathrm {H}}^i_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})$ supported at the closed point in $\operatorname {Spec}({\mathfrak {S}})$.
To make the point that the above is the universal source of pathology in $p$-adic cohomology theory, let us exhibit the connection between $u^{\infty }$-torsion and our previous results.
Theorem 1.3
(1) (Theorem 4.2) Concerning the natural map $f \colon \mathrm {Alb}(\mathcal {X}_k) \to \mathrm {Alb}(\mathcal {X}_K\!)_k$, we have a natural isomorphism of Dieudonné modules,
\[ \mathbb{D}(\ker(f))^{(-1)} \cong {\mathrm{H}}^2_{{{\mathbb{\Delta}}}}(\mathcal{X}/{\mathfrak{S}})[u], \]where $(-)^{(-1)}$ denotes the Frobenius untwist and $(-)[u]$ denotes the $u$-torsion submodule.(2) (Theorem 4.14) As for the kernel of the $p$-adic specialization map, we have a natural isomorphism of $\mathrm {Gal}(\overline k/k)$-representations,
\[ \ker(\mathrm{Sp}^i) \cong \big({\mathrm{H}}^i_{{{\mathbb{\Delta}}}}(\mathcal{X}/{\mathfrak{S}})[u^\infty]/u \otimes_{W(k)} W(\overline{k})\big)^{\varphi = 1}. \]
In view of the aforementioned statements, the reader can probably guess what our main result, concerning the structure of $u^\infty$-torsion in prismatic cohomology, should look like.
Theorem 1.4 (Theorem 3.6 and Corollary 3.22)
Let us write $\mathfrak {M}^i := {\mathrm {H}}^i_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})[u^\infty ]$, and write ${\rm Ann}(-)$ for the annihilator ideal of an ${\mathfrak {S}}$-module.
(1) If $e \cdot (i-1) < p-1$, then $\mathfrak {M}^i = 0$.
(2) If $e \cdot (i-1) < 2(p-1)$, then ${\rm Ann}(\mathfrak {M}^i) + (u) \supset (p^{i-1},u)$.
(3) If $e \cdot (i-1) = p-1$, then ${\rm Ann}(\mathfrak {M}^i) \supset (p,u)$. Moreover, the semi-linear Frobenius on $\mathfrak {M}^i$ is bijective, and there is a natural injection $\mathfrak {M}^i \otimes _{k} \big (\mathcal {O}_K/p\big ) \hookrightarrow {\mathrm {H}}^i(\mathcal {X}, \mathcal {O}_{\mathcal {X}})$.
Remark 1.5 (1) We also prove the mod $p^n$ analogs. As a consequence we obtain the following result (Corollary 3.8) concerning the shape of prismatic cohomology. Let $i$ be an integer satisfying $e \cdot (i-1) < p-1$. Then there exists a (non-canonical) isomorphism of ${\mathfrak {S}}$-modules,
(2) Min [Reference MinMin21, Corollary 5.4] has previously obtained Theorem 1.4(1), and his method will show the mod $p^n$ analog when $e \cdot i < p-1$. Let us briefly explain the appearance of $i-1$ in our result, which might seem odd at first glance. It is due to the fact that the prismatic Verschiebung operator $V_i$ becomes canonically divisible by $E$ when restricted to the $p^\infty$-torsion submodule or the $u^\infty$-torsion submodule, and these submodules with the usual prismatic Frobenius and the ‘divided Verschiebung’ are canonically (generalized) Kisin modules of height $i-1$ instead of $i$. For more details, see Corollary 3.16.
(3) One may ask if there can be a better trick/argument showing better bounds on the vanishing of $u$-torsion. Later on we shall explain a generalization of a construction in [Reference Bhatt, Morrow and ScholzeBMS18, § 2.1] with $u$-torsion in cohomological degree $2$ and ramification index $p-1$. Hence, our result is actually sharp in terms of the largest $e \cdot (i-1)$ allowed.
To illustrate Remark 1.5(2), let us quickly sketch a proof of Theorem 1.4(1). The following proof was provided by the referee; the same strategy has essentially appeared in the proof of [Reference Li and LiuLL20, Corollary 7.25]. However, we would like to point out that this argument does not immediately extend to the derived mod $p^n$-prismatic cohomology.
Proof sketch of Theorem 1.4(1) We have a short exact sequence of $k[\![u]\!]$-modules,
There are Frobenius $\varphi$ and Verschiebung $V_i$ acting on the first two items in a compatible way, such that the composition of these two operators in either way is equal to multiplication by $u^{e \cdot i}$, hence these two operators descend to the third item with their compositions satisfying the same relation. This forces the third item to be $u$-torsion-free whenever $e \cdot i < p-1$ (see, for example, [Reference Farb, Kisin and WolfsonFKW21, Lemma 2.2.1] or the proof of Corollary 3.4). Since any $u$-power torsion is necessarily also $p$-power torsion, we win.
Special fiber telling Hodge numbers of the generic fiber
As a third geometric application of our result, we revisit the question discussed in [Reference LiLi22]: what mild condition on $\mathcal {X}$ guarantees that the Hodge numbers of the generic fiber $X$ can be read off from the special fiber $\mathcal {X}_0$? In [Reference LiLi22] the first named author obtained a result along these lines, with technical input of prismatic cohomology and the structural result in [Reference MinMin21]. However, it was noted that the results in [Reference LiLi22] are not optimal in the unramified case, when compared with what one got from results by Fontaine–Messing, Kato, and Wintenberger. We analyzed the situation and concluded that it is because we lack knowledge of the shape of $u^\infty$-torsion in prismatic cohomology in the boundary degree. This paper is partially motivated by the hope of improving results in [Reference LiLi22], and our improvement is the following theorem.
Theorem 1.6 (Theorem 4.17, improvement of [Reference LiLi22, Theorem 1.1])
Let $\mathcal {X}$ be a smooth proper $p$-adic formal scheme over $\operatorname {Spf}(\mathcal {O}_K\!)$ of ramification index $e$. Let $T$ be the largest integer such that $e \cdot (T-1) \leq p-1$.
(1) Assume there is a lift of $\mathcal {X}$ to ${\mathfrak {S}}/(E^2)$. Then for all $i,j$ satisfying $i + j < T$, we have equalities
\[ h^{i,j}(X) = \mathfrak{h}^{i,j}(\mathcal{X}_k), \]where the latter denotes virtual Hodge numbers of $\mathcal {X}_k$, defined as in [Reference LiLi22, Definition 3.1].(2) Assume, furthermore, that $e \cdot (\dim {\mathcal {X}_k}-1) \leq p-1$. Then the special fiber $\mathcal {X}_k$ knows the Hodge numbers of the rigid generic fiber $X$.
Along the way, we also improve the results in [Reference LiLi22] concerning the integral Hodge–de Rham spectral sequence (see Theorem 4.18), and obtain a curious degeneration statement of the ‘Nygaard–Prism’ spectral sequence (see Theorem 4.22) in the unramified case.
Application to integral $p$-adic Hodge theory
It is a central theme in integral $p$-adic Hodge theory to understand Galois representations such as ${\mathrm {H}}^i_{\operatorname {\acute {e}t}}(\mathcal {X}_{\overline {K}}, \mathbb {Z}_p)$ in terms of linear algebraic data such as a certain crystalline cohomology of $\mathcal {X}$ together with natural structures. The first result along such lines is that of Fontaine and Messing [Reference Fontaine and MessingFM87] and Kato [Reference KatoKato87], which treats the case of $e=1$ (namely the unramified base) and $i < p-1$.Footnote 1 Later on Breuil [Reference BreuilBre98] generalized the above to semistable $\mathcal {X}$, whereas Faltings [Reference FaltingsFal99] studied the analog for $p$-divisible groups allowing arbitrary ramification index $e$. A few years later, Caruso [Reference CarusoCar08] made progress allowing $e > 1$ as long as $e \cdot (i+1) < p-1$.Footnote 2
Of interest to us is Breuil's question [Reference BreuilBre02, Question 4.1].
Question 1.7 Assume $i < p-1$ and let $S$ be the $p$-adic divided power envelope of ${\mathfrak {S}} \twoheadrightarrow \mathcal {O}_K$. Then the (torsion-free) crystalline cohomology ${\mathrm {H}}^i_{\operatorname {crys}}(\mathcal {X}/S)/\mathrm {tors}$ together with its natural structure (e.g., divided Frobenius operator, filtration and connection) should be a ‘strongly divisible lattice’ and ‘corresponds’ to the Galois representation ${\mathrm {H}}^i_{\operatorname {\acute {e}t}}(\mathcal {X}_{\overline {K}}, \mathbb {Z}_p)$.
All works mentioned above can be thought of as solving various special cases of the above question. In [Reference Li and LiuLL20, Theorem 7.22], a connection with $u$-torsion in prismatic cohomology is observed. We showed that, fixing an $i < p-1$ and a smooth proper formal scheme $\mathcal {X}/\mathcal {O}_K$, the mod $p^n$ analog of the above question has a positive answer in degree $i$ if and only if both of $i$th and $(i+1)$th mod $p^n$ prismatic cohomology of $\mathcal {X}/{\mathfrak {S}}$ are $u$-torsion-free. We then used Caruso's result on the mod $p$ analog as a starting point to do an induction to show the vanishing as in Theorem 1.4(1) and Remark 1.5(1), which in turn implies the mod $p^n$ analog of Breuil's question for all $n$ and $e \cdot i < p-1$ (see [Reference Li and LiuLL20, Corollary 7.25]). In particular, this gives an affirmative answer to Breuil's original question when $e \cdot i < p-1$. In this paper, the aforementioned vanishing of $u$-torsion is easily deduced, hence gives a ‘shortcut’ to the above result bypassing Caruso's work.
In private communications with Breuil, we were encouraged to study his question beyond the above bound. To our surprise, we discovered that the construction in [Reference Bhatt, Morrow and ScholzeBMS18, § 2.1] can be generalized to a counterexample with $e = p-1$ and $i=1$ to Breuil's question (see Example 1.10). Note that in this example, we have $e \cdot i = p-1$, hence our previous result was actually sharp.
The other extreme of $(e,i)$ with $e \cdot i = p-1$ is $e=1, i=p-1$. In this case, Fontaine and Messing [Reference Fontaine and MessingFM87] and Kato [Reference KatoKato87] showed that the crystalline cohomology ${\mathrm {H}}^{p-1}_{\operatorname {crys}}(\mathcal {X}_n/W_n)$ together with its natural structure is still a Fontaine–Laffaille module. According to [Reference Fontaine and LaffailleFL82] this Fontaine–Laffaille module is associated with a Galois representation $\rho ^{p-1}_{n, \mathrm {FL}}$. It is only natural to ask the following question.
Question 1.8 What is the relation between $\rho ^{p-1}_{n, \mathrm {FL}}$ and ${\mathrm {H}}^{p-1}_{\operatorname {\acute {e}t}}(\mathcal {X}_{\overline {K}}, \mathbb {Z}/p^n)$?
Although we have not found any discussion on this question, there seems to be consensus among experts that these two Galois representations are different. We are not aware of any particular past expectation. Our entire § 5 is more or less devoted to this question, and we arrive at the following statement.
Theorem 1.9 (Theorem 5.28)
There exists a natural map $\eta \colon {\mathrm {H}} ^{p-1} _{\operatorname {\acute {e}t}} (\mathcal {X}_{\overline {K}}, {\mathbb {Z}}/ p ^n {\mathbb {Z}})(p-1) \to \rho ^{p-1}_{n, \mathrm {FL}}$ of $G_K$-representations such that $\ker (\eta )$ is an unramified representation of $G_K$ killed by $p$, and $\operatorname {coker}(\eta )$ sits in a natural exact sequence $0 \to \ker (\eta ) \to \operatorname {coker} (\eta )\to \ker (\mathrm {Sp}^{p-1}_n)$.
Here $\mathrm {Sp}^{p-1}_n$ denotes the specialization map of mod $p^n$ étale cohomology in degree $p-1$, which is also known to be an unramified $G_K$-representation killed by $p$ (see Corollary 4.15(3)). The appearance of $\ker (\eta )$ is due to the defect of a key functor in integral $p$-adic Hodge theory, which is well known to experts; whereas the potential $u$-torsion in degree $p$ of mod $p^n$ prismatic cohomology of $\mathcal {X}$ is solely responsible for the appearance of $\ker (\mathrm {Sp}^{p-1}_n)$.
Example and open questions
Now let us discuss an interesting example, generalized from [Reference Bhatt, Morrow and ScholzeBMS18, § 2.1].
Example 1.10 Let $\mathcal {E}/W(\overline {k})$ be a lift of an ordinary elliptic curve over an algebraically closed field $\overline {k}$ of characteristic $p$. Fix an $n \in \mathbb {N}$ and let $\mathcal {O}_K := W(\overline {k})[\zeta _{p^n}]$. Over $\mathcal {O}_K$ we have a tautological map of group schemes $\chi \colon \mathbb {Z}/p^n \to \mu _{p^n}$ sending $1$ to $\zeta _{p^n}$.
With the above notation, we consider the smooth proper Deligne–Mumford stack $\mathcal {X} := [\mathcal {E}_{\mathcal {O}_K}/(\mathbb {Z}/p^n)]$ where the action of $\mathbb {Z}/p^n$ is via the character $\chi$ and the embedding $\mu _{p^n} \subset \mathcal {E}[p^n]$ (by the theory of canonical subgroup; see [Reference KatzKatz73, § 3.4]). Note that its special fiber is $\mathcal {E}_{\overline {k}} \times B(\mathbb {Z}/p^n)$ and its generic fiber is an elliptic curve $\mathcal {E}'_K := \big (\mathcal {E}_{\mathcal {O}_K}/\mu _{p^n}\big )_K$. In view of the pathologies discussed at the beginning of this introduction, let us record some facts concerning this example.
• The Albanese map has Néron model given by the ‘further quotient’ map: $\mathcal {X} \to \mathcal {E}' := \mathcal {E}_{\mathcal {O}_K}/\mu _{p^n}$, and the special fiber of this map factors as $\mathcal {E}_{\overline {k}} \times B(\mathbb {Z}/p^n) \to \mathcal {E}_{\overline {k}} \xrightarrow {f} \mathcal {E}_{\overline {k}}/\mu _{p^n}$. Note that $\ker (f) = \mu _{p^n}$.
• The fundamental group of $\mathcal {X}_{\overline {k}}$ is abelian, with torsion given by $\mathbb {Z}/p^n$ due to the factor of $B(\mathbb {Z}/p^n)$. By the universal coefficient theorem, we have ${\mathrm {H}}^2_{\operatorname {\acute {e}t}}(\mathcal {X}_{\overline {k}}, \mathbb {Z}_p)_{\mathrm {tors}} \cong \mathbb {Z}/p^n$ whereas ${\mathrm {H}}^2_{\operatorname {\acute {e}t}}(\mathcal {X}_{\overline {K}}, \mathbb {Z}_p)$ is torsion-free. Hence, we have $\ker (\mathrm {Sp}^2) = \mathbb {Z}/p^n$.
• One can go through the Leray spectral sequence for the cover $\mathcal {E} \to \mathcal {X}$ to compute the prismatic cohomology of $\mathcal {X}/{\mathfrak {S}}$. The most relevant computation is
\[ {\mathrm {H}}^2_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})[u^{\infty }] \cong {\mathfrak {S}}/((u+1)^{p^{n-1}} - 1, p^n). \]• Finally, we compute the crystalline cohomology of $\mathcal {X}/S$ and to our surprise we have ${\mathrm {H}}^1_{\operatorname {crys}}(\mathcal {X}/S) \cong S \oplus J$, where $J$ is the ideal
\[ \{x \in S \mid p^n \text{ divides } x \cdot ((u+1)^{p^n} - 1)\}. \]In particular, it is torsion-free of rank $2$ yet not free. This gives a counterexample to Question 1.7.
By standard approximation techniques, one can cook up schematic examples having all the above features. When $n=1$, we have $e = p-1$, therefore our results above (stated and proved only for formal schemes) are sharp. For more details (see § 6).
Combining a generalized version of the above construction with our Theorem 1.1, we get a geometric proof of Raynaud's theorem [Reference RaynaudRay74, Théorème 3.3.3] on prolongations of finite flat commutative group schemes over mixed characteristic DVR (see § 6.1).
Finally, let us end this introduction with two natural questions awaiting exploration. We consider them to be the next step in understanding pathological torsion in $p$-adic cohomology theory.
Question 1.11 Is there a smooth proper (formal) scheme $\mathcal {X}$ over an unramified base $W$ which has $u$-torsion in its $p$th prismatic cohomology? Note that $p$ is the smallest possible cohomological degree according to our result, and when $p=2$ this is achieved by the above example.
Question 1.12 (see Question 3.10)
Recall $\mathfrak {M}^i := {\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X}, {{\mathbb {\Delta }}})[u^\infty ]$.
(1) Let $\beta$ be the smallest exponent such that $p^\beta \in \mathrm {Ann}(\mathfrak {M}^i)$, and let $\gamma$ be the exponent such that $\mathrm {Ann}(\mathfrak {M}^i) + (u) = (u, p^{\gamma })$. Is there a bound on $\beta$ and $\gamma$ in terms of $e$ and $i$?
(2) In light of the above example, we guess that $\beta$ and/or $\gamma$ are bounded above by $\log _p(({e \cdot (i-1)})/({p-1})) + 1$ when $p$ is odd.
Remark 1.13 Confirming the above guess will give us results along the following lines. If ${\mathrm {H}}^i_{\operatorname {crys}}(\mathcal {X}_k/W)$ has torsion not annihilated by $p^N$, then ${\mathrm {H}}^i_{\operatorname {\acute {e}t}}(\mathcal {X}_{\overline {K}}, \mathbb {Z}_p)$ has torsion not annihilated by $p^{N - c(e,i)}$, with $c(e,i)$ being some constants depending only on $e$ and $i$. Note that this would be a relation between torsion in étale and crystalline cohomology ‘converse’ to that established in [Reference Bhatt, Morrow and ScholzeBMS18, Theorem 1.1(ii)]. When $e \cdot i < 2(p-1)$, our Theorem 1.4(2) can be translated into such a statement. Since our Theorem 1.4(2) does not seem to be optimal, we do not pursue that direction in this paper.
The links between each section are as follows.
Notation and conventions
Let $k$ be a perfect field of characteristic $p > 0$ with $W = W(k)$ its Witt ring. Let $K$ be a totally ramified finite extension of $W(k)[1/p]$ of degree $e$, and let $\mathcal {O}_K$ be its ring of integers. Choose a uniformizer $\pi \in \mathcal {O}_K$ whose Eisenstein polynomial we denote by $E$ with $E(0) = a_0 p$; we get a surjection ${\mathfrak {S}} := W[\![u]\!] \twoheadrightarrow \mathcal {O}_K$ sending $u$ to $\pi$. We equip ${\mathfrak {S}}$ with the $\delta$-structure with $\varphi _{{\mathfrak {S}}}(u) = u^p$. The pair $({\mathfrak {S}}, (E))$ is the so-called Breuil–Kisin prism (see [Reference Bhatt and ScholzeBS22, Example 1.3.(3)]). Denote the $p$-adic divided power envelope of ${\mathfrak {S}} \twoheadrightarrow \mathcal {O}_K$ by $S$.
We always use $C$ and its cousins like $C^{\flat }$ or $A_{\inf }$ to denote the usual construction associated with the completion of an algebraic closure $\overline K$ of $K$ in $p$-adic Hodge theory. We use $G_K: = \operatorname {Gal}(\overline K / K)$ denote the absolute Galois group. Similarly, $G_k : = \operatorname {Gal} (\overline k / k)$.
We use $\mathcal {X}$ to denote a smooth proper $p$-adic formal scheme on $\operatorname {Spf}(\mathcal {O}_K\!)$, $\mathcal {X}_0$ to denote its reduction mod $\pi$ and $X$ to denote its rigid generic fiber.
On $(\mathcal {O}_K\!)_{{\mathrm {qSyn}}}$ we have the sheaf ${{{\mathbb {\Delta }}}}$ given by (left Kan extended) prismatic cohomology relative to ${\mathfrak {S}}$. We use ${{{\mathbb {\Delta }}}}^{(1)}$ to denote its $\varphi _{{\mathfrak {S}}}$ twist. This sheaf of Frobenius-twisted prismatic cohomology admits a decreasing filtration called the Nygaard filtration (see [Reference Bhatt and ScholzeBS22, § 15]), which will be denoted by $\operatorname {Fil}^{\bullet }_{{\rm N}}$. Let us note that $\mathrm {R\Gamma }_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}}) \cong \mathrm {R\Gamma }_{{\mathrm {qSyn}}}(\mathcal {X}, {{\mathbb {\Delta }}})$ and $\varphi ^*_{{\mathfrak {S}}}\mathrm {R\Gamma }_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}}) \cong \mathrm {R\Gamma }_{{\mathrm {qSyn}}}(\mathcal {X}, {{\mathbb {\Delta }}}^{(1)})$.
For any $n \in \mathbb {N} \cup \{\infty \}$, we use subscript $(-)_n$ to denote the derived mod $p^n$ of a quasi-syntomic sheaf; for example, $\mathrm {R\Gamma }_{{\mathrm {qSyn}}}(\mathcal {X}, {{\mathbb {\Delta }}}^{(1)}_n) := \mathrm {R\Gamma }_{{\mathrm {qSyn}}}(\mathcal {X}, {{\mathbb {\Delta }}}^{(1)}/p^n)$.
In this paper we only consider relative prismatic cohomology, and hopefully readers will not confuse our notation with the absolute prismatic cohomology developed in [Reference Bhatt and LurieBL22].
2. Various modules and their Galois representations
In this section, we discuss three types of Frobenius modules – Kisin modules, Breuil modules and Fontaine–Laffaille modules – and their associated Galois representations. Roughly speaking, various cohomologies discussed in this paper will have these structures and functors to Galois representations just model comparison to étale cohomology. The major difference between the current work and [Reference Li and LiuLL20] is that we now focus on the boundary case $eh = p-1$. So it is necessary to discuss nilpotent objects for Fontaine–Laffaille modules and Breuil modules when $e=1$ and $h = p -1$.
2.1 Kisin modules
We review (generalized) Kisin modules from [Reference Li and LiuLL20, § 6.1]. Let $({\mathfrak {S}} , E(u))$ be the Breuil–Kisin prism over $\mathcal {O}_K$, with $d = E(u )= E$ the Eisenstein polynomial of a fixed uniformizer $\pi \in \mathcal {O}_K$. A $\varphi$-module $\mathfrak {M}$ over ${\mathfrak {S}}$ is an ${\mathfrak {S}}$-module $\mathfrak {M}$ together with a $\varphi _{\mathfrak {S}}$-semi-linear map $\varphi _\mathfrak {M}: \mathfrak {M} \to \mathfrak {M}$. Write $\varphi ^*\mathfrak {M} = {\mathfrak {S}} \otimes _{\varphi, {\mathfrak {S}}} \mathfrak {M}$. Note that $1 \otimes \varphi _\mathfrak {M} : \varphi ^* \mathfrak {M} \to \mathfrak {M}$ is an ${\mathfrak {S}}$-linear map. A (generalized) Kisin module $\mathfrak {M}$ of height $h$ is a $\varphi$-module $\mathfrak {M}$ of finite ${\mathfrak {S}}$-type together with an ${\mathfrak {S}}$-linear map $\psi : \mathfrak {M} \to \varphi ^* \mathfrak {M}$ such that $\psi \circ (1 \otimes \varphi _\mathfrak {M}) = E^h \operatorname {id}_{\varphi ^*\mathfrak {M}}$ and $(1\otimes \varphi _\mathfrak {M}) \circ \psi = E^h\operatorname {id}_{\mathfrak {M}}$. The map between generalized Kisin modules is a ${\mathfrak {S}}$-linear map that is compatible with $\varphi$ and $\psi$. We denote by $\operatorname {Mod}^{\varphi, h}_{{\mathfrak {S}}}$ the category of (generalized) Kisin modules of height $h$. As explained in [Reference Li and LiuLL20], the main difference between generalized Kisin modules and classical theory Kisin modules is that the classical theory only discusses the situation where $\mathfrak {M}$ has no $u$-torsion, while Kisin modules from prismatic cohomology could have $u$-torsion in general. In the following, when we need to restrict to the classical theory, we will call $\mathfrak {M}$ either classical or $u$-torsion-free. Let $\operatorname {Mod}_{{\mathfrak {S}} , \operatorname {tor}}^{\varphi, h, {\rm c}}$ denote the full subcategory of $\operatorname {Mod}_{{\mathfrak {S}}}^{\varphi, h}$ consists of classical Kisin modules of height $h$ and killed by $p^n$ for some $n \in \mathbb {N}$.
We now review some technologies to deal with classical Kisin modules on the boundary case and extend them to generalized Kisin modules. Following [Reference KisinKis09, (1.2.10)] and [Reference GaoGao17, § 2.1], we call a $\varphi$-module $\mathfrak {M}$ multiplicative (respectively, nilpotent) if $(1 \otimes \varphi ): \varphi ^* \mathfrak {M} \to \mathfrak {M}$ is surjective (respectively, if $\lim _{n \to \infty }\varphi ^n (x)= 0, \ \forall x \in \mathfrak {M}$).
Remark 2.1 In [Reference KisinKis09, (1.2.10)] and [Reference GaoGao17, § 2.1], the authors define multiplicative to mean $(1 \otimes \varphi ): \varphi ^* \mathfrak {M} \to \mathfrak {M}$ is bijective. For a classical Kisin module $\mathfrak {M}$ these two concepts are the same as $1\otimes \varphi$ is always injective. But for generalized Kisin modules, as $u$-torsion exists, bijection of $1 \otimes \varphi$ is too restrictive. For example, ${\mathfrak {S}}/ (p , u){\mathfrak {S}}$ with the usual Frobenius is multiplicative but $1 \otimes \varphi$ is not injective.
Let $\mathfrak {M}$ be a $\varphi$-module over ${\mathfrak {S}}$ of finite ${\mathfrak {S}}$-type. Set $M := \mathfrak {M} / u \mathfrak {M}$ and write $q \colon \mathfrak {M} \to M = \mathfrak {M} / u \mathfrak {M}$. By the Fitting lemma, we have $M = M^{\rm m} \oplus M ^{\rm n}$ where $\varphi$ is bijective on $M ^{\rm m}$ and nilpotent on $M ^{\rm n}$.
Lemma 2.2 With notation as above, there exists a unique $W(k)$-linear section $[\cdot ]: M^{\rm m} \to \mathfrak {M}$ such that $[\cdot ]$ is $\varphi$-equivariant and $q \circ [\cdot ]= \operatorname {id}|_{M^{\rm m}}$.
Proof. Pick any $\overline x \in M ^{\rm m}$. Since $\varphi$ on $M^{\rm m}$ is bijective, there exists a unique $\overline x_n \in M$ such that $\varphi ^n (\overline x_n ) = \overline x$. Select $x_n\in \mathfrak {M}$ a lift of $\overline x_n$ and define $[\overline x] : = \lim _{n \to \infty } \varphi ^n (x_n)$. We first check that $\varphi ^n (x_n)$ converges to an $x \in \mathfrak {M}$ such that $q(x) = \overline x$. Indeed, since $\varphi (\overline x_{n +1}) = \overline x_n$, $\varphi (x_{n +1}) -x_n = u y _n$ with $y _n \in \mathfrak {M}$. So $\varphi ^{n +1} (x_{n +1}) - \varphi ^n (x_n) = \varphi ^n (u) \varphi ^n (y )$ and hence $\varphi ^n (x_n)$ converges to an $x \in \mathfrak {M}$ and clearly $q(x)= \overline x$. Suppose that $x_n' \in \mathfrak {M}$ is another lift of $\overline x_n$. Then $x_n' - x_n = u z_n$ with $z_n \in \mathfrak {M}_n$. Then $\varphi ^n (x'_n)-\varphi ^n (x_n ) = u ^{p ^n} \varphi ^n (z_n)$. So $\{\varphi ^n (x_n')\}$ also converges to $x$. This implies that $x= [\overline x]$ does not depend on the choice of lift $x_n$ of $\overline x_n = \varphi ^{-n} (\overline x)$. Hence, the section $[\cdot ]: M^{\rm m}\to \mathfrak {M}$ is well defined and satisfies $q \circ [\cdot ] = \operatorname {id}_{M^{\rm m}}$. For any $a\in W(k)$, it is clear that $a [\overline x] = [a \overline x]$ from construction of $[\overline x]$. So $[\cdot ]$ is $W(k)$-linear. If $\overline y = \varphi (\overline x)$ then $\varphi (x_n)$ is a lift of $\varphi ^{-n} (y )$ and $[\overline y] = \lim _{n \to \infty } \varphi ^{n+1} (x_n) = \varphi (x)= \varphi ([\overline x])$. So $[\cdot ]$ is $\varphi$-equivariant. Finally, suppose there is another section $[\cdot ]': M^{\rm m} \to \mathfrak {M}$. Then $[ \overline x] - [\overline x]' \in u \mathfrak {M}$ for any $\overline x \in M ^{\rm m}$. Then $[ \overline x] - [\overline x]'= \varphi ^n ([\overline x_n]- [\overline x_n]')\in u ^{p ^n}\mathfrak {M}$. This forces $[\overline x]= [\overline x]'$.
Lemma 2.3 Let $\mathfrak {M}$ be a $\varphi$-module with finite ${\mathfrak {S}}$-type. Then there exists an exact sequence of $\varphi$-modules
such that $\mathfrak {M} ^{\rm m}$ is multiplicative and $\mathfrak {M}^{\rm n}$ has no non-trivial multiplicative submodule. Furthermore, the above exact sequence is functorial for $\mathfrak {M}$, and if $\mathfrak {M}$ is in $\operatorname {Mod}_{{\mathfrak {S}} , \operatorname {tor}}^{\varphi, h, {\rm c}}$ then so are $\mathfrak {M} ^{\rm m}$ and $\mathfrak {M} ^{\rm n}$.
Proof. Note that [Reference KisinKis09, Prop. (1.2.11)] has treated the situation that $\mathfrak {M}$ has no $u$-torsion, but our idea here is slightly different. By the above lemma, we can set $\mathfrak {M}^{\rm m}$ to be the ${\mathfrak {S}}$-submodule of $\mathfrak {M}$ generated by $[M^{\rm m}]$ and $\mathfrak {M}^{\rm n}: = \mathfrak {M} / \mathfrak {M} ^{\rm m}$. Clearly, $1 \otimes \varphi : {\mathfrak {S}} \otimes _{\varphi, {\mathfrak {S}}} \mathfrak {M}^{\rm m} \to \mathfrak {M}^{\rm m}$ is surjective. Consider the right exact sequence ${\mathfrak {S}} \otimes _{W(k)} [M^{\rm m}] \to \mathfrak {M} \to \mathfrak {M}^{\rm n}\to 0$. Modulo $u$, we have the right exact (indeed, exact) sequence $M^{\rm m}\to M \to \mathfrak {M}^{\rm n}/ u \mathfrak {M} ^{\rm n}\to 0$. So $\mathfrak {M}^{\rm n}/ u \mathfrak {M} ^{\rm n}\simeq M ^{\rm n}$ and also forces $\mathfrak {M}^{\rm m}/ u \mathfrak {M} ^{\rm m} = M^{\rm m}$. Hence, $\varphi$ on $\mathfrak {M}^{\rm n}$ is topologically nilpotent as $\varphi$ on $M^{\rm n}$ is nilpotent, thus $\mathfrak {M}^{\rm n}$ cannot have non-trivial multiplicative submodule. So we obtain exact sequence (2.4) which is functorial for $\mathfrak {M}$ because $[\cdot ]$ is clearly functorial for $\mathfrak {M}$ by the above lemma.
If $\mathfrak {M} \in \operatorname {Mod}_{{\mathfrak {S}} , \operatorname {tor}}^{\varphi, h, {\rm c}}$ then $\mathfrak {M}^{\rm m}$ has no $u$-torsion. Note that the exact sequence (2.4) modulo $u$ becomes the exact sequence $0 \to M^{\rm m} \to M \to M ^{\rm n}\to 0$. Then $\mathfrak {M}^{\rm n}$ cannot have $u$-torsion as $\mathfrak {M}$ has no $u$-torsion. Hence, both $\mathfrak {M} ^{\rm m}$ and $\mathfrak {M}^{\rm n}$ have no $u$-torsion. Then both $\mathfrak {M} ^{\rm m}$ and $\mathfrak {M}^{\rm n}$ have $E$-height $h$ by [Reference FontaineFon90, Prop. B 1.3.5] as required.
But for a generalized Kisin module $\mathfrak {M}$ with height $h$, it is unclear whether we can define $\psi : \mathfrak {M}^{\rm m} \to \varphi ^*\mathfrak {M} ^{\rm m}$ such that $\mathfrak {M}^{\rm m}$ has height $h$. Luckily, we will not need such a statement.
Let $M[p^n]$ denote the $p^n$-torsion in $M$. For later application, we need the following two statements.
Lemma 2.5 Let $M$ be a finitely generated ${\mathfrak {S}}$-module. Assume $M/p^nM$ are $u$-torsion-free for all $n > 0$. Then $M/(M[p^n] + pM)$ are also $u$-torsion-free for all $n > 0$.
Proof. Suppose $x \in M$ is a lift of a $u$-torsion in $M/(M[p^n] + pM)$, hence satisfies ${u \cdot x = y + p \cdot z}$ for some $y \in M[p^n]$ and $z \in M$. Multiplying the equation by $p^n$, we get $u \cdot p^n \cdot x = p^{n+1} \cdot z$. As $M/p^{n+1}M$ also has no $u$-torsion by assumption, we see that $p^n \cdot x = p^{n+1} \cdot \widetilde {z}$ for some $\widetilde {z} \in M$. Writing $x = (x - p \cdot \widetilde {z}) + p \cdot \widetilde {z}$ shows that in fact $x \in M[p^n] + pM$, as required.
Proposition 2.6 Let $M$ be a finitely generated generalized Breuil–Kisin module. Assume $M/p^nM$ are $u$-torsion free for all $n > 0$. Then there exists a $\mathbb {Z}_p$-module $N$ and an isomorphism of ${\mathfrak {S}}$-modules $M \simeq N \otimes _{\mathbb {Z}_p} {\mathfrak {S}}$.
Proof. First let us treat the case when $M$ is torsion. In this case $M$ is killed by a power of $p$ (see [Reference Bhatt, Morrow and ScholzeBMS18, Proposition 4.3(i)]). Denote ${\rm Im}(M \xrightarrow {p} M) = pM =: M_1$. We claim $M_1/p^nM_1$ are also $u$-torsion-free for all $n > 0$. Granting this claim, by induction on the exponent of $p$ annihilating $M$, we know $M_1$ satisfies the conclusion. Here, for the starting point of induction, we used the fact that a finitely generated ${\mathfrak {S}}/p$-module is $u$-torsion-free if and only if it is free. Then by [Reference MinMin21, Lemma 5.9], we get the conclusion for $M$.
We now verify the claim. Applying the snake lemma to
yields an exact sequence
Here $M[p^n]$ denotes the $p^n$-torsion in $M$. Since $M/p^nM$ has no $u$-torsion by assumption, it suffices to show the same for $M/(M[p^n] + pM)$. Applying Lemma 2.5 gives the claim.
Next we turn to the general case. By [Reference Bhatt, Morrow and ScholzeBMS18, Proposition 4.3], we have two short exact sequences of generalized Breuil–Kisin modules
and
Here $M_{\operatorname {tor}}$ is the torsion submodule, $M_{\operatorname {tf}}$ is the torsion-free quotient, $M_{\operatorname {fr}}$ is the reflexive hull of $M$ (which is free as ${\mathfrak {S}}$ is a two-dimensional regular Noetherian domain), and $M_0$ has finite length. The first sequence implies that $M_{\operatorname {tor}}/p^n$ injects into $M/p^n$, therefore $M_{\operatorname {tor}}$ satisfies the assumption. Since we have treated the torsion case, we see that $M_{\operatorname {tor}}$ satisfies the conclusion. Now we claim $M_0$ vanishes. This immediately implies that $M_{\operatorname {tf}} = M_{\operatorname {fr}}$ is free, hence the first sequence splits, and $M = M_{\operatorname {tor}} \oplus M_{\operatorname {tf}}$ has the shape of a $\mathbb {Z}_p$-module.
Finally, let us justify the claim that $M_0 = 0$. Taking the second sequence above, derived mod $p$, gives an inclusion $M_0[p] \subset M_{\operatorname {tf}}/p$. Since $M_0$ has finite length, we see that $M_0[p]$ must be $u^{\infty }$-torsion. If we can show that $M_{\operatorname {tf}}/p$ is $u$-torsion-free, then we get $M_0[p] = 0$ which implies $M_0 = 0$ as it must be $p^{\infty }$-torsion. We are now reduced to showing $M/(M_{\operatorname {tor}} + p \cdot M)$ is $u$-torsion-free. Since $M_{\operatorname {tor}} = M[p^n]$ for sufficiently large $n$, we finish the proof by appealing to Lemma 2.5.
2.2 Breuil modules
Fix $0 \leq h \leq p-1$. Let $S$ be the $p$-adically completed PD envelope of $\theta : {\mathfrak {S}} \twoheadrightarrow \mathcal {O}_K, u\mapsto \pi$, and for $i\ge 1$ write $\operatorname {Fil}^i S\subseteq S$ for the (closure of the) ideal generated by $\{ \gamma _n (E) = E^n/n!\}_{n\ge i}$. For $i \le p-1$, one has $\varphi (\operatorname {Fil}^i S) \subseteq p^i S$, so we may define $\varphi _i:\operatorname {Fil}^i S\rightarrow S$ where $\varphi _i := p^{-i}\varphi$. We have $c_1 : = \varphi (E(u))/p \in S^\times$. Note that $S\subset K_0 [\![u]\!]$. Define $I_+ : = S \cap u K_0 [\![u]\!]$. Clearly, $S/ I_+ = W(k)$. Let $S_n := S/ p ^n S$. Let $^\sim \textrm {Mod}^{\varphi, h }_{S}$ denote the category whose objects are triples $(\mathcal {M}, \operatorname {Fil}^h \mathcal {M}, \varphi _h)$, consisting of:
(1) two $S$-modules $\mathcal {M}$ and $\operatorname {Fil}^h \mathcal {M}$;
(2) an $S$-module map $\iota : \operatorname {Fil}^h \mathcal {M} \to \mathcal {M}$ whose image contains $\operatorname {Fil} ^h S \cdot \mathcal {M}$; and
(3) a $\varphi$-semi-linear map $\varphi _h : \operatorname {Fil} ^h \mathcal {M} \to \mathcal {M}$ such that for all $s \in \operatorname {Fil}^h S$ and $x\in \mathcal {M}$ we have
\[ \varphi_h (sx)= (c_1)^{-h }\varphi_h (s) \varphi_h(E(u)^hx). \]
Morphisms are given by $S$-linear maps compatible with $\iota$s and commuting with $\varphi _h$. Let $'\textrm {Mod}^{\varphi, h }_{S}$ denote the full subcategory of $^\sim \textrm {Mod}^{\varphi, h }_{S}$ whose objects $(\mathcal {M}, \operatorname {Fil}^h \mathcal {M}, \varphi _h)$ satisfy the following conditions.
(1) $\iota$ is injective such that $\operatorname {Fil} ^h \mathcal {M}$ is regarded as a submodule of $\mathcal {M}$.
(2) $\varphi _h (\operatorname {Fil} ^h \mathcal {M})$ generates $\mathcal {M}$ as $S$-modules.
A sequence is defined to be short exact if it is short exact as a sequence of $S$-module, and induces a short exact sequence on $\operatorname {Fil}^h$s. Let $\textrm {Mod}^{\varphi, h }_{S, \operatorname {tor}}$ denote the full subcategory of $'\textrm {Mod}^{\varphi, h }_{S}$ with the underlying module $\mathcal {M}$ killed by a $p$-power, and the triple $\mathcal {M}$ can be a written as successive extensions of triples $\mathcal {M}_i$ in $'\textrm {Mod}^{\varphi, h }_{S}$ with each underlying module $\mathcal {M}_i \simeq \bigoplus _{\text {finite}} S_1$.
Let $\nabla : S \to S$ be $W(k)$-linear continuous derivation such that $\nabla (u)= 1$. Let $\operatorname {Mod}_{S, \operatorname {tor}}^{\varphi, h, \nabla }$ denote the category of the object $(\mathcal {M}, \operatorname {Fil} ^h \mathcal {M}, \varphi _h, \nabla )$ where $(\mathcal {M} , \operatorname {Fil}^h \mathcal {M} , \varphi _h)$ is an object in $\operatorname {Mod}_{S, \operatorname {tor}}^{\varphi, h}$ and $\nabla$ is $W(k)$-linear morphism $\nabla : \mathcal {M} \to \mathcal {M}$ such that the following assertions hold.
(1) For all $s\in S$ and $x\in \mathcal {M}$, $\nabla (sx)=\nabla (s) x + s \nabla (x)$.
(2) $E \nabla (\operatorname {Fil}^h \mathcal {M} )\subset \operatorname {Fil}^h \mathcal {M}$.
(3) The following diagram commutes:
(2.7)
An object $\mathcal {M}$ in $\operatorname {Mod}_{S, \operatorname {tor}}^{\varphi, h }$ is called a (torsion) Breuil module.
Now let us recall the relation of classical torsion Kisin modules and objects in $\operatorname {Mod}_{S, \operatorname {tor}}^{\varphi, h}$. For each such $\mathfrak {M}\in \operatorname {Mod}_{{\mathfrak {S}} , \operatorname {tor}}^{\varphi, h , {\rm c}}$, we construct an object $\mathcal {M}:= \underline {\mathcal {M}} (\mathfrak {M}) \in \operatorname {Mod}^{\varphi, h}_{S, \operatorname {tor}}$ as follows: $\mathcal {M}: = S \otimes _{\varphi, {\mathfrak {S}}} \mathfrak {M}$ and
and $\varphi _h : \operatorname {Fil} ^h \mathcal {M} \to \mathcal {M}$ is defined as the composite of the map
For any $\mathcal {M} \in \operatorname {Mod} _{S, \operatorname {tor}}^{\varphi, h}$, define a semi-linear $\varphi : \mathcal {M} \to \mathcal {M}$ by $\varphi (x) = (c_1)^{-h} \varphi _h (E^h x)$. Similar to the situation of Kisin module, we say $\mathcal {M}$ is multiplicative (respectively, nilpotent) if $1 \otimes \varphi : S \otimes _{\varphi, S}\mathcal {M} \to \mathcal {M}$ is surjective (respectively, $\lim _{n\to \infty } \varphi ^n (x) = 0,\ \forall x \in \mathcal {M}$). Clearly, if $\mathfrak {M} \in \operatorname {Mod}_{{\mathfrak {S}} , \operatorname {tor}}^{\varphi, h , {\rm c}}$ is multiplicative (respectively, nilpotent) then so is $\underline { \mathcal {M}} (\mathfrak {M})$.
Remark 2.8 Here our definition of multiplicative is different from that in [Reference GaoGao17, Def. 2.2.2] where $\mathcal {M}$ is called multiplicative if $\operatorname {Fil}^h \mathcal {M} = \operatorname {Fil}^h S \mathcal {M}$. Indeed, these two definitions are equivalent. Suppose that $\operatorname {Fil}^h \mathcal {M} = \operatorname {Fil}^h S \mathcal {M}$. Since $\varphi _h ( a x)= \varphi _h (a) \varphi (x)$ for any $a \in \operatorname {Fil}^h S$ and $x\in \mathcal {M}$, $\{\varphi (x)= c_1^{-h}\varphi _h (E^h x)\}$ and $\{\varphi _h (\operatorname {Fil}^h S \mathcal {M})\}$ generate the same subsets in $\mathcal {M}$. This implies that $\varphi (\mathcal {M})$ generates $\mathcal {M}$. Conversely, suppose that $\varphi (\mathcal {M})$ generates $\mathcal {M}$. To show that $\operatorname {Fil}^h\mathcal {M} = \operatorname {Fil} ^hS \mathcal {M}$, we can reduce to the case that $\mathcal {M}$ is finite $S_1$-free by dévissage. See the last part of the proof of Lemma 2.9.
Lemma 2.9 For any object $\mathcal {M} \in \operatorname {Mod}^{\varphi, h}_{S, \operatorname {tor}}$, there exists a functorial exact sequence
with $\mathcal {M}^{\rm m}$ a multiplicative submodule of $\mathcal {M}$ and $\mathcal {M}^{\rm n}$ being nilpotent.
Proof. Recall $I_+ = S \cap u K_0 [\![u]\!]$, $S/ I _+\simeq W(k)$ and $\varphi (x) = c_1^{-h} \varphi _h (E^h x)$. Write $S_n : = S/ p ^n S$ and assume that $\mathcal {M}$ is an $S_n$-module. We claim Lemma 2.2 still holds by replacing $\mathfrak {M}$ by $\mathcal {M}$, $M = \mathcal {M}/ I_+$ and $q : \mathcal {M} \to M = \mathcal {M} / I _+$. Indeed, the same proof goes through because $\varphi ^\ell (I_+)=0$ in $S_n$ for sufficient large $\ell$. Now we can set $\mathcal {M}^{\rm m}$ as the $S$-submodule of $\mathcal {M}$ generated by $[M^{\rm m}]$ and $\mathcal {M}^{\rm n} : = \mathcal {M} / \mathcal {M}^{\rm m}$. Using the same argument as in Lemma 2.3, the right exact sequence $S \otimes _{W(k)} [M^{\rm m}] \to \mathcal {M} \to \mathcal {M}^{\rm n} \to 0$ modulo $I_+$ becomes an exact sequence $0 \to M^{\rm m} \to M \to M^{\rm n} \to 0$. This forces $\mathcal {M}^{\rm m}/ I_+ = M ^{\rm m}$ and $\mathcal {M}^{\rm n} / I_+ = M ^{\rm n}$. Set $\operatorname {Fil} ^h \mathcal {M} ^m = \operatorname {Fil} ^h S \cdot \mathcal {M}^{\rm m}$ and $\operatorname {Fil} ^h \mathcal {M}^{\rm n} = \operatorname {Fil}^h \mathcal {M} / \operatorname {Fil}^h \mathcal {M}^{\rm m}$. It is clear that $\varphi _h: \operatorname {Fil} ^h \mathcal {M} ^{\rm m} \to \mathcal {M} ^{\rm m}$ and $\varphi _h : \operatorname {Fil} ^h \mathcal {M} ^{\rm n} \to \mathcal {M} ^{\rm n}$ are well defined. So we obtain an exact sequence $0 \to \mathcal {M} ^{\rm m} \to \mathcal {M} \to \mathcal {M}^{\rm n} \to 0$ in the category $^\sim \operatorname {Mod}^{\varphi, h}_S$.
To promote our exact sequence to the category $\operatorname {Mod}^{\varphi, h}_{S, \operatorname {tor}}$, we argue by induction on $n$ where $p ^n$ kills $\mathcal {M}$. The base case $n =1$ is most complicated and postponed to the end. For general $n$, by definition, $\mathcal {M}$ sits in the exact sequence in $\operatorname {Mod}^{\varphi, h}_{S, \operatorname {tor}}: \ 0 \to \mathcal {M}_1 \to \mathcal {M} \to \mathcal {M}_2 \to 0$ with $\mathcal {M}_1$, $\mathcal {M}_2$ killed by $p ^{n -1}$ and $p$, respectively. Consider the following commutative diagram:
We need to show that the first columns is short exact. Note that $\mathcal {M} _2$ is finite $S_1$-free, and the exact sequence in the second column yields the exact sequence $0 \to M _1 \to M \to M_2 \to 0$ where $M_i : = \mathcal {M}_i / I _+ \mathcal {M}_i$ for $i= 1, 2$. So the sequence $0 \to \mathcal {M}_1^{\rm m } / I _+ \to \mathcal {M} ^{\rm m}/I_+ \to \mathcal {M}_2^{\rm m}/ I_+ \to 0$ is also exact as it is the same as the exact sequence $0 \to M_1^{\rm m} \to M ^{\rm m} \to M_2^{\rm m} \to 0$. Note that $\mathcal {M}_i^{\rm m }$ is finite $S$-generated as they are generated by $[M_i^{\rm m}]$. Note that $S_n$ is a coherent ring (see [Reference Li and LiuLL20, Lemma 7.15]). By induction on $n$ and [Sta21, Tag 05CW], we see that $\mathcal {M}$ is coherent and then $\mathcal {M}^{\rm m}$ is coherent. Since $\mathcal {M}_1^{\rm m}$ is coherent by induction, $\mathcal {L} = \mathcal {M}^{\rm m}/ \mathcal {M}_1^{\rm m}$ is also coherent by [Sta21, Tag 05CW] again. Note that $f$ induces a map $f': \mathcal {L} \to \mathcal {M}_2 ^{\rm m}$. We need to show that $f'$ is an isomorphism. Let $L = \mathcal {L} / I_+$. Note that $\overline f' : = f' \ {\rm mod}\ I_+ : L \to M^{\rm m}_2$ is an isomorphism. Nakayama's lemma shows that $f'$ is surjective. Let $\mathcal {K}: = \ker (f')$, which is still coherent. Since $\mathcal {M}^{\rm m}_2$ is finite $S_1$-free by induction, $\operatorname {Tor}_1^S (\mathcal {M}^{\rm m }_2, S/I_+ )= 0$. So we obtain an exact sequence $0 \to \mathcal {K} / I_+ \to L \to M_2^{\rm m} \to 0.$ Hence $\mathcal {K} /I_+ = 0$ as $\overline f'$ is an isomorphism. By Nakayama's lemma, $\mathcal {K} = 0$ and the first column is exact as a finite $S$-module. Using that $\mathcal {M}_2^{\rm m}$ is finite $S_1$-free, we see that the sequence $0 \to \mathcal {M}_1^{\rm m}/ \operatorname {Fil} ^ h S \to \mathcal {M} ^{\rm m}/\operatorname {Fil}^h S\to \mathcal {M}_2^{\rm m}/ \operatorname {Fil} ^h S \to 0$ is exact. So the sequence $0 \to \operatorname {Fil} ^ h S \cdot \mathcal {M}_1^{\rm m} \to \operatorname {Fil} ^ h S \cdot \mathcal {M} ^{\rm m} \to \operatorname {Fil} ^ h S \cdot \mathcal {M}_2^{\rm m} \to 0$ is exact. Therefore, the first column of (
2.11) is exact in $\operatorname {Mod}_{S, \operatorname {tor}}^{\varphi, h}$. Then it is standard to check that the last column is also exact sequence in $'\operatorname {Mod}_{S, \operatorname {tor}}^{\varphi, h}$. In particular, $\mathcal {M}^{\rm n}$ is an object in $\operatorname {Mod}_{S, \operatorname {tor}}^{\varphi, h}$ by induction on $n$. Once (2.10) is exact in $\operatorname {Mod}_{S, \operatorname {tor}}^{\varphi, h}$. Then $\varphi$ on $\mathcal {M}^{\rm m}$, $\mathcal {M}$ and $\mathcal {M}^{\rm n}$ defined from $\varphi (x) = c_1^{-h}\varphi _h (x)$ are compatible with maps in the sequence. Since $\mathcal {M}^{\rm m}$ is generated by $[M^{\rm m}]$ and $\mathcal {M}^{\rm n}/ I_+ = M^{\rm n}$, we see that $\mathcal {M} ^{\rm m}$ is multiplicative and $\mathcal {M}^{\rm n}$ is nilpotent.
Now we discuss the case $n =1$. We have already shown that $\mathcal {M}^{\rm m}$ is finite $S$-generated. Now the exact sequence $0 \to \mathcal {M}^{\rm m}/ I_+ \to \mathcal {M}/ I _+ \to \mathcal {M}^{\rm n}/ I_+ \to 0$ is an exact sequence of $k$-vector spaces. Pick $m_i \in \mathcal {M} ^{\rm m}$ and $n_j \in \mathcal {M}$ such that $m_i \ {\rm mod}\ I_+$ and $n_j \ {\rm mod}\ I_+$ are bases of $\mathcal {M}^{\rm m}/ I_+$ and $\mathcal {M}^{\rm n}/ I_+$ respectively. Using that $\mathcal {M}$ is finite $S_1$-free, it is easy to show that $m_i , n_j$ forms a basis of $\mathcal {M}$ and then both $\mathcal {M}^{\rm m}$ and $\mathcal {M}^{\rm n}$ are finite $S_1$-free. Now it remains to show that $\operatorname {Fil}^h \mathcal {M} \cap \mathcal {M} ^{\rm m} = \operatorname {Fil}^h S \mathcal {M}^{\rm m}$ such that $\operatorname {Fil}^h \mathcal {M}^{\rm n}= \operatorname {Fil}^h \mathcal {M} / \operatorname {Fil}^h \mathcal {M}^{\rm m}$ is a submodule of $\mathcal {M} ^{\rm n}$. Then it is easy to check that $(\mathcal {M}^{\rm n}, \operatorname {Fil}^h \mathcal {M}^{\rm n}, \varphi _h)$ is an object in $\operatorname {Mod}_{S, \operatorname {tor}}^{\varphi, h}$ and thus the sequence $0 \to \mathcal {M} ^{\rm m} \to \mathcal {M} \to \mathcal {M}^{\rm n} \to 0$ is in the category $\operatorname {Mod}^{\varphi, h}_{S, \operatorname {tor}}$. To show that $\operatorname {Fil}^h \mathcal {M}^{\rm n}= \operatorname {Fil}^h \mathcal {M} / \operatorname {Fil}^h \mathcal {M}^{\rm m}$, consider $\mathcal {F}: = \mathcal {M} ^{\rm m}/ \operatorname {Fil}^ p S_1\mathcal {M}^{\rm m}$. Write $\widetilde {\operatorname {Fil}}^h \mathcal {F} : = (\operatorname {Fil}^h \mathcal {M} \cap \mathcal {M} ^{\rm m}) / \operatorname {Fil} ^p S_1$ and $\operatorname {Fil}^h \mathcal {F} = \operatorname {Fil}^h S \mathcal {M}^{\rm m}/\operatorname {Fil}^p S_1$. Since $\operatorname {Fil}^h \mathcal {F}= u ^{eh}\mathcal {F} \subset \widetilde {\operatorname {Fil}}^h \mathcal {F} \subset \mathcal {F}$ which is a finite free ${k[\![u]\!]} /u^{pe}$-module, there exists a basis $e_1 , \ldots, e_d$ of $\mathcal {F}$ such that $\widetilde {\operatorname {Fil}}^h \mathcal {F}$ is generated by $u ^{a_i} e_i$ with $0 \leq a_i \leq eh$. Suppose one of the $a_i$ is less than $eh$, say $a_1< eh$. Let $\hat e_i \in \mathcal {M}^{\rm m}$ be a basis which lifts $e_i$. Then $u^{a_1} \hat e_1 \in \operatorname {Fil} ^h \mathcal {M} \cap \mathcal {M} ^{\rm m}$. So $\varphi _h (u ^{eh} \hat e _1) = \varphi _h (u^{eh -a_1 } u ^a_i \hat e_1)= \varphi (u^{eh -a_1}) \varphi _h (u ^{a_1} \hat e_1)\in I_+ \mathcal {M}$. This contradicts that $\varphi _h ( u ^{eh}\hat e_i) \ {\rm mod}\ I_+$ is a basis $M^m\subset M= \mathcal {M} / I_+$. So all the $a_i$ equal $eh$ and we have $\operatorname {Fil}^h \mathcal {M}^{\rm m} = \operatorname {Fil}^h S \cdot \mathcal {M} ^{\rm m}= \operatorname {Fil}^h \mathcal {M} \cap \mathcal {M} ^{\rm m}$ as required.
Corollary 2.12 The exact sequence (2.10) is canonical in the following sense. Suppose $\mathcal {M}$ admits another exact sequence in $\operatorname {Mod}_{S, \operatorname {tor}}^{\varphi, h}$,
with $\widetilde {\mathcal {M}}^{\rm m}$ being multiplicative and $\widetilde {\mathcal {M}} ^{\rm n}$ being nilpotent. Then $\widetilde {\mathcal {M}}^{\rm m} = \mathcal {M}^{\rm m}$ and $\widetilde {\mathcal {M}} ^{\rm n} = \mathcal {M}^{\rm n}$.
Proof. Since $\widetilde {\mathcal {M}}^{\rm n}$ is successive extension of finite free $S_1$-modules, $\operatorname {Tor}^1_{S} (\mathcal {M}^{\rm n}, S/I_+) = 0$. Hence, the sequence $0 \to \widetilde {\mathcal {M}}^{\rm m}/I_+ \to \mathcal {M}/I_+ \to \widetilde {\mathcal {M}}^{\rm n}/I_+ \to 0$ is exact. Since $\widetilde {\mathcal {M}}^{\rm m}$ is multiplicative, $\widetilde {\mathcal {M}}^{\rm m}/I_+ \subset M^{\rm m}$ and thus $\widetilde {\mathcal {M}}^{\rm m}/ I_+ = M^{\rm m}$, otherwise $\varphi$ on $\widetilde {\mathcal {M}}^{\rm n}/I_+$ cannot be nilpotent. So $[M^{\rm m}]\subset \widetilde {\mathcal {M}}^{\rm m}$. Hence, $\mathcal {M}^{\rm m}\subset \widetilde {\mathcal {M}}^{\rm m}$ as $\mathcal {M}^{\rm m}$ is constructed as $S$-submodule of $\mathcal {M}$ generated by $[M^{\rm m}]$. Since $\mathcal {M}^{\rm m}/I_+= M^{\rm m}$, we have $\widetilde {\mathcal {M}}^{\rm m}= \mathcal {M}^{\rm m}$ by Nakayama's lemma. By the definition of exact sequence in the category $\operatorname {Mod}_{S, \operatorname {tor}}^{\varphi, h}$, we see that
where the last equality was proved by the end of the proof of Lemma 2.9. Therefore, we have the desired equality $(\widetilde {\mathcal {M}}^{\rm m}, \operatorname {Fil}^h \widetilde {\mathcal {M}}^{\rm m}, \varphi _h )=( \mathcal {M}^{\rm m}, \operatorname {Fil}^h \mathcal {M}^{\rm m}, \varphi _h )$ as a subobject of $\mathcal {M}$.
2.3 Fontaine–Laffaille modules
Fix $h = p -1$ for this subsection. Let us review Fontaine–Laffaille theory from [Reference Fontaine and LaffailleFL82]. Let $\operatorname {FM}_{W(k)}$ denote the category whose objects are finite $W(k)$-modules $M$ together with decreasing filtration $\{\operatorname {Fil} ^i M\}_{i \geq 0}$ and a Frobenius semi-linear map $\varphi _i: \operatorname {Fil}^i M \to M$ satisfying:
(1) $\operatorname {Fil}^{i+1} M$ is a direct summand of $\operatorname {Fil} ^i M$ for all $i\in \mathbb {N}$, and $\operatorname {Fil}^0 M = M$, $\operatorname {Fil}^{h+1} M = \{0 \}$;Footnote 3
(2) $\varphi _i |_{\operatorname {Fil}^{i +1} M} = p \cdot \varphi _{i+1}$;
(3) $\sum _{i \geq 0} \varphi _i (\operatorname {Fil} ^i M) = M$.
Morphisms in $\operatorname {FM}_{W(k)}$ are $W(k)$-linear homomorphisms compatible with filtration and $\varphi _i$. It turns out that the category $\operatorname {FM}_{W(k)}$ is abelian (see [Reference Fontaine and LaffailleFL82, Proposition 1.8]); and any morphism is automatically strict with respect to the filtrations (see [Reference Fontaine and LaffailleFL82, 1.10(b)]). A sequence $0 \to M_1 \to M \to M_2 \to 0$ in $\operatorname {FM}_{W(k)}$ is short exact if the underlying $W(k)$-module is exact.Footnote 4 In this case, we call $M_2$ a quotient of $M$. An object $M\in \operatorname {FM}_{W(k)}$ is called multiplicative if $\operatorname {Fil} ^1M= \{0\}$ and $M$ is called nilpotent if it does not have a multiplicative subobject. Just as in previous sections, we have the following lemma.
Lemma 2.13 Let $(M, \operatorname {Fil}^{\bullet } M, \varphi _{\bullet }) \in \operatorname {FM}_{W(k)}$.
(1) It is multiplicative (respectively, nilpotent) if and only if $\varphi _0$ is bijective (respectively, nilpotent).
(2) There is a canonical multiplicative-nilpotent exact sequence in $\operatorname {FM}_{W(k), \operatorname {tor}}$,
(2.14)such that $M^{\rm m}$ is the maximal multiplicative subobject in $M$ and $M ^{\rm n}$ is nilpotent.
Proof. (1) Condition (3) of being an object in $\operatorname {FM}_{W(k)}$ in the case of a multiplicative object translates to $\varphi _0$ being surjective, which is equivalent to being bijective due to length considerations. Conversely, if $\varphi _0$ is bijective, we let $M' \in \operatorname {FM}_{W(k)}$ be defined as follows: the underlying module is $M$ itself, with $\operatorname {Fil}^0 M' = M \supset \operatorname {Fil}^1 M' = 0$ and $\varphi _0$. Then there is an evident morphism $M' \to M$ in $\operatorname {FM}_{W(k)}$, which is necessarily strict with respect to filtrations (see [Reference Fontaine and LaffailleFL82, 1.10(b)]), hence $\operatorname {Fil}^1 M = \operatorname {Fil}^1 M' = 0$. The proof for nilpotent objects is at end of the proof of (2).
(2) By the Fitting lemma, we have $M = M^{\rm m} \oplus M^{\rm n}$ only as $\varphi$-modules, such that $\varphi _0$ on $M ^{\rm m}$ is bijective and $\varphi _0$ on $M ^{\rm n}$ is nilpotent. Let $\operatorname {Fil}^1 M^{\rm m} = 0$; we get the desired sequence. The fact that the quotient $M^{\rm n}$ with the induced filtration is nilpotent follows from (1). By the exact sequence (2.14), $M$ is nilpotent if and only if $M = M^{\rm n}$, whose $\varphi _0$ is nilpotent.
For any object $M$ in $\operatorname {FM}_{W(k)}$, we can attach a Breuil module $\underline { \mathcal {M}}_{\operatorname {FM}} (M) \in \operatorname {Mod}_{S,\operatorname {tor}}^{\varphi, h, \nabla }$ in the following ways. Let $\mathcal {M} = \underline { \mathcal {M}}_{\operatorname {FM}} (M) : = S \otimes _{W(k)} M$, $\nabla _{\mathcal {M}} = \nabla _S \otimes \operatorname {id}_{M}$ and $\operatorname {Fil}^h\mathcal {M} : = \sum _{i = 0}^h \operatorname {Fil}^i S \otimes _{W(k)} \operatorname {Fil}^{h-i} M$. By definition $\operatorname {Fil}^h \mathcal {M}$ is a submodule of $\mathcal {M}$. We define $\varphi _{h , \mathcal {M}} : \operatorname {Fil}^h \mathcal {M} \to \mathcal {M}$ by $\varphi _{h , \mathcal {M}} := \sum _{i = 0}^h \big (\varphi _{i} \mid _{\operatorname {Fil}^i S}\!\!\big) \otimes \big (\varphi _{h-i} \mid _{\operatorname {Fil}^{h -i}M}\!\!\big)$; this is well defined because $\operatorname {Fil}^{i +1} M$ is a direct summand of $\operatorname {Fil} ^i M$. It is standard to check that $\underline {\mathcal {M}}_{\operatorname {FM}} (M)$ is a Breuil module in $\operatorname {Mod}_{S, \operatorname {tor}}^{\varphi, h, \nabla }$.
Proposition 2.15
(1) Let $M \in \operatorname {FM}_{W(k), \operatorname {tor}}$. Then $\underline {\mathcal {M}} _{\operatorname {FM}}$((2.14)) is isomorphic to (2.10) with $\mathcal {M} = \underline { \mathcal {M}} (M)$. In particular, $\underline {\mathcal {M}} (M^{\rm m}) = \underline { \mathcal {M}} (M )^{\rm m}$.
(2) Given an $M \in \operatorname {FM}_{W(k), \operatorname {tor}}$ and suppose that there exists a classical Kisin module $\mathfrak {M} \in \operatorname {Mod}^{\varphi, h, {\rm c}}_{{\mathfrak {S}} , \operatorname {tor}}$ such that $\underline { \mathcal {M}} (\mathfrak {M})\simeq \underline { \mathcal {M}}_{\operatorname {FM}} (M)$ in the category of $\operatorname {Mod}_{S, \operatorname {tor}}^{\varphi, h}$. Then we have isomorphism $\underline { \mathcal {M}}_{\operatorname {FM}} ((2.14))\simeq \underline { \mathcal {M}} ((2.4))$. In particular, $\underline { \mathcal {M}} (\mathfrak {M}^{\rm n}) =\underline { \mathcal {M}} (\mathfrak {M})^{\rm n} = \underline {\mathcal {M}}_{\operatorname {FM}} (M^{\rm n})$.
Proof. It is easy to check that if $M\in \operatorname {FM}_{W(k), \operatorname {tor}}$ (respectively, $\mathfrak {M} \in \operatorname {Mod}_{{\mathfrak {S}}, \operatorname {tor}}^{\varphi, h , {\rm c}}$) is multiplicative or nilpotent then so is $\underline { \mathcal {M}}_{\operatorname {FM}} (M)$ (respectively, $\underline { \mathcal {M}} (\mathfrak {M})$). Then the proposition follows from Corollary 2.12.
For later use, let us prove the following technical lemma which says that one can test an object in $\operatorname {FM}_{W(k)}$ after looking at its ‘Breuil's counterpart’. This is well known to experts.
Lemma 2.16 Let $(M, \operatorname {Fil}^{\bullet } M, \varphi _{\bullet })$ be a filtered module with divided Frobenius; that is, only assuming the condition (2) in the definition of $\operatorname {FM}_{W(k)}$ is satisfied. Let $\mathcal {M} = \underline { \mathcal {M}}_{\operatorname {FM}} (M) : = S \otimes _{W(k)} M$ and $\operatorname {Fil}^h\mathcal {M} : = \sum _{i = 0}^h \operatorname {Fil}^i S \otimes _{W(k)} \operatorname {Fil}^{h-i} M$. Suppose there is a semi-linear map $\varphi _h \colon \operatorname {Fil}^h \mathcal {M} \to \mathcal {M}$ satisfying
Then $(M, \operatorname {Fil}^{\bullet } M, \varphi _{\bullet })$ is an object in $\operatorname {FM}_{W(k)}$ if and only if $\varphi _h(\operatorname {Fil}^h \mathcal {M})$ generates $\mathcal {M}$ as an $S$-module.
Proof. The ‘only if’ part follows from the standard direction of going from Fontaine–Laffaille modules to Breuil modules as discussed above. We prove the ‘if’ part, which is the only part that will be used later. To that end, we simply observe that $\mathcal {M}/(p,I_+) \cdot \mathcal {M} \cong M/p$. One checks that the induced map $\overline {\varphi _h} \colon \operatorname {Fil}^h\mathcal {M} \to M/p$ has image given by the image of $\sum _{i=0}^{h} \overline {\varphi _i} \colon \bigoplus _{i=0}^{h} \operatorname {Fil}^i M \to M/p$. Our condition now implies the reduction map is surjective. Since $M$ is $p$-adically complete, it follows that the map $\sum _{i=0}^{h} \varphi _i \colon \bigoplus _{i=0}^{h} \operatorname {Fil}^i M \to M$ before mod $p$ is also surjective, which is exactly what we need to show.
2.4 Relations to Galois representations
Fix $\pi _n \in \overline K$ such that $\underline \pi : = (\pi _n) \in \mathcal {O}_{\mathbf {C}} ^\flat$ and $\pi _0= \pi$; also $K _\infty : = \bigcup _{n \geq 0} K (\pi _n)$ and $G_\infty : = \operatorname {Gal} (\overline {K}/ K_\infty )$. We embed ${\mathfrak {S}} \to A_{\inf }$ via $u \mapsto [\underline \pi ]$. As discussed in [Reference Li and LiuLL20, § 6.2], for a classical Kisin module $\mathfrak {M}\in \operatorname {Mod}_{{\mathfrak {S}} }^{\varphi, h}$, we can associate the Galois representation of $G_\infty$ via $T_{\mathfrak {S}} (\mathfrak {M}) = (\mathfrak {M}\otimes _{\mathfrak {S}} W(\mathcal {O}_{\mathbf {C}}^\flat ) )^{\varphi =1}$ and $T^h_{\mathfrak {S}} (\mathfrak {M})= (\operatorname {Fil}^h \varphi ^* \mathfrak {M} \otimes A_{\inf })^{\varphi _h =1}$ where $\operatorname {Fil}^h \varphi ^* \mathfrak {M} : = \{ x \in \varphi ^* \mathfrak {M} \mid (1\otimes \varphi ) (x) \in E^h \mathfrak {M} \}$ and $\varphi _h : \operatorname {Fil}^h \varphi ^* \mathfrak {M} \to \varphi ^* \mathfrak {M}$ is given by $\varphi _h (x) = {(1\otimes \varphi )(x)}/{\varphi (a_0^{-1}E) ^h}.$ See [Reference Li and LiuLL20, § 6.2] for more details on $T^h _{\mathfrak {S}}$ and $T_{\mathfrak {S}}$; for example, $T_{\mathfrak {S}}^h (\mathfrak {M}) = T _{\mathfrak {S}} (\mathfrak {M}) (h)$ and both $T_{\mathfrak {S}}$ and $T^h _{\mathfrak {S}}$ are exact.
Note that if $\mathfrak {M} \otimes _{\mathfrak {S}} A_{\inf }$ has an $A_{\inf }$-semi-linear $G_K$-action which extends the natural $G_{\infty }$-action and commutes with $\varphi$, then $T_{\mathfrak {S}} (\mathfrak {M})$ is a $G_K$-representation. In particular, this is the case when $\mathfrak {M} = {\mathrm {H}}^i_{{\mathbb {\Delta }}} (\mathcal {X}/ {\mathfrak {S}}_n)$ modulo $u^\infty$-torsion.
Now given a Breuil module $\mathcal {M}\in \operatorname {Mod}_{S, \operatorname {tor}}^{\varphi, h, \nabla }$, as explained around [Reference Li and LiuLL20, Eq. (6.19)], we define $\operatorname {Fil}^h (\mathcal {M} \otimes _S A_{\operatorname {crys}} ): = \operatorname {Fil}^h \mathcal {M} \otimes _S A_{\operatorname {crys}}$ and then $\varphi _h$ extends to $\mathcal {M} \otimes _ S A_{\operatorname {crys}}$ and we define a $G_K$-action on $\mathcal {M} \otimes _S A_{\operatorname {crys}}$: for any $\sigma \in G_K$, any $x \otimes a \in A_{\operatorname {crys}}\otimes _S \mathcal {M}$, define
The above $G_K$-action on $\mathcal {M} \otimes _ S A_{\operatorname {crys}}$ extends the $G_\infty$-action, preserves filtration and commutes with $\varphi _h$. As in [Reference Li and LiuLL20, § 6.3], we define
which is a $ {\mathbb {Z}}_p [G_K]$-module.
Now suppose $\mathfrak {M} \in \operatorname {Mod}_{{\mathfrak {S}}, \operatorname {tor}}^{\varphi, h, {\rm c}}$ and let $\frak c : = \prod _{n =1}^\infty \varphi ^n ({{E}/{E(0)}})\in S^\times$. As explained in the proof of [Reference Li and LiuLL20, Prop. 6.12], the map $m \mapsto \frak c^h (1\otimes m)$ induces a natural map $\iota : T^h _{\mathfrak {S}} (\mathfrak {M}) \to T_S(\underline { \mathcal {M}} (\mathfrak {M}))$.
Suppose that $\mathfrak {M} \otimes _{\mathfrak {S}} A_{\inf }$ has $G_K$-action which extends the $G_\infty$-action and commutes with $\varphi$, and the natural map $\mathfrak {M} \otimes _{\mathfrak {S}} A_{\inf } \to \underline { \mathcal {M}}(\mathfrak {M}) \otimes _S A_{\operatorname {crys}}$ is compatible with $G_K$-actions on both sides. Then, as explained in [Reference Li and LiuLL20, Remark 6.14], the natural map $T_{\mathfrak {S}} (\mathfrak {M})(h) \simeq T_{\mathfrak {S}}^h (\mathfrak {M}) \overset {\iota }{\longrightarrow } T_S (\underline { \mathcal {M}}(\mathfrak {M}))$ is compatible with $G_K$-actions on both sides. In particular, this will happen (see the proof of Theorem 5.28) when $\mathfrak {M} = {\mathrm {H}}^i_ {\mathrm {qSyn}} (\mathcal {X}, {{\mathbb {\Delta }}}_n)$ is an object in $\operatorname {Mod}_{{\mathfrak {S}}, \operatorname {tor}}^{\varphi, h, {\rm c}}$ and $\underline {\mathcal {M}} (\mathfrak {M})$ is subobject of ${\mathrm {H}}^i _{\operatorname {crys}} (\mathcal {X}/ S_n )$ inside $\operatorname {Mod}_{S, \operatorname {tor}}^{\varphi, h , \nabla }$.
Lemma 2.18 If $\mathfrak {M}\in \operatorname {Mod}_{{\mathfrak {S}}, \operatorname {tor}}^{\varphi, h, {\rm c}}$ is nilpotent then the natural map $\iota : T^h _{\mathfrak {S}}(\mathfrak {M}) \to T_S (\underline { \mathcal {M}} (\mathfrak {M}))$ is an isomorphism.
Proof. Write $\mathcal {M} : = \underline { \mathcal {M}} (\mathfrak {M})$. Then $\mathcal {M}$ is also nilpotent by Proposition 2.15. When $h \leq p-2$, $\iota$ is known to be an isomorphism (without assuming nilpotency of $\mathfrak {M}$) by [Reference Li and LiuLL20, Prop. 6.12]. So in the following, we assume $h = p-1$.
Since $T^h_{\mathfrak {S}}$ and $\underline { \mathcal {M}}$ are exact and $T_S$ is left exact, we can assume that $\mathfrak {M}$ is killed by $p$ such that $\mathfrak {M}$ is a finite free ${k[\![u]\!]}$-module with basis $e_1, \ldots, e_d$. Write $\varphi (e_1 , \ldots, e_d)= (e_1 , \ldots, e_d)A$ with $AB = B A =a_0^{-h} u ^{eh}I_d$. Let $\widetilde e_i : = 1 \otimes e_i$ be a basis of $\varphi ^*\mathfrak {M}$ and an $S_1$-basis of $\mathcal {M}$. Then $\operatorname {Fil} ^h \varphi ^* \mathfrak {M}$ is generated by $(\alpha _1 , \ldots, \alpha _d) = (\widetilde e_1 , \ldots, \widetilde e_d)B$ and $\operatorname {Fil}^h \mathcal {M}$ is generated by $(\alpha _1 , \ldots, \alpha _d)$ and $\operatorname {Fil}^p S_1 \mathcal {M}$. Note that $\iota (\widetilde e_1, \ldots, \widetilde e_d)= \frak c^h (\widetilde e_1, \ldots,\widetilde e_d)$, and any $x \in (\operatorname {Fil}^h \varphi ^*\mathfrak {M} \otimes _{\mathfrak {S}} A_{\inf })$ can be written as $x = (\alpha _1 ,\ldots, \alpha _d) X$ with $X\in (\mathcal {O}_\mathbf {C} ^\flat )^d$ and any $y \in \operatorname {Fil}^h \mathcal {M} \otimes _S A_{\operatorname {crys}}$ can be written as $y = \frak c^h (\alpha _1 , \ldots, \alpha _d) Y + \frak c^h (\widetilde e_1 , \ldots, \widetilde e_d) Z$ with $Y \in (\mathcal {O} _\mathbf {C}^\flat / u ^{ep})^d$ and $Z \in (\operatorname {Fil}^pA_{\operatorname {crys}, 1}) ^d$. Then $\iota$ is the same as
by sending $X\mapsto (X, 0)$. We must show the above map is bijective. For injectivity, note that $X\in \ker (\iota )$ if and only if $B X \in (u^{pe}\mathcal {O}_\mathbf {C}^\flat )^d$. Then ${a_0 ^{-h }} u ^{eh} X=AB X \in (u^{pe}\mathcal {O}_\mathbf {C}^\flat )^d$. Hence, $Y=a_0 u^{-e} X\in (\mathcal {O}_C^\flat )^d$. Note that $\varphi (X) = B X$ implies that $A\varphi (X) = a_0^{-h}u^{eh} X$ and then $Y = A \varphi (Y)$. So $Y = A \varphi (A) \cdots \varphi ^m (A) \varphi ^{m +1} (Y)$. Since $\mathfrak {M}$ is nilpotent, $A \varphi (A) \cdots \varphi ^m (A)\to 0$ for $m \to \infty$, we see that $Y = 0$. This proves the injectivity of $\iota$.
To prove the surjectivity of $\iota$, consider the equation $\varphi (Y) + \varphi (A)\varphi _h (Z) - B Y =Z$. Note that $A_{\operatorname {crys}, 1} = (\mathcal {O}_\mathbf {C}^\flat / u ^{pe}) [\{z_i\}_{i \geq 1}]/ \{z_i ^p, i \geq 1\}$ with $z_i$ the image of $\gamma _{p ^i} (E)$ in $A_{\operatorname {crys},1}$. Since $\varphi _h (z_i) = a_0^{p ^i}$ or $0$, the left-hand side of the equation is in $(\mathcal {O}_\mathbf {C}^\flat /u ^{pe})^d$; this forces the right-hand side $Z= 0$ and we only have $\varphi (Y) = BY$ inside $(\mathcal {O}_\mathbf {C}^\flat /u ^{pe})^d$. So it suffices to show there exists $\widetilde Y\in (\mathcal {O}_C^\flat ) ^d$ such that $\varphi (\widetilde Y) = B \widetilde Y$ and $B \widetilde Y = B Y$ inside $(\mathcal {O} _\mathbf {C}^\flat / u ^{pe})^d$. To prove the existence of $\widetilde Y$, pick any lift $Y_0 \in (\mathcal {O}_\mathbf {C}^\flat )^d$ of $Y$. Then $\varphi (Y_0) = BY_0 + u ^{pe} W_0$. Since $u ^{pe} I_d = B A (a_0u ^e) ^h I _d$, we have $\varphi (Y_0)= B Y_1$ with $Y_1 = Y_0 + u^e A a^h_0W_0$. Then $\varphi (Y_1)= B Y_1 + u ^{pe}\varphi (A) W_1$ for some $W_1 \in (\mathcal {O}_\mathbf {C}^\flat )^d$. Continuing to construct $Y_n$ in this way, we have $\varphi (Y_{n}) = B Y_n + u ^{pe} A \varphi (A) \cdots \varphi ^n (A) W_n$ for some $W_n \in (\mathcal {O}_\mathbf {C}^\flat )^d$ and then $Y_{n+1} = Y_n + u^e A\varphi (A) \cdots \varphi ^n (A) W_n$. Then $Y_n$ converges to $\widetilde Y$ as $A\varphi (A) \cdots \varphi ^n (A)\to 0$. Since $\widetilde Y = Y_0 + u ^e A \widetilde W$ for some $\widetilde W \in (\mathcal {O}_C^\flat )^d$, we see that $B \widetilde Y = B Y_0 = B Y$ inside $(\mathcal {O}_\mathbf {C}^\flat / u ^{pe})^d$.
For $h = p-1$ the following example shows that the above lemma will fail without $\mathfrak {M}$ being nilpotent.
Example 2.19 Let $h = p -1$. Consider the rank $1$ Kisin module $\mathfrak {M} = {\mathfrak {S}} \cdot e_1$ and $\varphi (e_1)= e_1$. Then $\widetilde e_1 = 1\otimes e_1$ is a basis of $\varphi ^*\mathfrak {M}$ with $\operatorname {Fil}^h \varphi ^* \mathfrak {M} = E^h \varphi ^* \mathfrak {M}$. We have $\mathcal {M} = \underline { \mathcal {M}} (\mathfrak {M})= S \cdot \widetilde e_1$ with $\operatorname {Fil}^h \mathcal {M} = \operatorname {Fil}^h S \widetilde e_1$ and $\varphi _h (x \widetilde e_1) = \varphi _h (x)\widetilde e_1, \forall x \in \operatorname {Fil}^h S$. Hence,
Here ${\mathfrak t} \in A_{\inf }$ is discussed in Example 3.2.3 in [Reference LiuLiu10] which also shows that $\varphi ({\mathfrak t})= a_0^{-1}E{\mathfrak t}$ and $t =\mathfrak c \varphi ({\mathfrak t})$. On the other hand, $T_S (\mathcal {M})= (\operatorname {Fil}^h A_{\operatorname {crys}})^{\varphi _h =1} \widetilde e_1= ({t ^{h}}/{p}) {\mathbb {Z}}_p \widetilde e_1.$ Tracing the definition of $\iota : T^h _{\mathfrak {S}} (\mathfrak {M} ) \to T_S (\mathcal {M})$, we see that $\iota (E^h \frak t^h \widetilde e_1 ) = t ^h {\mathbb {Z}}_p \widetilde e_1 \subset T_S(\mathcal {M})= ({t^h}/{p}) {\mathbb {Z}}_p \widetilde e_1$. So $\iota$ is not a surjection in this case. By modulo $p^n$, we see $\ker (\iota ) \cong \operatorname {coker} (\iota )$ is unramified and killed by $p$.
Corollary 2.20 Let $h = p-1$ and $\mathfrak {M}\in \operatorname {Mod}_{{\mathfrak {S}}, \operatorname {tor}}^{\varphi, h , {\rm c}}$ be a classical Kisin module of height $p -1$. Then the kernel and cokernel of $\iota : T^h_{\mathfrak {S}} (\mathfrak {M}) \to T_S(\underline { \mathcal {M}} (\mathfrak {M}))$ are canonically isomorphic and are unramified representations killed by $p$.
Proof. Note that $T^h_{\mathfrak {S}}$ is exact (see [Reference Li and LiuLL20, § 6.2]). Since $T_S$ is clearly left exact, by the exact sequence (2.4) and Lemma 2.18, it suffices to prove Corollary for $\mathfrak {M}$ being multiplicative. Clearly, we can assume $k = \overline k$ and then $\mathfrak {M}$ is direct sum of the ${\mathfrak {S}}_n \cdot e_1$ with $\varphi (e_1) =e_1$. Now our desired conclusion just follows from the above example.
Finally, given a Fontaine–Laffaille module $M \in \operatorname {FM}_{W(k)}$, set
where $\operatorname {Fil} ^h (M \otimes _{W(k)}A_{\operatorname {crys}})= \sum _{i = 0 }^h \operatorname {Fil}^i M \otimes _{W(k)} \operatorname {Fil}^{h-i}A_{\operatorname {crys}}$.
3. Boundary degree prismatic cohomology
3.1 Structure of $u^\infty$-torsion
Let $\mathcal {X}$ be a smooth proper formal scheme over $\mathcal {O}_K$ which is a degree $e$ totally ramified extension of $W= W(k)$, the Witt ring of a perfect field $k$ of characteristic $p > 0$. Let $\mathfrak {M}^i_n$ denote ${\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X}, {{\mathbb {\Delta }}}_n)[u^\infty ]$, where $n = \infty$ is to be understood as not modulo any power of $p$ at all. Below we formulate the abstract structure shared by $\mathfrak {M}^i_n$, by considering the $i$th cohomology of the $(i-1)$th Nygaard filtration (and the mod $p^n$ version).
Definition 3.1 Let $i \in \mathbb {N}_{\geq 1}$. A quasi-filtered BK module of height $i$ consists of:
• two ${\mathfrak {S}}$-modules $\mathfrak {M}$ and $\mathfrak {N}$; and
• four ${\mathfrak {S}}$-linear maps $f \colon \varphi ^*\mathfrak {M} \to \mathfrak {N}$, $g \colon \mathfrak {N} \to \varphi ^*\mathfrak {M}$, $h \colon \mathfrak {N} \to \mathfrak {M}$, and $h' \colon \mathfrak {M} \to \mathfrak {N}$ such that the following assertions hold.
(1) Composing $f$ and $g$ in both ways is equal to multiplication by $E^{i-1}$, and composing $h$ and $h'$ in both ways is equal to multiplication by $E$.
(2) $h$ is injective.
We shall summarize the above in the following diagram:
The composition $h \circ f$ exhibits a Frobenius structure on $\mathfrak {M}$.
Proposition 3.2 The diagram
gives rise to a quasi-filtered BK module of height $i$, as does the following diagram by passing to $u^{\infty }$-torsion submodules:
Here the top row is given by (mod $p^n$ of) inclusions of quasi-syntomic sheaves,
$\varphi _{i-1}$ and $\varphi _i$ are the divided Frobenius. $h'$ is defined as composing the inverse of $\varphi _i$, which is an isomorphism, with the natural inclusion of the $i$th Nygaard filtration in the $(i-1)$th Nygaard filtration. By definition, the induced Frobenius structure on $\mathfrak {M}^i_n$ and ${\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X}, {{\mathbb {\Delta }}}_n)$ is the usual one on prismatic cohomology.
Proof. For the first diagram, just apply [Reference Li and LiuLL20, Lemma 7.8(3)]. We see that $\varphi _{i-1}$ is injective in degree $i$ and $\varphi _i$ is an isomorphism in degree $i$. As for the second diagram, passage to $u^\infty$-torsion submodule commutes with $\varphi ^*$ as $\varphi _{{\mathfrak {S}}}$ is flat and sends $u$ to $u^p$, and the procedure of passing to a submodule clearly preserves injectivity.
Below we shall see that one can say quite a lot about the module-theoretic structure of the underlying module $\mathfrak {M}$ of a quasi-filtered BK module. We shall retain the notation from Definition 3.1.
Proposition 3.3 We have the following restriction on the annihilator ideal of $\mathfrak {M}$:
Proof. The equality follows from the flatness of $\varphi _{{\mathfrak {S}}}$. The inclusion is because the multiplication by $E^{i-1}$ on $\varphi ^*\mathfrak {M}$ factors through $\mathfrak {N}$ (due to condition (1) of Definition 3.1) which is a submodule of $\mathfrak {M}$ (due to condition (2) of Definition 3.1).
Corollary 3.4 If there is an $\alpha \in \mathbb {Z}_{\geq 0}$ such that ${\rm Ann} (\mathfrak {M}) + (p) = (u^\alpha, p)$, then we have
Proof. Using Proposition 3.3, after modulo $(p)$, we get the inclusion
in ${\mathfrak {S}}/p = k[\![u]\!]$. Since $E \equiv u^e$ modulo $p$, the above inclusion translates to the inequality
which is exactly what we need to show.
Later on we shall exhibit examples showing that the above bound is sharp for those coming from geometry as in Proposition 3.2 (see Remark 6.14(1)). We can say quite a lot when the $\alpha$ appearing above is $\leq 1$.
Proposition 3.5 Assume that $\mathfrak {M}$ is finitely generated and $u^\infty$-torsion.
(1) If $e \cdot (i-1) < p-1$, then $\mathfrak {M} = 0$.
(2) If $e \cdot (i-1) < 2(p-1)$, then ${\rm Ann}(\mathfrak {M}) + (u) \supset (p^{i-1},u)$.
(3) If $e \cdot (i-1) = p-1$, then ${\rm Ann}(\mathfrak {M}) \supset (p,u)$. Moreover, the semi-linear Frobenius on $\mathfrak {M}$ is bijective.
Proof. Our assumption implies the existence of $\alpha$ in Corollary 3.4. In the situation of (1), the inequality in Corollary 3.4 gives $\alpha = 0$, hence ${\rm Ann}(\mathfrak {M}) + (p)$ is the unit ideal. Since $p$ is topologically nilpotent, this shows that ${\rm Ann}(\mathfrak {M})$ is already the unit ideal, hence $\mathfrak {M} = 0$.
In the situation of (2), the inequality in Corollary 3.4 gives $\alpha < 2$. Therefore, we have either $\mathfrak {M} = 0$ or ${\rm Ann}(\mathfrak {M}) + (p) = (u,p)$. Without loss of generality, we may assume $\mathfrak {M} \neq 0$, hence ${\rm Ann}(\mathfrak {M}) + (p) = (u,p)$. Let us pick an element $f = u + a \in {\rm Ann}(\mathfrak {M})$ with $a \in p \cdot W(k)$, and compute
Proposition 3.3 implies that all the $B_i$ are in ${\rm Ann}(\mathfrak {M})$. Let us consider $C_1 = B_1(0)$: the above equation says $\varphi (C_1) = a_1 \cdot a + a_0$. Since we know $v_p(a_1) \geq i-1$ and $v_p(a_0) = i-1$, we see that $v_p(C_1) = i-1$, which implies $(B_1) + (u) \supset (u, p^{i-1})$.
Finally, we turn to (3). Similarly arguing as above, we may assume $\mathfrak {M} \neq 0$ and ${\rm Ann}(\mathfrak {M}) + (p) = (u,p)$, and our first task is to show $u \in {\rm Ann} (\mathfrak {M})$. To that end, pick again an element $f = u + a \in {\rm Ann}(\mathfrak {M})$ with $a \in p \cdot W(k)$. Next we compute
By Proposition 3.3, there is another element of the form $u + b \in {\rm Ann}(\mathfrak {M})$ with $b \in W(k)$ having a bigger $p$-adic valuation than that of $a$. Consequently, we have $u \in {\rm Ann} (\mathfrak {M})$, as $a-b$ and $a$ differ by a unit in $W(k)$. Now we do the trick again:
with $B_j\in W(k)$. Since $u ^p \in {\rm Ann} (\varphi ^* \mathfrak {M}_n ^i)$, we see that $\sum _{j = 1}^{p-1} B_j u^j \in {\rm Ann} (\varphi ^* \mathfrak {M}_n ^i)$ and hence each $\varphi ^{-1}(B_j)$ is in ${\rm Ann} (\mathfrak {M}_n ^i)$. From the above expansion, we see that
Since $E(u)$ is an Eisenstein polynomial, we see that $g(0)$ is a $p$-adic unit. This implies that $v_p (B_{1+ e (i-2)}) =1$, so $p \in {\rm Ann} (\mathfrak {M}_n ^i)$.
Finally, we need to show the semi-linear Frobenius on $\mathfrak {M}$ is a bijection. The previous paragraph tells us that $\mathfrak {M} \simeq k^{\oplus r}$. Let us consider the diagram (⚀):
We claim the first arrow in the top row is surjective, the middle vertical arrow is injective with image $E^{i-1} \cdot \varphi ^*\mathfrak {M}$, and the map $h$ is an isomorphism. We know $\varphi ^*\mathfrak {M} \simeq (k[u]/u^p)^{\oplus r}$, hence $E^{i-1} \cdot \varphi ^*\mathfrak {M}$ is also abstractly isomorphic to $k^{\oplus r}$. Let $\ell (\cdot )$ denote the $k$-length. The above diagram gives a chain of inequalities of lengths
where the first inequality follows from the previous sentence. So the above inequalities are both equalities, and the claim follows easily. The composition, which we have shown to be surjective, of
is the linearization of the semi-linear Frobenius on $\mathfrak {M}$. This shows that the semi-linear Frobenius on $\mathfrak {M}$ is surjective, hence bijective by length/dimension considerations.
The above gives our current knowledge on the $u^{\infty }$-torsion submodules in prismatic cohomology.
Theorem 3.6 Recall $\mathfrak {M}^i_n := {\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X}, {{\mathbb {\Delta }}}_n)[u^\infty ]$.
(1) If $e \cdot (i-1) < p-1$, then $\mathfrak {M}^i_n = 0$.
(2) If $e \cdot (i-1) < 2(p-1)$, then ${\rm Ann}(\mathfrak {M}^i_n) + (u) \supset (p^{i-1},u)$.
(3) If $e \cdot (i-1) = p-1$, then ${\rm Ann}(\mathfrak {M}^i_n) \supset (p,u)$. Moreover, the semi-linear Frobenius on $\mathfrak {M}^i_n$ is bijective. In particular, $\mathfrak {M}^i_n$ gives rise to an étale $\varphi$-module on $k$, hence an $\mathbb {F}_p$-representation of $G_k$ or equivalently an unramified $\mathbb {F}_p$-representation of $G_K$.
Later we shall give an interpretation of the $G_k$-representation in (3) above (see Theorem 4.14 and Corollary 4.15).
Below let us remark on results in the literature concerning $u^\infty$-torsion in Breuil–Kisin prismatic cohomology.
Remark 3.7 (1) Under the assumption $e \cdot i < p-1$, Min [Reference MinMin21, Theorem 0.1] showed that the $i$th prismatic cohomology has no $u$-torsion and ‘looks like’ the étale cohomology of the geometric generic fiber. His strategy is to exploit the fact that Frobenius map in degree $i$ has height $i$. Note that his method also shows that in the same range, the $i$th (derived) mod $p^n$ prismatic cohomology also has no $u$-torsion. But as far as we can tell, the method stops outside the above range.
(2) Philosophically speaking, the $u^{\infty }$-torsion in the $i$th (derived) mod $p^n$ prismatic cohomology is surjected on by the $(i-1)$th cohomology of the sheaf ${{{\mathbb {\Delta }}}}_n/u^N$ for some large $N$, hence it should secretly have height $i-1$. Our Proposition 3.3 may be taken as a manifestation of this philosophy. Later on we show this philosophy is literally true for $u^\infty$-torsion in the integral prismatic cohomology (see Corollary 3.16).
(3) In our previous work, we showed a close relation between $u$-torsion in prismatic cohomology and the structure of Breuil's crystalline cohomology [Reference Li and LiuLL20, Theorem 7.22]. Using this relation, together with Caruso's result [Reference CarusoCar08, Theorem 4.1.24], we obtained the same conclusion as in Theorem 3.6(1) and an improvement of Caruso's result [Reference CarusoCar08, Theorems 4.1.24 and 4.2.1] (see [Reference Li and LiuLL20, Corollary 7.25]). Note that our bound on the cohomological index is $1$ higher than Caruso's result.
(4) Our control of $u$-torsion in this paper bypasses Caruso's result. Hence, we obtain a proof of Caruso's result and its improvement simultaneously (cf. [Reference Li and LiuLL20, Theorem 7.22 and Corollary 7.25]).
(5) Later on, we shall see that our bound is in some sense sharp by exhibiting an example having $(u,p)$-torsion with $e = p-1$ and $i = 2$. See § 6.
Let us give an application by showing that the module structure of prismatic cohomology in low range looks like a $\mathbb {Z}_p$-module.
Corollary 3.8 Let $i$ be an integer satisfying $e \cdot (i-1) < p-1$. Then there exists a (non-canonical) isomorphism of ${\mathfrak {S}}$-modules,
Proof. We always have inclusions ${\mathrm {H}}^i_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})/p^n \subset {\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X}, {{\mathbb {\Delta }}}_n)$. In the specified range, we know the latter has no $u$-torsion by Theorem 3.6(1). Applying Proposition 2.6 shows that there exists an isomorphism of ${\mathfrak {S}}$-modules
for some $\mathbb {Z}_p$-module $N_i$. To obtain $N_i \simeq {\mathrm {H}}^i_{\operatorname {\acute {e}t}}(\mathcal {X}_C, \mathbb {Z}_p)$, we simply use the étale comparison of Bhatt and Scholze (see [Reference Bhatt, Morrow and ScholzeBMS18, Theorem 1.8(iv)] and [Reference Bhatt and ScholzeBS22, Theorem 1.8(4)]). Here we are using the fact that the isomorphism class of a finitely generated $\mathbb {Z}_p$-module is determined by its base change to $W(C^{\flat })$.
One should compare this with Min's result [Reference MinMin21, Theorem 5.11]. Our bound on the cohomological degree $i$ here is $1$ better than Min's. Below we recall a useful result in [Reference Bhatt, Morrow and ScholzeBMS18] assuring nice behavior of prismatic cohomology when crystalline cohomology has no torsion, which is a condition often cited in the literature.
Remark 3.9 If ${\mathrm {H}}^i_{\operatorname {crys}}(\mathcal {X}_0/W)$ is torsion-free, then ${\mathrm {H}}^i_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})$ is free. This follows from [Reference Bhatt, Morrow and ScholzeBMS18, Corollary 4.17] and crystalline comparison. We sketch a proof below (see also [Reference Kubrak and PrikhodkoKP21, Lemma 4.3.28.(1)]).
Proof. Denote $\mathfrak {M} := {\mathrm {H}}^i_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})$. We shall use the two short exact sequences appearing in the proof of Proposition 2.6. Crystalline comparison implies $\mathfrak {M}/u \mathfrak {M} \hookrightarrow {\mathrm {H}}^i_{\operatorname {crys}}(\mathcal {X}_0/W)$. Let us derived modulo the sequence
by $u$. Since $\mathfrak {M}_{\operatorname {tf}}$ is torsion-free, we have $\mathfrak {M}_{\operatorname {tor}}/u \hookrightarrow \mathfrak {M}/u$. The target is $p$-torsion-free by assumption whereas $\mathfrak {M}_{\operatorname {tor}}$ consists of $p$-power torsion, therefore $\mathfrak {M}_{\operatorname {tor}} = 0$ and $\mathfrak {M}_{\operatorname {tf}} = \mathfrak {M}$. Now we again derived modulo the sequence
by $u$ to get $\mathfrak {M}_0[u] \hookrightarrow \mathfrak {M} /u$; the same argument as above shows $\mathfrak {M}_0[u] = 0$, whereas $\mathfrak {M}_0$ is supported at the maximal ideal of ${\mathfrak {S}}$. Therefore, we again conclude $\mathfrak {M}_0 = 0$ and $\mathfrak {M} = \mathfrak {M}_{\operatorname {fr}}$.
Let us conclude this subsection by posing some questions.
Question 3.10 Recall $\mathfrak {M}^i_n := {\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X}, {{\mathbb {\Delta }}}_n)[u^\infty ]$.
(1) Let $\beta$ be the smallest exponent such that $p^\beta \in \mathrm {Ann}(\mathfrak {M}^i_n)$, and let $\gamma$ be the exponent such that ${\rm Ann}(\mathfrak {M}^i_n) + (u) = (u, p^{\gamma })$. Is there a bound on $\beta$ and $\gamma$ in terms of $e$ and $i$?
(2) In light of the example in § 6, is $\beta$ and/or $\gamma$ bounded above by a polynomial in $\log _p$ of a polynomial in $e \text { and } i$, perhaps simply bounded above by $\log _p(({e \cdot (i-1)})/({p-1})) + 1$ when $p$ is odd?Footnote 5
3.2 Comparing Frobenius and Verschiebung
Given a smooth proper formal scheme $\mathcal {X}$ over $\mathcal {O}_K$, for each degree $i$, we have a natural inclusion ${\mathrm {H}}^i_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})^{(1)}/u \hookrightarrow {\mathrm {H}}^i_{\operatorname {crys}}(\mathcal {X}_0/W)$ from the crystalline comparison of prismatic cohomology theory. Here the superscript $(-)^{(1)}$ denotes the Frobenius twist, so
The map is compatible with Frobenius and Verschiebung, hence induces Frobenius and Verschiebung maps on the cokernel ${\mathrm {H}}^{i+1}_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})^{(1)}[u]$. How to understand these maps? That is the question we shall answer in this subsection.
Given any algebra $R$ which is quasi-syntomic over $\mathcal {O}_K$, we may take its mod $\pi$ reduction $R_0$ which is quasi-syntomic over $k$. This way we obtain a natural map of sites $i \colon k_{{\mathrm {qSyn}}} \to (\mathcal {O}_K\!)_{{\mathrm {qSyn}}}$. Note that the functor $R_0 \mapsto \operatorname {Cris}(R_0/W)$ is a quasi-syntomic sheaf on $k_{{\mathrm {qSyn}}}$. Here by abuse of notation we use $\operatorname {Cris}(R_0/W)$ to denote the left Kan extended crystalline cohomology. The sheaf $i_*\operatorname {Cris}$ takes an algebra $R$ in $(\mathcal {O}_K\!)_{{\mathrm {qSyn}}}$ to $i_*\operatorname {Cris}(R) := \operatorname {Cris}(R_0/W)$. The base change property and the crystalline comparison of prismatic cohomology [Reference Bhatt and ScholzeBS22, Theorem 1.8.(1)&(5)] give us the following exact triangles of sheaves on $(\mathcal {O}_K\!)_{{\mathrm {qSyn}}}$:
and
where $i_*\operatorname {Cris}^{(-1)}(R) = \operatorname {Cris}(R_0/W) \otimes _{W, \varphi ^{-1}} W$ is the Frobenius inverse twist.
Proposition 3.11
(1) The linear Frobenius maps ${\mathrm {H}}^i_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})^{(1)} \to {\mathrm {H}}^i_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})$ and ${\mathrm {H}}^i_{\operatorname {crys}}(\mathcal {X}_0/W) \to {\mathrm {H}}^i_{\operatorname {crys}}(\mathcal {X}_0/W)^{(-1)}$ induce a linear map ${\mathrm {H}}^{i+1}_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})^{(1)}[u] \to {\mathrm {H}}^{i+1}_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})[u]$ which agrees with the linear Frobenius ${\mathrm {H}}^{i+1}_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})^{(1)} \to {\mathrm {H}}^{i+1}_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})$ restricted to $u$-torsion.
(2) The semi-linear Frobenius maps ${\mathrm {H}}^i_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})^{(1)} \to {\mathrm {H}}^i_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})^{(1)}$ and ${\mathrm {H}}^i_{\operatorname {crys}}(\mathcal {X}_0/W) \to {\mathrm {H}}^i_{\operatorname {crys}}(\mathcal {X}_0/W)$ induce a semi-linear map ${\mathrm {H}}^{i+1}_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})^{(1)}[u] \to {\mathrm {H}}^{i+1}_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})^{(1)}[u]$. This map is $u^{p-1}$ times the semi-linear Frobenius on ${\mathrm {H}}^{i+1}_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})^{(1)}$ restricted to $u$-torsion.
Note that semi-linearity means $u$-torsion is only sent to $u^p$-torsion under the semi-linear Frobenius; after multiplying $u^{p-1}$ we land in $u$-torsion again.
Proof. Below we use lin–Frob (respectively, sl–Frob) to denote the linearized Frobenius (respectively, semi-linear Frobenius) on ${{\mathbb {\Delta }}}^{(1)}$.
(1) This follows from the commutative diagram
(2) This follows from the analogous commutative diagram
Remark 3.12 Comparing the above two formulas, the appearance of an extra $u^{p-1}$ factor has a natural explanation. Let $M$ be an ${\mathfrak {S}}$-module. Then by flatness of $\varphi _{{\mathfrak {S}}}$ we know that $\big (M \otimes _{{\mathfrak {S}}, \varphi _{\mathfrak {S}}} {\mathfrak {S}}\big ) [u] \cong \big (M[u] \otimes _{{\mathfrak {S}}, \varphi _{\mathfrak {S}}} {\mathfrak {S}}\big ) [u]$. We may expand the right-hand side as $\big (M[u] \otimes _{W, \varphi _W} W\big ) \otimes _W ({\mathfrak {S}}/u^p [u])$. Under this identification, one checks that there is a semi-linear bijection $M[u] \xrightarrow {\simeq } \big (M[u] \otimes _{W, \varphi _W} W\big ) \otimes _W ({\mathfrak {S}}/u^p [u])$ given by $m \mapsto (m \otimes 1) \otimes u^{p-1}$. Applying this to $M = {\mathrm {H}}^{i+1}_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})$ gives the relation between (1) and (2) above.
Next we turn to the map on ${\mathrm {H}}^{i+1}_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})^{(1)}[u]$ induced from Verschiebung maps. We need the following fact on Nygaard filtration.
Lemma 3.13 The divided Frobenius $\varphi _{i-1} \colon \operatorname {Fil}^{i-1}_{\mathrm {N}} \to {{\mathbb {\Delta }}}$ induces an isomorphism
Proof. Note that we have a commutative diagram of quasi-syntomic sheaves:
By [Reference Li and LiuLL20, Lemma 7.8(3)] we know the $i$th divided Frobenius map in degree $i$ is an isomorphism for any bounded prism. Therefore, we only need to show that the map ${\mathrm {H}}^{i}_{{\mathrm {qSyn}}}(\mathcal {X}, \operatorname {Fil}^{i-1}_{\mathrm {N}}) \otimes _{{\mathfrak {S}}} (E) \to {\mathrm {H}}^{i}_{{\mathrm {qSyn}}}(\mathcal {X}, \operatorname {Fil}^{i}_{\mathrm {N}})$ induces an isomorphism on the torsion submodule.
We claim these modules have the property that their torsion submodule coincides with the $p^\infty$-torsion submodule. To see this, just use the fact that both $\varphi _{i-1}$ and $\varphi _i$ are injective in degree $i$, thanks to [Reference Li and LiuLL20, Lemma 7.8.(3)]. The torsion submodule in prismatic cohomology is well known to coincide with $p^\infty$-torsion submodule.
Therefore, we are reduced to showing the above map induces an isomorphism on the $p^\infty$-torsion submodule. To that end, we use the exact sequence of quasi-syntomic sheaves: $\operatorname {Fil}^{i-1}_{\mathrm {N}} \otimes _{{\mathfrak {S}}} (E) \to \operatorname {Fil}^{i}_{\mathrm {N}} \to \operatorname {Fil}^i_{{\mathrm {H}}}$. Finally, just note that ${\mathrm {H}}^i(\mathcal {X},\operatorname {Fil}^i_{{\mathrm {H}}}) \cong {\mathrm {H}}^0(\mathcal {X}, \Omega ^i_{\mathcal {X}/\mathcal {O}_K}\!)$ is $p$-torsion-free.
Corollary 3.14 If $e \cdot (i-1) = p-1$, then the map ${\rm incl} \colon {\mathrm {H}}^{i}_{{\mathrm {qSyn}}}(\mathcal {X}, \operatorname {Fil}^{i-1}_{\mathrm {N}})[u] \to {\mathrm {H}}^{i}_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})^{(1)}[u]$ is an isomorphism.
Proof. We consider the following diagram and consider taking ${\mathrm {H}}^i$:
By Theorem 3.6(3), applied to $n=\infty$, combined with Lemma 3.13 we know that the map
is an isomorphism. Using Theorem 3.6(3) again, we know that the map
is also an isomorphism. Therefore, we get the desired result.
The relevance of Nygaard filtration when discussing the Verschiebung map follows from [Reference Li and LiuLL20, Corollary 7.9]. We recall its statement below:
Lemma 3.15 Let $(A,I)$ be a bounded prism, and let $\mathcal {X}$ be a smooth formal scheme over $\operatorname {Spf}(A/I)$. The $i$th Verschiebung map (see [Reference Bhatt and ScholzeBS22, Corollary 15.5])
can be functorially identified with ${\rm incl} \circ \varphi ^{-1}$:
Proof sketch This follows from the following commutative diagram:
Here the top arrow is an isomorphism due to [Reference Li and LiuLL20, Lemma 7.8(3)], and the diagonal map is defined affine locally and follows from the description ${{\mathbb {\Delta }}}_{\mathcal {Y}/A}^{(1)} \cong L\eta _{I}{{\mathbb {\Delta }}}_{\mathcal {Y}/A} \xrightarrow [\cong ]{\varphi } {{\mathbb {\Delta }}}_{\mathcal {Y}/A}$ for any smooth affine $\mathcal {Y}$ over $\operatorname {Spf}(A/I)$ (see [Reference Bhatt and ScholzeBS22, Theorem 15.3]).
Consequently, we see that the torsion and $u^\infty$-torsion in the $i$th prismatic cohomology is canonically a (generalized) Kisin module of height $i-1$.
Corollary 3.16 The restriction of the Verschiebung map $V_i \colon {\mathrm {H}}^{i}_{{{\mathbb {\Delta }}}}(\mathcal {X}) \to {\mathrm {H}}^{i}_{{\mathrm {qSyn}}}(\mathcal {X}, {{\mathbb {\Delta }}}^{(1)})$ to either the torsion submodule or $u^\infty$-torsion submodule of the source is canonically divisible by $E$. The division is given by
which, together with the usual prismatic Frobenius, makes the torsion submodule and $u^\infty$-torsion submodule in ${\mathrm {H}}^{i}_{{{\mathbb {\Delta }}}}(\mathcal {X})$ a (generalized) Kisin module of height $i-1$.
We can finally understand the induced ‘Verschiebung’ map.
Corollary 3.17 The $i$th linear Verschiebung maps ${\mathrm {H}}^i_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}}) \to {\mathrm {H}}^i_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})^{(1)}$ and ${\mathrm {H}}^i_{\operatorname {crys}}(\mathcal {X}_0/W)^{(-1)} \to {\mathrm {H}}^i_{\operatorname {crys}}(\mathcal {X}_0/W)$ induce a linear map $V_i \colon {\mathrm {H}}^{i+1}_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})[u] \to {\mathrm {H}}^{i+1}_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})^{(1)}[u]$ which fits into the following diagram:
In particular, the induced map $V_i$ is identified with ${\text{incl}} \circ \varphi _i^{-1}$.
In other words, the induced $V_i$ is the restriction of ‘$V_{i+1}$ divided by $E$’ (from Corollary 3.16) to the $u$-torsion submodule.
Corollary 3.18 If $e \cdot (i-1) = p-1$, then the induced Verschiebung $V_{i-1} \colon {\mathrm {H}}^{i}_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})[u] \to {\mathrm {H}}^{i}_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})^{(1)}[u]$ is an isomorphism.
Summary
Let us summarize our knowledge on the structure of prismatic cohomology, with the auxiliary $(i-1)$th Nygaard filtration in mind. Fix the cohomological degree $i$ and $n \in \mathbb {N} \cup \{\infty \}$. The relevant diagram is:
If we drop the dashed arrows, then the diagram commutes. On the other hand, the two circles on top have the property that composing the two arrows either way gives multiplication by $E^{i-1}$ and $E$ separately.
The above diagram induces a diagram
We know the following facts about the above diagram.
(1) The two arrows in the first circle composed either way give multiplication by $E^{i-1}$.
(2) The two arrows in the second circle composed either way give multiplication by $E$.
(3) Composing the rightward arrows gives the prismatic Frobenius.
(4) Composing the leftward arrows gives the prismatic Verschiebung $V_i$ (see [Reference Bhatt and ScholzeBS22, Corollary 15.5], [Reference Li and LiuLL20, Corollary 7.9] and Lemma 3.15).
(5) The map $h$ is injective (see [Reference Li and LiuLL20, Lemma 7.8.(3)]).
(6) If $n = \infty$, then $h$ induces an isomorphism of torsion submodules (see Lemma 3.13). Hence, as far as torsion or $u^\infty$-torsion in ${\mathrm {H}}^i_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})$ is concerned, we may focus on the first circle and see that these Frobenius modules are canonically (generalized) Kisin modules of height $i-1$ (see Corollary 3.16).
3.3 Induced Nygaard filtration
Finally, let us discuss the induced Nygaard filtration on $u^\infty$-torsion in the boundary degree prismatic cohomology.
Lemma 3.19 Assume $e \cdot (i-1) = p-1$ and let $n \in \mathbb {N} \cup \{\infty \}$. For any $j \in \mathbb {N}$, consider the induced map on ${\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X}, -/p^n)$ of the maps of quasi-syntomic sheaves $\operatorname {Fil}^j_{{\rm N}} \to {{\mathbb {\Delta }}}^{(1)}$, the following two submodules of ${\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X},{{{\mathbb {\Delta }}}_n^{(1)}})[u^\infty ]$ agree:
• $\mathrm {Im}\big ({\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X},\operatorname {Fil}^j_{{\rm N}}/p^n) \to {\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X},{{\mathbb {\Delta }}}^{(1)}_n) \big ) \cap {\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X},{{\mathbb {\Delta }}}^{(1)}_n)[u^\infty ]$;
• $\mathrm {Im}\big ({\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X},\operatorname {Fil}^j_{{\rm N}}/p^n)[u^\infty ] \to {\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X},{{\mathbb {\Delta }}}^{(1)}_n)[u^\infty ] \big )$.
Proof. We consider the following diagram of ${\mathfrak {S}}$-modules, with exact rows:
By [Reference Li and LiuLL20, Proposition 7.12], $\operatorname {Ker}(f)$ has finite length, hence must be contained in ${\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X},\operatorname {Fil}^j_{{\rm N}}/p^n)[u^\infty ]$. The snake lemma implies that $\operatorname {Ker}(g)$ embeds inside a quotient of ${\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X},{{\mathbb {\Delta }}}^{(1)}_n)[u^\infty ]$. Since $\operatorname {Ker}(g)$, being a submodule of $Q_1$, is $u$-torsion-free, we see it must be zero, which is exactly what we need to show.
If no confusion would arise, when $e \cdot (i-1) = p-1$, we shall refer to the submodule in the above lemma as the (induced) $j$th Nygaard filtration on ${\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X},{{\mathbb {\Delta }}}^{(1)}_n)[u^\infty ]$. The following proposition reveals what this filtration is.
Proposition 3.20 Assume $e \cdot (i-1) = p-1$ and let $n \in \mathbb {N} \cup \{\infty \}$.
(1) The Nygaard filtration on ${\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X},{{\mathbb {\Delta }}}^{(1)}_n)[u^\infty ]$ as above is the $E(u) \equiv u^e$-adic filtration.
(2) The map ${\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X},\operatorname {Fil}^{i-1}_{{\rm N}}/p^n) \to {\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X},{{\mathbb {\Delta }}}^{(1)}_n)$ is injective.
(3) For any $j \geq 0$, the map ${\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X},\operatorname {Fil}^{i+j}_{{\rm N}}/p^n) \to {\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X},{{\mathbb {\Delta }}}^{(1)}_n)$ has kernel given by $u^\infty$-torsion of the source.
Remark 3.21 (1) We recall that, under the hypothesis of this lemma, Theorem 3.6(3) gives a canonical isomorphism of ${\mathfrak {S}}$-modules
Therefore, the $E(u)$-adic filtration is the same as $u^e$-filtration.
(2) Also note that $u^{e \cdot (i+j)} = u^{p-1 + e \cdot (j+1)} \in (u^p)$ if $j \geq 0$, hence (1) implies (3).
(3) To put Proposition 3.20(3) into context, let us point to [Reference Li and LiuLL20, Corollary 7.9] which says that the divided Frobenius $\varphi _{i+j} \colon {\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X},\operatorname {Fil}^{i+j}_{{\rm N}}/p^n) \to {\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X},{{\mathbb {\Delta }}}_n)$ is an isomorphism for all $j \geq 0$.
Proof of Proposition 3.20 Throughout this proof, all filtrations referred to are filtrations on ${\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X},{{\mathbb {\Delta }}}^{(1)}_n)[u^\infty ]$.
Since we have a containment of quasi-syntomic sheaves, $E^j \cdot {{\mathbb {\Delta }}}^{(1)} \subset \operatorname {Fil}^j_{{\rm N}} \subset {{\mathbb {\Delta }}}^{(1)}$, one easily sees that the Nygaard filtration contains the $u^e$-adic filtration. All we need to show is the converse containment.
Let us first show that (1) holds for the $(i-1)$th Nygaard filtration and (2). As discussed above, since $u^{e \cdot (i-1)} = u^{p-1}$, we see that the $(i-1)$th Nygaard filtration has length at least that of ${\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X},{{\mathbb {\Delta }}}_n)[u^\infty ]$.Footnote 6 To finish, it suffices to show that the $u^\infty$-torsion in ${\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X},\operatorname {Fil}^{i-1}_{{\rm N}}/p^n)$ has length at most that. This follows from the fact that the divided Frobenius, which is ${\mathfrak {S}}$-linear,
is injective (see [Reference Li and LiuLL20, Lemma 7.8(3)]).
Next we show that (1) holds for the $j$th filtration whenever $0 \leq j \leq i-1$. We consider another containment of quasi-syntomic sheaves: $E^{i-1-j} \cdot \operatorname {Fil}^j_{{\rm N}} \subset \operatorname {Fil}^{i-1}_{{\rm N}} \subset \operatorname {Fil}^j_{{\rm N}}$. Therefore, we see the $j$th filtration can differ from the $(i-1)$th filtration by at most $u^{e \cdot (i-1-j)}$; this gives the desired converse containment by what we proved in the previous paragraph.
Finally, we show that (1) holds for the $(i+j)$th filtration for any $j \geq 0$; note that this implies (3), as remarked right after the statement of this proposition. We want to show that the map ${\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X},\operatorname {Fil}^{i+j}_{{\rm N}}/p^n)[u^\infty ] \to {\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X},{{\mathbb {\Delta }}}^{(1)}_n)[u^\infty ]$ is the zero map when $j \geq 0$. Since this map factors through the $j=0$ case, it suffices to prove the $j=0$ case. To that end, we shall utilize [Reference Li and LiuLL20, Corollary 7.9], according to which we need to show that the prismatic Verschiebung annihilates ${\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X},{{\mathbb {\Delta }}}_n)[u^\infty ]$. Now we consider the following sequence of arrows:
Here $\psi = V_i$ is the $i$th Verschiebung as in [Reference Bhatt and ScholzeBS22, Corollary 15.5]. The composition of these two arrows is multiplication by $E^i = u^{p-1+e} = 0$, as the module is abstractly several copies of ${\mathfrak {S}}/(p,u^p)$. We finish the proof by recalling that the map $\varphi$ above is surjective (Theorem 3.6(3)).
As a consequence, in the boundary degree, we can use torsion in the cohomology of $\mathcal {O}_{\mathcal {X}}$ to bound $u^{\infty }$-torsion.
Corollary 3.22 Assume $e \cdot (i-1) = p-1$ and let $n \in \mathbb {N} \cup \{\infty \}$. The natural map ${{\mathbb {\Delta }}}^{(1)} \to \operatorname {gr}^0_{{\rm N}} {{\mathbb {\Delta }}}^{(1)} \cong \mathcal {O}$ gives rise to a canonical injection:
Proof. The exact sequence $\operatorname {Fil}^1_{{\rm N}} \to {{\mathbb {\Delta }}}^{(1)} \to \mathcal {O}_X$ tells us that the kernel of the map
is given by the induced first Nygaard filtration on the source, which we know is exactly $u^e$ times the source, thanks to Proposition 3.20(1). Notice that, as an $\mathcal {O}_K$-algebra, we have $k[u]/(u^e) \cong \mathcal {O}_K/p$. Therefore, we get the desired injection
4. Geometric applications
4.1 The discrepancy of Albanese varieties
In this subsection, we give a geometric interpretation of $u$-torsion in the second Breuil–Kisin prismatic cohomology. Our main application in this subsection has partly been obtained by Raynaud in [Reference RaynaudRay79]; our method is of course quite different. Without loss of generality, we assume our smooth proper (formal) scheme $\mathcal {X}$ has an $\mathcal {O}_K$-point. This can be arranged after an unramified extension of $\mathcal {O}_K$.
The generic fiber of $\mathcal {X}$ is a smooth proper rigid space $X$ over $\mathrm {Sp}(K)$ admitting a $K$-point. Specializing the main result of [Reference Hartl and LütkebohmertHL00] to our case where $X$ has a smooth proper formal model, we know that $\mathrm {Pic}^0(X)$ is an abeloid variety which has good reduction, namely it is the rigid generic fiber of a formal abelian scheme over $\mathcal {O}_K$. In the algebraic situation, the existence of the abelian scheme integral model follows from Serre and Tate's generalization [Reference Serre and TateST68] of the Néron–Ogg–Shafarevich's criterion. For the general theory of the Néron model of abeloid variety, we refer readers to [Reference LütkebohmertLüt95]. Now we can form the Albanese of $X$, which is a universal map
from $X$ to abeloid varieties (see [Reference Hansen and LiHL20, § 4]). Since in this case $A$ is the dual of $\mathrm {Pic}^0(X)$, we know it also has good reduction: the Néron model of $A$ is a formal abelian scheme $\mathcal {A}$ over $\mathcal {O}_K$. Finally, since $\mathcal {X}$ is smooth over $\mathcal {O}_K$, the Néron mapping property implies that the map $X \to A$ extends uniquely to
over $\mathcal {O}_K$. Taking the special fiber of the above map, we get
Now the Albanese theory tells us that the above map factors:
where $\mathrm {Alb}(\mathcal {X}_0)$ is the Albanese of $\mathcal {X}_0$. Therefore, out of a pointed smooth proper formal scheme $\mathcal {X}$ over $\mathcal {O}_K$, we can cook up a map $f \colon \mathrm {Alb}(\mathcal {X}_0) \to \mathcal {A}_0$ of abelian varieties over $k$. What can we say about this map?
Proposition 4.1 The map $f \colon \mathrm {Alb}(\mathcal {X}_0) \to \mathcal {A}_0$ above is an isogeny of $p$-power degree.
Proof. It suffices to show that $f$ induces an isomorphism of the first $\ell$-adic étale cohomology for all primes $\ell \neq p$. From now on we fix such an $\ell$. Standard Albanese theory tells us that the Albanese maps $h \colon \mathcal {X}_0 \to \mathrm {Alb}(\mathcal {X}_0)$ and $g_K \colon X \to A$ induce an isomorphism of the first $\ell$-adic étale cohomology. To finish the proof, we just use the smooth and proper base change theorems in étale cohomology theory to see that the map $g_0$, being a reduction of the ‘smooth proper model’ $g$ of $g_K$, also induces an isomorphism of the first $\ell$-adic étale cohomology. Since $h^* \circ f^* = g_0^*$ and both $h^*$ and $g_0^*$ induce an isomorphism of the first $\ell$-adic étale cohomology, we conclude that $f^*$ also does.
Let us denote the finite $p$-power order group scheme $\ker (f)$ by $G$. The Dieudonné module of $G$ is related to $\mathcal {X}$ in the following way.
Theorem 4.2 We have an isomorphism of $W$-modules
Under this identification, the semi-linear Frobenius $F$ on the left-hand side and the semi-linear Frobenius $\varphi$ on the left-hand side are related via $F = u^{p-1} \cdot \varphi$, and the linear Verschiebung on the left-hand side can be understood as
Proof. The Dieudonné module of $G$ in our situation is given by
so we need to understand the above map $f^*$.
We want to relate everything to $\mathcal {X}$. First, by [Reference IllusieIll79, Remarque 3.11.2] we know that the map
is an isomorphism. Therefore, by composing with $h^*$ we have
Next, we use the crystalline comparison of prismatic cohomology [Reference Bhatt and ScholzeBS22, Theorem 1.8(1)], and get the following diagram:
We postpone the proof of the left (and therefore the middle) vertical arrow being an isomorphism of $\varphi$-modules over ${\mathfrak {S}}$ to the next proposition. The right horizontal arrows are injective because of the standard sequence $0 \to {\mathrm {H}}^i_{{\mathrm {qSyn}}}({{\mathbb {\Delta }}}^{(1)})/u \to {\mathrm {H}}^i_{{\mathrm {qSyn}}}({{\mathbb {\Delta }}}^{(1)}/u) \to {\mathrm {H}}^{i+1}_{{\mathrm {qSyn}}}({{\mathbb {\Delta }}}^{(1)})[u] \to 0$. The top right horizontal arrow is an isomorphism, as the (Breuil–Kisin) prismatic cohomology of abelian schemes is finite free, which in turn follows from the torsion-freeness of the crystalline cohomology of abelian varieties and Remark 3.9. The above diagram and sequence tell us that $g_0^*$ is injective with cokernel given by ${\mathrm {H}}^2_{{{\mathbb {\Delta }}}^{(1)}}(\mathcal {X}/{\mathfrak {S}})[u]$. The description of (the semi-linear) Frobenius follows from Proposition 3.11(2), and the description of the linear Verschiebung follows from Corollary 3.17.
The following proposition was mentioned in the above proof.
Proposition 4.3
(1) The underlying ${\mathfrak {S}}$-module of ${\mathrm {H}}^1_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})$ is finite free.
(2) The map $g^* \colon {\mathrm {H}}^1_{{{\mathbb {\Delta }}}}(\mathcal {A}/{\mathfrak {S}}) \to {\mathrm {H}}^1_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})$ is an isomorphism of Kisin modules. Therefore, the Frobenius-twisted version $g^* \colon {\mathrm {H}}^1_{{{\mathbb {\Delta }}}}(\mathcal {A}/{\mathfrak {S}})^{(1)} \to {\mathrm {H}}^1_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})^{(1)}$ is also an isomorphism.
Proof. (1) This follows from Corollary 3.8. Alternatively we can prove it using Remark 3.9 [Reference IllusieIll79, Remarque 3.11.2] and the fact that the crystalline cohomology of abelian varieties is torsion-free.
(2) Since étale realization of finite free Kisin modules is fully faithful (see [Reference KisinKis06, Proposition 2.1.12] and also [Reference Bhatt and ScholzeBS21, Theorem 7.2]), we are reduced to checking that the étale realization of $g^*$ is an isomorphism. Since the map ${\mathfrak {S}} \to A_{\inf }$ sending $u$ to $[\underline {\pi }]$ is $p$-completely faithfully flat, it remains so after $p$-completely inverting $u$ and $[\underline {\pi }]$, respectively. Therefore, we are further reduced to proving it for the $W(C^{\flat })$-étale realizations. Now the étale comparison [Reference Bhatt and ScholzeBS22, Theorem 1.8(4)] translates the above to the statement that $g_K$ induces an isomorphism of the first $p$-adic étale cohomology, which follows from the usual Kummer sequence together with the fact that the Picard variety of $X$ is an abeloid.Footnote 7
We get two consequences from Theorem 4.2.
Corollary 4.4 The finite group scheme $G$ is connected.
Proof. Since the induced Frobenius on $\mathbb {D}(G)$, when identified with ${\mathrm {H}}^2_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})[u] \subset {\mathrm {H}}^2_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})[u^{\infty }]$, is divisible by $u^{p-1}$, powers of Frobenius will gain more and more $u$-divisibility. We see that the Frobenius is nilpotent as ${\mathrm {H}}^2_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})[u] \subset {\mathrm {H}}^2_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})[u^{\infty }]$ and there is a power of $u$ which kills the latter. Now Theorem 4.2 implies the Frobenius on $\mathbb {D}(G)$ is nilpotent, therefore $G$ is connected.
Remark 4.5 The above fact can actually be seen directly. Let us quotient out $\mathrm {Alb}(\mathcal {X}_0)$ by the neutral component subgroup scheme of $G$, denoted by $\mathcal {A}_0'$. Then we get a factorization $\mathcal {X}_0 \to \mathcal {A}_0' \xrightarrow {f'_0} \mathcal {A}_0$ of $g_0$. Now $f'_0$ is finite étale by construction. Hence, deformation theory implies the above sequence lifts to $\mathcal {X} \to \mathcal {A}' \xrightarrow {f'} \mathcal {A}$, with $\mathcal {A}'$ being a formal abelian scheme finite étale above $\mathcal {A}$. Now the composition of the above map is the universal map from $\mathcal {X}$ to formal abelian schemes as pointed formal schemes,Footnote 8 and we conclude that the map $f'$ has to be an isomorphism, hence the neutral component subgroup scheme of $G$ is $G$ itself.
Combining Theorem 4.2, Theorem 3.6 (with $i = 2$) and Corollary 3.18, we immediately obtain the following result.
Corollary 4.6
(1) If $e < p-1$ then the map $f \colon \mathrm {Alb}(\mathcal {X}_0) \to \mathrm {Alb}(X)_0$ is an isomorphism.
(2) If $e < 2(p-1)$ then $\ker (f)$ is $p$-torsion.
(3) If $e = p-1$ then $\ker (f)$ is $p$-torsion and of multiplicative type, hence must be a form of several copies of $\mu _p$. Moreover, there is a canonical injection of $\mathcal {O}_K$-modules $\mathbb {D}(\ker (f)) \otimes _k \big (\mathcal {O}_K/p\big ) \hookrightarrow {\mathrm {H}}^2(\mathcal {X}, \mathcal {O}_{\mathcal {X}})$.
Proof. Parts (1) and (2) follow from Theorems 4.2 and 3.6(1)–(2) (with $i = 2$), respectively. As for the multiplicativity claim in (3), recall that a finite flat group scheme over $k$ is of multiplicative type if and only if its Dieudonné module has bijective Verschiebung, hence the claim follows from Theorem 4.2 and Corollary 3.18. The last sentence follows from Corollary 3.22.
When $e = 1$ and $p=2$ the above says that although $f$ need not be an isomorphism, the kernel is always a $2$-torsion, such an interesting example can be found in [Reference Bhatt, Morrow and ScholzeBMS18, § 2.1], and one can check directly that the example there does satisfy our prediction here. In fact the $f$ in their example can be identified with the relative Frobenius of an ordinary elliptic curve (which is the reduction of the $E$ in their notation) over $\mathbb {F}_2$. For a generalization of this example to the case when $p \neq 2$, we refer readers to § 6 below, and specifically Remarks 6.11 and 6.14(3).
Remark 4.7 If $\mathrm {Pic}^0(\mathcal {X}_0)$ is reduced, then the relative (formal) Picard scheme of $\mathcal {X}/\mathcal {O}_K$ is a formal abelian scheme which is the Néron model of the Picard variety of $X/K$. The base change property of relative Picard functor now guarantees that the $f$ we have been studying is an isomorphism in this case. Therefore, taking Theorem 4.2 into account, we see that $\mathcal {X}_0$ having reduced Picard scheme implies that the second prismatic cohomology of $\mathcal {X}$ has no $u$-torsion.
The dual question to what we have discussed here was studied by Raynaud [Reference RaynaudRay79]. Below we recall some of the main results in that work and compare them with ours.
Remark 4.8 Using determinant construction [Reference Knudsen and MumfordKM76], the universal line bundle on $\mathcal {X}_K \times _K \mathrm {Pic}^0(\mathcal {X}_K\!)$ extends to a line bundle on $\mathcal {X} \times _{\mathcal {O}_K} \mathcal {P}$, where $\mathcal {P}$ is the formal Néron model of $\mathrm {Pic}^0(\mathcal {X}_K\!)$ which is itself a formal abelian scheme over $\mathcal {O}_K$. Here we used the regularity of $\mathcal {X} \times _{\mathcal {O}_K} \mathcal {P}$ so that any coherent sheaf on it can be presented as a perfect complex, in order to perform the determinant construction. Moreover, if we rigidify using the given point $x \in \mathcal {X}(\mathcal {O}_K\!)$, then the extension as a rigidified line bundle is unique. Taking the special fiber, we get an induced map $\mathcal {P}_0 \to \mathrm {Pic}^0(\mathcal {X}_0)$ which necessarily factors through the reduced subvariety of the target $f^{\vee } \colon \mathcal {P}_0 \to \mathrm {Pic}^0(\mathcal {X}_0)_{\mathrm {red}}$. By construction, the map $f^{\vee }$ is dual to the map $f$ we considered before.
Raynaud has studied the question of whether $f^{\vee }$ is an isomorphism in [Reference RaynaudRay79]. His main result makes the following assertions.
(1) When $e < p-1$, then $f^{\vee }$ is an isomorphism [Reference RaynaudRay79, Thèoréme 4.1.3.(2)].
(2) When $e=p-1$, then $\ker (f^{\vee })$ is $p$-torsion and unramified [Reference RaynaudRay79, Thèoréme 4.1.3.(3)].
We see that his results are the same as Corollary 4.6(1) and first half of (3); our slight improvement is Corollary 4.6(2) and second half of (3). We prove the map $f^{\vee }$ has $p$-torsion kernel in a larger range of ramifications, and when $e = p-1$ the second cohomology of structure sheaf needs to have ‘actual’ $p$-torsion in order for $\ker (f)$ to be non-zero. On the other hand, Raynaud's result allows $\mathcal {X}$ to be singular: for instance, he just needs $\mathcal {X}_0$ to be normal. Our method crucially relies on prismatic theory, which only seems to work well with local complete intersection singularities. Whether our Corollary 4.6 can be extended to the generality considered by Raynaud remains unclear.
Remark 4.9 One of the key ingredients allowing Raynaud to prove the aforementioned results in [Reference RaynaudRay79] is an earlier result of his [Reference RaynaudRay74] concerning prolongations of finite flat commutative group schemes. In § 6.1 we shall see a way to go backward: applying these structural results on Picard/Albanese varieties to a marvelous construction due to Bhatt, Morrow and Scholze [Reference Bhatt, Morrow and ScholzeBMS18], one deduces Raynaud's prolongation theorem.
4.2 The $p$-adic specialization maps
Another reason why one might care about $u^\infty$-torsion is because it appears naturally in understanding the specialization map of the $p$-adic étale cohomology or, phrased differently, the $p$-adic vanishing cycle.
Let us introduce some notation. Fix a complete algebraically closed non-Archimedean extension $C$ of $K$, with ring of integers $\mathcal {O}_C$. Denote the perfect prism associated with $\mathcal {O}_C$, which is known to be oriented, by $(A_{\inf }, (\xi ))$. Given a $p$-adic formal scheme $\mathcal {X}$ over $\operatorname {Spf}(\mathcal {O}_K\!)$, we denote its base change to $\mathcal {O}_C$ (respectively, $C$) by $\mathcal {X}_{\mathcal {O}_C}$ (respectively, $\mathcal {X}_C$). Denote the central fiber of $\mathcal {X}_{\mathcal {O}_C}$ by $\mathcal {X}_{\overline {k}}$. We continue to assume $\mathcal {X}$ to be smooth and proper over $\operatorname {Spf}(\mathcal {O}_K\!)$.
Recall that the proper base change theorem gives, for any prime $\ell$, a specialization map [Sta21, Tag 0GJ2]
The cone of the specialization map above is called the vanishing cycle (of $\mathbb {Z}_\ell$). The smooth base change theorem says that the above map is an isomorphism for any $\ell \neq p$ [Sta21, Tag 0GKD], in other words the $\ell$-adic vanishing cycle vanishes in our setting. On the other hand, one may ask what happens when $\ell = p$. Fix a cohomological degree $i$ and $n \in \mathbb {N} \cup \{\infty \}$. Let us consider
when $n = \infty$, then by $\mathbb{Z}/p^n$ we mean $\mathbb{Z}_p$ and we simply denote it by $\mathrm{Sp}^i$. It is well known that $\mathrm {Sp}^i$ is almost never surjective unless for trivial reasons such as the target being $0$. We shall consider $\ker (\mathrm {Sp}^i)$ in this subsection.
In [Reference Bhatt and ScholzeBS22, § 9] one finds a prismatic interpretation of the $p$-adic specialization map.
Theorem 4.10 [Reference Bhatt and ScholzeBS22, Theorem 9.1 and Remark 9.3]
There are canonical identifications
and
fitting in the following diagram, which is commutative up to coherent homotopy:
Here $(\mathrm {R\Gamma }_{{{\mathbb {\Delta }}}}(\mathcal {X}_{\mathcal {O}_C}/A_{\inf })[1/\xi ])^{\widehat {}}$ denotes the $p$-completion of the localization, which is only relevant in the statement when $n=\infty$. This theorem is true with no smooth or proper assumption on $\mathcal {X}$: one may safely replace $\mathcal {X}_{\mathcal {O}_C}$ over $\operatorname {Spf}(\mathcal {O}_C)$ with any $p$-adic formal scheme $\mathcal {Y}$ over a perfectoid base ring as in loc. cit.
Sketch of proof following that of [Reference Bhatt and ScholzeBS22]. The first identification is [Reference Bhatt and ScholzeBS22, Theorem 9.1], the second identification is [Reference Bhatt and ScholzeBS22, Remark 9.3] with details left to readers, so let us fill in some of the details.
We follow the proof of [Reference Bhatt and ScholzeBS22, Theorem 9.1]. First we see that both $\mathrm {R\Gamma }_{\operatorname {\acute {e}t}}((-)_{\overline {k}}, \mathbb {Z}/p^n)$ and $\big ({{\mathbb {\Delta }}}_{-/A_{\inf }}/p^n\big )^{\varphi = 1}$ are arc-sheaves (see [Reference Bhatt and MathewBM21] for more details on this notion) on $\mathrm {fSch}_{/\operatorname {Spf}(\mathcal {O}_C)}$. The former is [Reference Bhatt and MathewBM21, Theorem 5.4], the latter follows from the same argument as in [Reference Bhatt and ScholzeBS22, Theorem 9.1]: using [Reference Bhatt and ScholzeBS22, Lemma 9.2], one has an identification $\big ({{\mathbb {\Delta }}}_{-/A_{\inf }}/p^n\big )^{\varphi = 1} \cong \big ({{\mathbb {\Delta }}}_{-/A_{\inf },\mathrm {perf}}/p^n\big )^{\varphi = 1}$, and then one again uses [Reference Bhatt and ScholzeBS22, Corollary 8.10] to see that the latter is an arc-sheaf.
Since everything involved is an arc-sheaf and is arc-locally supported in cohomological degree $0$, the relevant maps (of arc-sheaves) live in mapping spaces with contractible components. Altogether we get the following diagram which commutes up to coherent homotopy:
Finally, we need to show the top horizontal arrow is an isomorphism. We may localize in the arc-topology, reducing to the case of $\operatorname {Spf}$ of a perfectoid ring $S$, which follows from applying Artin–Schreier–Witt and the fact that perfection does not change the étale site (of a characteristic $p$ scheme).
In order to pass from the derived statement above to concrete cohomology groups, we need the following lemma.
Lemma 4.11 For any $i$ and $n$, the $\mathbb {Z}_p$-linear operator $\varphi - 1$ is surjective on both ${\mathrm {H}}^i\big ((\mathrm {R\Gamma }_{{{\mathbb {\Delta }}}}(\mathcal {X}_{\mathcal {O}_C}/A_{\inf })[1/\xi ])^{\widehat {}}/p^n\big )$ and ${\mathrm {H}}^i\big (\mathrm {R\Gamma }_{{{\mathbb {\Delta }}}}(\mathcal {X}_{\mathcal {O}_C}/A_{\inf })/p^n\big )$.
Proof. We observe that, since $\varphi ([a]) = [a]^p$ for any $a \in \mathfrak {m}_C^{\flat }$, we know that $\varphi$ acts topologically nilpotently on
Therefore, to check surjectivity of $\varphi - 1$ on ${\mathrm {H}}^i\big (\mathrm {R\Gamma }_{{{\mathbb {\Delta }}}}(\mathcal {X}_{\mathcal {O}_C}/A_{\inf })/p^n\big )$ we may quotient out $W(\mathfrak {m}_C^{\flat }) \cdot {\mathrm {H}}^i\big (\mathrm {R\Gamma }_{{{\mathbb {\Delta }}}}(\mathcal {X}_{\mathcal {O}_C}/A_{\inf })/p^n\big )$. Since $\mathcal {X}$ is smooth and proper over $\mathcal {O}_K$, we know the relevant groups are finitely generated modules over $W(C^{\flat })$ and $W(\overline {k})$. Both of $C^{\flat }$ and $\overline {k}$ are algebraically closed fields of characteristic $p$, hence we are reduced to [Reference Chambert-LoirCha98, Exposé III, Lemma 3.3].
Using the same proof, we may identify the $p$-adic étale cohomology of $\mathcal {X}_{\overline {k}}$ as Frobenius fixed points in various prismatic cohomologies of $\mathcal {X}$, after suitably base-changing to $W(\overline {k})$.
por Consider the ${\mathfrak {S}}$-algebra $W(\overline {k})[\![u]\!]$. We have an identification of $G_k$-modules:
Proof. As showed in the proof of Lemma 4.11, we may compute Frobenius fixed points after quotienting out $W(\mathfrak {m}_C^{\flat })$ (for the $A_{\inf }$-module) or $u$ for the Frobenius module appearing in this porism. Now the first identification is reduced to Theorem 4.10 and an equality of ${\mathfrak {S}}$-algebras: $A_{\inf }/W(\mathfrak {m}_C^{\flat }) \cong W(\overline {k}) \cong W(\overline {k})[\![u]\!]/(u)$. The second identification is reduced to the fact that, given a Frobenius module $M$ on $W(\overline {k})$, the natural map $M \to M \otimes _{W(\overline {k}), \varphi } W(\overline {k})$ given by $m \mapsto m \otimes 1$ induces an isomorphism of Frobenius fixed points.
Remark 4.13 Assume that the residue field $\overline {k}$ of $\mathcal {O}_K$ is separably closed. Porism 4.12 above induces a map
This map can be seen at the level of étale sheaves on $\mathrm {fSch}_{/\operatorname {Spf}(\mathcal {O}_K\!)}$: $\mathbb {Z}_p/p^n \to {{\mathbb {\Delta }}}^{(1)}_n \to \mathcal {O}_{\mathcal {X}}/p^n$. Therefore, we get a canonical map
In general, we just base-change along $W(k) \to W(\overline {k})$ and get a $G_k$-equivariant map
Later in Corollary 4.15(3) we shall see a peculiar result concerning this map in the boundary degree. Now we return to the relation between kernel of specialization map and $u^\infty$-torsion in prismatic cohomology.
Theorem 4.14 Let $\mathcal {X}$ be a smooth proper formal scheme over $\operatorname {Spf}(\mathcal {O}_K\!)$. Recall $\mathfrak {M}^i_n := {\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X}, {{\mathbb {\Delta }}}_n)[u^\infty ]$. There is a canonical isomorphism of $G_k$-modules
for any $n \in \mathbb {N} \cup \{\infty \}$.
Proof. Combining Theorem 4.10 and Lemma 4.11, we get the following diagram with exact rows:
We shall apply the snake lemma to the above. First, we claim
When $n \in \mathbb {N}$ the map is localization with respect to $\xi$, hence tautological. We need to see this when $n = \infty$, that is, we need to show injectivity of ${\mathrm {H}}^i\big (\mathrm {R\Gamma }_{{{\mathbb {\Delta }}}}(\mathcal {X}_{\mathcal {O}_C}/A_{\inf })[1/\xi ]\big ) \to {\mathrm {H}}^i(\mathrm {R\Gamma }_{{{\mathbb {\Delta }}}}(\mathcal {X}_{\mathcal {O}_C}/A_{\inf })[1/\xi ])^{\widehat {}}$. Here the latter completion is the classical $p$-adic completion: our assumption implies all cohomology groups ${\mathrm {H}}^i_{{{\mathbb {\Delta }}}}(\mathcal {X}_{\mathcal {O}_C}/A_{\inf })$ have bounded $p$-torsion, hence derived $p$-completion agrees with derived $p$-completion. Since the ${\mathrm {H}}^i_{{{\mathbb {\Delta }}}}(\mathcal {X}_{\mathcal {O}_C}/A_{\inf })$ are finitely presented over $A_{\inf }$, its localization with respect to $\xi$ has separated $p$-adic topology, hence the $p$-adic completion map is injective.
Next, applying the base change property of prismatic cohomology to the $p$-completely faithfully flat map ${\mathfrak {S}} \to A_{\inf }$ and [Reference Bhatt, Morrow and ScholzeBMS18, Proposition 4.3], we get an identification of Frobenius modules:
Now we get the first identification. To finish, just observe that $\varphi ([a]) = [a]^p$, for any $a \in \mathfrak {m}_C^{\flat }$, which acts nilpotently on ${\mathrm {H}}^i\big (\mathrm {R\Gamma }_{{{\mathbb {\Delta }}}}(\mathcal {X}_{\mathcal {O}_C}/A_{\inf })/p^n\big )[\xi ^{\infty }]$. Hence, the map $\varphi - 1$ is necessarily an isomorphism (of $\mathbb {Z}_p$-modules) on $[\mathfrak {m}^{\flat }] \cdot {\mathrm {H}}^i\big (\mathrm {R\Gamma }_{{{\mathbb {\Delta }}}}(\mathcal {X}_{\mathcal {O}_C}/A_{\inf })/p^n\big )[\xi ^{\infty }]$. Therefore, we may quotient this part, as far as Frobenius fixed points are concerned, which leads to the second identification.
Corollary 4.15 Let $\mathcal {X}$ be a smooth proper formal scheme over $\operatorname {Spf}(\mathcal {O}_K\!)$ with ramification index $e$, and let $i \in \mathbb {N}$ and $n \in \mathbb {N} \cup \{\infty \}$. We have the following understanding of the kernel of the specialization map $\mathrm {Sp}_n^i \colon {\mathrm {H}}^i_{\operatorname {\acute {e}t}}(\mathcal {X}_{\overline {k}}, \mathbb {Z}/p^n) \to {\mathrm {H}}^i_{\operatorname {\acute {e}t}}(\mathcal {X}_C, \mathbb {Z}/p^n)$.
(1) If $e \cdot (i-1) < p-1$, then $\mathrm {Sp}_n^i$ is injective.
(2) If $e \cdot (i-1) < 2(p-1)$, then $\ker (\mathrm {Sp}_n^i)$ is annihilated by $p^{i-1}$.
(3) If $e \cdot (i-1) = p-1$, then $\ker (\mathrm {Sp}_n^i)$ is $p$-torsion, and corresponds to the étale-$\varphi$ module $\mathfrak {M}^i_n$ over $k$. Moreover, the natural $G_k$-equivariant map in Remark 4.13,
\[ {\mathrm{H}}^i_{\operatorname{\acute{e}t}}(\mathcal{X}_{\overline{k}}, \mathbb{Z}/p^n) \otimes_{\mathbb{Z}_p} W(\overline{k}) \to {\mathrm{H}}^i(\mathcal{O}_{\mathcal{X}}/p^n) \otimes_{W} W(\overline{k}), \]induces a $G_k$-equivariant injection,\[ \ker(\mathrm{Sp}^i_n) \otimes_{\mathbb{F}_p} \big(\mathcal{O}_K \otimes_W W(\overline{k})\big)/p \hookrightarrow {\mathrm{H}}^i(\mathcal{O}_{\mathcal{X}}/p^n) \otimes_{W} W(\overline{k}). \]
Proof. All but the last statement immediately follow from Theorems 3.6 and 4.14. The last statement is a Galois-theoretic analog of Corollary 3.22. To prove this, we may base-change $\mathcal {X}$ from $\mathcal {O}_K$ to $\mathcal {O}_K \otimes _W W(\overline {k})$ and it suffices to prove the statement there. Hence, it suffices to assume that $\mathcal {O}_K$ has algebraically closed residue field $\overline {k}$.
Let us analyze the sequence of maps of ${\mathfrak {S}}$-modules
By Corollary 4.15(3), we see the first map induces an isomorphism:
The exact sequence $\operatorname {Fil}^1_{{\rm N}} \to {{\mathbb {\Delta }}}^{(1)} \to \mathcal {O}_{\mathcal {X}}$ tells us that the kernel of the map
is given by the induced first Nygaard filtration on the source, which we know is exactly $u^e$ times the source, thanks to Proposition 3.20(1). Notice that, as an $\mathcal {O}_K$-algebra, we have $\overline {k}[u]/(u^e) \cong \mathcal {O}_K/p$. Therefore, we get the desired injection
□
We refer readers to § 6, especially Remarks 6.11 and 6.14(4), for a related interesting example.
4.3 Revisiting the integral Hodge–de Rham spectral sequence
In this subsection, we revisit the question discussed in [Reference LiLi22]: what mild condition on $\mathcal {X}$ guarantees that the Hodge numbers of the generic fiber $X$ can be read off from the special fiber $\mathcal {X}_0$?
Let us introduce some notation, which is the threshold of cohomological degree for which we can say something about the integral Hodge–de Rham spectral sequence, based on knowledge of the integral Hodge–Tate spectral sequence.
Notation 4.16 Let $T$ be the largest integer such that $e \cdot (T-1) \leq p-1$.
The main result in this subsection is the following theorem.
Theorem 4.17 (Improvement of [Reference LiLi22, Theorem 1.1])
Let $\mathcal {X}$ be a smooth proper $p$-adic formal scheme over $\operatorname {Spf}(\mathcal {O}_K\!)$.
(1) Assume there is a lift of $\mathcal {X}$ to ${\mathfrak {S}}/(E^2)$. Then for all $i,j$ satisfying $i + j < T$, we have equalities
\[ h^{i,j}(X) = \mathfrak{h}^{i,j}(\mathcal{X}_0) \]where the latter denotes virtual Hodge numbers of $\mathcal {X}_0$, defined as in [Reference LiLi22, Definition 3.1].(2) Assume, furthermore, that $e \cdot (\dim {\mathcal {X}_0}-1) \leq p-1$. Then the special fiber $\mathcal {X}_0$ knows the Hodge numbers of the rigid generic fiber $X$.
For instance, in the unramified case $e = 1$, condition (1) is automatic and condition (2) says we allow $\mathcal {X}$ to be at most dimension $p$. From the proof, we shall see that the Hodge numbers of $X$ can be computed using the virtual Hodge numbers of $\mathcal {X}_0$ (see [Reference LiLi22, § 3.2]) together with Euler characteristics of the $\Omega ^i_{\mathcal {X}_0}$ in an algorithmic way.
We largely follow the proof of [Reference LiLi22, Theorem 1.1]. Just like there, we need to first analyze the integral Hodge–de Rham spectral sequence, hence the title of this subsection.
Theorem 4.18 Let $\mathcal {X}$ be a smooth proper $p$-adic formal scheme over $\operatorname {Spf}(\mathcal {O}_K\!)$ liftable to ${\mathfrak {S}}/(E^2)$. Let $n \in \mathbb {N} \cup \{\infty \}$.
(1) The Hodge–de Rham spectral sequence for $\mathcal {X}_n$ has no non-zero differentials with source of total degree $< T$.
(2) If $e > 1$, then $\mathfrak {M}^T_n := {\mathrm {H}}^T_{{\mathrm {qSyn}}}(\mathcal {X}, {{\mathbb {\Delta }}}_n)[u^\infty ] = 0$. In particular, the prismatic cohomology ${\mathrm {H}}^m_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}}) \simeq M_m \otimes _{\mathbb {Z}_p} {\mathfrak {S}}$ is of the shape of a $\mathbb {Z}_p$-module $M_m$ for all $m \leq T$.
(3) If $e=1$, The induced Hodge filtrations ${\mathrm {H}}^i(\mathcal {X},\operatorname {Fil}^j_{\mathrm {H}}) \subset {\mathrm {H}}^i_{\operatorname {dR}}(\mathcal {X})$ are split for any $i \leq p$ and any $j$.
(4) If $e>1$, The induced Hodge filtrations ${\mathrm {H}}^i(\mathcal {X},\operatorname {Fil}^j_{\mathrm {H}}) \subset {\mathrm {H}}^i_{\operatorname {dR}}(\mathcal {X})$ are split for any $i < T$ and any $j$.
Here $\mathcal {X}_n$ denotes the mod $p^n$ fiber. We do not know if the split statement in (3) above holds at the mod $p^n$ level. Mimicking the terminology in [Reference LiLi22], we may say the Hodge–de Rham sequence for $\mathcal {X}_n$ is split degenerate up to degree $T$. We need some preparation.
Lemma 4.19
(1) If $e=1$, we have $\ell \big ( \mathrm {Tor}_1^{{\mathfrak {S}}}(k, \mathcal {O}_K\!) \big ) = \ell \big ( \mathrm {Tor}_1^{{\mathfrak {S}}}(k, \varphi _{{\mathfrak {S}},*}\mathcal {O}_K\!) \big )$.
(2) If $e > 1$, we have $\ell \big ( \mathrm {Tor}_1^{{\mathfrak {S}}}(k, \mathcal {O}_K\!) \big ) < \ell \big ( \mathrm {Tor}_1^{{\mathfrak {S}}}(k, \varphi _{{\mathfrak {S}},*}\mathcal {O}_K\!) \big )$.
(3) Let $M$ be a finitely generated $p^{\infty }$-torsion ${\mathfrak {S}}$-module without $u$-torsion. Then
\[ \ell\big( M \otimes_{{\mathfrak{S}}} \mathcal{O}_K \!\big) = \ell\big( M \otimes_{{\mathfrak{S}}, \varphi_{{\mathfrak{S}}}} \mathcal{O}_K \!\big). \]
Here $\ell (-)$ denotes length of the $\mathcal {O}_K$-module.
Proof. For (1) and (2), simply note that $\mathrm {Tor}_1^{{\mathfrak {S}}}(k, \mathcal {O}_K\!)$ is the $u^e$-torsion in $k = {\mathfrak {S}}/(p,u)$, whereas the module $\mathrm {Tor}_1^{{\mathfrak {S}}}(k, (\varphi _{{\mathfrak {S}}})_* \mathcal {O}_K\!)$ is the $u^e$-torsion in $k \otimes _{{\mathfrak {S}}, \varphi _{{\mathfrak {S}}}} {\mathfrak {S}} = {\mathfrak {S}}/(p,u^p)$.
For (3), it is easy to see that the condition guarantees a finite filtration on $M$ with graded pieces given by ${\mathfrak {S}}/p \cong k[\![u]\!]$. Indeed, we just argue by induction on the exponent of powers of $p$ that annihilates $M$ and consider the sequence
Hence, the equality of lengths follows from the equality of ${\mathfrak {S}}/p \otimes _{{\mathfrak {S}}, \varphi _{{\mathfrak {S}}}} {\mathfrak {S}} \simeq {\mathfrak {S}}/p$.
Lemma 4.20 Let $F \subset M$ be an inclusion of finitely generated $W(k)$-modules. If the induced maps $F/p^n \to M/p^n$ are injective for any $n \in \mathbb {N}$, then $F$ is a direct summand in $M$.
Proof. Denoting $M/F$ by $C$, the condition implies that $M[p^n] \twoheadrightarrow C[p^n]$ for all $n$. Writing the torsion submodule $C_{\mathrm {tor}}$ as direct sums of cyclic torsion $W(k)$-modules, and using the condition, we see that each cyclic summand admits a section back to $M$. This way we see that the extension class restricts to $0$ in $\mathrm {Ext}^1_{W(k)}(C_{\mathrm {tor}}, F)$, hence it must come from a class in $\mathrm {Ext}^1_{W(k)}(C/C_{\mathrm {tor}}, F)$. But now $C/C_{\mathrm {tor}}$ is finitely generated torsion-free $W(k)$-module, which is well known to be a free $W(k)$-module, hence the extension group is $0$.
Proof of Theorem 4.18 Let us show (1) and (2). The case of $n = \infty$ follows from the finite $n$ case: for (1) this is by left exactness of taking inverse limit, for (2) it follows from Proposition 2.6. Now assuming $n \in \mathbb {N}$, the degeneration statement is equivalent to equality of lengths
for any $m < T$. Note that by the mere existence of the Hodge–de Rham spectral sequence, we have the inequality
for free for any $m$. Below we shall try to show the converse inequality for $m< T$.
To that end, by the same argument as in the first paragraph of [Reference LiLi22, Proof of Theorem 1.1], the liftability condition implies that the Hodge–Tate complex in degrees $\leq p-1$ splits into direct sums of its cohomology sheaves (see [Reference Bhatt and ScholzeBS22, Remark 4.13 and Proposition 4.14], [Reference Anschütz and Le BrasALB23, Proposition 3.2.1], and [Reference Li and LiuLL20, Corollary 4.23]). In particular, since $T-1 \leq p-1$ we have a splitting of $\mathcal {O}_K$-modules: ${\mathrm {H}}^m_{\mathrm {HT}}(\mathcal {X}_n) \simeq \bigoplus _{i + j = m} {\mathrm {H}}^{i,j}(\mathcal {X}_n)$ for any $m < T$. Here the Hodge–Tate cohomology of $\mathcal {X}_n$ is defined to be the quasi-syntomic cohomology of the mod $p^n$ of the Hodge–Tate sheaf $\overline {\mathcal {O}}_{{{\mathbb {\Delta }}}}$. What remains to be shown is an inequality of length
By the Hodge–Tate and de Rham comparisons of prismatic cohomology [Reference Bhatt and ScholzeBS22, Theorem 4.10 and Corollary 15.4], we have equalities
and
Now the desired inequality between the length of Hodge–Tate and de Rham cohomology follows from the definition of $T$, the inequality $m < T$, Theorem 3.6, and Lemma 4.19. This finishes the proof of (1).
Turning to (2), note that by Theorem 3.6(3), if $\mathfrak {M}^{T}_n$ were non-zero, it would necessarily be a direct sum of $k$ as an ${\mathfrak {S}}$-module. Then Lemma 4.19(2) shows that when $e > 1$, the strict inequality
holds, which violates the fact that the left-hand side is the same as the sum of the lengths of Hodge cohomology groups whereas the right-hand side is at most that sum. Hence, we arrive at a contradiction. The vanishing of $\mathfrak {M}^{m}_n$ when $m < T$ already follows from Theorem 3.6(1). The statement concerning structure of prismatic cohomology now follows from Proposition 2.6.
Now we turn to (3): $e=1$, hence $T = p$. In this case, the statement (1) we proved above implies that for any $i \leq p$ and any $j$, the map ${\mathrm {H}}^i(\mathcal {X}_n, \operatorname {Fil}^j_{{\mathrm {H}}}) \to {\mathrm {H}}^i_{\operatorname {dR}}(\mathcal {X}_n)$ is injective. Hence, the submodule ${\mathrm {H}}^i(\mathcal {X}, \operatorname {Fil}^j_{{\mathrm {H}}}) \subset {\mathrm {H}}^i_{\operatorname {dR}}(\mathcal {X})$ has the property that it induces an injection modulo any $p^n$. The desired splitness follows from Lemma 4.20.
Finally, we show (4): when $e > 1$. We follow the argument of [Reference LiLi22, Corollary 3.9]. Using the vanishing statement established in (2), it follows that we have abstract isomorphism ${\mathrm {H}}^m_{\mathrm {HT}}(\mathcal {X}) \simeq {\mathrm {H}}^m_{\operatorname {dR}}(\mathcal {X})$ whenever $m < T$. Hence, the argument of [Reference LiLi22, Corollary 3.9] shows that in the range $m < T$, the splitting of the Hodge–Tate filtration on ${\mathrm {H}}^m_{\mathrm {HT}}(\mathcal {X})$ is equivalent to the splitting of the Hodge filtration on ${\mathrm {H}}^m_{\operatorname {dR}}(\mathcal {X})$. We can then finish our proof, as liftability to ${\mathfrak {S}}/(E^2)$ gives the desired splitting of the Hodge–Tate filtration in the range $m < T \leq p$.
Remark 4.21 Comparing our Theorem 4.18(1) with what Fontaine and Messing obtained [Reference Fontaine and MessingFM87, II.2.7.(i)] (assuming the existence of a lifting over $W$), we seemingly get a stronger statement. Fontaine and Messing only proved a degeneration statement when the differential has a target of degree $< p$ whereas ours allows the differential to have source of degree $< p$ (so the target can have degree $p$). However, this is due to Fontaine and Messing not trying to squeeze their method to the most optimal, which is understandable given how many indices they needed to take care of. Indeed, their [Reference Fontaine and MessingFM87, II.2.6.(ii)] implies the map in the next degree (following their notation) $\bigoplus_{r=1}^t {\mathrm {H}}^{m+1}(J_n^{[r]}) \to \bigoplus_{r=0}^t {\mathrm {H}}^{m+1}(J_n^{[r]})$ is injective, which can be used to strengthen their [Reference Fontaine and MessingFM87, II.2.7.(i)], hence also gaining the extra degeneration statement we obtained here.
We are now in a position to prove the main theorem in this subsection.
Proof of Theorem 4.17 Fix an $m < T$ and a $j \in \mathbb {N}$. We consider the map of two $\mathcal {O}_K$-complexes
Our Theorem 4.18(1), (3) and (4) implies that this map in degree $m$ satisfies the assumption of [Reference LiLi22, Lemma 2.16] (with our $m$ being the $n$ in that lemma). We finish the proof of (1) by combining the conclusion of [Reference LiLi22, Lemma 2.16] with the definition of Hodge numbers of $X$ and virtual Hodge numbers of $\mathcal {X}_0$.
The fact that (1) implies (2) is rather a brain teaser. In the Hodge diamond of $X$, all numbers below the middle row, which is the row with total degree given by $\dim (X)$ ($\leq T$ by assumption), are given by the corresponding virtual Hodge number of $\mathcal {X}_0$. Serre duality implies that $\mathcal {X}_0$ also knows all numbers above the middle row. Now for the middle row, simply use the fact that Euler characteristic is locally constant for any flat family of coherent sheaves.
For the rest of this subsection, let us specialize to the case of $e = 1$. Using knowledge on the Hodge–de Rham spectral sequence, we have a similar degeneration of the ‘Nygaard–Prism’ spectral sequence up to cohomological degree $p$.
Theorem 4.22 Assume $e=1$ (so $\mathcal {O}_K = W$), and let $n \in \mathbb {N} \cup \{\infty \}$. The map
is injective, when $i < p$ or $i = p, j \leq p-1$.
Recall that when $i=p$ and $j \geq p$, kernels of these maps have been studied in Proposition 3.20(3).
Proof. We shall induct on $j$, the case of $j=0$ being trivial. We need to consider the following diagram:
The rows are exact as they are part of long exact sequences, coming from exact sequences of sheaves on $\mathcal {X}_{\mathrm {qSyn}}$. The right vertical arrow is injective for all $i \leq p$ thanks to Theorem 4.18(1); note that $T=p$ as $e=1$. The left vertical arrow is injective by induction hypothesis.
Let us first show the statement for $i < p$. Take an element in the kernel of the middle vertical arrow; by diagram-chasing we see that the element comes from an element $\alpha$ in ${\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X}, \operatorname {Fil}^j_{{\rm N}}/p^n) \otimes _{{\mathfrak {S}}} (E)$. Now it suffices to show that the image of $\alpha$ in ${\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X}, {{\mathbb {\Delta }}}^{(1)}_n) \otimes _{{\mathfrak {S}}} (E)$ is zero. Finally, we note that the further image in ${\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X}, {{\mathbb {\Delta }}}^{(1)}_n)$ is zero, therefore it suffices to know ${\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X}, {{\mathbb {\Delta }}}^{(1)}_n)$ has no $E$-torsion, or equivalently it has no $u$-torsion, thanks to Theorem 3.6(1).
Finally, let us show the statement when $i = p$, and let $j+1 \leq p-1$. Arguing as in the previous paragraph, we are reduced to showing that, given an element $\beta _j \in {\mathrm {H}}^p_{{\mathrm {qSyn}}}(\mathcal {X}, \operatorname {Fil}^j_{{\rm N}}/p^n)$ whose image $\gamma$ in ${\mathrm {H}}^p_{{\mathrm {qSyn}}}(\mathcal {X}, {{\mathbb {\Delta }}}^{(1)}_n)$ is an $E$-torsion, the image of $\beta _j \otimes E$ in ${\mathrm {H}}^p_{{\mathrm {qSyn}}}(\mathcal {X}, \operatorname {Fil}^{j+1}_{{\rm N}}/p^n)$ is already zero. To that end, we need the help of another diagram:
We point out that the two vertical arrows in the top square are both injective because of Proposition 3.20(2), although we make no further use of this. Since $\gamma$ is an $E$-torsion, we know it is $(u,p)$-torsion (see Theorem 3.6(3)). Therefore we see $\gamma$ is the image of a $(u,p)$-torsion $\beta _{p-1}$ in ${\mathrm {H}}^p_{{\mathrm {qSyn}}}(\mathcal {X}, \operatorname {Fil}^{p-1}_{{\rm N}}/p^n)$ thanks to Proposition 3.20(1). By the induction hypothesis, we see that the image of $\beta _{p-1}$ in ${\mathrm {H}}^p_{{\mathrm {qSyn}}}(\mathcal {X}, \operatorname {Fil}^j_{{\rm N}}/p^n)$ is precisely $\beta _j$. Now we are done as $E \cdot \beta _{p-1} = 0$ in ${\mathrm {H}}^p_{{\mathrm {qSyn}}}(\mathcal {X}, \operatorname {Fil}^{p-1}_{{\rm N}}/p^n)$.
5. Crystalline cohomology in boundary degree
Notation 5.1 Throughout this section let us fix $n \in \mathbb {Z} \cup \{\infty \}$, and fix $e,i$ such that $e \cdot i = p-1$. Let $S$ be the PD envelope of ${\mathfrak {S}} \twoheadrightarrow \mathcal {O}_K$, and let $c_1 = \varphi (E)/p \in S^{\times }$. Denote ${\mathfrak {S}}_n := {\mathfrak {S}}/p^n$ and $S_n := S/p^n$. Let $\mathcal {X}$ be a smooth proper formal scheme over $\operatorname {Spf}(\mathcal {O}_K\!)$. Let $\mathfrak {M} := {\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X}, {{\mathbb {\Delta }}}^{(1)}_n)$, let $\mathcal {M} := {\mathrm {H}}^i_{\operatorname {crys}}(\mathcal {X}_n/S_n, \mathcal {O}_{\operatorname {crys}}) \cong {\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X}, \operatorname {dR}_{-/{\mathfrak {S}}}/p^n)$, and finally let $V := {\mathrm {H}}^{i+1}_{{\mathrm {qSyn}}}(\mathcal {X}, {{\mathbb {\Delta }}}_n)[u^\infty ]$. We use $\mathrm {Frob}_k$ to denote the Frobenius on $k$.
Recall that, by Theorem 3.6, the module $\mathfrak {M}$ is $u$-torsion-free and the Frobenius ${\mathfrak {S}}$-module $V$ is an étale $\varphi$-module over $k$. Also recall ([Reference Bhatt and ScholzeBS22, Theorem 5.2] and [Reference Li and LiuLL20, Theorem 3.5 and Lemma 7.16]) that we have a short exact sequence of Frobenius $S$-modules:
where the last equality follows from the fact that $S_1 = {\mathfrak {S}}_1 \otimes ^{\mathbb {L}}_{{\mathfrak {S}}_n} S_n$. Here, by assumption on $\mathcal {X}$, we know $\mathfrak {M}$ is finitely generated over ${\mathfrak {S}}$ and we can replace completed tensor with tensor to ease notation a little bit.
Let us give a functorial description of $\overline {M}$.
Lemma 5.2 Let $N$ be an ${\mathfrak {S}}_1$-module. Then we have identifications of ${\mathfrak {S}}_1$-modules:
(1) $\mathrm {Tor}_1^{{\mathfrak {S}}_1}(V, N) \cong V \otimes _k \big (N[u]\big )$; and
(2) $\mathrm {Tor}_1^{{\mathfrak {S}}_1}(V, \varphi _* N) \cong \mathrm {Frob}^*_k(V) \otimes _k \big (N[u^p]\big )$.
Here the ${\mathfrak {S}}$-module structures on the right-hand sides are via the second factor.
In particular, we have $\overline {M} \cong \mathrm {Frob}^*_k(V) \otimes _k S_1[u^p]$.
Proof. Let us prove (2) here as the proof of (1) follows a similar argument. Note that
Then one simply computes
with $k$ module structure via Frobenius on $k$. Therefore, the tensor derived above becomes
□
In the following we shall describe the induced filtrations, divided Frobenii and connections on all terms of the sequence (⚁).
5.1 Understanding filtrations
Recalling [Reference Li and LiuLL20, Theorem 4.1] (and references therein) we have filtered isomorphisms
By the above identification, we need to understand the Hodge filtration on the derived de Rham cohomology of $\mathcal {X}/{\mathfrak {S}}$.
Lemma 5.3 We have the following assertions.
(1) The map ${\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X}, \operatorname {Fil}^i_{{\rm N}}{{\mathbb {\Delta }}}^{(1)}_n) \to \mathfrak {M}$ is injective.
(2) The map ${\mathrm {H}}^i(\mathcal {X}, \operatorname {Fil}^i_{{\mathrm {H}}}\operatorname {dR}^{\wedge }_{-/{\mathfrak {S}}}/p^n) \to \mathcal {M}$ is injective.
This fact has appeared in the proof of [Reference Li and LiuLL20, Theorem 7.22]; for the convenience of readers we reproduce its proof below. The key point is that the inequality $e \cdot (i-1) < p-1$ implies the $i$th prismatic cohomology is $u$-torsion-free, which in turn guarantees injectivity.
Proof. By [Reference Li and LiuLL20, Corollary 4.23] and diagram-chasing, we know the kernel of
surjects onto the kernel of
Hence, it suffices to prove (1).
By [Reference Li and LiuLL20, Lemma 7.8] we know the $i$th divided Frobenius $\varphi _i \colon {\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X}, \operatorname {Fil}^i_{{\rm N}}{{\mathbb {\Delta }}}^{(1)}_n) \to {\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X}, {{\mathbb {\Delta }}}_n)$ is an isomorphism. Combining this with Theorem 3.6(1) we see that the cohomology of Nygaard filtration has no finite length sub-${\mathfrak {S}}$-module. Finally, [Reference Li and LiuLL20, Proposition 7.12] says the kernel of the map in (1) must be a finite length sub-${\mathfrak {S}}$-module, thus zero.
Notation 5.4 We denote the images of the above injections by $\operatorname {Fil}^i \mathfrak {M}$ and $\operatorname {Fil}^i \mathcal {M}$, respectively.
The submodule $\operatorname {Fil}^i \mathcal {M} \subset \mathcal {M}$ induces filtrations on the first and third terms in the sequence (⚁). For instance,
where the intersection happens inside $\mathcal {M}$, and
Let us investigate these filtrations.
Let $\mathcal {I}^{[i]} \subset S$ be the $i$th PD filtration ideal, which is $p$-completely generated by $\geq i$th divided powers of $E(u)$ in $S$. Note that the quotient $S/\mathcal {I}^{[i]}$ is $p$-torsion-free, hence the ideal $\mathcal {I}^{[i]}_n := \mathcal {I}^{[i]}/p^n \subset S_n$ can be regarded as the $i$th PD filtration ideal on $S_n$.
Recall [Reference Li and LiuLL20, § 4] that we have a commutative diagram of sheaves on $\big (\mathcal {O}_K\!\big)_{{\mathrm {qSyn}}}$:
Lemma 5.5 The diagram above induces the following commutative diagram of sheaves on $\big (\mathcal {O}_K\big )_{{\mathrm {qSyn}}}$:
which has short exact rows, and vertical arrows are isomorphisms if $j \leq p$. Moreover, all these statements remain true after derived mod $p^n$ is an exact functor.
Proof. The derived mod $p^n$ statement follows from the fact that derived mod $p^n$ is exact. It suffices to show two of the three vertical arrows are isomorphisms.
Using $\operatorname {dR}^{\wedge }_{-/{\mathfrak {S}}} \cong S \hat {\otimes }_{{\mathfrak {S}}} {{\mathbb {\Delta }}}^{(1)}$ (see [Reference Bhatt and ScholzeBS22, Theorem 5.2] and [Reference Li and LiuLL20, Theorem 3.5]), the middle vertical arrow is identified with
hence it suffices to note that the ring map ${{\mathfrak {S}}}/{(E(u)^j)} \to {S}/{\mathcal {I}^{[j]}}$ is an isomorphism.
The right vertical arrow is an isomorphism (thanks to [Reference Li and LiuLL20, Corollary 4.23]).
Proposition 5.6 The map $\operatorname {Fil}^i \mathcal {M} \to \overline {M}$ is surjective. Hence, $\operatorname {Fil}^i \overline {M} = \overline {M}$.
Proof. We consider the following map between long exact sequences:
Chasing the diagram, we see that it suffices to show the top right horizontal arrow is a surjection. Indeed, granting the surjectivity assertion, we get that the summation map
is a surjection. Projection further to $\overline {M}$ kills the second factor above, hence we get the desired surjectivity.
Finally, we prolong the top long exact sequence:
We are reduced to showing $\iota$ is injective, which is exactly Proposition 3.20(2); note that
□
Using what is proved in the above proposition, we can also understand $\operatorname {Fil}^i \big (\mathfrak {M} \otimes _{{\mathfrak {S}}_n} S_n\big )$. The diagram before Lemma 5.5 implies that we have a natural map $\mathfrak {M} \otimes _{{\mathfrak {S}}_n} \mathcal {I}^{[i]}_n \to \operatorname {Fil}^i \big (\mathfrak {M} \otimes _{{\mathfrak {S}}_n} S_n\big )$. Since the map ${{\mathbb {\Delta }}}^{(1)} \to \operatorname {dR}^{\wedge }_{-/{\mathfrak {S}}}$ of quasi-syntomic sheaves is filtered, we also have a natural map $\operatorname {Fil}^i \mathfrak {M} \to \operatorname {Fil}^i \big (\mathfrak {M} \otimes _{{\mathfrak {S}}_n} S_n\big )$. We recall (Notation 5.4) that the source denotes ${\mathrm {H}}^i$ of the $i$th mod $p^n$ Nygaard filtration.
Proposition 5.7 The summation map $\operatorname {Fil}^i \mathfrak {M} \oplus \big (\mathfrak {M} \otimes _{{\mathfrak {S}}_n} \mathcal {I}^{[i]}_n\big ) \to \operatorname {Fil}^i \big (\mathfrak {M} \otimes _{{\mathfrak {S}}_n} S_n\big )$ is surjective.
Proof. Note that
In the last equality, we use the fact that $i < p$ implies $S_n/\mathcal {I}^{[i]}_n = {\mathfrak {S}}_n/(E^i)$. Therefore, any element $x$ in $\mathfrak {M} \otimes _{{\mathfrak {S}}_n} S_n$ can be written as $x = y + z$ with $y \in \mathfrak {M}$ and $z$ is in the image of $\mathfrak {M} \otimes _{{\mathfrak {S}}_n} \mathcal {I}^{[i]}_n$. Hence, we have
It suffices to show
which indeed follows from chasing the diagram in the proof of Proposition 5.6.
Corollary 5.8 Let $e=1$ and $i=p-1$. Then the triple $(\mathcal {M}, \operatorname {Fil}^{i}\mathcal {M}, \varphi _i)$ is an object in $\operatorname {Mod}_{S, \operatorname {tor}}^{\varphi, p-1}$.
Proof. Note that the map $\operatorname {Fil}^i\mathcal {M} \to \mathcal {M}$ is injective by Lemma 5.3. We need to show admissibility, that is, the image $\varphi _i$ generates $\mathcal {M}$. To that end, we shall explain why both images of $\varphi _i \colon \operatorname {Fil}^i\big (\mathfrak {M} \otimes _{{\mathfrak {S}}_n} S_n\big ) \to \operatorname {Fil}^i\big (\mathfrak {M} \otimes _{{\mathfrak {S}}_n} S_n\big )$ and $\overline {\varphi _i} \colon \operatorname {Fil}^{i} \overline {M} = \overline {M} \to \overline {M}$ generate the target. For the latter, it follows from the $e=1$ case of Proposition 5.13. For the former, just note that the Nygaard filtration, $\operatorname {Fil}^i\mathfrak {M}$ (see Notation 5.4), already has its image of $\varphi _i$ generating the module, thanks to [Reference Li and LiuLL20, Lemma 7.8(3)].
5.2 Computing the divided Frobenius
Next we discuss the divided Frobenius on $\operatorname {Fil}^i$ of terms in the sequence (⚁). We will use $\varphi _i$ to denote the divided Frobenius on both Nygaard and Hodge filtrations; hopefully readers can tell them apart by looking at the source of the arrow to see which divided Frobenius we are using.
Recall [Reference Li and LiuLL20, Remark 4.24] that when $j \leq p-1$, the semi-linear Frobenius $\varphi$ on $\operatorname {dR}^{\wedge }_{-/{\mathfrak {S}}}$ becomes uniquely divisible by $p^j$ when restricted to the sub-quasi-syntomic sheaf $\operatorname {Fil}^i_{{\mathrm {H}}}\operatorname {dR}^{\wedge }_{-/{\mathfrak {S}}}$ (cf. [Reference BreuilBre98, p. 10]), which we denote by $\varphi _j$. The divided Frobenii on Nygaard and Hodge filtrations are related by
as one computes ${\varphi }/{\varphi (E)^j} \cdot ({\varphi (E)}/{p})^{j} = {\varphi }/{p^j}$. Restricting further to $\mathcal {I}^{[j]} \hat {\otimes }_{\varphi, {\mathfrak {S}}} {{\mathbb {\Delta }}} \subset \operatorname {Fil}^j_{{\mathrm {H}}}\operatorname {dR}^{\wedge }_{-/{\mathfrak {S}}}$, the divided Frobenius is related to the (semi-linear) prismatic Frobenius via
where the $\varphi _j$ and $\varphi$ on the top arrow are respectively the divided Frobenius on $\mathcal {I}^{[j]} \subset S$ and the semi-linear Frobenius on ${{\mathbb {\Delta }}}$. Since we assumed $e \cdot i = p-1$, in particular $i \leq p-1$. From the discussion, we immediately get the following lemma.
Lemma 5.9 Restricting the divided Frobenius $\varphi _i \colon \operatorname {Fil}^i \mathcal {M} \to \mathcal {M}$ to $\operatorname {Fil}^i\big (\mathfrak {M} \otimes _{{\mathfrak {S}}_n} S_n\big )$, the image lands in the submodule $\mathfrak {M} \otimes _{{\mathfrak {S}}_n} S_n$.
Proof. By the above discussion, we have a commutative diagram
where the top arrow is given by $\big (\varphi _i \otimes c_1^i\big ) \oplus \big (\varphi _i \otimes \varphi \big )$. Our claim follows from Proposition 5.7 which says the image of the left vertical arrow is precisely $\operatorname {Fil}^i\big (\mathfrak {M} \otimes _{{\mathfrak {S}}_n} S_n\big )$.
Consequently, the divided Frobenius $\varphi _i \colon \operatorname {Fil}^i \mathcal {M} \to \mathcal {M}$ descends to a semi-linear map $\operatorname {Fil}^i \overline {M} = \overline {M} \to \overline {M}$ (see Proposition 5.6), which we refer to as the residual divided Frobenius. Our next task is to relate this residual divided Frobenius to the Frobenius on $V$.
To that end, we factorize the divided Frobenius on the $i$th Hodge filtration as
Here $\alpha$ is $S$-linear and is defined at the level of sheaves in $\big (\mathcal {O}_K\!\big )_{{\mathrm {qSyn}}}$. Recall [Reference Li and LiuLL20, Remark 4.24] that on the basis of large quasi-syntomic algebras,
Therefore, the linear Frobenius
restricted to the $i$th Hodge filtration lands in ${{\mathbb {\Delta }}} \widehat {\otimes }_{{\mathfrak {S}}} \mathcal {I}^{[i]}$, and composition further with the $i$th divided Frobenius on the second factor gives the semi-linear divided Frobenius.
Lemma 5.10 The map $\operatorname {Fil}^{i}_{{\mathrm {H}}} \operatorname {dR}^{\wedge }_{-/{\mathfrak {S}}} \xrightarrow {\alpha } {{\mathbb {\Delta }}} \widehat {\otimes }_{{\mathfrak {S}}} \mathcal {I}^{[i]}$ induces a commutative diagram
The content of this lemma is that when we first derived mod $\alpha$ by $p^n$, then took ${\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X},-)$, and finally restricted it to the submodule $\operatorname {Fil}^i\big (\mathfrak {M} \otimes _{{\mathfrak {S}}_n} S_n\big )$, it landed in the submodule ${\mathrm {H}}^i_{{\mathrm {qSyn}}}(\mathcal {X}, {{\mathbb {\Delta }}}_n) \otimes _{{\mathfrak {S}}_n} \mathcal {I}^{[i]}_n$ of the target. This is proved exactly the same way as in Lemma 5.9 so we omit it. From the above lemma, we know the map $\alpha$ descends to a map
Here we use $\mathcal {I}^{[i]}_n \otimes ^{\mathbb {L}}_{{\mathfrak {S}}_n} {\mathfrak {S}}_1 = \mathcal {I}^{[i]}_1$ and Lemma 5.2(1) to obtain the identification of the target.
Proposition 5.11 Let $F \colon V \to V$ denote the semi-linear prismatic Frobenius on $V$, which induces the linearized Frobenius $\widetilde {F} \colon \mathrm {Frob}^*_k(V) \to V$. Then the map
is given by $\widetilde {F} \otimes u^{p-1}$.
Note that given a $u^p$-torsion in $S_1$, multiplication by $u^{p-1}$ gives us a $u$-torsion in $S_1$, implicitly in the statement we have used the fact that the inclusion $\mathcal {I}^{[i]}_1[u] \subset S_1[u]$ is a bijection because $i \leq ep-1$.
Proof. We consider the following commutative diagram of sheaves on $\big (\mathcal {O}_K\!\big )_{{\mathrm {qSyn}}}$:
This induces the following commutative diagram:
The left vertical arrow is an isomorphism. As explained right after the statement, the right vertical arrow is also an isomorphism. Therefore, we are reduced to computing the effect on ${\mathrm {H}}^{-1}$ of the map
induced by the linearized Frobenius $V \otimes ^{\mathbb {L}}_{{\mathfrak {S}}_1, \varphi } {\mathfrak {S}}_1 \cong \mathrm {Frob}_k^*(V) \otimes _k {\mathfrak {S}}_1/u^p \xrightarrow {\widetilde {F} \otimes \mathrm {proj}} V \otimes _k {\mathfrak {S}}_1/u$. We can choose the following explicit resolution of the above map of ${\mathfrak {S}}_1$-modules:
Tensoring the above with $S_1$ over ${\mathfrak {S}}_1$ and considering the induced map on ${\mathrm {H}}^{-1}$ yields the conclusion.
The effect of the second arrow in (⚂) is very easy to understand: we only need to understand the divided Frobenius $\varphi _i \colon \mathcal {I}^{[i]}_1[u] \xrightarrow {\varphi _{i}} S_1[u^p]$. Note that we assumed $e \cdot i = p-1$, hence $e=1$ means $i = p-1$.
Lemma 5.12 The $S_1$-module $\mathcal {I}^{[i]}_1[u] = S_1[u]$ is generated by $u^{ep-1}$, and we have
Proof. The description of $\mathcal {I}^{[i]}_1[u]$ is well known. It follows from the explicit description of $\mathcal {I}^{[i]}_1 \subset S_1$, given in the proof of Proposition 5.7.
Let us choose a lift of $u^{ep-1} \equiv E(u)^{p-1} \cdot u^{e-1}$ to $\mathcal {I}^{[i]}$ and compute
After reduction mod $p$, the right-hand side is $0$ if $0 < p-1-i$ which is equivalent to $e > 1$, and the right-hand side is $c_1^{p-1}$ when $e=1$.
Putting everything together, we arrive at the following proposition.
Proposition 5.13 The divided Frobenius $\operatorname {Fil}^{i} \mathcal {M} \to \mathcal {M}$ descends to a residual divided Frobenius
After identifying $\overline {M} \cong \mathrm {Frob}_k^*(V) \otimes _k S_1[u^p]$, we have
Here we abuse notation a little by writing the induced Frobenius on $\mathrm {Frob}_k^*(V)$ as $F$.
Proof. The first sentence is Lemma 5.9. As for the computation of the residual divided Frobenius, we consider the sequence (⚂), which gives rise to
Combining Proposition 5.11 and Lemma 5.12 yields the result.
5.3 The connection
In [Reference Li and LiuLL20, § 5.1] we explained how one gets a natural connection on the derived de Rham complex relative to ${\mathfrak {S}}$. Consequently, we see that there is a connection $\nabla \colon \mathcal {M} \to \mathcal {M}$ satisfying $\nabla (f \cdot m) = f' \cdot m + f \cdot \nabla (m)$ for any $f \in S$ and $m \in \mathcal {M}$. In this section, we shall see that in a strong sense there is a unique such connection. As a corollary, the connection $\nabla$ preserves the sequence (⚁). Moreover, the compatibility between $\nabla$ and the divided Frobenius [Reference Li and LiuLL20, § 5.2] will determine the residual connection on $\overline {M}$.
Notation 5.14 Let $S[\epsilon ] := S[x]/(x^2)$ and let $S \xrightarrow {\iota _1} S[\epsilon ]$ and $S \xrightarrow {\iota _2} S[\epsilon ]$ be two ring homomorphisms defined as $\iota _1(f) = f \otimes 1$ and $\iota _2(f) = f \otimes 1 + f' \otimes \epsilon$.
Proposition 5.15 There is a unique $\mathbb {E}_{\infty }$-$S[\epsilon ]$-algebra isomorphism $\operatorname {dR}_{R/{\mathfrak {S}}}^{\wedge } \otimes _{S, \iota _1} S[\epsilon ] \to \operatorname {dR}_{R/{\mathfrak {S}}}^{\wedge } \otimes _{S, \iota _2} S[\epsilon ]$ which reduces to the identity modulo $\epsilon$ and is functorial in the formally smooth $\mathcal {O}_K$-algebra $R$.
Proof. One observes that the formula $\nabla \mapsto \big (g(m \otimes 1) = m \otimes 1 + \nabla (m) \otimes \epsilon \big )$ gives a bijection between functorial connections on $\operatorname {dR}_{R/{\mathfrak {S}}}^{\wedge }$ and the said functorial isomorphisms. Therefore, the existence follows from [Reference Li and LiuLL20, § 5.1].
To show uniqueness, we follow the same argument as in the proof of [Reference Li and LiuLL20, Theorem 3.13]. Firstly, by left Kan extension and quasi-syntomic descent, it suffices to check the uniqueness when viewing both sides as quasi-syntomic sheaves of $S[\epsilon ]$-algebras. Secondly, by the same argument in [Reference Li and LiuLL20, Theorem 3.13], one sees that restricting to the category of quasi-syntomic $\mathcal {O}_K$-algebras of the form $\mathcal {O}_K\langle X_j^{1/p^\infty }; j \in J \rangle$ for some set $J$ determines such morphisms of $S[\epsilon ]$-algebras. Finally, when $\widetilde {R} = \mathcal {O}_K\langle X_j^{1/p^\infty }; j \in J \rangle$, both the source and the target are given by $S[\epsilon ]\langle X_j^{1/p^\infty }; j \in J \rangle$. Now we need to show that $g(X)$ must be $X$.
To that end, let us assume $g(X^{1/p^n}) = X^{1/p^n} + Y_n \otimes \epsilon$. Then we compute $g(X) = g(X^{1/p^n})^{p^n} = (X^{1/p^n} + Y_n \otimes \epsilon )^{p^n} \equiv X$ modulo $p^n$. Therefore we conclude that $g(X) - X$ is divided by arbitrary powers of $p$, hence must be $0$ by the $p$-adic separatedness of $S[\epsilon ]\langle X_j^{1/p^\infty }; j \in J \rangle$.
Remark 5.16 For any quasi-compact and quasi-separated smooth formal scheme $\mathcal {Y}$ over $\operatorname {Spf}(\mathcal {O}_K\!)$, the crystal nature of $\mathrm {R\Gamma }_{\operatorname {crys}}(\mathcal {Y}/S)$ gives a connection on $\mathrm {R\Gamma }_{\operatorname {crys}}(\mathcal {Y}/S)$ (see [Reference Bhatt and de JongBdJ11, p. 2 and Lemma 2.8]). Note that although in [Reference Bhatt and de JongBdJ11] the authors were talking about crystals in quasi-coherent modules, their argument works in our setting of crystals in perfect complexes as $\Omega ^{1,pd}_{S/W}$ is finite free over $S$, so there is no subtlety when derived tensoring it with any other S-module. Consequently, one gets a connection on $\mathrm {R\Gamma }_{\operatorname {crys}}(\mathcal {Y}/S)$, and when identifying $\mathrm {R\Gamma }_{\operatorname {crys}}(\mathcal {Y}/S) \cong \operatorname {dR}^{\wedge }_{\mathcal {Y}/{\mathfrak {S}}}$, our Proposition 5.15 shows the ‘crystalline’ connection agrees with our ‘derived de Rham’ connection.
Below we explain yet another way to get the connection, via the prismatic crystal nature of prismatic cohomology. Recall [Reference Bhatt and ScholzeBS21, Construction 7.13] that there is a cosimplicial prism $\big ({\mathfrak {S}}^{(\bullet )}, J^{(\bullet )}\big ) \to \mathcal {O}_K \cong {\mathfrak {S}}^{(\bullet )}/J^{(\bullet )}$. Let $S^{(\bullet )} \to \mathcal {O}_K$ be the similarly defined cosimplicial ring obtained by taking divided power envelopes of ${\mathfrak {S}}^{\hat {\otimes }_{W} n} \twoheadrightarrow \mathcal {O}_K$ where $[n] \in \Delta$. Note that there is a map of these cosimplicial rings induced by the Frobenius $\varphi _{{\mathfrak {S}}}^{\otimes \bullet } \colon {\mathfrak {S}}^{\otimes \bullet } \to {\mathfrak {S}}^{\otimes \bullet }$. Let us explicate this for $\bullet = 0,1$ as we will need it later:
where $\langle \!\langle - \rangle \!\rangle$ denotes $p$-completely adjoining divided powers of the designated elements. To see the middle arrow is well defined we use the fact that $\varphi (E(u))$ and $\varphi (E(v))$ in $S^{(1)}$ is $p$ times a unit, and adjoining $\varphi (u-v)/p$ as a $\delta$-ring is the same as adjoining divided powers of $u-v$ (see [Reference Bhatt and ScholzeBS22, Corollary 2.39]).
Now for any $p$-adically smooth $\mathcal {O}_K$-algebra $R$, we have a functorial isomorphism of $\mathbb {E}_{\infty }$-${\mathfrak {S}}^{(1)}$-algebras,
by base change of prismatic cohomology. Base-changing the above along the aforesaid map ${\mathfrak {S}}^{(1)} \to S^{(1)}$ (and use either [Reference Bhatt and ScholzeBS22, Theorem 5.2] or [Reference Li and LiuLL20, Theorem 3.5]) identifies the left (respectively, right) hand side with
(respectively, $S^{(1)} \hat {\otimes }_{\iota _2 , S} \operatorname {dR}^{\wedge }_{R/{\mathfrak {S}}}$). This gives rise to another description of the ‘crystalline’ connection.
Proposition 5.17 The following diagram commutes functorially in the $p$-adically smooth $\mathcal {O}_K$-algebra $R$:
Proof. Base-changing the top arrow along ${\mathfrak {S}}^{(1)} \to S^{(1)}$ gives a potentially different functorial isomorphism at the bottom. Therefore, it suffices to show that there is no non-trivial automorphism of the quasi-syntomic sheaf of $S^{(1)}$-algebras $R \mapsto \operatorname {dR}^{\wedge }_{R/{\mathfrak {S}}} \hat {\otimes }_{S, \iota _1} S^{(1)}$. The same argument as in [Reference Li and LiuLL20, Theorem 3.13] does the job.
As a consequence, we know the sequence (⚁) is stable under the connection. In fact more generally we have the following result.
Corollary 5.18 For any $j \in \mathbb {N}$ and any $n \in \mathbb {N} \cup \{\infty \}$, the connection on ${\mathrm {H}}^j_{{\mathrm {qSyn}}}(\mathcal {X}, \operatorname {dR}^{\wedge }_{-/{\mathfrak {S}}}/p^n)$ preserves the submodule ${\mathrm {H}}^j_{{\mathrm {qSyn}}}(\mathcal {X}, {{\mathbb {\Delta }}}^{(1)}/p^n) \otimes _{{\mathfrak {S}}_n} S_n$.
Proof. In line with the dictionary between connections and crystals [Reference Bhatt and de JongBdJ11, Lemma 2.8], we need to show that the isomorphism (note that both of $\iota _i \colon S \to S^{(1)}$ are $p$-completely flat)
preserves the submodule ${\mathrm {H}}^j_{{\mathrm {qSyn}}}(\mathcal {X}, {{\mathbb {\Delta }}}^{(1)}/p^n) \otimes _{{\mathfrak {S}}_n} S_n$. This immediately follows from the commutative diagram
induced by Proposition 5.17.
Therefore, we see that there is a residual connection $\overline {\nabla } \colon \overline {M} \to \overline {M}$. Recall [Reference Li and LiuLL20, § 5.2] that the connection $\nabla$ and divided Frobenius $\varphi _i$ are related by the following commutative diagram:
Since all maps descend to $\operatorname {Fil}^i \overline {M} = \overline {M}$, we have the following proposition.
Proposition 5.19 There is a commutative diagram:
Consequently, when $e=1$, after identifying $\overline {M} \cong \mathrm {Frob}_k^*(V) \otimes _k S_1[u^p]$, we have $\overline {\nabla }(v \otimes 1) = v \otimes \mathrm {d}\log (c_1)$.
Here $\mathrm {d}\log (c_1) = {c_1'}/{c_1} = {u^{p-1}}/{c_1}$.
Proof. The existence of such a commutative diagram follows from the preceding discussion and the fact that both $\varphi _i$ and $\nabla$ descend to $\overline {M}$ by Proposition 5.13 and Corollary 5.18, respectively.
Starting with $v \otimes 1$ at the top left corner and comparing the end results of the two routes, we arrive at an identity,
where we used the description of $\varphi _i$ in Proposition 5.13. Now we use the fact that $\overline {M}$ is $p$-torsion and the fact that $F$ is a bijection to yield the desired conclusion.
Corollary 5.20 Let $e=1$ and $h = p-1$. Then the quadruple $(\overline M, \operatorname {Fil}^{p-1}\overline M , \varphi _{p-1}, \nabla )$ is a Breuil module and there is a canonical isomorphism $T_S (\overline {M}) \xrightarrow {\cong } (V \otimes _{W(k)} W(\overline k))^{\varphi =1}$ of representation of $G_K$. In particular the resulting Galois representation $T_S (\overline {M})$ is the unramified $\mathbb {F}_p$-representation associated with the étale $\varphi$-module $V$.
Proof. The first part of statement follows from Lemma 5.2 and Propositions 5.13 and 5.19. To compute $T _S(\overline M)$, let $I_+ A_{\operatorname {crys}}\subset A_{\operatorname {crys}}$ be the ideal such that $I_+ A_{\operatorname {crys}}$ contains $W(\mathfrak m_{\mathcal {O}_\mathbf {C} ^\flat })$ and $A_{\operatorname {crys}}/ I_+ A_{\operatorname {crys}} = W(\overline k)$. It is clear that $\varphi ^n (a) \to 0$ for any $a\in I_+ A_{\operatorname {crys}}$ and $I_+ A_{\operatorname {crys}}\cap S = I_+$. By (2.17), $\overline M \otimes _S I_+A_{\operatorname {crys}}$ is stable under the $G_K$-action. So we have a canonical map of $G_K$-representations
By Proposition 5.13, if we identify $\overline M = {\rm Frob}^* V \otimes _k S_1 [u ^p]$ then $\forall x\otimes 1 \in \overline M / I_+$, $\varphi (x\otimes 1) = F(x)\otimes a_0 ^{p-1}$ with $a_0 = E(0)/ p\in W(k)^\times$. So $\varphi _h : \overline M/I_+ \to \overline M/I_+$ is bijective. Using that $\lim _{n \to \infty }\varphi ^n (a) = 0$, $\forall a\in I_+ A_{\operatorname {crys}}$, we conclude that the above map is an isomorphism $T_S(\overline M) \xrightarrow {\cong } (\overline M / I_+ \otimes _{k} \overline k) ^{\varphi _h =1}$ of $G_K$-representations. Finally, we have to check that $\overline M /I_+ \simeq {\rm Frob}^* V$ as $\varphi$-modules. Indeed, ${\rm Frob}^* V \to {\rm Frob}^* V \otimes _k S_1[u ^p]/ I_+S= \overline M / I_+$ via $x \mapsto a_0 (x \otimes 1)$ is the required isomorphism of $\varphi$-modules.
5.4 Fontaine–Laffaille and Breuil modules
In this subsection we assume $e=1$. For simplicity we pick the uniformizer $p$, but all results in this subsection hold true with any other uniformizer. We shall compare the two approaches to understanding étale cohomology, as a Galois representation, from linear algebraic data on certain crystalline cohomologies, which are due to Fontaine, Messing and Kato, and to Breuil and Caruso.
First we need a reminder of the filtered comparison between the derived de Rham cohomology and crystalline cohomology (see [Reference Li and LiuLL20, Theorem 4.1] and references therein).
Remark 5.21 Let $\mathcal {X}$ be a smooth $p$-adic formal scheme over $\operatorname {Spf}(W)$. We have filtered isomorphisms
and
In classical references by Fontaine and Messing, Kato, and Breuil and Caruso, they considered the right-hand-side objects of the above isomorphisms. However, we will be thinking about the derived de Rham side, as it is compatible with various techniques developed by Bhatt, Morrow and Scholze and by Bhatt and Scholze.
For the remainder of this subsection we let $\mathcal {X}$ be a quasi-compact quasi-separated $p$-adic formal scheme over $\operatorname {Spf}(W)$. At the derived level, we have the following comparisons.
Proposition 5.22 Consider the diagram
For any $n \in \mathbb {Z} \cup \{\infty \}$, we have the following assertions.
(1) The canonical maps of $p$-complete cotangent complexes $\mathbb {L}^{\wedge }_{\mathcal {X}/W} \to \mathbb {L}^{\wedge }_{\mathcal {X}/{\mathfrak {S}}}$ (from the right triangle) and $\mathbb {L}^{\wedge }_{W/{\mathfrak {S}}} \to \mathbb {L}^{\wedge }_{\mathcal {X}/{\mathfrak {S}}}$ (from the left triangle) induce an isomorphism
\[ \mathbb{L}^{\wedge}_{\mathcal{X}/W}/p^n \oplus \big(\mathbb{L}^{\wedge}_{W/{\mathfrak{S}}} \hat{\otimes}_{W} \mathcal{O}_{\mathcal{X}}\big)/p^n \xrightarrow{\cong} \mathbb{L}^{\wedge}_{\mathcal{X}/{\mathfrak{S}}}/p^n, \]functorial in $\mathcal {X}/W$.(2) The canonical filtered maps of $p$-complete de Rham complexes $\operatorname {dR}^{\wedge }_{\mathcal {X}/W} \to \operatorname {dR}^{\wedge }_{\mathcal {X}/{\mathfrak {S}}}$ (from the right triangle) and $\operatorname {dR}^{\wedge }_{W/{\mathfrak {S}}} \to \operatorname {dR}^{\wedge }_{\mathcal {X}/{\mathfrak {S}}}$ (from the left triangle) induce a filtered isomorphism
\[ \big(\!\operatorname{dR}^{\wedge}_{\mathcal{X}/W} \hat{\otimes}_{W} \operatorname{dR}^{\wedge}_{W/{\mathfrak{S}}}\!\big)/p^n \xrightarrow{\cong} \operatorname{dR}^{\wedge}_{\mathcal{X}/{\mathfrak{S}}}/p^n, \]functorial in $\mathcal {X}/W$.(3) Moreover, the identification in (2) is compatible with divided Frobenii $\varphi _j$ on the $j$th filtration of both sides for any $j \leq p-1$.
In case readers are worried that we do not put any smoothness assumption on $\mathcal {X}$, just notice that both sides of these equalities are left Kan extended from smooth $\mathcal {X}$s, therefore it suffices to prove these statements for smooth affine $\mathcal {X}$s. That said, we will prove the statement without the smoothness assumption as the proof just works in this generality.
Proof. The finitary $n$ cases follow from the case of $n = \infty$. Henceforth, we assume $n = \infty$.
(1) This follows from the exact triangle of cotangent complexes associated with a triangle of morphisms.
(2) Let $\mathcal {X}_{{\mathfrak {S}}} := \mathcal {X} \times _{\operatorname {Spf}(W)} \operatorname {Spf}({\mathfrak {S}})$ be the base change. Then we have $\mathcal {X} \cong \mathcal {X}_{{\mathfrak {S}}} \times _{\operatorname {Spf}({\mathfrak {S}})} {\operatorname {Spf}(W)}$. These objects fit in a commutative diagram:
Using the Künneth formula for the derived de Rham complex, we obtain a filtered isomorphism:
The base change formula for the derived de Rham complex gives us a filtered isomorphism:
In both filtered isomorphisms above we put the derived Hodge filtration on the derived de Rham complex, and a trivial filtration on the coefficient ring $W$ and ${\mathfrak {S}}$. Combining these two filtered isomorphisms gives our desired filtered isomorphism.
(3) This follows from the fact that the two maps in (2) are compatible with divided Frobenii.
Remark 5.23 Since ${\mathfrak {S}} \xrightarrow {u \mapsto p} W$ is a complete intersection, the $p$-adic derived de Rham complex $\operatorname {dR}^{\wedge }_{W/{\mathfrak {S}}} \cong S$ is given by Breuil's ring $S$ with the Hodge filtration given by divided powers of $(u-p)$ and the usual Frobenius $u \mapsto u^p$. Similarly, the mod $p^n$ derived de Rham complex is $S/p^n$ with the induced filtration. This is because the rings $S$ and $S/\mathcal {I}^{[j]}$ are all $p$-torsion-free for any $j \in \mathbb {N}$.
To obtain consequences at the level of cohomology groups, we need the following abstract lemma.
Lemma 5.24 Let $\mathcal {C}$ be a stable $\infty$-category. Let $F \colon \mathbb {N}^{\mathrm {op}} \times \mathbb {N}^{\mathrm {op}} \to \mathcal {C}$ be a simplicial diagram of simplicial sets. Then, for any $0 < m \leq n$, we have a pushout diagram
In particular, the two inclusions $F(i,j) \to F(i-1, j)$ and $F(i,j) \to F(i, j-1)$ give rise to a pushout diagram:
Proof. The second statement follows from repeatedly applying the first statement and observing that
as $(0,n)$ is the final object in $\{(i,j) \geq (0,n)\} \subset \mathbb {N}^{\mathrm {op}} \times \mathbb {N}^{\mathrm {op}}$. The first statement follows from [Reference LurieLur09, Proposition 4.4.2.2]: applying the statement to
yields the desired pushout diagram.
Combining the previous two general statements yield the following corollary.
Corollary 5.25 Let $\mathcal {I}^{[\bullet ]} \subset S$ be the filtration given by divided powers of $(u-p)$. The natural maps, for any $q + j \geq m$,
give rise to an exact triangle
for any $\ell \in \mathbb {Z}$ and any $n \in \mathbb {Z} \cup \{\infty \}$.
Proof. The filtration comparison (Proposition 5.22(2)) shows the right-hand side is given by the $\ell$th Day convolution filtration on $\mathrm {R\Gamma }(\mathcal {X}, \operatorname {dR}^{\wedge }_{-/{\mathfrak {S}}})/p^n \hat {\otimes }_{W_n} \operatorname {dR}^{\wedge }_{W/{\mathfrak {S}}}/p^n$. Here the filtered ring $\operatorname {dR}^{\wedge }_{W/{\mathfrak {S}}}/p^n$ is given by $(S/p^n, \mathcal {I}^{[\bullet ]})/p^n$ (see Remark 5.23). Finally, we apply Lemma 5.24 to conclude the proof.
Theorem 5.26 (cf. [Reference BreuilBre98, p. 559 Remarques.(2)])
For any $j, \ell \in \mathbb {Z}$ and any $n \in \mathbb {Z} \cup \{\infty \}$, use
to filter ${\mathrm {H}}^j(\mathcal {X}, \operatorname {dR}^{\wedge }_{-/{\mathfrak {S}}}/p^n)$, and similarly filter ${\mathrm {H}}^j(\mathcal {X}, \operatorname {dR}^{\wedge }_{-/W}/p^n)$. Then we have a filtered isomorphism
Moreover, it is compatible with the divided Frobenii $\varphi _m$ on the $m$th filtration of both sides for all $m \leq p-1$.
Here again the ring $S/p^n$ is equipped with the divided power ideal filtration. Concretely, we have
as sub-$W_n$-modules inside ${\mathrm {H}}^j(\mathcal {X}, \operatorname {dR}^{\wedge }_{-/{\mathfrak {S}}}/p^n) \hat {\otimes }_{W_n} \big (S/p^n\big ) \xrightarrow {\cong } {\mathrm {H}}^j(\mathcal {X}, \operatorname {dR}^{\wedge }_{-/{\mathfrak {S}}}/p^n)$.
Proof. By Corollary 5.25, it suffices to show that the exact triangle obtained induces a short exact sequence after applying ${\mathrm {H}}^q$. To that end, it suffices to show the map
is injective for any $q,j,\ell,n$. But this follows from the fact that $\big (\mathcal {I}^{[j]}/p^n\big )/\big (\mathcal {I}^{[j+1]}/p^n\big ) \simeq W_n \cdot \gamma _j(u-p)$ is $p$-completely flat over $W_n$. The compatibility with divided Frobenii was checked in Proposition 5.22(3).
We arrive at the following result, already proved by Fontaine and Messing [Reference Fontaine and MessingFM87, Cor. 2.7] and Kato [Reference KatoKato87, II.Proposition 2.5]. In fact they did not need the existence of a lift all the way to $\operatorname {Spf}(W)$.
Corollary 5.27 Let $\mathcal {X}$ be a proper smooth $p$-adic formal scheme over $W$. Let $j \leq p-1$ and $n \in \mathbb {N}$. Then the natural map ${\mathrm {H}} ^j _{\operatorname {crys}} (\mathcal {X}_n /W_n, \mathcal {I}^{[i]}_{\operatorname {crys}}) \to {\mathrm {H}}^j _{\operatorname {crys}}(\mathcal {X}_n/W_n)$ is injective, and the triple
is an object in $\operatorname {FM}_{W(k)}$.
Proof. The injectivity follows from Theorem 4.18(1). The triple tensored up to $S$ is identified with
by Theorem 5.26. We have shown that the map ${\mathrm {H}}^j(\mathcal {X},\operatorname {Fil}^\ell _{{\mathrm {H}}}\operatorname {dR}^{\wedge }_{-/{\mathfrak {S}}}/p^n) \to {\mathrm {H}}^j(\mathcal {X}, \operatorname {dR}^{\wedge }_{-/{\mathfrak {S}}}/p^n)$ is injective, and the divided Frobenius $\varphi _j$ generates the image: for $j \leq p-2$, this was the main result in our previous paper [Reference Li and LiuLL20, Theorem 7.22 and Corollary 7.25]; and for $j = p-1$, use Lemma 5.3 and Corollary 5.8. Using the ‘if’ part of Lemma 2.16, we see that $\big ({\mathrm {H}}^j _{\operatorname {crys}}(\mathcal {X}_n/W_n), {\mathrm {H}} ^j _{\operatorname {crys}} (\mathcal {X}_n /W_n, \mathcal {I}^{[j]}_{\operatorname {crys}}), \varphi _i: {\mathrm {H}} ^j _{\operatorname {crys}} (\mathcal {X}_n /W_n, \mathcal {I}^{[i]}_{\operatorname {crys}}) \to {\mathrm {H}}^j _{\operatorname {crys}}(\mathcal {X}_n/W_n) \big )$ is an object in $\operatorname {FM}_{W(k)}$.
5.5 Comparison to étale cohomology
In this section, we study how the crystalline cohomology ${\mathrm {H}} ^i _{\operatorname {crys}} (\mathcal {X} /S_n)$ compares to the étale cohomology ${\mathrm {H}} ^i_{\operatorname {\acute {e}t}} (\mathcal {X}_{\mathbf {C}}, {\mathbb {Z}}/ p ^n {\mathbb {Z}})$ in the boundary case $e \cdot i = p-1$. We shall freely use the notation and terminology from § 2.
We first treat the case when $e=1$ and $p -1$, in which case Corollary 5.27 shows that
is an object in $\operatorname {FM}_{W(k)}$.
Theorem 5.28 With notation as above, there exists a natural map $\eta \colon {\mathrm {H}} ^{p-1} _{\operatorname {\acute {e}t}} (\mathcal {X}_\mathbf {C}, {\mathbb {Z}}/ p ^n {\mathbb {Z}})(p-1) \to T_{\operatorname {FM}} (M)$ of $G_K$-representations such that:
(1) $\ker (\eta )$ is an unramified representation of $G_K$ killed by $p$;
(2) $\operatorname {coker}(\eta )$ sits in a natural exact sequence $0 \to W \to \operatorname {coker} (\eta )\to W'$, where $W \cong \ker (\eta )$ and $W' \cong \ker (\mathrm {Sp}_n^{p-1})$ is given by the kernel of specialization map in degree $p-1$.
Note that by our Corollary 4.15(3), $\ker (\mathrm {Sp}_n^{p-1})$ is also an unramified $G_K$-representation killed by $p$. The $T_{\operatorname {FM}} (M)$ in the above theorem is what we meant by $\rho ^{p-1}_{n, \mathrm {FL}}$ in Theorem 1.9.
Proof. Let $\mathfrak {M}: = {\mathrm {H}}^{p-1} _{{{\mathbb {\Delta }}}} (\mathcal {X}/ {\mathfrak {S}}_n )$ (note that here we do not have a Frobenius twist) and $\mathcal {M} = {\mathrm {H}}^{p-1}_{\operatorname {crys}} (\mathcal {X}/S_n)$. We have shown that the natural exact sequence (⚁) induces a natural exact sequence in $\operatorname {Mod}_{S, \operatorname {tor}}^{\varphi, p-1 , \nabla }$:
(see Propositions 5.6, 5.7, 5.13 and 5.19 and Corollaries 5.8 and 5.18 for descriptions of the filtrations, Frobenii action, and connections). Furthermore, our Theorem 5.26 says that $\mathcal {M} = \underline {\mathcal {M}}_{\operatorname {FM}} (M)$. Therefore, by left exactness of $T_S$, we have a natural sequence of $G_K$-representations:
On the other hand, we also have natural maps of $G_K$-representations:
The first isomorphism is proved by [Reference Li and LiuLL20, Cor. 7.4, Rem. 7.5]. As explained before Lemma 2.18, the map $\iota \circ \alpha$ is a map compatible with $G_K$-actions if the natural map $f: \mathfrak {M} \otimes _{\mathfrak {S}} A_{\inf }\to \mathcal {M} (\mathfrak {M}) \otimes _S A_{\operatorname {crys}}$ is compatible with $G_K$-actions on the both sides, where the $G_K$-action on $\mathfrak {M} \otimes _{\mathfrak {S}} A_{\inf }$ given by $\mathfrak {M} \otimes _{\mathfrak {S}} A_{\inf }\simeq {\mathrm {H}}^{p-1} _{{\mathbb {\Delta }}} (\mathcal {X}_{\mathcal {O}_\mathbf {C}}/ A_{\inf })$ and the $G_K$-action on $\underline { \mathcal {M}}(\mathfrak {M}) \otimes _S A_{\operatorname {crys}}$ are defined by formula (2.17). To prove that $f$ is compatible with $G_K$-actions, note that the natural map $f': {\mathrm {H}}^{p-1} _{\mathfrak {S}} (\mathcal {X}_{\mathcal {O}_\mathbf {C}}/A_{\inf }) \to {\mathrm {H}}^{p-1}_{\operatorname {crys}} (\mathcal {X}_{\mathcal {O}_\mathbf {C}}/ A_{\operatorname {crys}})$, which is compatible with $G_K$-actions, factors through $f : \mathfrak {M} \otimes _{\mathfrak {S}} A_{\inf }\to \underline { \mathcal {M}} (\mathfrak {M}) \otimes _S A_{\operatorname {crys}}$ by using the inclusion $\underline { \mathcal {M}} (\mathfrak {M}) \subset \mathcal {M}$ and the isomorphism $\beta : \mathcal {M} \otimes _S A_{\operatorname {crys}}\simeq {\mathrm {H}}^{p-1} _{\operatorname {crys}} (\mathcal {X}_{\mathcal {O}_{\mathbf {C}}}/A_{\operatorname {crys}})$. So it suffices to check that $\underline {\mathcal {M}} (\mathfrak {M})\otimes _S A_{\operatorname {crys}}\to \mathcal {M} \otimes _S A_{\operatorname {crys}} \simeq {\mathrm {H}}^{p-1} _{\operatorname {crys}} (\mathcal {X}_{\mathcal {O}_{\mathbf {C}}}/A_{\operatorname {crys}})$ are compatible with $G_K$-actions. The compatibility of first map is due to the fact that $\underline {\mathcal {M}}(\mathfrak {M}) \subset \mathcal {M}$ is stable under $\nabla$ on $\mathcal {M}$ by Corollary 5.18, and the compatibility of the second isomorphism is proved in [Reference Li and LiuLL20, § 5.3]. In summary, we obtain a natural map $\eta : {\mathrm {H}}^{p -1} _{\operatorname {\acute {e}t}} (\mathcal {X}_\mathbf {C}, {\mathbb {Z}}/ p^n {\mathbb {Z}})(p-1)\to T_{\operatorname {FM}} (M)$ of $G_K$-representations.
Now we shall justify the two extra statements concerning kernel and cokernel of $\eta.$ Since $T_S$ is left exact, $\ker (\eta ) \simeq \ker (\iota )$ which is unramified and killed by $p$, thanks to Corollary 2.20.
An easy diagram chase gives us a natural exact sequence:
By Corollary 2.20 we have $\operatorname {coker}(\iota ) \cong \ker (\iota )$. The fact that $T_S (\overline M) \cong \ker (\mathrm {Sp}_n^{p-1})$ follows from Corollary 5.20 and Theorem 4.14.
Remark 5.29 (1) From the proof, we see that the appearance of $\ker (\eta )$ and $V$ is due to the defect of a key functor in integral $p$-adic Hodge theory, and the potential $u$-torsion in the degree $p$ (mod $p^n$) prismatic cohomology of $\mathcal {X}$ is to be blamed for the appearance of $V'$.
(2) It is unclear to us if the whole $\operatorname {coker}(\eta )$ is unramified and/or killed by $p$. It could even very well be the case that the sequence $0 \to W \to \operatorname {coker} (\eta )\to W'$ is split exact (in particular, right exact) as $G_K$-representations. One would need extra input from integral $p$-adic Hodge theory, especially a further study of Breuil and Fontaine–Laffaille modules in the boundary degree case, in order to obtain such refinements.
We now discuss the case where $e>1$ but $h \leq p-2$. We first recall that for $i \leq p -1$, in [Reference Li and LiuLL20, § 5.2] we have shown that $\mathcal {M}^i_n : = ({\mathrm {H}} ^i _{\operatorname {crys}} (\mathcal {X} /S_n), {\mathrm {H}} ^i _{\operatorname {crys}} (\mathcal {X}/ S_n, \mathcal {I} ^{[i]}), \varphi _i)$ is an object in $^\sim \operatorname {Mod}^{\varphi, i}_{S}$. By the discussion before equation (7.24) in [Reference Li and LiuLL20], we get the following exact sequence for $i \leq h \leq p-2$:
Note that the crucial input is [Reference Antieau, Mathew, Morrow and NikolausAMMN22, Theorem F]. Thanks to $A_{\operatorname {crys}, n}$ being flat over $S_n$, we have
In this case, we can still define
The only difference is that the natural map ${\mathrm {H}}^i _{\operatorname {crys}} (\mathcal {X}_n /S_{ n} , \mathcal {I} ^{[i]}_{\operatorname {crys}} ) \to {\mathrm {H}}^i _{\operatorname {crys}} (\mathcal {X}_n /S_{ n} )$ is not expected to be injective without the condition $e \cdot i < p-1$.
Proposition 5.31 With notation as above, we have a functorial isomorphism $T_S (\mathcal {M}_n^i ) \cong {\mathrm {H}}^i_ {\operatorname {\acute {e}t}} (\mathcal {X}_{\mathbf {C}} , {\mathbb {Z}}/ p^n {\mathbb {Z}} (i))$.
Proof. By (5.30), it suffices to show that $\varphi _i-1: {\mathrm {H}} ^ i _{\operatorname {crys}} (\mathcal {X}_n/ A_{\operatorname {crys}, n}, \mathcal {I}_{\operatorname {crys}} ^{[i]}) {\longrightarrow } {\mathrm {H}} ^i _{\operatorname {crys}} (\mathcal {X}_n / A_{\operatorname {crys}, n })$ is surjective for $i < p-2$. Choose an $m$ large enough such that $\varphi _i (\operatorname {Fil}^m S_n)= 0$. So clearly $\varphi _i -1$ restricted to the image of $\operatorname {Fil}^m S \otimes {\mathrm {H}}^i_{\operatorname {crys}} (\mathcal {X}_n / A_{\operatorname {crys} , n})$ is bijective.Footnote 9 Hence, it suffices to show that
is surjective. Now we claim that both sides are finitely generated $W_n(\mathcal {O}_{\mathbf {C}}^\flat )$-modules. Then the surjectivity of $\varphi _i-1$ follows Lemma 5.34 below.
To check that both
and
are finitely generated over $W_n (\mathcal {O}_{\mathbf {C}}^\flat )$, it suffices to check that
and
are finitely generated ${\mathfrak {S}}_n$-modules. This is clear for ${\mathrm {H}}^i_{\operatorname {crys}} (\mathcal {X}_n / S_{ n})/ \operatorname {Fil}^m S\cdot {\mathrm {H}}^i_{\operatorname {crys}} (\mathcal {X}_n / S_{ n})$: it is known that ${\mathrm {H}}^i_{\operatorname {crys}} (\mathcal {X}_n / S_{ n})$ is a finitely generated $S_n$-module (see [Reference Li and LiuLL20, Proposition 7.19]). For ${\mathrm {H}} ^ i _{\operatorname {crys}} (\mathcal {X}_n/ S_n, \mathcal {I}_{\operatorname {crys}} ^{[i]})/ \operatorname {Fil} ^m S\cdot {\mathrm {H}}^i_{\operatorname {crys}} (\mathcal {X}_n / S_n)$, consider the following diagram:
Since ${\mathrm {H}} ^i _ {\mathrm {qSyn}} (\mathcal {X}_n , \operatorname {dR}^\wedge _{\mathcal {X}_n/{\mathfrak {S}}_n} )$ is finitely generated over $S_n$, the image of ${\mathrm {H}} ^ i _{\operatorname {crys}} (\mathcal {X}_n/ S_n, \mathcal {I}_{\operatorname {crys}} ^{[i]})/ \operatorname {Fil} ^m S\cdot {\mathrm {H}}^i_{\operatorname {crys}} (\mathcal {X}_n / S_n)$ inside ${\mathrm {H}}^i_{\operatorname {crys}} (\mathcal {X}_n / S_{ n})/ \operatorname {Fil}^m S\cdot {\mathrm {H}}^i_{\operatorname {crys}} (\mathcal {X}_n / S_{ n})$ is also finitely ${\mathfrak {S}}_n$-generated. Here we have used the fact that $S_n/\operatorname {Fil}^m S_n$ is finitely generated over ${\mathfrak {S}}_n$. Note that $\ker (\beta ')= {\rm Im} (\alpha ')$ is also finitely generated over ${\mathfrak {S}}_n$. So ${\mathrm {H}}^i_{\operatorname {crys}} (\mathcal {X}_n / S_{ n}, \mathcal {I}_{\operatorname {crys}}^{[i]})/ \operatorname {Fil}^m S\cdot {\mathrm {H}}^i_{\operatorname {crys}} (\mathcal {X}_n / S_{ n})$ is finitely ${\mathfrak {S}}_n$-generated.
Lemma 5.32 Let $C^\flat$ be a characteristic $p$ algebraically closed complete non-Archimedean field. Denote its ring of integers by $\mathcal {O}_C^\flat$ with maximal ideal $m^\flat$ and residue field $k^\flat$. Let $M$ and $N$ be two finitely generated $\mathcal {O}_C^\flat$ modules, let $F \colon M \to N$ be a Frobenius semi-linear map, and let $G \colon M \to N$ be a linear map. The following assertions are equivalent.
(1) The map $F-G \colon M \to N$ is surjective.
(2) The cokernel of $F-G \colon M \to N$ is finite.
(3) The induced map $\overline {F-G} \colon M/m^\flat M \to N/m^\flat N$ is surjective.
(4) The cokernel of $\overline {F-G} \colon M/m^\flat M \to N/m^\flat N$ is finite.
Proof. It is clear that $(1) \implies (2) , (3) \implies (4)$. Below we shall show $(4) \implies (1)$.
Without loss of generality we may assume that both $M$ and $N$ are finite free over $\mathcal {O}_C^\flat$. Indeed, let us choose maps from finite free modules, say $P$ and $Q$, to $M$ and $N$ such that these maps are isomorphisms after modulo $m^\flat$. By Nakayama's lemma we see that these maps are surjective. Lift the two maps $F$ and $G$, to get the diagram
By our choice of $P$ and $Q$, condition (4) still holds for the top arrow. Since vertical arrows are surjective, it suffices to show that the top arrow is surjective. Therefore, we may and do assume $M$ and $N$ are finite free.
Let us name the reduction of $M$ and $N$ by $V$ and $W$ which are finite dimensional $k^\flat$-vector spaces, and denote the reduction of $F$ and $G$ by $f$ and $g$. We claim there are exhaustive increasing filtrations $\operatorname {Fil}_i$ with $0 \leq i \leq \ell$ on $V$ and $W$ respectively such that:
• the maps $f$ and $g$ respect these two filtrations;
• the induced $f \colon \operatorname {Fil}_0 V \to \operatorname {Fil}_0 W$ is surjective;
• the induced $f \colon \operatorname {gr}_i V \to \operatorname {gr}_i W$ is $0$ for all $1 \leq i \leq \ell$; and
• the induced $g \colon \operatorname {gr}_i V \to \operatorname {gr}_i W$ is an isomorphism for all $1 \leq i \leq \ell$.
To see the existence of such filtrations, we consider the following process. Notice the image of $f \colon V \to W$ is a $k^\flat$ subspace, and consider the map $g \colon V \to W/\mathrm {Im}(f)$. By the assumption of ${\mathrm {Coker}(f-g)}$ being finite, this map must be surjective, and finally we let
Replace $V$ and $W$ with $\operatorname {Fil}^0 V$ and $\operatorname {Fil}^0 W$ and repeat the above steps. This process terminates when we arrive at $\mathrm {Im}(f) = W$, and it will terminate as each time the dimension of $W$ will drop. This way we get a decreasing filtration, after reversing the indexing order we arrive at the desired increasing filtration.
Choosing a subvector space $V_0 \subset \operatorname {Fil}_0(M/m^\flat M)$ on which $f$ is an isomorphism, and lifting the basis of $\operatorname {gr}_i (M/m^\flat M)$ for $1 \leq i \leq \ell$ and the basis of $V_0$ all the way to elements in $M$, we generate a finite free submodule $\widetilde {M}$. Now we consider the map $\widetilde {M} \to N$.
After choosing bases, we may regard both sides as $\mathcal {O}_C^{\flat }$ points of formal affine space over $\mathcal {O}_C^{\flat }$, and the map $F-G$ can be promoted to an algebraic map $h \colon \operatorname {Spf}(\mathcal {O}_C^{\flat }\langle \underline {X} \rangle ) \to \operatorname {Spf}(\mathcal {O}_C^{\flat }\langle \underline {Y} \rangle )$. Note that by our choice of $\widetilde {M}$, these two formal affine spaces have the same dimension. Our choice of $\widetilde {M}$ guarantees that the reduction of $h$ is finite, due to the next lemma. Therefore, the rigid generic fiber map $h^{\mathrm {rig}}$ is also finite by [Reference Bosch, Güntzer and RemmertBGR84, 6.3.5 Theorem 1], which implies it is flat by miracle flatness [Sta21, Tag 00R4], hence inducing a surjective map at the level of $C^\flat$-points.Footnote 10
The following lemma was used in the proof above. We thank Johan de Jong for providing an elegant proof.
Lemma 5.33 Let $k$ be a field, let $m>1$ be an integer, and let $\big (a_{ij}\big )$ be an $n \times n$ matrix with entries in $k$. Let $\overline {h} \colon \mathbb {A}^n_k \to \mathbb {A}^n_k$ be the morphism given by $\overline {h}^{\sharp }(y_i) = x_i^m + \sum _j a_{i,j} x_j$. Then $\overline {h}$ is a finite morphism.
Proof. This map can be compactified to a morphism between $\mathbb {P}^n_k$ preserving the infinity hyperplane. When restricted to the infinity hyperplane, the map becomes $[x_1 \colon \cdots \colon x_n] \mapsto [x_1^m \colon \cdots \colon x_n^m]$, which is non-constant. Finally, observe that any endomorphism of $\mathbb {P}^n_k$ is either finite or constant.
Here we have crucially used the algebraic closedness of $\mathcal {O}_C^\flat$. Below is an example suggested to us by Johan de Jong illustrating the failure of $(4) \implies (3)$ when one drops the algebraically closed assumption. Starting with the field $L_0 = \mathbb {F}_p(t^{1/p^\infty })$ and picking a basis of ${\mathrm {H}}^1_{\operatorname {\acute {e}t}}(L_0, \mathbb {F}_p)$, we may find an (enormous!) Galois pro-$p$ infinite field extension $L_1$ such that the induced map on ${\mathrm {H}}^1_{\operatorname {\acute {e}t}}(-, \mathbb {F}_p)$ kills every basis vector except the first. Repeating this process, we arrive at a perfect field $L$ such that ${\mathrm {H}}^1_{\operatorname {\acute {e}t}}(L, \mathbb {F}_p)$ is one -dimensional over $\mathbb {F}_p$.
From the above we immediately obtain the following lemma.
Lemma 5.34 Let $M$ and $N$ be two finitely generated $A_{\inf }$ modules. Let $F \colon M \to N$ be a Frobenius linear map and $G \colon M \to N$ be a linear map. Then the cokernel of $F-G$ (which is a $\mathbb {Z}_p$-linear map) is finitely generated over $\mathbb {Z}_p$ if and only if it is $0$.
Proof. The ‘if’ part is trivial. For the ‘only if’ part, using right exactness of tensors and Lemma 5.32, we conclude that the cokernel is zero after modulo $p$. Now since a finitely generated $\mathbb {Z}_p$ module is $0$ if and only if its reduction modulo $p$ is so, we get that the cokernel is zero.
6. An example
Inspired by the example in [Reference Bhatt, Morrow and ScholzeBMS18, § 2.1], let us work out a direct generalization of their example (as suggested in [Reference Bhatt, Morrow and ScholzeBMS18, Remark 1.3]) in this subsection. This example answers a question of Breuil [Reference BreuilBre02, Question 4.1] negatively.
Fix a positive integer $n$.Footnote 11 Let $\mathcal {E}_0$ be an ordinary elliptic curve over an algebraically closed field $k$ of characteristic $p > 0$. Let $\mathcal {E}$ over $\operatorname {Spec}(W(k))$ be a lift. By the theory of canonical subgroups (see [Reference KatzKatz73, § 3.4]), we have a closed immersion $\mu _{p^n} \subset \mathcal {E}[p^n]$ of finite flat group schemes over $\operatorname {Spec}(W(k))$. Let $\mathcal {O}_K := W(k)[\zeta _{p^n}]$ and choose $\zeta _{p^n} - 1$ to be the uniformizer in order to get ${\mathfrak {S}} \twoheadrightarrow \mathcal {O}_K$. To avoid confusion let us denote its Eisenstein polynomial by
On $\operatorname {Spec}(\mathcal {O}_K\!)$ we have the canonical group scheme homomorphism $\mathbb {Z}/p^n \to \mu _{p^n}$.
Construction 6.1 Let $\mathcal {X} := [\mathcal {E}/(\mathbb {Z}/p^n)]$, a Deligne–Mumford stack which is smooth proper over $\operatorname {Spec}(\mathcal {O}_K\!)$. Here the action of $\mathbb {Z}/p^n$ on $\mathcal {E}$ is via $\mu _{p^n}$. The generic fiber of $\mathcal {X}$ is the elliptic curve $\mathcal {E}_K/\mu _{p^n}$ and the special fiber is $\mathcal {E}_0 \times B(\mathbb {Z}/p^n)$. We have a factorization
We want to understand the various cohomology theories of $\mathcal {X}$, but first we need a remark on how these cohomology theories (originally defined for schemes or formal schemes over $\mathcal {O}_K\!$) can be made meaningful for $\mathcal {X}$.
Remark 6.2 (cf. [Reference LiLi22, Remark 4.9])
We may regard $\mathcal {X}$ as a sheaf valued in groupoids on the big étale site of $\mathcal {O}_K$. Then for any étale sheaf $\mathcal {F}$, it makes sense to talk about $\mathcal {F}(\mathcal {X})$. In fact, following [Reference Antieau, Bhatt and MathewABM21, Construction 2.7], the above can be generalized to any syntomic sheaf (all sheaves considered in this paper are quasi-syntomic sheaves) and any syntomic stack (such as our $\mathcal {X}$ here). Just as in [Reference Antieau, Bhatt and MathewABM21] we can use the cover $\mathcal {E} \to \mathcal {X}$ to get the Leray spectral sequence, that is, the cohomologies of $m$-fold self-products of $\mathcal {E}$ over $\mathcal {X}$ converge to cohomologies of $\mathcal {X}$. Since the cover is a $\mathbb {Z}/p^n$-torsor, the above spectral sequence becomes the usual Hochschild–Serre spectral sequence, that is, we can use the group cohomology of $\mathbb {Z}/p^n$ with coefficients being cohomologies of $\mathcal {E}$ to compute cohomologies of $\mathcal {X}$. For an even more general treatment concerning higher stacks (see [Reference Kubrak and PrikhodkoKP21, § 2]).
Let us first record the structure of the prismatic cohomology of $\mathcal {E}_{\mathcal {O}_K}$ relative to ${\mathfrak {S}}$. We need the following lemma explicating the Frobenius operator on the $(-1)$ Breuil–Kisin twist ${\mathfrak {S}}\{-1\}$ (see [Reference Bhatt and LurieBL22, § 2.2]).
Lemma 6.3 The Frobenius module ${\mathfrak {S}}\{-1\}$ has a generator $x$ such that
Proof. We know that modulo $u$ the Breuil–Kisin prism ${\mathfrak {S}}$ reduces to crystalline prism, whose $(-1)$-twist has a canonical generator $\overline {x}$ satisfying $\varphi (\overline {x}) = p \cdot \overline {x}$. Lifting this generator, we see that there is a generator $x'$ of ${\mathfrak {S}}\{-1\}$ such that $\varphi (x') = a \cdot x'$ with $a \equiv p$ mod $u$. On the other hand, we know $a$ is necessarily $E(u) \cdot \text {unit}$, due to [Reference Bhatt and LurieBL22, Construction 2.2.14]. Therefore, we see that $a = E(u) \cdot {p}/{E(0)} \cdot v'$ where $v' \in {\mathfrak {S}}^{\times }$ and reduces to $1$ mod $u$. It is a simple exercise to verify that $v'$ is of the form $\varphi (v)/v$ for some unit $v \in {\mathfrak {S}}^{\times }$ satisfying $v \equiv 1$ mod $u$ as well. Finally, $x = x'/v$ is our desired generator.
In our concrete situation, the Eisenstein polynomial $d$ of $\zeta _{p^n} - 1$ has constant term $p$. Therefore, our ${\mathfrak {S}}\{-1\}$ has a generator $x$ such that $\varphi (x) = d \cdot x$.
Proposition 6.4 We have an isomorphism of Frobenius modules over ${\mathfrak {S}}$:
(1) ${\mathrm {H}}^0_{{{\mathbb {\Delta }}}}(\mathcal {E}_{\mathcal {O}_K}/{\mathfrak {S}}) \cong {\mathfrak {S}}$;
(2) ${\mathrm {H}}^2_{{{\mathbb {\Delta }}}}(\mathcal {E}_{\mathcal {O}_K}/{\mathfrak {S}}) \cong {\mathfrak {S}}\{-1\}$; and
(3) ${\mathrm {H}}^1_{{{\mathbb {\Delta }}}}(\mathcal {E}_{\mathcal {O}_K}/{\mathfrak {S}}) \simeq {\mathfrak {S}} \cdot \{e_1, e_2\}$ with its Frobenius action given by $\varphi (e_1) = e_1, \text { and } \varphi (e_2) = a \cdot e_1 + d \cdot e_2$ for some $a \in {\mathfrak {S}}$.
Proof. It is well known that an elliptic curve has torsion-free crystalline cohomology. Therefore, by Remark 3.9, we know all these prismatic cohomology groups are finite free ${\mathfrak {S}}$-modules.
The map $\mathcal {X} \to \operatorname {Spf}({\mathfrak {S}}/d)$ always induces an isomorphism on ${\mathrm {H}}^0_{{{\mathbb {\Delta }}}}$ by Hodge–Tate comparison; this proves the first identification.
The second identification is well known. For instance, the relative prismatic Chern class [Reference Bhatt and LurieBL22, § 7.5] of (the line bundle associated with) the origin $0 \in \mathcal {E}_{\mathcal {O}_K}({\mathcal {O}_K})$ gives a map $c \colon {\mathfrak {S}}\{-1\} \to {\mathrm {H}}^2_{{{\mathbb {\Delta }}}}(\mathcal {E}_{\mathcal {O}_K}/{\mathfrak {S}})$. Reducing mod $u$, this reduces to the first Chern class map in the crystalline cohomology which is well known to be an isomorphism. Since both source and target are finite free ${\mathfrak {S}}$-module, the map $c$ is an isomorphism.
The cup product gives rise to a map of finite free Frobenius ${\mathfrak {S}}$-modules: $\bigwedge ^2_{{\mathfrak {S}}} {\mathrm {H}}^1_{{{\mathbb {\Delta }}}}(\mathcal {E}_{\mathcal {O}_K}/{\mathfrak {S}}) \to {\mathrm {H}}^2_{{{\mathbb {\Delta }}}}(\mathcal {E}_{\mathcal {O}_K}/{\mathfrak {S}})$. Modulo $u$ this map reduces to the analogous map in the crystalline cohomology which is again well known to be an isomorphism, hence it is an isomorphism before mod $u$. Therefore, it suffices to justify the existence of $e_1$. Since $\varphi (u) = u^p$, we see that
Now we may use the crystalline comparison ${\mathrm {H}}^1_{{{\mathbb {\Delta }}}}(\mathcal {E}_{\mathcal {O}_K}/{\mathfrak {S}})/u \cong {\mathrm {H}}^1_{\operatorname {crys}}(\mathcal {E}_0/W)^{(-1)}$ and the fact that $\mathcal {E}_0$ is ordinary to conclude the existence of $e_1$.
Next let us compute the prismatic cohomology ${\mathrm {H}}^{*}_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}})$. We consider the Leray spectral sequence
which is compatible with Frobenius actions. In order to understand the $E_2$ terms, we need the following lemma.
Lemma 6.5 The action of $\mathbb {Z}/p^n$ on ${\mathrm {H}}^j_{{{\mathbb {\Delta }}}}(\mathcal {E}_{\mathcal {O}_K}/{\mathfrak {S}})$ is trivial.
Proof. Let us use the $p$-completely flat base change ${\mathfrak {S}} \hookrightarrow W(C^{\flat })$. Since our prismatic cohomologies, as ${\mathfrak {S}}$-modules, are free, we get injections ${\mathrm {H}}^j_{{{\mathbb {\Delta }}}}(\mathcal {E}_{\mathcal {O}_K}/{\mathfrak {S}}) \hookrightarrow {\mathrm {H}}^j_{{{\mathbb {\Delta }}}}(\mathcal {E}_{\mathcal {O}_K}/{\mathfrak {S}}) \otimes _{{\mathfrak {S}}} W(C^{\flat })$ compatible with the $\mathbb {Z}/p^n$-action. Using the étale comparison [Reference Bhatt, Morrow and ScholzeBMS18, Theorem 1.8.(iv)], the target is canonically identified with ${\mathrm {H}}^j_{\operatorname {\acute {e}t}}(\mathcal {E}_C, \mathbb {Z}_p) \otimes _{\mathbb {Z}_p} W(C^{\flat })$. We conclude that the $\mathbb {Z}/p^n$-action on the target is trivial by comparison to the topological situation.
Therefore, the second page, which is the starting page, of the above spectral sequence is as follows:
Of interest to us is the differential
Using the multiplicative structure of the spectral sequence, this arrow determines the rest of the arrows; by degree reason the spectral sequence degenerates on the third page $E_3^{i,j} = E_{\infty }^{i,j}$.
Lemma 6.6 The differential $d_2$ is divisible by $u$. In other words, it is zero after reduction modulo $u$.
Proof. Let us consider the reduction modulo $u$ of the spectral sequence (⚃), which computes the crystalline cohomology of $\mathcal {X}/W$ by the crystalline comparison. Using the fact that ${\mathrm {H}}^2_{\operatorname {crys}}(B(\mathbb {Z}/p^n)/W) \cong W/p^n$ (see, for instance, [Reference MondalMon21, Theorem 1.2]), we see that $d_2$ modulo $u$ must be zero.
Lemma 6.7 We have $d_2(e_1) = 0$.
Proof. This is because $d_2$ is Frobenius equivariant. Now Proposition 6.4(3) implies $e_1 \in {\mathrm {H}}^1_{{{\mathbb {\Delta }}}}(\mathcal {E}_{\mathcal {O}_K}/{\mathfrak {S}})$ is fixed by Frobenius, yet Lemma 6.6 says its image under $d_2$ is divisible by $u$. So its image is divisible by arbitrary powers of $u$, hence must be zero.
Lemma 6.8 After scaling $e_2$ by a unit in $\mathbb {Z}_p^{\times }$ we have $d_2(e_2) = (u+1)^{p^{n-1}} - 1$.
Proof. Note that $\varphi (e_2) \equiv d \cdot e_2$ (modulo $e_1$) by Proposition 6.4(3), so Lemma 6.7 implies that $d_2(e_2) \in {\mathfrak {S}}/p^n$ must satisfy the same Frobenius eigenclass condition. The next lemma guarantees that $d_2(e_2) = b \cdot ((u+1)^{p^{n-1}} - 1)$ for some $b \in \mathbb {Z}/p^n$. Étale comparison for prismatic cohomology says that base-changing the spectral sequence (⚃) along ${\mathfrak {S}} \hookrightarrow W(C^{\flat })$ gives a spectral sequence computing the étale cohomology of $\mathcal {X}_C$ (base-changed along $\mathbb {Z}_p \hookrightarrow W(C^{\flat })$). Since $\mathcal {X}_C$ is an elliptic curve, its second étale cohomology has no torsion, hence the base-changed $d_2$ must be surjective. In particular, we see that $b \not \in p \cdot \mathbb {Z}/p^n$, hence $b$ must be a unit in $(\mathbb {Z}/p^n)^{\times }$.
In the proof above, we have utilized the following lemma.
Lemma 6.9 For any $m \leq n$, we have an exact sequence
Proof. First of all, let us check that $(u+1)^{p^{n-1}} - 1$ does satisfy the Frobenius action condition. Recalling that
it suffices to know that $(u+1)^{p^n} \equiv (u^p+1)^{p^{n-1}}$ modulo $p^n$. When $n = 1$ this is well known; induction on $n$ proves the statement.
Next we verify this exact sequence for $m = 1$. In that situation ${\mathfrak {S}}/p \cong k[\![u]\!]$, and the Frobenius condition becomes $f^p = u^{p^{n-1}(p-1)} \cdot f$. One immediately verifies that $f \in \mathbb {F}_p \cdot u^{p^{n-1}}$.
Finally, we finish the proof by induction on $m$ and applying the snake lemma to the following diagram:
Notice that we have verified that the kernel of the middle vertical arrow surjects onto the kernel of the right vertical arrow, thanks to the previous two paragraphs. The snake lemma tells us that the kernel of the middle vertical arrow has length $m+1$, but we also know that $\mathbb {Z}/p^{m+1} \cdot \big ((u+1)^{p^{n-1}} - 1\big )$ sits inside the kernel.
From now on let us scale $e_2$ by the $p$-adic unit such that $d_2(e_2) = (u+1)^{p^{n-1}} - 1$. Using the multiplicativity of the spectral sequence (⚃), we can compute the prismatic cohomology of $\mathcal {X}$. Let us record the result below.
Corollary 6.10 The prismatic cohomology ring of $\mathcal {X}/{\mathfrak {S}}$ is
where $e$ and $f$ have degree $1$ and are pulled back to $e_1$ and $p^n \cdot e_2$ respectively inside ${\mathrm {H}}^1_{{{\mathbb {\Delta }}}}(\mathcal {E}_{\mathcal {O}_K}/{\mathfrak {S}})$, and $g$ has degree $2$, being the generator of $E_3^{2,0} = E_{\infty }^{2,0}$. Moreover, the Frobenius action is given by
In particular, we see that
and
for all $\ell \geq 3$ generated by either $g^{\ell /2}$ or $e \cdot g^{(\ell - 1)/2}$ depending on the parity of $\ell$.
Here $a'$ is a $p$-adic unit (which we used to scale $e_2$) times the constant $a$ from Proposition 6.4(3). We remark that $g$ can be taken as a generator of the group cohomology ${\mathrm {H}}^2(\mathbb {Z}/p^n, \mathbb {Z}_p)$.
Later on we will produce a schematic example using approximations of $B(\mathbb {Z}/p^n)$, but before that let us observe that our stacky example matches some predictions made in the following remark.
Remark 6.11 The discussion in § 4.1 extends to smooth proper Deligne–Mumford stacks, such as our $\mathcal {X}$. Since the generic fiber of $\mathcal {X}$ is $\big (\mathcal {E}/\mu _{p^n}\big )_K$, the map $g \colon \mathcal {X} \to \hbox{N}\unicode{x00E9}\hbox{ron model of } \mathcal {X}_K$ becomes the natural map $[\mathcal {E}/(\mathbb {Z}/p^n)] \to \mathcal {E}/\mu _{p^n}$. Taking the special fiber and factoring through $\mathrm {Alb}(\mathcal {X}_0) = \mathcal {E}_0$, we see the map $f$ becomes the natural quotient map $\mathcal {E}_0 \to \mathcal {E}_0/\mu _{p^n}$ which has kernel $\mu _{p^n}$. Note that when $n = 1$, we have $e = p-1$, and our Corollary 4.6(3) indeed predicts that $\ker (f)$ can be at worst a form of several copies of $\mu _p$.
Since $\mathcal {X}_0 \cong \mathcal {E}_0 \times B(\mathbb {Z}/p^n)$, we know its $\pi _1$ is abelian with torsion given by $\mathbb {Z}/p^n$. Consequently, the torsion part in ${\mathrm {H}}^2_{\operatorname {\acute {e}t}}(\mathcal {X}_0, \mathbb {Z}_p)$ is also given by $\mathbb {Z}/p^n$. Since $\mathcal {X}_C$ is an elliptic curve, its étale cohomology is torsion-free. Hence, the specialization map in degree $2$ for $p$-adic étale cohomology has kernel given by $\mathbb {Z}/p^n$. This matches up with what Theorem 4.14 predicts. Indeed, since $\varphi (g) = g$, we see that
Here in the second identification we have used the fact that $u$ divides $(u+1)^{p^{n-1}} - 1$.
The above stacky example can be turned into a scheme example, by the procedure of approximation explained below.
Construction 6.12 Choose a representation $V$ of $\mathbb {Z}/p^n$ over $\mathbb {Z}_p$, such that inside $\mathbb {P}(V)$ one can find a $\mathbb {Z}/p^n$-stable complete intersection $3$-fold $\mathcal {Y}$ with no fixed point and smooth proper over $\mathbb {Z}_p$ (see [Reference Bhatt, Morrow and ScholzeBMS18, 2.7–2.9]). We now form $\mathcal {Z} := (\mathcal {E} \times _{\mathbb {Z}_p} \mathcal {Y})_{\mathcal {O}_K}/(\mathbb {Z}/p^n)$, which is a smooth proper relative $4$-fold over $\mathcal {O}_K$. Here the action of $\mathbb {Z}/p^n$ is the diagonal action.
Let us show that the prismatic cohomology of $\mathcal {Z}/{\mathfrak {S}}$ approximates that of $\mathcal {X}/{\mathfrak {S}}$ in degrees $\leq 2$ in a suitable sense.
Proposition 6.13 The natural $\mathbb {Z}/p^n$-equivariant projection $(\mathcal {E} \times _{\mathbb {Z}_p} \mathcal {Y})_{\mathcal {O}_K} \to \mathcal {E}_{\mathcal {O}_K}$ gives rise to a map $\mathcal {Z} \to \mathcal {X}$, which induces isomorphisms
Together with the similarly defined map $\mathcal {Z} \to \mathcal {Y}_{\mathcal {O}_K}/(\mathbb {Z}/p^n)$, we have
Proof. We want to apply the Leray spectral sequence to the finite étale cover $(\mathcal {E} \times _{\mathbb {Z}_p} \mathcal {Y})_{\mathcal {O}_K} \to \mathcal {Z}$.
First we claim the natural embedding $\mathcal {Y}_{\mathcal {O}_K} \to \mathbb {P}(V)_{\mathcal {O}_K}$ induces an isomorphism of prismatic cohomology in degrees $\leq 2$. It suffices to show the same for the Hodge–Tate cohomology, which in turn reduces us to showing it for the Hodge cohomology. This follows from $\mathcal {Y}$ being a smooth complete intersection inside $\mathbb {P}(V)$ (see [Reference Antieau, Bhatt and MathewABM21, Proposition 5.3]). Finally, it is well known that ${\mathrm {H}}^2_{{{\mathbb {\Delta }}}}(\mathbb {P}(V)_{\mathcal {O}_K}/{\mathfrak {S}}) \cong {\mathfrak {S}}\{-1\}$ (see, for instance, [Reference Bhatt and LurieBL22, 10.1.6]).
Since ${\mathrm {H}}^1_{{{\mathbb {\Delta }}}}(\mathcal {Y}_{\mathcal {O}_K}/{\mathfrak {S}}) = 0$, the Leray spectral sequence in degrees $\leq 2$ is the direct sum of the spectral sequences for $\mathcal {X}$ and $\mathcal {Y}/(\mathbb {Z}/p^n)$, respectively. This gives the statement for cohomological degrees $\leq 1$. Looking at the shape of the Leray spectral sequence for $\mathcal {Y}/(\mathbb {Z}/p^n)$, one easily sees that the $E_2^{0,2}$ term
survives, hence proving the statement in cohomological degree $2$.
Remark 6.14 (1) Since ${\mathrm {H}}^2_{{{\mathbb {\Delta }}}}(\mathcal {X}/{\mathfrak {S}}) \oplus {\mathfrak {S}}\{-1\} \cong {\mathrm {H}}^2_{{{\mathbb {\Delta }}}}(\mathcal {Z}/{\mathfrak {S}})$ we know that ${\mathrm {H}}^2_{{{\mathbb {\Delta }}}}(\mathcal {Z}/{\mathfrak {S}})[u^\infty ] \cong {\mathfrak {S}}/((u+1)^{p^{n-1}} - 1, p^n)$. In particular, its annihilator ideal is $((u+1)^{p^{n-1}} - 1, p^n) \in {\mathfrak {S}}$, congruent to $(u^{p^{n-1}})$ modulo $(p)$. The ramification index is $p^{n-1}(p-1)$, hence these examples demonstrate that the bound in Corollary 3.4 is sharp.
(2) Now assume $p \geq 3$; then $p-2+1 \geq 2$. Our previous result [Reference Li and LiuLL20, Theorem 7.22] together with the fact that ${\mathrm {H}}^2_{{{\mathbb {\Delta }}}}(\mathcal {Z}/{\mathfrak {S}})$ contains $u$-torsion implies that Breuil's first crystalline cohomology of $\mathcal {Z}$, with mod $p^m$ coefficient for any $m$, together with Frobenius action and filtration is not a Breuil module. When $n = 1$, we have $e = p-1$, which shows that our result [Reference Li and LiuLL20, Corollary 7.25] is sharp. Below we shall see that the first crystalline cohomology cannot even support a strongly divisible lattice structure because it is torsion-free but not free.
(3) The same reasoning as in Remark 6.11 shows that the map $f \colon \mathrm {Alb}(\mathcal {Z}_0) \to \mathrm {Alb}(\mathcal {Z})_0$ is given by the quotient map $\mathcal {E}_0 \to \mathcal {E}_0/\mu _{p^n}$.
(4) The special fiber $\mathcal {Z}_0 = \mathcal {E}_0 \times (\mathcal {Y}_0/(\mathbb {Z}/p^n))$ has abelian $\pi _1$, with its torsion part being $\mathbb {Z}/p^n$. Here we used the fact that complete intersections of dimension $\geq 3$ are simply connected (see [Sta21, Tag 0ELE]). On the other hand, the same argument as in [Reference Bhatt, Morrow and ScholzeBMS18, proof of Proposition 2.2(i)] shows that $\pi _1(\mathcal {Z}_C) \cong \widehat {\mathbb {Z}}^{\oplus 2}$. Hence, we see again the specialization map ${\mathrm {H}}^2_{\operatorname {\acute {e}t}}(\mathcal {Z}_0) \to {\mathrm {H}}^2_{\operatorname {\acute {e}t}}(\mathcal {Z}_C)$ has kernel given by $\mathbb {Z}/p^n$ (cf. [Reference Bhatt, Morrow and ScholzeBMS18, Remarks 2.3–2.4]).
In fact it was the desire to find examples with non-trivial kernel under specialization, together with inspiring discussions with Bhatt and Petrov separately, that lead us to analyze and generalize the example in [Reference Bhatt, Morrow and ScholzeBMS18, § 2.1]. The Enriques surface used there turns out to be something of a red herring; the actual purpose it serves is just as an approximation of the classifying stack of $\mathbb {Z}/2$, like our $(\mathcal {Y}/(\mathbb {Z}/p^n))$ here.
Finally, let us explain why our example negates a prediction of Breuil [Reference BreuilBre02, Question 4.1]. Let $S$ denote the $p$-adic PD envelope of ${\mathfrak {S}} \twoheadrightarrow \mathcal {O}_K$.
Proposition 6.15 There is an exact sequence
where $d_2(e_1) = 0$ and $d_2(e_2) = (u+1)^{p^n} - 1$. In particular, ${\mathrm {H}}^1_{\operatorname {crys}}(\mathcal {Z}/S)$ is torsion-free of rank $2$ but not free unless $(n,p) = (1,2)$.
Proof. In Proposition 6.13 we see that the map $\mathcal {Z} \to \mathcal {X}$ induces isomorphism in the degree $1$ prismatic cohomology and $u^\infty$-torsion in the degree $2$ prismatic cohomology. The comparison between prismatic and crystalline cohomology [Reference Li and LiuLL20, Theorem 1.5] (see also [Reference Bhatt and ScholzeBS22, Theorem 5.2]) tells us that ${\mathrm {H}}^1_{\operatorname {crys}}(\mathcal {X}/S) \xrightarrow {\cong } {\mathrm {H}}^1_{\operatorname {crys}}(\mathcal {Z}/S)$. The same comparison result implies that after applying $-\otimes _{{\mathfrak {S}}} \varphi _*S$ to the spectral sequence (⚃), one calculates the crystalline cohomology of $\mathcal {Z}/S$. Therefore, the first statement follows from Lemmas 6.7 and 6.8. Note that $\varphi \big ((u+1)^{p^{n-1}} - 1\big ) \equiv (u+1)^{p^n} - 1$ modulo $p^n$.
To see the second assertion, note that ${\mathrm {H}}^1_{\operatorname {crys}}(\mathcal {Z}/S) \cong S \cdot e_1 \oplus J \cdot e_2$ where $J$ is the ideal
If $J$ were free, then it would be generated by a particular such element, denoted below by $g$. Let $g= \sum _{i = 0}^\infty a_i ({u^i}/{e(i)!})$ with $a_i \in W(k)$ approaching $0$ and $e(i) = \lfloor {i}/{e} \rfloor$ where $e = p^{n-1}\cdot (p-1)$; note that every element in $S$ can be uniquely expressed in this form. Since $p^n$ trivially lies in $J$, it must also be divisible by this $g$. Therefore, there exists $h_1\in S$ such that $g h_1 = p^{n}$. Write $q_n = (u +1)^{p ^n}-1$.
Claim 6.16 $a_0$ is non-zero and divisible by $p$.
Proof. The fact that $a_0$ is non-zero follows from $g h_1 = p ^{n}$. If $a_0$ is a unit in $W(k)$ then $g \in S^\times$ is a unit, which implies $q_n \in p^n S$. But this is equivalent to $n =1$ and $p =2$.
So now we can assume that $a_0 = p a'_0$ with $a'_0 \neq 0$. Pick ${u ^m}/{e(m)!}$ such that ${u ^m}/{e(m)!} q_n \in p ^n S$ (select $m = p ^n e -1$, for example). Then we have $g h_2 = {u ^m}/{e(m)!}$ for some $h_2 \in S$. The above equation implies that $h_2 = \sum _{i = m}^{\infty }b_i({u ^{i}}/{e(i)!})$. But comparing $u ^m$ terms on both sides, we have $a_0 b_m = 1$ which contradicts $a_0 = p a'_0$. This finishes the proof.
Remark 6.17 In Breuil's terminology, this shows that the first crystalline cohomologies of our examples are not strongly divisible lattices [Reference BreuilBre02, Definition 2.2.1]. This contradicts the claimed [Reference BreuilBre02, Theorem 4.2(2)], in the proof of which one is led to Faltings’s paper [Reference FaltingsFal99]. However, Faltings was treating the case of $p$-divisible groups, hence Breuil's theorem/proof should only be applied to abelian schemes. Now it is tempting to say that smooth proper schemes over $\mathcal {O}_K$ and their Albanese should share the same ${\mathrm {H}}^1$ for whatever cohomology theory.Footnote 12 But our example clearly negates this philosophy: the stacky example is squeezed between two abelian schemes and neither should really be the ‘mixed characteristic $1$-motive’ of our stack (even though sometimes these two abelian schemes are abstractly isomorphic). Indeed, the sequence $\mathcal {E}_{\mathcal {O}_K} \to \mathcal {X} \to \mathcal {E}'_{\mathcal {O}_K}$ has the property that the first map only induces an isomorphism of the first crystalline cohomology of the special fiber (relative to $W$) and the second map only induces an isomorphism of the first étale cohomology of the (geometric) generic fiber.
6.1 Raynaud's theorem on prolongations
Finally, we give a geometric proof of Raynaud's theorem [Reference RaynaudRay74, Théorème 3.3.3] on the uniqueness of prolongations of finite flat commutative group schemes over a mildly ramified $\mathcal {O}_K$.
Let $G_K$ be a finite flat commutative group scheme over $K$. A prolongation of $G_K$ is a finite flat commutative group scheme $G$ over $\mathcal {O}_K$ together with an isomorphism of its generic fiber with $G_K$ (as finite flat commutative group schemes). Once $G_K$ is fixed, its prolongations form a category with homomorphisms given by maps of group schemes compatible with the isomorphisms of their generic fiber.
Recall [Reference RaynaudRay74, Corollaire 2.2.3] that the (possibly empty) category of prolongations of a finite flat group scheme $G$ over $K$ has an initial $G_{\rm {min}}$ and a terminal object $G_{\rm {max}}$. Moreover, these two are interchanged under Cartier duality.
Theorem 6.18 (cf. [Reference RaynaudRay74, Théorème 3.3.3])
Assume $G_K$ is a finite flat commutative group scheme which has a prolongation over $\mathcal {O}_K$.
(1) If $e < p-1$, then the prolongation is unique.
(2) If $e < 2(p-1)$, then the reduction of the canonical map $G_{\rm {min}} \to G_{\rm {max}}$ has kernel and cokernel annihilated by $p$.
(3) If $e = p-1$, then the reduction of the above map has étale kernel and multiplicative type cokernel.
Proof. To ease the notation, let us denote $G_1 := G_{\rm {min}}$ and $G_2 := G_{\rm {max}}$. Denote the canonical map by $\rho \colon G_1 \to G_2$. Choose a group scheme embedding $G_2 \to \mathcal {A}$ of $G_2$ into an abelian scheme $\mathcal {A}$ over $\mathcal {O}_K$, which is guaranteed by yet another theorem of Raynaud (see [Reference Berthelot, Breen and MessingBBM82, Théorème 3.1.1]).
We shall consider the quotient stack $[\mathcal {A}/G_1]$, which is a smooth proper Artin stack. Similar to Construction 6.12, let us pick a smooth complete intersection $\mathcal {Y}$ with a fixed-point-free action by $G_1$, let $\mathcal {Z} := (\mathcal {A} \times _{\mathcal {O}_K} \mathcal {Y})/G_1$, which is a smooth projective scheme over $\mathcal {O}_K$, thanks to the second factor. Moreover, $\mathcal {Z}$ is pointed because it admits a map from $\mathcal {A}$, which has a canonical point given by the identity section.
Let $H$ be the image group scheme of the map $\rho _k \colon G_{1,k} \to G_{2,k}$. Applying the same reasoning as in Remark 6.11 shows us that the canonical map $f \colon \mathrm {Alb}(\mathcal {Z}_0) \to \mathrm {Alb}(\mathcal {Z})_0$ is identified with $\mathcal {A}_0/H \to \mathcal {A}_0/G_{2,k}$, whose kernel group scheme is given by $G_{2,k}/H$, which is none other than the cokernel of $\rho _0$. Now our statements on $\operatorname {coker}(\rho _0)$ follow directly from applying Corollary 4.6 to our $\mathcal {Z}$. The statements on $\ker (\rho _0)$ follows from Cartier duality.
Remark 6.19 Note that Raynaud first proved his theorem on prolongations, then used it to prove statements concerning Thu Picard scheme of a $p$-adic integral scheme, which is directly related to statements concerning natural map between Albanese of reduction and reduction of Albanese (see Remark 4.8). Our roadmap is the exact opposite.
One can reduce Raynaud's theorem to a question about Breuil–Kisin modules more directly, for instance by using Kisin's result [Reference KisinKis06, Theorem 0.5]. Our proof is rather a geometrization of the same approach.
Finally, we remark that the estimate of $s$ such that $p ^s$ kills the corkernel of $G_{\rm min}\to G_{\rm max}$ has been studied before (see, for example, [Reference Vasiu and ZinkVZ12] and [Reference BondarkoBon06] and the references therein). Note that an affirmative answer to our Question 3.10 for $i = 2$, when specialized to the construction made in the above proof, agrees with Bondako's sharp estimate.
Acknowledgements
We are very grateful to Bhargav Bhatt for so many helpful conversations and for sharing his excitement. During the preparation of this paper, we benefited from discussions with the following mathematicians: Christophe Breuil, Johan de Jong, Luc Illusie, Dmitry Kubrak, Yu Min, Shubhodip Mondal, Sasha Petrov, and Ziquan Yang. We would also like to thank the anonymous referee for their comments and suggestions on the earlier version, helping us improving this paper.
This work is partially supported by the National Natural Science Foundation of China (No. 12288201). The first named author is grateful for the support of AMS-Simons Travel Grant 2021–2023. He is also very grateful to the department of Mathematics at the University of Michigan for the support and environment they provide.
Conflicts of Interest
None.