Related papers: Microlocal homology
Consider a smooth projective family of canonically polarized complex manifolds over a smooth quasi-projective complex base U, and suppose the family is non-isotrivial. If Y is a smooth compactification of U, such that D := Y U is a simple…
This is an announcement of a long paper in progress. On a locally compact space, we introduce the stack of ind-sheaves (ind-objects of the category of sheaves with compact support) and construct the analogous of the usual six operations on…
A morphism of nonreduced Gieseker - Maruyama functor (of semistable coherent torsion-free sheaves) on a surface to the nonreduced functor of admissible semistable pairs with the same Hilbert polynomial, is constructed. This leads to the…
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…
Let $\boldsymbol{Z}$ be a derived global complete intersection over $\mathbb{C}$. We compute the periodic cyclic homology of the category of ind-coherent sheaves with prescribed singular support on $\boldsymbol{Z}$ in terms of the…
The purpose of this paper is to establish injectivity theorems for higher direct image sheaves of canonical bundles twisted by pseudo-effective line bundles and multiplier ideal sheaves. As applications, we generalize Koll'ar's torsion…
Let $X$ a projective manifold equipped with a codimension $1$ (maybe singular) distribution whose conormal sheaf is assumed to be pseudoeffective. By a theorem of Jean-Pierre Demailly, this distribution is actually integrable and thus…
Let $X_\Sigma$ be a complete toric variety. The coherent-constructible correspondence $\kappa$ of \cite{FLTZ} equates $\Perf_T(X_\Sigma)$ with a subcategory $Sh_{cc}(M_\bR;\LS)$ of constructible sheaves on a vector space $M_\bR.$ The…
We conjecture the equality of the numerical and Kodaira dimensions $\nu_1^*(X)$ and $\kappa_1^*(X)$ for the cotangent bundle of compact K\"ahler manifolds $X$, generalising the classical case of the canonical bundle. We show or reduce it to…
In this paper the authors study the behavior of the sheaf cohomology functors $R^{\bullet}\text{ind}_{B}^{G}(-)$ where $G$ is an algebraic group scheme corresponding to a simple classical Lie superalgebra and $B$ is a BBW parabolic subgroup…
Let g be a complex reductive Lie algebra with Cartan algebra h. Hotta and Kashiwara defined a holonomic D-module M, on g x h, called Harish-Chandra module. We give an explicit description of gr(M), the associated graded module with respect…
Based on the methods developed in [Kashiwara-Rouquier], we consider microlocalization of the rational Cherednik algebra of type $\Z/l\Z$. Our goal is to construct the irreducible modules and standard modules of the rational Cherednik…
Let X be a scheme of finite type over a Noetherian base scheme S admitting a dualizing complex, and let U be an open subset whose complement has codimension at least 2. We extend the Deligne-Bezrukavnikov theory of perverse coherent sheaves…
The aim of this paper is to connect two important and apparently unrelated theories: motivic homotopy theory and ramification theory. We construct motivic homotopy categories over a qcqs base scheme $S$, in which cohomology theories with…
In this paper, we establish the sheafified version of the cohomological integrality conjecture for stacks obtained as a quotient of a smooth affine symmetric algebraic variety by a reductive algebraic group equipped with an invariant…
On a suitable category of formal schemes equipped with codimension functions we construct a canonical pseudofunctor (-)^# taking values in the corresponding categories of Cousin complexes. Cousin complexes on such a formal scheme X…
We study the representation theory of the rational Cherednik algebra $H_\kappa = H_\kappa({\mathbb Z}_l)$ for the cyclic group ${\mathbb Z}_l = {\mathbb Z} / l {\mathbb Z}$ and its connection with the geometry of the quiver variety…
The chiral central charge $c_-$ is a key topological invariant of the edge characterizing the bulk two-dimensional chiral topological order, but its direct evaluation in microscopic spin models has long been a challenge, especially for…
In this article we examine under which conditions symplectic homology with local coefficients of a unit disk bundle $D^*M$ vanishes. For instance this is the case if the Hurewicz map $\pi_2(M)\to H_2(M;\mathbb{Z})$ is nonzero. As an…
Kashiwara conjectured that the hard Lefshetz theorem and the semisimplicity theorem hold for any semisimple perverse sheaf M on a variety over a field of characteristic 0. He also conjectured that if you apply to such M the nearby cycle…