Related papers: A categorical K\"unneth formula for constructible …
Let $X$ be a smooth proper scheme over an algebraically closed field $k$ in characteristic $p$. In this short note, by interpreting $\mathcal{D}_{X}$-modules as $F$-divided sheaves and establishing a cohomological boundedness property for…
We prove that the bounded derived category of coherent sheaves with proper support is equivalent to the category of locally-finite, cohomological functors on the perfect derived category of a quasi-projective scheme over a field. We…
Graded Hecke algebras can be constructed in terms of equivariant cohomology and constructible sheaves on nilpotent cones. In earlier work, their standard modules and their irreducible modules where realized with such geometric methods. We…
Let A denote the ring of differential operators on the affine line with its two usual generators t and d/dt given degrees +1 and -1 respectively. Let X be the stack having coarse moduli space the affine line Spec k[z] and isotropy groups…
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…
We show that for quasi-compact quasi-separated schemes of finite dimension, the constructibility condition in real \'etale cohomology agrees with a notion of constructibility arising naturally from topology. As application we prove that the…
We compute the sheaf cohomology with constant $\mathbb{Z}_2$ coefficients of a concrete class of locally profinite sets of independent interest. We introduce $k$-sheer partitions to aid in constructions. It is also shown that questions of…
When $W$ is a finite Coxeter group acting by its reflection representation on $E$, we describe the category ${\mathsf{Perv}}_W(E_{\mathbb C}, {\mathcal{H}}_{\mathbb C})$ of $W$-equivariant perverse sheaves on $E_{\mathbb C}$, smooth with…
We confirm the quasi-projective case of Saito's conjecture, namely that the cohomological characteristic classes defined by Abbes and Saito can be computed in terms of the characteristic cycles. We construct a cohomological characteristic…
We define Weil spaces, Weil manifolds, Weil varieties and Weil Lie groups over an arbitrary commutative base ring K (in particular, over discrete rings such as the integers), and we develop the basic theory of such spaces, leading up the…
We introduce, on a topological space X, a class of stacks of abelian categories we call "stacks of type P." This class of stacks includes the stack of perverse sheaves (of any perversity, constructible with respect to a fixed…
We construct the Weil-\'etale cohomology and Euler characteristics for a subclass of the class of $\mathbb{Z}$-constructible sheaves on the spectrum of the ring of integers of a totally imaginary number field. Then we show that the special…
We introduce irregular constructible sheaves, which are $\mathbb{C}$-constructible with coefficients in a finite version of Novikov ring $\Lambda$ and special gradings. We show that the bounded derived category of cohomologically irregular…
We study some aspects of modular generalized Springer theory for a complex reductive group $G$ with coefficients in a field $\mathbb k$ under the assumption that the characteristic $\ell$ of $\mathbb k$ is rather good for $G$, i.e., $\ell$…
We develop the theory of ind-geometric stacks, in particular their coherent and ind-coherent sheaf theory. This provides a convenient framework for working with equivariant sheaves on ind-schemes, especially in derived settings. Motivating…
We provide an equivalence between the category of affine, smooth group schemes over the ring of generalized dual numbers $k[I]$, and the category of extensions of the form $1 \rightarrow \text{Lie}(G, I) \rightarrow E \rightarrow G…
We construct a new Weil cohomology for smooth projective varieties over a field, universal among Weil cohomologies with values in rigid additive tensor categories. A similar universal problem for Weil cohomologies with values in rigid…
We construct the Weil-\'etale cohomology and Euler characteristics for a subclass of the class of $\mathbb{Z}$-constructible sheaves on an open subscheme of the spectrum of the ring of integers of a number field. Then we show that the…
Motivated by applications to the categorical and geometric local Langlands correspondences, we establish an equivalence between the category of filtered $\mathcal{D}$-modules on a smooth stack $X$ and the category of $S^1$-equivariant…
We give a simple proof for the rigidity of a complex in the bounded derived category of sheaves with constructible cohomology on an abelian variety.