Related papers: A categorical K\"unneth formula for constructible …

We present a uniform theory of constructible sheaves on arbitrary schemes with coefficients in topological or even condensed rings. This is accomplished by defining lisse sheaves to be the dualizable objects in the derived infinity-category…

We study the constructible Witt theory of \'etale sheaves of $\Lambda$-modules on a scheme $X$ for coefficient rings $\Lambda$ having finite characteristic not equal to 2 and prime to the residue characteristics of the scheme $X$. Our…

Let $X$ be a variety over a finite field. Given an order $R$ in a semi-simple algebra over the rationals and a constructible \'etale sheaf $F$ of $R$-modules over $X$, one can consider a natural non-commutative $L$-function associated with…

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,…

In arXiv:0805.0157v5, the authors define a class of derived stacks, called "perfect stacks" and show that for this class the categories of quasi-coherent sheaves satisfy a categorical K\"unneth formula. Motivated to extend their results to…

Given a stratified topological space, we answer the question whether the functor from the derived category of constructible sheaves to the derived category of sheaves with constructible cohomology is an equivalence. We also establish basic…

Graded Hecke algebras can be constructed geometrically, with constructible sheaves and equivariant cohomology. The input consists of a complex reductive group G (possibly disconnected) and a cuspidal local system on a nilpotent orbit for a…

We show that for any constructible sheaf F on a smooth algebraic variety X over a field of arbitrary characteristic its singular support SS(F) is equidimensional of dimension dim X. Here SS(F) is the minimal closed subset of the cotangent…

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…

Let M be a smooth and compact moduli space of stable coherent sheaves on a projective surface S with an effective (or trivial) anti-canonical line bundle. We find generators for the cohomology ring of M, with integral coefficients. When S…

We construct a well-behaved Weil-\'etale complex for a large class of $\mathbb{Z}$-constructible sheaves on a regular irreducible scheme $U$ of finite type over $\mathbb{Z}$ and of dimension $1$. We then give a formula for the special value…

We develop a `universal' support theory for derived categories of constructible (analytic or \'etale) sheaves, holonomic D-modules, mixed Hodge modules and others. As applications we classify such objects up to the tensor triangulated…

Let $X$ be a topologically stratified space, $p$ be any perversity on $X$, and $k$ be a field. We show that the category of $p$-perverse sheaves on $X$, constructible with respect to the stratification and with coefficients in $k$, is…

This paper gives an explicit computation of the category of constructible sheaves on a toric variety (with respect to the stratification by torus orbits). Over the complex numbers, this simplifies a description due to Braden and Lunts. The…

We prove a general form of the statement that the cohomology of a quotient stack can be computed by the Borel construction. It also applies to the lisse extensions of generalized cohomology theories like motivic cohomology and algebraic…

We would like to construct a new Grothendieck topology for arithmetic schemes, whose cohomology groups associated with motivic complexes of sheaves are finitely generated and whose Euler characteristics are related to special values of…

We give a direct description of the category of sheaves on Lichtenbaum's Weil-\'etale site of a number ring. Then we apply this result to define a spectral sequence relating Weil-\'etale cohomology to Artin-Verdier \'etale cohomology.…

The aim of this note is threefold. The first is to obtain a simple characterization of relative constructible sheaves when the parameter space is projective. The second is to study the relative Fourier-Mukai for relative constructible…

We construct the cohomology groups with compact support of stacks of shtukas with $\mathbb Z_{\ell}$-coefficients. We construct the cuspidal cohomology groups and prove that they are $\mathbb Z_{\ell}$-modules of finite type. We prove that…

Building on Beilinson's work, ``constructible sheaves are holonomic,'' we introduce the notion of holonomicity for \'etale sheaves, without assuming a priori constructibility. Over a perfect base field, we establish the converse of…