Related papers: Lecture notes on sheaves and perverse sheaves

Recall that the Springer correspondence relates representations of the Weyl group to perverse sheaves on the nilpotent cone. We explain how to extend this to an equivalence between the triangulated category generated by the Springer…

In earlier work (arXiv:0801.0261), we gave a definition of an abelian category of motivic (constructible) sheaves over a base in characteristic zero using Nori's method. This category has Hodge and etale realizations, and is stable under…

Bezrukavnikov (later together with Arinkin) recovered the work of Deligne defining perverse $t$-structures for the derived category of coherent sheaves on a projective variety. In this text we prove that these $t$-structures can be obtained…

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…

We provide a generalization of the Deligne sheaf construction of intersection homology theory, and a corresponding generalization of Poincar\'e duality on pseudomanifolds, such that the Goresky-MacPherson, Goresky-Siegel, and…

We define the notion of sheaf in the context of doctrines. We prove the associate sheaf functor theorem. We show that grothendieck toposes and toposes obtained by the tripos to topos construction are instances of categories of sheaves for a…

In geometric representation theory, one often wishes to describe representations realized on spaces of invariant functions as trace functions of equivariant perverse sheaves. In the case of principal series representations of a connected…

We give a motivated introduction to the theory of perverse sheaves, culminating in the Decomposition Theorem of Beilinson, Bernstein, Deligne and Gabber. A goal of this survey is to show how the theory develops naturally from classical…

This is an expanded version of the notes by the second author of the lectures on symmetric tensor categories given by the first author at Ohio State University in March 2019 and later at ICRA-2020 in November 2020. We review some aspects of…

These are lecture notes, which summarize the current status of the Semiclassical theory, as well as Monopoles, Instantons, Instanton-dyons and Flux tubes. The emphasis is on QCD and QCD-like theories (deformed QCD), although relevant points…

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…

These are yet another lecture notes on Seiberg-Witten invariants, where no claim of originality is made, they contain a discussion of some related results from the recent literature.

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…

We show that perverse character varieties are (quasi-)affine. We do this in a purely stack-theoretic fashion, by exhibiting enough sections of the structure sheaf.

We generalise sheaf models of intuitionistic logic to univalent type theory over a small category with a Grothendieck topology. We use in a crucial way that we have constructive models of univalence, that can then be relativized to any…

Here I share a few notes I used in various course lectures, talks, etc. Some may be just calculations that in the textbooks are more complicated, scattered, or less specific; others may be simple observations I found useful or curious.

We study non-commutative projective lines over not necessarily algebraic bimodules. In particular, we give a complete description of their categories of coherent sheaves and show they are derived equivalent to certain bimodule species. This…

We introduce and develop the theory of metric sheaves. A metric sheaf $\A$ is defined on a topological space $X$ such that each fiber is a metric model. We describe the construction of the generic model as the quotient space of the sheaf…

An analogue of Serre's theorem is established for finite dimensional simple Lie superalgebras, which describes presentations in terms of Chevalley generators and Serre type relations relative to all possible choices of Borel subalgebras.…

These are slides for a talk given by the authors at the conference "Current developments and directions in the Langlands program" held in honor of Robert Langlands at the Northwestern University in May of 2008. The slides can be used as a…