arXiv subjects
Publications and source records attributed to Shizhang Li.
We give an example of proper smooth fourfold over a perfect field k of characteristic p > 0 with asymmetric Hodge--Witt numbers in total degree 3. Our example is sharp both in terms of dimension and total degree. We arrive at our example by computing and approximating the Hodge--Witt cohomology groups of the classifying stack B alpha_p.
In this short paper, we prove that the moduli of automorphisms of Frobenius twisted de Rham cohomology functor is given by $\mathbb{G}_m$. Our method is to use the notion of $\mathbb{G}_a^{\mathrm{perf}}$-modules and its connection to the de Rham cohomology functor introduced in \cite{M22}. As an application of the induced $\mathbb{G}_m$-action, we reprove a result of Bhatt, Petrov, and Vologodsky on the decomposition of the Frobenius twisted de Rham complex.
In this note, we prove that given a smooth proper family over a $p$-adic ring of integers, one gets a control of its crystalline torsion in terms of its \'{e}tale torsion, the cohomological degree, and the ramification. Our technical core result is a boundedness result concerning annihilator ideals of $u^{\infty}$-torsion in Breuil--Kisin prismatic cohomology, which might be of independent interest.
We prove a conjecture of Bhatt-Hansen that derived pushforwards along proper morphisms of rigid-analytic spaces commute with Verdier duality on Zariski-constructible complexes. In particular, this yields duality statements for the intersection cohomology of proper rigid-analytic spaces. In our argument, we construct cycle classes in analytic geometry as well as trace maps for morphisms that are either smooth or proper or finite flat, with appropriate coefficients. As an application of our methods, we obtain new, significantly simplified proofs of $p$-adic Poincar\'e duality and the preservation of $\mathbf{F}_p$-local systems under smooth proper higher direct images.
We study the behavior of Frobenius operators on smooth proper pushforwards of prismatic F-crystals. In particular we show that the i-th pushforward has its Frobenius height increased by at most i. Our proof crucially uses the notion of prismatic F-gauges introduced by Drinfeld and Bhatt--Lurie and its relative version, and we give a self-contained treatment without using the stacky formulation.
We compute the moduli of endomorphisms of the de Rham and crystalline cohomology functors, viewed as a cohomology theory on smooth schemes over truncated Witt vectors. As applications of our result, we deduce Drinfeld's refinement of the classical Deligne--Illusie decomposition result for de Rham cohomology of varieties in characteristic $p>0$ that are liftable to $W_2$, and prove further functorial improvements.
We establish a comparison isomorphism between prismatic cohomology and derived de Rham cohomology respecting various structures, such as their Frobenius actions and filtrations. As an application, when $X$ is a proper smooth formal scheme over $\mathcal O_K$ with $K$ being a $p$-adic field, we improve Breuil--Caruso's theory on comparison between torsion crystalline cohomology and torsion étale cohomology.
We investigate the maximal finite length submodule of the Breuil-Kisin prismatic cohomology of a smooth proper formal scheme over a p-adic ring of integers. This submodule governs pathology phenomena in integral p-adic cohomology theories. Geometric applications include a control, in low degrees and mild ramifications, of (1) the discrepancy between two naturally associated Albanese varieties in characteristic p, and (2) kernel of the specialization map in p-adic étale cohomology. As an arithmetic application, we study the boundary case of the theory due to Fontaine-Laffaille, Fontaine-Messing, and Kato. Also included is an interesting example, generalized from a construction in Bhatt-Morrow-Scholze's work, which (1) illustrates some of our theoretical results being sharp, and (2) negates a question of Breuil.
We prove a comparison theorem between exponentially twisted de Rham cohomology and rigid cohomology with coefficients in a Dwork crystal.
For a complex Lie group G and a prime number p, Totaro had conjectured that the dimension of the singular cohomology with Z/p-coefficients of classifying space of G is bounded above by that of the de Rham cohomology of the classifying stack of (the split form of) G in characteristic p. This conjecture was recently proven by Kubrak--Prikhodko. In this note, we give a shorter proof.
We prove several related results on the low-degree Hodge numbers of proper smooth rigid analytic varieties over non-archimedean fields. Our arguments rely on known structure theorems for the relevant Picard varieties, together with recent advances in p-adic Hodge theory. We also define a rigid analytic Albanese naturally associated with any smooth proper rigid space.
Given an integral p-adic variety, we observe that if the integral Hodge--de Rham spectral sequence behaves nicely, then the special fiber knows the Hodge numbers of the generic fiber. Applying recent advancements of integral p-adic Hodge theory, we show that such a nice behavior is guaranteed if the p-adic variety can be lifted to an analogue of second Witt vectors and satisfies some bound on dimension and ramification index. This is a (ramified) mixed characteristic analogue of results due to Deligne--Illusie and Fontaine--Messing. Lastly, we discuss an example illustrating the necessity of the aforementioned lifting condition, which is of independent interest.
In this paper, we study smooth proper rigid varieties which admit formal models whose special fibers are projective. The main theorem asserts that the identity components of the associated rigid Picard varieties will automatically be proper. Consequently, we prove that p-adic Hopf varieties will never have a projective reduction. The proof of our main theorem uses the theory of moduli of semistable coherent sheaves.
In this paper, we exhibit an example of a smooth proper variety in positive characteristic possessing two liftings with different Hodge numbers.
In this article we give an interpretation, in terms of derived de Rham complexes, of Scholze's de Rham period sheaf and Tan--Tong's crystalline period sheaf.
In p-adic Hodge theory, it is known that if a Galois representation is de Rham, then it becomes semistable after extension of the base field. Liu and Zhu asked whether a corresponding result holds in the relative setting: given an étale local system on a quasi-compact rigid analytic variety (for example, a projective scheme) over a p-adic field, does it become semistable after a finite extension of the base field? We give a counterexample.
In this note, we prove the logarithmic $p$-adic comparison theorem for open rigid analytic varieties. We prove that a smooth rigid analytic variety with a strict simple normal crossing divisor is locally $K(π,1)$ (in a certain sense) with respect to $\mathbb{F}_p$-local systems and ramified coverings along the divisor. We follow Scholze's method to produce a pro-version of the Faltings site and use this site to prove a primitive comparison theorem in our setting. After introducing period sheaves in our setting, we prove aforesaid comparison theorem.
We generalize the Tian-Todorov Theorem in the case of Calabi-Yau varieties equipped with a line bundle.