Related papers: Equivariant sheaves on loop spaces

This is the fourth (and last) prepublication version of a book on derived categories, that will be published by Cambridge University Press. The purpose of the book is to provide solid foundations for the theory of derived categories, and to…

The geometric Satake correspondence gives an equivalence of categories between the representations of a semisimple group $ G $ and the spherical perverse sheaves on the affine Grassmannian $Gr$ of its Langlands dual group.…

The author has previously associated to each commutative ring with unit $\Bbbk$ and \'etale groupoid $\mathscr G$ with locally compact, Hausdorff, totally disconnected unit space a $\Bbbk$-algebra $\Bbbk\mathscr G$. The algebra…

On one hand, together with Pelle Steffens, we recently characterized the infinity category of derived manifolds up to equivalence by a universal property. On the other hand, it is shown in recent work of Behrend-Liao-Xu that the category of…

The aim of this paper is to identify a certain tensor category of perverse sheaves on the real loop Grassmannian of a real form $G_{\mathbb R}$ of a connected reductive complex algebraic group $G$ with the category of finite-dimensional…

We study the category of G(O)-equivariant perverse coherent sheaves on the affine Grassmannian of G. This coherent Satake category is not semisimple and its convolution product is not symmetric, in contrast with the usual constructible…

Let A denote the ring of differential operators on the affine line with its two usual generators t and d/dt given degrees +1 and -1 respectively. Let X be the stack having coarse moduli space the affine line Spec k[z] and isotropy groups…

It is usually not straightforward to work with the category of perverse sheaves on a variety using only its definition as a heart of a $t$-structure. In this paper, the category of perverse sheaves on a smooth toric variety with its orbit…

It is well-known that DG-enhancements of D(QCoh(X)) are all equivalent to each other, see [23]. Here we present an explicit model which leads to applications in deformation theory. In particular, we shall describe three models for derived…

We determine the generators of the autoequivalence group of the derived category of coherent sheaves on a bielliptic surface over an algebraically closed field of arbitrary characteristic. As a consequence, we prove that any algebraic…

We introduce a new method for ``twisting'' relative equivalences of derived categories of sheaves on two spaces over the same base. The first aspect of this is that the derived categories of sheaves on the spaces are twisted. They become…

Realizing a part of the Derived Deformation Theory program, we construct a "derived" analog of the Grothendieck's Quot scheme parametrizing subsheaves in a given coherent sheaf F on a smooth projective variety X. This analog is a…

Let $G$ be an algebraic group and let $\widetilde{\mathfrak g}$ be the corresponding affine algebra on some level. Consider the induced module $V:=Ind^{\widetilde{\mathfrak g}}_{{\mathfrak g}[[t]](O_{G[[t]]})$, where $O_{G[[t]]}$ is the…

For a connected reductive group G and a finite-dimensional G-module V, we study the invariant Hilbert scheme that parameterizes closed G-stable subschemes of V affording a fixed, multiplicity-finite representation of G in their coordinate…

We introduce a derived enhancement of the moduli space of sections defined by Chang-Li, and we compute its tangent complex. Special cases of this moduli space include stable maps and stable quasi-maps. As an application, we prove that…

Condensed mathematics as developed by Clausen and Scholze yields a version of derived functors over the category of continuous $G$-modules for a Hausdorff topological group $G$. We study the resulting notion of group cohomology and its…

We study the quantization of the canonical unshifted Poisson structure on the derived cotangent stack $T^\ast[X/G]$ of a quotient stack, where $X$ is a smooth affine scheme with an action of a (reductive) smooth affine group scheme $G$.…

For a given Fourier-Mukai equivalence of bounded derived categories of coherent sheaves on smooth quasi-projective varieties, we construct Fourier-Mukai equivalences of derived factorization categories of gauged Landau-Ginzburg (LG) models.…

We develop a general framework for Abel maps associated with a family $X/S$ of integral curves using derived algebraic geometry. For compactified Picard schemes, our approach yields relative quasi-smooth derived enhancements of the Quot…

When $W$ is a finite Coxeter group acting by its reflection representation on $E$, we describe the category ${\mathsf{Perv}}_W(E_{\mathbb C}, {\mathcal{H}}_{\mathbb C})$ of $W$-equivariant perverse sheaves on $E_{\mathbb C}$, smooth with…