Related papers: Perverse Sheaves and Knot Contact Homology

The conormal lift of a link $K$ in $\R^3$ is a Legendrian submanifold $\Lambda_K$ in the unit cotangent bundle $U^* \R^3$ of $\R^3$ with contact structure equal to the kernel of the Liouville form. Knot contact homology, a topological link…

This note is mostly an exposition of an unpublished result of Deligne, which introduces an analogue of perverse $t$-structure on the derived category of coherent sheaves on a Noetherian scheme with a dualizing complex. Construction extends…

The conormal Lagrangian $L_K$ of a knot $K$ in $\mathbb{R}^3$ is the submanifold of the cotangent bundle $T^* \mathbb{R}^3$ consisting of covectors along $K$ that annihilate tangent vectors to $K$. By intersecting with the unit cotangent…

Using derived categories of equivariant coherent sheaves, we construct a categorification of the tangle calculus associated to sl(2) and its standard representation. Our construction is related to that of Seidel-Smith by homological mirror…

We introduce a class of perverse sheaves on a partial flag manifold of a connected reductive group G defined over a finite field which are equivariant under the action of the group of rational points of G. The definition of this class is…

For each braid $\beta\in Br_n$ we construct a $2$-periodic complex $\mathbb{S}_\beta$ of quasi-coherent $\mathbb{C}^*\times \mathbb{C}^*$-equivariant sheaves on the non-commutative nested Hilbert scheme $Hilb_{1,n}^{free}$. We show that the…

We construct a new invariant of transverse links in the standard contact structure on R^3. This invariant is a doubly filtered version of the knot contact homology differential graded algebra (DGA) of the link. Here the knot contact…

Using derived categories of equivariant coherent sheaves we construct a knot homology theory which categorifies the quantum sl(m) knot polynomial. Our knot homology naturally satisfies the categorified MOY relations and is conjecturally…

We describe an analogue of the notion of a perverse sheaf in the setting of the derived category of coherent sheaves on an algebraic stack. Under strong additional assumptions the construction of coherent "intersection cohomology" complexes…

This is an expanded version of the text ``Perverse Sheaves on Loop Grassmannians and Langlands Duality'', AG/9703010. The main new result is a topological realization of algebraic representations of reductive groups over arbitrary rings. We…

For a fixed parabolic subalgebra p of gl(n,C) we prove that the centre of the principal block O(p) of the parabolic category O is naturally isomorphic to the cohomology ring of the corresponding Springer fibre. We give a diagrammatic…

We give an explicit combinatorial description of the category Perv(S,N) of perverse sheaves on an oriented surface S (with boundary) with singularities at a given finite set N. The description is given in terms of any spanning graph K in S…

We construct a supercategory that can be seen as a skew version of (thickened) KLR algebras for the type $A$ quiver. We use our supercategory to construct homological invariants of tangles and show that for every link our invariant gives a…

Perverse schobers are categorifications of perverse sheaves. We construct a perverse schober on a partial compactification of the stringy K\"ahler moduli space (SKMS) associated by Halpern-Leistner and Sam to a quasi-symmetric…

We derive two geometric approaches to categorification of quantum invariants of links associated to an arbitrary compact simple Lie group $^L{G}$. In part I, we describe the first approach, based on an equivariant derived category of…

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…

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 outline a proof of a geometric version of the Satake isomorphism. Given a connected, complex algebraic reductive group G we show that the tensor category of representations of the dual group $\check G$ is naturally equivalent to a…

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…

We give an infinite dimensional description of the differential K-theory of a manifold $M$. The generators are triples $[H, A, \omega]$ where $H$ is a ${\bf Z}_2$-graded Hilbert bundle on $M$, $A$ is a superconnection on $H$ and $\omega$ is…