Bhargav Bhatt

Absolute prismatic cohomology

The goal of this paper is to study the absolute prismatic cohomology of $p$ -adic formal schemes. We do so by recasting the notion of a prismatic crystal on $\mathrm{Spf}(\mathbf{Z}_p)$ in terms of quasicoherent sheaves on a geometric object we call the Cartier-Witt stack.

Prisms and Prismatic Cohomology

We introduce the notion of a prism, which may be regarded as a "deperfection" of the notion of a perfectoid ring. Using prisms, we attach a ringed site -- the prismatic site -- to a $p$ -adic formal scheme. The resulting cohomology theory specializes to (and often refines) most known integral $p$ -adic cohomology theories. As applications, we prove an improved version of the almost purity theorem allowing ramification along arbitrary closed subsets (without using adic spaces), give a co-ordinate free description of $q$ -de Rham cohomology as conjectured by the second author, and settle a vanishing conjecture for the $p$ -adic Tate twists $\mathbf{Z}_p(n)$ introduced in previous joint work with Morrow.

Syntomic complexes and $p$ -adic étale Tate twists

The primary goal of this paper is to identify syntomic complexes with the $p$ -adic étale Tate twists of Geisser--Schneider--Sato on regular $p$ -torsionfree schemes. Our methods apply naturally to a broader class of schemes that we call " $F$ -smooth". The $F$ -smoothness of regular schemes leads to new results on the absolute prismatic cohomology of regular schemes.

The prismatization of $p$ -adic formal schemes

In this note, we introduce and study the Cartier--Witt stack $\mathrm{WCart}_X$ attached to a $p$ -adic formal scheme $X$ as well as some variants. In particular, we reinterpret the notion of prismatic crystals on $X$ and their cohomology in terms of quasicoherent sheaf theory on $\mathrm{WCart}_X$ in favorable situations.

preprint2021arXiv

An asymptotic vanishing theorem for the cohomology of thickenings

Let $X$ be a closed equidimensional local complete intersection subscheme of a smooth projective scheme $Y$ over a field, and let $X_t$ denote the $t$ -th thickening of $X$ in $Y$ . Fix an ample line bundle $\mathcal{O}_Y(1)$ on $Y$ . We prove the following asymptotic formulation of the Kodaira vanishing theorem: there exists an integer $c$ , such that for all integers $t \geqslant 1$ , the cohomology group $H^k(X_t,\mathcal{O}_{X_t}(j))$ vanishes for $k < \dim X$ and $j < -ct$ . Note that there are no restrictions on the characteristic of the field, or on the singular locus of $X$ . We also construct examples illustrating that a linear bound is indeed the best possible, and that the constant $c$ is unbounded, even in a fixed dimension.

preprint2021arXiv

Counterexamples to Hochschild--Kostant--Rosenberg in characteristic $p$

We give counterexamples to the degeneration of the HKR spectral sequence in characteristic $p$ , both in the untwisted and twisted settings. We also prove that the de Rham-- $\mathrm{HP}$ and crystalline-- $\mathrm{TP}$ spectral sequences need not degenerate.

preprint2021arXiv

Stabilization of the cohomology of thickenings

For a local complete intersection subvariety $X=V({\mathcal I})$ in ${\mathbb P}^n$ over a field of characteristic zero, we show that, in cohomological degrees smaller than the codimension of the singular locus of $X$ , the cohomology of vector bundles on the formal completion of ${\mathbb P}^n$ along $X$ can be effectively computed as the cohomology on any sufficiently high thickening $X_t=V({\mathcal I^t})$ ; the main ingredient here is a positivity result for the normal bundle of $X$ . Furthermore, we show that the Kodaira vanishing theorem holds for all thickenings $X_t$ in the same range of cohomological degrees; this extends the known version of Kodaira vanishing on $X$ , and the main new ingredient is a version of the Kodaira-Akizuki-Nakano vanishing theorem for $X$ , formulated in terms of the cotangent complex.

preprint2020arXiv

