Related papers: A categorical K\"unneth formula for constructible …
We show that each integral infinitesimal block of parabolic category O (including singular ones) for a semi-simple Lie algebra can be realized as a full subcategory of a "thick" category O over a finite W-algebra for the same Lie algebra.…
We prove an analog of the Gauss-Bonnet formula for constructible sheaves on reductive groups. As a corollary from this formula we get that if a perverse sheaf on a reductive group is equivariant under the adjoint action, then its Euler…
Starting point of the present work is a conjecture of F. Catanese which says that in the derived category of coherent sheaves on any rational homogeneous manifold G/P there should exist a complete strong exceptional poset and a bijection of…
Let $\mathbb{X}$ be a weighted noncommutative regular projective curve over a field $k$. The category $\operatorname{Qcoh}\mathbb{X}$ of quasicoherent sheaves is a hereditary, locally noetherian Grothendieck category. We classify all…
We generalise the techniques of semistable reduction for flat families of sheaves to the setting of the derived category $D^b(X)$ of coherent sheaves on a smooth projective three-fold $X$. Then we construct the moduli of PT-semistable…
We give bounds for the cohomology of constructible sheaves on the moduli stacks M_{g,n} over the complex field. This enables us recover Harer's bound for the virtual cohomological dimension of the associated mapping class groups as well the…
The exodromy correspondence of Barwick, Glasman, and Haine computes constructible sheaves of spaces on a scheme $X$ as an $\infty$-category of continuous functors from the profinite category $\operatorname{Gal}(X)$. Viewing…
We introduce graded $\mathbb{E}_{\infty}$-rings and graded modules over them, and study their properties. We construct projective schemes associated to connective $\mathbb{N}$-graded $\mathbb{E}_{\infty}$-rings in spectral algebraic…
We classify simple weight modules over infinite dimensional Weyl algebras and realize them using the action on certain localizations of the polynomial ring. We describe indecomposable projective and injective weight modules and deduce from…
The quantum Lefschetz formula explains how virtual fundamental classes (or structure sheaves) of moduli stacks of stable maps behave when passing from an ambient target scheme to the zero locus of a section. It is only valid under special…
We extend a construction of Hinich to obtain a closed model category structure on all differential graded cocommutative coalgebras over an algebraically closed field of characteristic zero. We further show that the Koszul duality between…
For quasi-projective varieties over a higher local field $k_N$, we prove that its $K$-groups, above a suitable degree, are divisible-by-finite. We also prove the finiteness of the prime-to-$p$ torsion subgroup of certain higher Chow groups…
Given a smooth morphism of schemes $X\rightarrow T$, denote by $\mathcal D_{X/T}^{\mathsf{cr}}$ the sheaf of rings of fiberwise crystalline differential operators on $X$ relative to $T$ and by $\Omega^\bullet_{X/T}$ the de Rham sheaf of…
We prove a theorem of Hinich type on existence of a model structure on a category related by an adjunction to the category of differential graded modules over a graded commutative ring.
We establish a geometric analog of the Casselman-Shalika formula for a split connected reductive group over a mixed characteristic local field. In particular, we construct sheaves on the Witt vector affine Grassmannian which geometrize the…
In this short note a differential version of the classical Weil descent is established in all characteristics. This yields a ready-to-deploy tool of differential restriction of scalars for differential varieties over finite differential…
Structural properties of unitary groups over local, not necessarily commutative, rings are developed, with applications to the computation of the orders of these groups (when finite) and to the degrees of the irreducible constituents of the…
In this paper we define the pro-\'etale homotopy type of a scheme and prove some of its expected properties. Our definition is similar to the definition of the \'etale homotopy type by Michael Artin and Barry Mazur. We prove that for a qcqs…
We study monoidal categories that enjoy a certain weakening of the rigidity property, namely, the existence of a dualizing object in the sense of Grothendieck and Verdier. We call them Grothendieck-Verdier categories. Notable examples…
We adapt ideas from Ekedahl [Eke84] to prove a Serre-type duality for Witt-divisorial sheaves of $\mathbb Q$-Cartier divisors on a smooth projective variety over a perfect field of finite characteristic. We also explain its relationship to…