Related papers: Perverse Microsheaves

In this note, we consider perverse sheaves on the nilpotent cone. We prove orthogonality relations for the equivariant category of sheaves on the nilpotent cone in a method similar to Lusztig's for character sheaves. We also consider…

A quasi-coherent ringed scheme is a pair (X,A), where X is a scheme, and A is a noncommutative quasi-coherent O_X-ring. We introduce dualizing complexes over quasi-coherent ringed schemes and study their properties. For a separated…

Let X be a smooth toric variety stratified by the torus action. This paper is a presentation of a description of the category Perv_X of perverse sheaves on X relatively to the fixed stratification. We define a category of representations of…

The main objective of the present paper is to set up the theoretical basis and the language needed to deal with the problem of direct images of hermitian vector bundles for projective non-necessarily smooth morphisms. To this end, we first…

We introduce a notion of proxy smallness for $t$-structures on triangulated categories associated to a Noetherian scheme. Specifically, the theory is developed in the presence of tensor actions. Consequently, our results yield a new…

Achar has recently introduced a family of t-structures on the derived category of equivariant coherent sheaves on a $G$-scheme, generalizing the perverse coherent t-structures of Bezrukavnikov and Deligne. They are called \emph{staggered}…

We interpret some results of persistent homology and barcodes (in any dimension) with the language of microlocal sheaf theory. For that purpose we study the derived category of sheaves on a real finite-dimensional vector space V. By using…

Suppose that $f$ defines a singular, complex affine hypersurface. If the critical locus of $f$ is one-dimensional, we obtain new general bounds on the ranks of the homology groups of the Milnor fiber of $f$. This result has an interesting…

Given a quasi-compact, quasi-separated scheme X, a bijection between the tensor localizing subcategories of finite type in Qcoh(X) and the set of all subsets $Y\subseteq X$ of the form $Y=\bigcup_{i\in\Omega}Y_i$, with $X\setminus Y_i$…

If $X$ is a variety over a number field, Annette Huber has defined a category of "horizontal" (or "almost everywhere unramified") $\ell$-adic complexes and $\ell$-adic perverse sheaves on $X$. For such objects, the notion of weights makes…

We explain how to compute simple perverse sheaves on the stack of $G$-zips and do these computations in several examples.

We consider an algebraic variety X together with the choice of a subvariety Z. We show that any coherent sheaf on X can be constructed out of a coherent sheaf on the formal neighborhood of Z, a coherent sheaf on the complement of Z, and an…

A class of perverse sheaves on framed representation varieties of the Jordan quiver is defined. Its relationship with product of symmetric groups, tensor product of Schur algebras, and tensor product of Fock spaces are addressed.

We develop the theory of semi-orthogonal decompositions and spherical functors in the framework of stable $\infty$-categories. Building on this, we study the relative Waldhausen S-construction $S_\bullet(F)$ of a spherical functor $F$ and…

For a symplectic manifold satisfying some topological condition,we define a special class of modules over the deformation quantization algebra. For any two such modules we construct an infinity local system of morphisms. We construct such…

The convolution powers of a perverse sheaf on an abelian variety define an interesting family of branched local systems whose geometry is still poorly understood. We show that the generating series for their generic rank is a rational…

On the complement $X= {\mathbb C}^2 - \bigcup_{i=1}^n L_i$ to a central plane line arrangement $\bigcup_{i=1}^n L_i \subset {\mathbb C}^2$, a locally constant sheaf of complex vector spaces $\mathcal L_a$ is associated to any multi-index $a…

We describe the relationship between intersection cohomology with twisted coefficients and the perverse sheaves which play the role of the eigenspaces for the Milnor monodromy of an affine hypersurface.

Let $U$ be a smooth $\mathbb C$-scheme, $f:U\to\mathbb A^1$ a regular function, and $X=$Crit$(f)$ the critical locus, as a $\mathbb C$-subscheme of $U$. Then one can define the "perverse sheaf of vanishing cycles" $PV_{U,f}$, a perverse…

In the strict semi stable reduction situation, we describe the various filtrations of the perverse sheaf of nearby cycles in terms of irreducible perverse sheaves together with the action of the monodromy operator. We then study the…