Remarks on $K(1)$ -local $K$ -theory

We prove two basic structural properties of the algebraic $K$ -theory of rings after $K(1)$ -localization at an implicit prime $p$ . Our first result (also recently obtained by Land--Meier--Tamme by different methods) states that $L_{K(1)} K(R)$ is insensitive to inverting $p$ on $R$ ; we deduce this from recent advances in prismatic cohomology and $\mathrm{TC}$ . Our second result yields a Künneth formula in $K(1)$ -local $K$ -theory for adding $p$ -power roots of unity to $R$ .

preprint2020arXiv

Revisiting the de Rham-Witt complex

The goal of this paper is to offer a new construction of the de Rham-Witt complex of smooth varieties over perfect fields of characteristic $p>0$ . We introduce a category of cochain complexes equipped with an endomorphism $F$ of underlying graded abelian groups satisfying $dF = pFd$ , whose homological algebra we study in detail. To any such object satisfying an abstract analog of the Cartier isomorphism, an elementary homological process associates a generalization of the de Rham-Witt construction. Abstractly, the homological algebra can be viewed as a calculation of the fixed points of the Berthelot-Ogus operator $L η_p$ on the $p$ -complete derived category. We give various applications of this approach, including a simplification of the crystalline comparison for the $A Ω$ -cohomology theory introduced in [BMS18].

preprint2016arXiv

The weak ordinarity conjecture and $F$ -singularities

Recently M. Mustata and V. Srinivas related a natural conjecture about the Frobenius action on the cohomology of the structure sheaf after reduction to characteristic $p > 0$ with another conjecture connecting multiplier ideals and test ideals. We generalize this relation to the case of singular ambient varieties. Additionally, we connect these results to a conjecture relating $F$ -injective and Du Bois singularities. Finally, using an unpublished result of Gabber, we also show that $F$ -injective and Du Bois singularities have a common definition in terms of smooth hypercovers.

preprint2015arXiv

Integral $p$ -adic Hodge theory - announcement

Given a proper, smooth (formal) scheme over the ring of integers of $\mathbb C_p$ , we prove that if the crystalline cohomology of its special fibre is torsion-free then the $p$ -adic étale cohomology of its generic fibre is also torsion-free. In this announcement we sketch the proof, which relies on the construction of a new cohomology theory interpolating between crystalline and étale cohomology. Further details and results, including a comparison isomorphism, will be presented in the full forthcoming article.

preprint2015arXiv

Tannaka duality revisited

We establish several strengthened versions of Lurie's Tannaka duality theorem for certain classes of spectral algebraic stacks. Our most general version of Tannaka duality identifies maps between stacks with exact symmetric monoidal functors between $\infty$ -categories of quasi-coherent complexes which preserve connective and pseudo-coherent complexes.

preprint2015arXiv

The F-pure threshold of a Calabi-Yau hypersurface

The F-pure threshold is a positive characteristic numerical invariant, analogous to the log canonical threshold in characteristic zero. We compute the F-pure threshold of the affine cone over a Calabi-Yau hypersurface, and relate it to the order of vanishing of the Hasse invariant on the versal deformation space of the hypersurface.

preprint2014arXiv

Algebraization and Tannaka duality

Our goal in this paper is to identify certain naturally occurring colimits of schemes and algebraic spaces. To do so, we use (and prove) some new Tannaka duality theorems for maps of algebraic spaces.

preprint2014arXiv

The pro-étale topology for schemes

We give a new definition of the derived category of constructible $\ell$ -adic sheaves on a scheme, which is as simple as the geometric intuition behind them. Moreover, we define a refined fundamental group of schemes, which is large enough to see all lisse $\ell$ -adic sheaves, even on non-normal schemes. To accomplish these tasks, we define and study the pro-étale topology, which is a Grothendieck topology on schemes that is closely related to the étale topology, and yet better suited for infinite constructions typically encountered in $\ell$ -adic cohomology. An essential foundational result is that this site is locally contractible in a well-defined sense.

