Related papers: Sheaves of bounded $p$-adic logarithmic differenti…

In this paper, we investigate the order algebraic structure in the category of sheaves on a given locale $X$. Since every localic topos has a generating set formed by its subterminal objects, we define a "point" of a partially ordered sheaf…

Let $A$ be an abelian variety over the function field of a smooth projective curve $C$ over an algebraically closed field $k$. We compute the $l$-adic cohomology groups of $C$ with coefficients in the locally constant sheaf associated to…

We determine the structure modulo p of the de Rham-Witt complex of a smooth scheme X over a discrete valuation ring of mixed characteristic with log-poles along the special fiber Y and show that the sub-sheaf fixed by the Frobenius is…

In this follow-up paper we show that smooth Hodge-proper stacks over $\mathcal O_K$ are $\mathbb Q_p$-locally acyclic: namely the natural map between \'etale $\mathbb Q_p$-cohomology of the algebraic and Raynaud generic fibers is an…

We study the equivariant cohomology of spherical perverse sheaves on the affine Grassmannian of a connected reductive group $G$ with support in the affine Grassmannian of any Levi subgroup $L$ of $G$. In doing so, we extend the work of…

Let X be Drinfeld's upper half space of dimension d over a finite extension K of Q_p. We construct for every homogeneous vector bundle F on the projective space P^d a GL_{d+1}(K)-equivariant filtration by closed K-Frechet spaces on F(X).…

We compute the first cohomology group of the symmetric algebra of the universal \'etale $p$-adic local system on the tower of coverings of Drinfeld's $p$-adic half-plane. The result takes a factorized form, using the $p$-adic Langlands…

Let $X$ be a smooth manifold and $\mathbf{k}$ be a commutative (or at least $\mathbb{E}_2$) ring spectrum. Given a smooth exact Lagrangian $L\hookrightarrow T^*X$, the microlocal sheaf theory (following Kashiwara--Schapira) naturally…

We establish a structure theorem on the arc space of a $k$-scheme of finite type. More precisely, we show that the arc space is locally for the pro-smooth toplogy a product of an infinite dimensional affine space and of a non-noetherian…

We write down a new "logarithmic" quasicoherent category $\operatorname{Qcoh}_{log}(U, X, D)$ attached to a smooth open algebraic variety $U$ with toroidal compactification $X$ and boundary divisor $D$. This is a (large) symmetric monoidal…

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…

Let $k$ be a perfect field of characteristic $p>0$, $\mathcal{V}$ a complete discrete valuation ring with residue field $k$ and field of fractions $K$ of characteristic 0, and $S$ a separated $k$-scheme of finite type. When $S$ is smooth…

By analogy with algebraic geometry, we define a category of non-linear sheaves (quasi-coherent homotopy-sheaves of topological spaces) on projective toric varieties and prove a splitting result for its algebraic K-theory, generalising…

We propose a sheaf-theoretic approach to the theory of differential calculi on quantum principal bundles over non-affine bases. After recalling the affine case we define differential calculi on sheaves of comodule algebras as sheaves of…

Given a morphism $f: X \rightarrow S$ of complex algebraic varieties and a constructible sheaf $\mathcal{G}$ on $X$, we compute the local monodromy of $Rf_*(\mathcal{G})$ and $Rf_!(\mathcal{G})$ in terms of the local monodromy of…

This thesis deals with the algorithmic representation of constructible sheaves of abelian groups on the \'etale site of a variety over an algebraically closed field, as well as the explicit computation of their cohomology. We describe three…

We give a description of the value of a finitary localizing invariant, such as algebraic $K$-theory, on the category of sheaves on a locally coherent space $X$. This in particular includes all spaces that arise as spectra of commutative…

In this paper, we will look at the algebra of global differential operators $D_X$ on wonderful compactifications $X$ of symmetric spaces $G/H$ of type $A_1$ and $A_2$. We will first construct a global differential operator on these…

We develop a version of Hodge theory for a large class of smooth formally proper quotient stacks $X/G$ analogous to Hodge theory for smooth projective schemes. We show that the noncommutative Hodge-de Rham sequence for the category of…

Let T be a compact torus and X a nice compact T-space (say a manifold or variety). We introduce a functor assigning to X a "GKM-sheaf" F_X over a "GKM-hypergraph" G_X. Under the condition that X is equivariantly formal, the ring of global…