Related papers: A prismatic approach to crystalline local systems

We investigate flat morphisms of schemes of positive characteristic whose relative Frobenius is an isomorphism, which we call pristine. We show that these give rise to a natural Grothendieck topology that is fine tuned for the localization…

Let $X$ be a smooth scheme over a finite field of characteristic $p$. In answer to a conjecture of Deligne, we establish that for any prime $\ell \neq p$, an $\ell$-adic Weil sheaf on $X$ which is algebraic (or irreducible with finite…

We prove that an $F$-crystal $(M,\vph)$ over an algebraically closed field $k$ of characteristic $p>0$ is determined by $(M,\vph)$ mod $p^n$, where $n\ge 1$ depends only on the rank of $M$ and on the greatest Hodge slope of $(M,\vph)$. We…

In this article, we prove the comparison theorem between the relative log de Rham-Witt cohomology and the relative log crystalline cohomology for a log smooth saturated morphism of fs log schemes satisfying certain condition. Our result…

The purpose of this paper is to prove a basic $p$-adic comparison theorem for smooth rigid analytic and dagger varieties over the algebraic closure $C$ of a $p$-adic field: $p$-adic pro-\'etale cohomology, in a stable range, can be…

Given a family of local systems on a punctured Riemann sphere, with moving singularities, its first parabolic cohomology is a local system on the base space. We study this situation from different points of view. For instance, we derive…

We prove a Tannakian form of Drinfeld's lemma for isocrystals on a variety over a finite field, equipped with actions of partial Frobenius operators. This provides an intermediate step towards transferring V. Lafforgue's work on the…

We develop a new cohomology theory in characteristic p>0, the so called F-gauge cohomology, a cohomology with values in the category of so-called F-gauges, which refines the cristalline cohomology. In this first paper we mainly discuss the…

This article is the first one of a series of three articles devoted to direct images of isocrystals: here we consider isocrystals without Frobenius structure; in the second one (resp. the third one), we will introduce a Frobenius structure…

In this article, we define the $m$-prismatic site and the $m$-$q$-crystalline site, which are higher level analogs of the prismatic site and the $q$-crystalline site respectively. We prove a certain equivalence between the category of…

We introduce a valuation-theoretic approach to the problem of semistable reduction (i.e., existence of logarithmic extensions on suitable covers) of overconvergent isocrystals with Frobenius structure. The key tool is the quasicompactness…

Using the recently developed theory of rigorously validated numerics, we address the Phase-Field-Crystal (PFC) model at the microscopic (atomistic) level. We show the existence of critical points and local minimizers associated with…

We prove that rigid cohomology can be computed as the cohomology of a site analogous to the crystalline site. Berthelot designed rigid cohomology as a common generalization of crystalline and Monsky-Washnitzer cohomology. Unfortunately,…

We provide a simple approach for the crystalline comparison of Ainf-cohomology, and reprove the comparison between crystalline and p-adic etale cohomology for formal schemes in the case of good reduction.

Inspired by Bhatt-Scholze, we introduce prismatic cohomology for rigid analytic spaces with l.c.i singularities, with coefficients over Fontaine's de Rham period ring.

Let $k$ be a perfect field of characteristic $p>2$, $R := W(k)[\![t_1, \dots, t_d]\!]$ be the power series ring over the Witt vectors, and $X$ be a smooth proper scheme over $R$. The main goal of this article is to extend classical…

Let $K$ be a field of characteristic zero complete for a discrete valuation, with perfect residue field of characteristic $p>0$, and let $K^+$ be the valuation ring of $K$. We relate the log-crystalline cohomology of the special fibre of…

In this paper (part of the author's PhD thesis), we introduce the notions of semistability and potential semistability of overconvergent F-crystals over an equal characteristic local field. We establish their equivalence with the notions of…

We show that a formal Deligne--Mumford stack is formal-locally represented by a formal scheme. This is an analogue of Frobenius theorem for smooth foliations in any characteristic and without smoothness hypotheses on the ambient space.

Let $p$ be a prime. Let $n\in\mathbb N-\{0\}$. Let $\mathcal C$ be an $F^n$-crystal over a locally noetherian $\mathbb F_p$-scheme $S$. Let $(a,b)\in\mathbb N^2$. We show that the reduced locally closed subscheme of $S$ whose points are…