Related papers: Cohomological dimension in pro-$p$-towers

For a finite extension $F$ of ${\mathbf Q}_p$, Drinfeld defined a tower of coverings of ${\mathbb P}^1\setminus {\mathbb P}^1(F)$ (the Drinfeld half-plane). For $F = {\mathbf Q}_p$, we describe a decomposition of the $p$-adic geometric…

We prove that every perfectoid tower can be decomposed into a fiber product of perfectoid towers that are either $p$-torsion free or perfect of characteristic $p$. As an application, we show that separated perfectoid towers are reduced. We…

We compute the p-adic geometric pro-\'etale cohomology of the affine space (in any dimension). This cohomogy is non-zero, contrary to the \'etale cohomology, and can be described by means of differential forms.

We give a new proof of vanishing result of Esnault for the cohomology of constructible sheaves in the tower of ``mock'' Frobenius covers of projective space. The key idea is to use (a global form of) the perversity of nearby cycles.

We show that the mod $p$ cohomology of a simple Shimura variety treated in Harris-Taylor's book vanishes outside a certain nontrivial range after localizing at any non-Eisenstein ideal of the Hecke algebra. In cases of low dimensions, we…

Let $K$ be a finite extension of $\mathbb{Q}_p$. We prove that the arithmetic $p$-adic pro-\'etale cohomology of smooth partially proper spaces over $K$ satisfies a duality, as conjectured by Colmez, Gilles and Nizio{\l}. We derive it from…

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 contains a new argument which proves vanishing of the first cohomology for negative vector bundles over a complex projective variety if the rank of the bundle is smaller than the dimension of the base. Similar argument is…

In this article the \'etale cohomology of constructible torsion sheaves on the \'etale site of the algebraic resp. adic Fargues-Fontaine curve is analyzed. In the $\ell\neq p$-torsion case, two conjectures of Fargues are verified: vanishing…

For any type of fundamental groupoid scheme, we construct an algebraic cohomology theory for varieties with coefficients in the base field. This is a minor variant of \'etale cohomology, involving neither de Rham complexes nor…

A lot of good properties of etale cohomology only hold for torsion coefficients. We use "enlargement of categories" as developed in http://arxiv.org/abs/math.CT/0408177 to define a cohomology theory that inherits the important properties of…

It is known that irreducible noncommutative differential structures over $\Bbb F_p[x]$ are classified by irreducible monics $m$. We show that the cohomology $H_{\rm dR}^0(\Bbb F_p[x]; m)=\Bbb F_p[g_d]$ if and only if ${\rm Tr}(m)\ne 0$,…

We prove an analogue of Scholze's Primitive Comparison Theorem for proper rigid spaces over an algebraically closed non-archimedean field $K$ of characteristic $p$. This implies a v-topological version of the Primitive Comparison Theorem…

We study the \'etale cohomology of Hilbert modular varieties, building on the methods introduced for unitary Shimura varieties in [CS17, CS19]. We obtain the analogous vanishing theorem: in the "generic" case, the cohomology with torsion…

In this article, we present an alternate proof of a vanishing result of \'etale cohomology on perfectoid rings due to \v{C}esnavi\v{c}ius and more recently proved by a different approach by Bhatt and Scholze. To establish that, we prove a…

We construct the crystalline comparison isomorphisms for proper smooth formal schemes over an absolutely unramified base. Such isomorphisms hold for \'etale cohomology with nontrivial coefficients, as well as in the relative setting, i.e.…

Let $p$ be a prime number and $F$ a totally real number field unramified at places above $p$. Let $\bar{r}:\operatorname{Gal}(\bar F/F)\rightarrow\operatorname{GL}_2(\bar{\mathbb{F}_p})$ be a modular Galois representation which satisfies…

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…

This work discusses combinatorial and arithmetic aspects of cohomology vanishing for divisorial sheaves on toric varieties. We obtain a refined variant of the Kawamata-Viehweg theorem which is slightly stronger. Moreover, we prove a new…

We prove that the vanishing of the functoriality morphism for the \'etale fundamental group between smooth projective varieties over an algebraically closed field of characteristic $p>0$ forces the same property for the fundamental groups…