Constructible sheaves of abelian groups on a stratified space can be equivalently described in terms of representations of the exit-path category. In this work, we provide a similar presentation of the abelian category of perverse sheaves on a stratified surface in terms of representations of the so-called paracyclic category of the surface. The category models a hybrid exit-entrance behaviour with respect to chosen sectors of direction, placing it "in between" exit and entrance path categories. In particular, this perspective yields an intrinsic definition of perverse sheaves as an abelian category without reference to derived categories and t-structures.
We note that Theorem 5.4 of the paper ``Characteristic cycles of perverse sheaves and Milnor fibers" (by P. Nang and K. Takeuchi, published online in Math. Zeitschrift, October 15, 2004) holds for "any" non-zero complex number $a$.
In this note, we provide a quick introduction to the study of the Milnor fibration via the derived category and perverse sheaves. This is primarily a dictionary for translating from the standard topological setting to the derived category and/or the Abelian category of perverse sheaves.
Informal lecture notes with examples on sheaf theory and the derived category of sheaves; sheaves and Morse theory; perverse sheaves, and some applications to representation theory. Added Oct 2021: cellular perverse sheaves. Proofs are outlined with references for further details.
Under some assumptions we prove that the Deligne tensor product of categories of constructible perverse sheaves on pseudomanifolds X and Y is the category of constructible perverse sheaves on X\times Y. The Deligne external tensor product functor is identified with the geometrical external tensor product.
The titular, foundational work of Beilinson not only gives a technique for gluing perverse sheaves but also implicitly contains constructions of the nearby and vanishing cycles functors of perverse sheaves. These constructions are completely elementary and show that these functors preserve perversity and respect Verdier duality on perverse sheaves. The work also defines a new, "maximal extension" functor, which is left mysterious aside from its role in the gluing theorem. In these notes, we present the complete details of all of these constructions and theorems.
We consider categories of generalized perverse sheaves, with relaxed constructibility conditions, by means of the process of gluing $t$-structures and we exhibit explicit abelian categories defined in terms of standard sheaves categories which are equivalent to the former ones. In particular, we are able to realize perverse sheaves categories as non full abelian subcategories of the usual bounded complexes of sheaves categories. Our methods use induction on perversities. In this paper, we restrict ourselves to the two-strata case, but our results extend to the general case.
We briefly introduce the theory of perverse sheaves with special attention to the topological situation where strata can have odd dimension. This is part of a project to use perverse sheaves on the topological reductive Borel-Serre compactification of a Hermitian locally symmetric space as a tool to study perverse sheaves on the Baily-Borel compactification, a projective algebraic variety. We sketch why the decomposition theorem holds for the natural map between the reductive Borel-Serre and the Baily-Borel compactifications. We demonstrate how to calculate extensions of simple perverse sheave…
We survey recent developments in the study of perverse sheaves on semi-abelian varieties. As concrete applications, we discuss various obstructions on the homotopy type of complex algebraic manifolds (expressed in terms of their cohomology jump loci), homological duality properties of complex algebraic manifolds, as well as new topological characterizations of semi-abelian varieties.
Kapranov and schechtman gave quiver description of perverse sheaves on real hyperplane arrangements. We used this description to relate the perverse sheaves on Coxeter hyperplane arrangements of type $\mathcal A_n$ for different values of $n$. As a consequence we prove that the simple perverse sheaves whose stalk on open cells are zero are induced from the perverse sheaves on lower dimension arrangements.
We prove that the length function for perverse sheaves and algebraic regular holonomic D-modules on a smooth complex algebraic variety Y is an absolute Q-constructible function. One consequence is: for "any" fixed natural (derived) functor F between constructible complexes or perverse sheaves on two smooth varieties X and Y, the loci of rank one local systems L on X whose image F(L) has prescribed length are Zariski constructible subsets defined over Q, obtained from finitely many torsion-translated complex affine algebraic subtori of the moduli of rank one local systems via a finite sequence …
In this article we address the length of perverse sheaves arising as direct images of rank one local systems on complements of hyperplane arrangements. In the case of a cone over an essential line arrangement with at most triple points, we provide combinatorial formulas for these lengths. As by-products, we also obtain in this case combinatorial formulas for the intersection cohomology Betti numbers of rank one local systems on the complement with same monodromy around the planes.
In this paper we develop the theory of perverse sheaves on Artin stacks continuing the study in "The six operations for sheaves on Artin stacks I: Finite Coefficients" and "The six operations for sheaves on Artin stacks II: Adic Coefficients" (math.AG/0512097 and math.AG/0603680)
We determine versal non-commutative deformations of some simple collections in the categories of perverse coherent sheaves arising from tilting generators for projective morphisms.
There is a connection between the category of perverse sheaves on a disc and different notions related to spherical functors. We introduce a category whose objects are analogous to 4-periodic semiorthogonal decompositions and prove that it is equivalent to the category of perverse sheaves on a disc stratified by the origin and its complement.
We study perverse coherent sheaves on the resolution of rational double points. As examples, we consider rational double points on 2-dimensional moduli spaces of stable sheaves on K3 and elliptic surfaces. Then we show that perverse coherent sheaves appears in the theory of Fourier-Mukai transforms. As an application, we generalize the Fourier-Mukai duality for K3 surfaces to our situation.
Inspired by symplectic geometry and a microlocal characterizations of perverse (constructible) sheaves we consider an alternative definition of perverse coherent sheaves. We show that a coherent sheaf is perverse if and only if $RΓ_Z(\mathcal{F})$ is concentrated in degree 0 for special subvarieties Z of X. These subvarieties Z are analogs of Lagrangians in the symplectic case.
Microlocal perverse sheaves form a stack on the cotangent bundle of a complex manifold that is the analogue of the stack of perverse sheaves on the manifold itself. We give an embedding of the stack of microlocal perverse sheaves into a simpler stack on the cotangent bundle which we call melded Morse systems. The category of melded Morse systems is elementary, in the sense that an object is a collection of vector spaces and a collection of linear maps between them satisfying certain composition relations.
We study perverse sheaves of categories their connections to classical algebraic geometry. We show how perverse sheaves of categories encode naturally derived categories of coherent sheaves on $\mathbb{P}^1$ bundles, semiorthogonal decompositions, and relate them to a recent proof of Segal that all autoequivalences of triangulated categories are spherical twists. Furthermore, we show that perverse sheaves of categories can be used to represent certain degenerate Calabi--Yau varieties.
We give a remark on the wall crossing behavior of perverse coherent sheaves on a blow-up and stability condition constructed by Toda. We also explain the wall crossing of twisted stability in terms of stability condition.
We analyze irreducible perverse sheaves on abelian varieties, defined over the complex numbers or the algebraic closure of a finite field, whose Euler characteristic is zero. We give a description of such perverse sheaves under assumptions for the case of simple abelian varieties.
We give a complete (global) characterization of complex perverse sheaves on semi-abelian varieties in terms of their cohomology jump loci. Our results generalize Schnell's work on perverse sheaves on complex abelian varieties, as well as Gabber-Loeser's results on perverse sheaves on complex affine tori. We apply our results to the study of cohomology jump loci of smooth quasi-projective varieties, to the topology of the Albanese map, and in the context of homological duality properties of complex algebraic varieties.
We revisit some of the basic results of generic vanishing theory, as pioneered by Green and Lazarsfeld, in the context of constructible sheaves. Using the language of perverse sheaves, we give new proofs of some of the basic results of this theory. Our approach is topological/arithmetic, and avoids Hodge theory.
We give an explicit construction of the stack of microlocal perverse sheaves on the projective cotangent bundle of a complex manifold. Microlocal perverse sheaves will be represented as complexes of analytic ind-sheaves which have recently been studied by Kashiwara-Schapira. This description allows us to formulate the microlocal Riemann-Hilbert correspondance in order to establish an equivalence of stacks with the stack of regular holonomic microdifferential modules.
We give a complete quiver description of the category of perverse sheaves on Hermitian symmetric spaces in types A and D, constructible with respect to the Schubert stratification. The calculation is microlocal, and uses the action of the Borel group to study the geometry of the conormal variety.
We show that there is a perverse sheaf on a fine moduli space of stable sheaves on a smooth projective Calabi-Yau 3-fold, which is locally the perverse sheaf of vanishing cycles for a local Chern-Simons functional, possibly after taking an etale Galois cover. This perverse sheaf lifts to a mixed Hodge module and gives us a cohomology theory which enables us to define the Gopakumar-Vafa invariants mathematically.
We survey nearby and vanishing cycles for both perverse sheaves and D-modules under analytic setting. Following ideas of A. Beilinson, M. Kashiwara and M. Saito, we explain in detail the proof of the comparison theorem between them in the sense of Riemann-Hilbert correspondence.
Let $X$ be a finite connected simplicial complex, and let $δ$ be a perversity (i.e., some function from integers to integers). One can consider two categories: (1) the category of perverse sheaves cohomologically constructible with respect to the triangulation, and (2) the category of sheaves constant along the perverse simplices ($δ$-sheaves). We interpret the categories (1) and (2) as categories of modules over certain quadratic (and even Koszul) algebras $A(X,δ)$ and $B(X,δ)$ respectively, and we prove that $A(X,δ)$ and $B(X,δ)$ are Koszul dual to each other. We define the $δ$-perverse topo…
We characterize bifurcation values of polynomial functions by using the theory of perverse sheaves and their vanishing cycles. In particular, by introducing a method to compute the jumps of the Euler characteristics with compact support of their fibers, we confirm the conjecture of Némethi-Zaharia in many cases.
Using the theory of mixed perverse sheaves, we extend arguments on the Hodge conjecture initiated by Lefschetz and Griffiths to the case of the Tate conjecture, and show that the Tate conjecture for divisors is closely related to the de Rham conjecture for nonproper varieties, finiteness of the Tate-Shafarevich groups, and also to some conjectures in the analytic number theory.
It is shown that for a perverse sheaf $K$ on an abelian variety $X$ the integers $i$ for which the cohomology $H^i(X,K)$ does not vanish define an interval in the number line (under certain conditions on the field of definition of $K$)
We give a Tannakian description for categories of l-adic perverse sheaves on semiabelian varieties which combines a construction of Gabber and Loeser for algebraic tori with a generic vanishing theorem for the cohomology of constructible sheaves on abelian varieties. As an application we explain how the arising Tannaka groups on abelian varieties can be studied in terms of semiabelian degenerations via the functor of nearby cycles.
We show that there is a natural perverse sheaf on the moduli space of semistable sheaves on a smooth projective Calabi-Yau 3-fold which is locally the perverse sheaf of vanishing cycles for a local Chern-Simons functional. This gives us a cohomology theory whose Euler numbers are Donaldson-Thomas invariants.
In characteristic zero, Bezrukavnikov has shown that the category of perverse coherent sheaves on the nilpotent cone of a simply connected semisimple algebraic group is quasi-hereditary, and that it is derived-equivalent to the category of (ordinary) coherent sheaves. We prove that graded versions of these results also hold in good positive characteristic.
It was proved by Ginzburg and Mirkovic-Vilonen that the $G(O)$-equivariant perverse sheaves on the affine grassmannian of a connected reductive group $G$ form a tensor category equivalent to the tensor category of finite dimensional representations of the dual group $G^\vee$. The proof use the Tannakian formalism. The purpose of this paper is to construct explicitely the action of $G^\vee$ on the global cohomology of a perverse sheaf.
For a stratified topological space we introduce the category of IC-modules, which are linear algebra devices with the relations described by the equation d^2=0. We prove that the category of (mixed) IC-modules is equivalent to the category of (mixed) perverse sheaves for flag varieties. As an application, we describe an algorithm calculating the quiver underlying the BGG category O for arbitrary simple Lie algebra, thus answering a question which goes back to I. M. Gelfand.
We obtain a linear algebra data presentation of the category of constructible with respect to perverse triangulation sheaves on a finite simplicial complex. We also establish Koszul duality between the above mentioned category and the category of perverse sheaves constructible with respect to the triangulation
The notions of consistent pairs and consistent chains of t-structures are introduced. A theorem that two consistent chains of t-structures generate a distributive lattice is proven. The technique developed is then applied to the pairs of chains obtained from the standard t-structure on the derived category of coherent sheaves and the dual t-structure by means of the shift functor. This yields a family of t-structures whose hearts are known as perverse coherent sheaves.
In their article "Elementary construction of perverse sheaves", R.MacPherson and K. Vilonen show that on a Thom-Mather space X the category PervX of perverse sheaves is equivalent to the category C(F, G, T) whose objects are data of perverse sheaves on the complementary of the closed strata S, a local system on S and some gluing data. To show this equivalence of categories, they define a functor C going from the category PervX to the category C(F, G, T). This definition is based on the notion of perverse link. They do not define a quasi-inverse of this functor. moreover they have to consider f…
We consider non-commutative deformations of sheaves on algebraic varieties. We develop some tools to determine parameter algebras of versal non-commutative deformations for partial simple collections and the structure sheaves of smooth rational curves. We apply them to universal flopping contractions of length 2 and higher. We confirm Donovan-Wemyss conjecture in the case of deformations of Laufer's flops.
Algebraic structures involving both multiplications and comultiplications (such as, e.g., bialgebras or Hopf algebras) can be encoded using PROPs (categories with PROducts and Permutations) of Adams and MacLane. To encode such structures on objects of a braided monoidal category, we need PROBs (braided analogs of PROPs). Colored PROBs correspond to multi-sorted structures. In particular, we have a colored PROB B governing non-negatively graded bialgebras in braided categories. As a category, B splits into blocks B_n according to the grading. We relate B_n with the category P_n of perverse shea…
We present a construction of framed torsion free instanton sheaves on a projective variety containing a fixed line which further generalizes the one on projective spaces. This is done by generalizing the so called ADHM variety. We show that the moduli space of such objects is a quasi projective variety, which is fine in the case of projective spaces. We also give an ADHM categorical description of perverse instanton sheaves in the general case, along with a hypercohomological characterization of these sheaves in the particular case of projective spaces.
We compute the perverse delta-homotopy heart of the motivic stable homotopy category over a base scheme with a dimension function delta, rationally or after inverting the exponential characteristic in the equicharacteristic case. In order to do that, we define the notion of homological Milnor-Witt cycle modules and construct a homotopy-invariant Rost-Schmid cycle complex. Moreover, we define the category of cohomological Milnor-Witt cycle modules and show a duality result in the smooth case.
We study the full set of solutions to the ADHM equation as an affine algebraic set, the ADHM variety. We gather the points of the ADHM variety into subvarieties according to the dimension of the stabilizing subspace. We compute dimension, and analyze singularity and reducibility of all of these varieties. We also connect representations of the ADHM quiver to coherent perverse sheaves on $\mathbb{P}^2$ in the sense of Kashiwara.
This is the first of two papers studying moduli spaces of a certain class of coherent sheaves, which we call {\it stable perverse coherent sheaves}, on the blowup of a projective surface. They are used to relate usual moduli spaces of stable sheaves on a surface and its blowup. In this first part, we give a quiver (or ADHM) description of moduli spaces for framed perverse coherent sheaves on the blowup of the projective plane.
In this paper we study the Witt groups of symmetric and anti-symmetric forms on perverse sheaves on a finite-dimensional topologically stratified space with even dimensional strata. We show that the Witt group has a canonical decomposition as a direct sum of the Witt groups of shifted local systems on strata. We compare this with another `splitting decomposition' for Witt classes of perverse sheaves obtained inductively from our main new tool, a `splitting relation' which is a generalisation of isotropic reduction. The Witt groups we study are identified with the (non-trivial) Balmer-Witt grou…
For a reductive group over an algebraically closed field of characteristic $p > 0$ we construct the abelian category of perverse $\mathbb{F}_p$-sheaves on the affine Grassmannian that are equivariant with respect to the action of the positive loop group. We show this is a symmetric monoidal category, and then we apply a Tannakian formalism to show this category is equivalent to the category of representations of a certain affine monoid scheme. We also show that our work provides a geometrization of the inverse of the mod $p$ Satake isomorphism. Along the way we prove that affine Schubert varie…