preprint2013arXiv

Lefschetz for local Picard groups

We prove a strengthening of the Grothendieck-Lefschetz hyperplane theorem for local Picard groups conjectured by Kollár. Our approach, which relies on acyclicity results for absolute integral closures, also leads to a restriction theorem for higher rank bundles on projective varieties in positive characteristic.

preprint2013arXiv

Local cohomology modules of a smooth Z-algebra have finitely many associated primes

Let $R$ be a commutative Noetherian ring that is a smooth $\mathbb Z$ -algebra. For each ideal $I$ of $R$ and integer $k$ , we prove that the local cohomology module $H^k_I(R)$ has finitely many associated prime ideals. This settles a crucial outstanding case of a conjecture of Lyubeznik asserting this finiteness for local cohomology modules of all regular rings.

A note on the non-existence of small Cohen-Macaulay algebras

By finding a p-adic obstruction, we construct many examples of positive characteristic complete noetherian local rings which do not admit any module-finite Cohen-Macaulay extension. These examples should be contrasted with a result of Hochster-Huneke: the union of all finite extensions is always Cohen-Macaulay.

Completions and derived de Rham cohomology

We show that Illusie's derived de Rham cohomology (Hodge-completed) coincides with Hartshorne's algebraic de Rham cohomology for a finite type map of noetherian schemes in characteristic 0; the case of lci morphisms was a result of Illusie. In particular, the E_1-differentials in the derived Hodge-to-de Rham spectral sequence for singular varieties are often non-zero. Another consequence is a completely elementary description of Hartshorne's algebraic de Rham cohomology: it is computed by the completed Amitsur complex for any variety in characteristic 0.

p-adic derived de Rham cohomology

This paper studies the derived de Rham cohomology of F_p and p-adic schemes, and is inspired by Beilinson's recent work. Generalising work of Illusie, we construct a natural isomorphism between derived de Rham cohomology and crystalline cohomology for lci maps of such schemes, as well logarithmic variants. These comparisons give derived de Rham descriptions of the usual period rings and related maps in p-adic Hodge theory. Placing these ideas in the skeleton of Beilinson's construction leads to a new proof of Fontaine's crystalline conjecture and Fontaine-Jannsen's semistable conjecture.

p-divisibility for coherent cohomology

We prove that the coherent cohomology of a proper morphism of noetherian schemes can be made arbitrarily p-divisible by passage to proper covers (for a fixed prime p). Under some extra conditions, we also show that p-torsion can be killed by passage to proper covers. These results are motivated by the desire to understand rational singularities in mixed characteristic, and have applications in p-adic Hodge theory

Torsion in the crystalline cohomology of singular varieties

This note discusses some examples showing that the crystalline cohomology of even very mildly singular projective varieties tends to be quite large. In particular, any singular projective variety with at worst ordinary double points has infinitely generated crystalline cohomology in at least two cohomological degrees. These calculations rely critically on comparisons between crystalline and derived de Rham cohomology.

Almost direct summands

In this short note, we point out how some new cases of Hochster's direct summand conjecture can be deduced from fundamental theorems in p-adic Hodge theory due to Faltings. The cases tackled include the ones when the ramification of the map being considered lies entirely in characteristic p.

Annihilating the cohomology of group schemes

Our goal in this note is to show that cohomology classes with coefficients in finite flat group schemes can be killed by finite covers of the base scheme, and similarly for abelian schemes with "finite covers" replaced by "proper covers." We apply this result to commutative algebra by giving a new and more conceptual proof of Hochster-Huneke's theorem on the existence of big Cohen-Macaulay algebras in positive characteristic; all previous proofs of this result were equational or cocycle-theoretic in nature.

Crystalline cohomology and de Rham cohomology

The goal of this short paper is to give a slightly different perspective on the comparison between crystalline cohomology and de Rham cohomology. Most notably, we reprove Berthelot's comparison result without using pd-stratifications, linearisations, and pd-differential operators.