Related papers: Notes on isocrystals

We prove a general inequality for estimating the number of points of arbitrary complete intersections over a finite field. This extends a result of Deligne for nonsingular complete intersections. For normal complete intersections, this…

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…

We prove that for any field k of characteristic p>0, any separated scheme X of finite type over k, and any overconvergent F-isocrystal E over X, the rigid cohomology H^i(X, E) and rigid cohomology with compact supports H^i_c(X,E) are finite…

We use the theory of Condensed Mathematics to build a condensed cohomology theory for the Weil group of a $p$-adic field. The cohomology groups are proved to be locally compact abelian groups of finite ranks in some special cases. This…

The paper investigates a significant part of the automorphic, in fact of the so-called Eisenstein cohomology of split odd orthogonal groups over Q. The main result provides a description of residual and regular Eisenstein cohomology classes…

In a previous paper, we constructed a category of (phi, Gamma)-modules associated to any adic space over Q_p with the property that the etale (phi, Gamma)-modules correspond to etale Q_p-local systems; these involve sheaves of period rings…

We introduce the notion of integrable connections for a sheaf of differential graded algebras on a topological space. We then describe them in the finite locally projective setting, when the sheaf is either the de Rham complex of a formal…

Let k be a perfect field of characteristic p>0 and W the ring of Witt vectors of k. In this article, we give a new proof of the Frobenius descent for convergent isocrystals on a variety over k relative to W. This proof allows us to deduce…

In this paper, we study etale cohomologies of quadrics over R. An element in the etale cohomology is called algebraic, if it is in the image of the cycle map from the Chow ring. In this paper, we compute the etale cohomology of norm…

In this article, we define the l-adic homology for a morphism of schemes satisfying certain finiteness conditions. This homology has these functors similar to the Chow groups: proper push-forward, flat pull-back, base change, cap-product,…

Let M be a paracompact smooth manifold of dimension n; A a Weil algebra and M^A the Weil bundle associated. We define and describe the notion of \widetilded-Poisson cohomology and of \widetilded^A -Poisson cohomology on M^A.

Let X be a smooth proper curve over a finite field of characteristic p. We prove a product formula for p-adic epsilon factors of arithmetic D-modules on X. In particular we deduce the analogous formula for overconvergent F-isocrystals,…

We define, for a regular scheme $S$ and a given field of characteristic zero $\KK$, the notion of $\KK$-linear mixed Weil cohomology on smooth $S$-schemes by a simple set of properties, mainly: Nisnevich descent, homotopy invariance,…

We prove that $p$-adic geometric pro-\'etale cohomology of smooth partially proper rigid analytic varieties over $p$-adic fields seen in the category of Topological Vector Spaces satisfies a Poincar\'e duality as we have conjectured. This…

Colmez, Dospinescu and Niziol have shown that the only $p$-adic representations of $\rm{Gal}(\bar{\mathbb{Q}}_p/\mathbb{Q}_p)$ appearing in the $p$-adic \'etale cohomology of the coverings of Drinfeld's half-plane are the $2$-dimensional…

The p-cohomology of an algebraic variety in characteristic p lies naturally in the category $D_{c}^{b}(R)$ of coherent complexes of graded modules over the Raynaud ring (Ekedahl-Illusie-Raynaud). We study homological algebra in this…

We consider Lie algebroids over an algebraic space (or topological ringed space) as quasicoherent sheaves of Lie-Rinehart algebras. We express hypercohomology for a locally free Lie algebroid (not necessarily of finite rank) as a derived…

Quasi-elliptic cohomology is a variant of elliptic cohomology theories. It is the orbifold K-theory of a space of constant loops. For global quotient orbifolds, it can be expressed in terms of equivariant K-theories. Thus, the constructions…

We give proofs of de Rham comparison isomorphisms for rigid-analytic varieties, with coefficients and in families. This relies on the theory of perfectoid spaces. Another new ingredient is the pro-etale site, which makes all constructions…

In this paper, we develop the theory of relative log convergent cohomology. We prove the coherence of relative log convergent cohomology in certain case by using the comparison theorem between relative log convergent cohomlogy and relative…