arXiv subjects
Publications and source records attributed to Bhargav Bhatt.
We prove that the Witt vector affine Grassmannian, which parametrizes W(k)-lattices in W(k)[1/p]^n for a perfect field k of charactristic p, is representable by an ind-(perfect scheme) over k. This improves on previous results of Zhu by constructing a natural ample line bundle. Along the way, we establish various foundational results on perfect schemes, notably h-descent results for vector bundles.
We revisit some of the basic results of generic vanishing theory, as pioneered by Green and Lazarsfeld, in the context of constructible sheaves. Using the language of perverse sheaves, we give new proofs of some of the basic results of this theory. Our approach is topological/arithmetic, and avoids Hodge theory.
We prove that a strongly $F$-regular scheme $X$ admits a finite, generically Galois, and étale-in-codimension-one cover $\widetilde X \to X$ such that the étale fundamental groups of $\widetilde X$ and $\widetilde X_{reg}$ agree. Equivalently, every finite étale cover of $\widetilde X_{reg}$ extends to a finite étale cover of $\widetilde X$. This is analogous to a result for complex klt varieties by Greb, Kebekus and Peternell.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
We study the moduli space of a product of stable varieties over the field of complex numbers, as defined via the minimal model program. Our main results are: (a) taking products gives a well-defined morphism from the product of moduli spaces of stable varieties to the moduli space of a product of stable varieties, (b) this map is always finite étale, and (c) this map very often is an isomorphism. Our results generalize and complete the work of Van Opstall in dimension 1. The local results rely on a study of the cotangent complex using some derived algebro-geometric methods, while the global ones use some differential-geometric input.
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.
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.
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
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.