Related papers: Affine Matsuki correspondence for sheaves
We give a characterization of the sets of objects of the derived category of a block of a finite group algebra (or other symmetric algebra) that occur as the set of images of simple modules under an equivalence of derived categories. We…
We show that the category of coherent sheaves on the toric boundary divisor of a smooth quasiprojective toric DM stack is equivalent to the wrapped Fukaya category of a hypersurface in a complex torus. Hypersurfaces with every Newton…
We define certain extensions of Jacobi groups of $A_1$, prove an analogue of Chevalley theorem for their invariants, and construct a Dubrovin-Frobenius structure on its orbit space.
We introduce and study kernel algebras, i.e., algebras in the category of sheaves on a square of a scheme, where the latter category is equipped with a monoidal structure via a natural convolution operation. We show that many interesting…
The classical concept of affine locally symmetric spaces allows a generalization for various geometric structures on a smooth manifold. We remind the notion of symmetry for parabolic geometries and we summarize the known facts for…
Let $G$ be a finite subgroup in SU(2), and $Q$ the corresponding affine Dynkin diagram. In this paper, we review the relation between the categories of $G$-equivariant sheaves on $P^1$ and $Rep Q_h$, where $h$ is an orientation of $Q$,…
We construct a sheaf-theoretic analogue of the wrapped Fukaya category in Lagrangian Floer theory, by localizing a category of sheaves microsupported away from some given $\Lambda \subset S^*M$ along continuation maps constructed using the…
For a simply-connected simple algebraic group $G$ over $\C$, we exhibit a subvariety of its affine Grassmannian that is closely related to the nilpotent cone of $G$, generalizing a well-known fact about $GL_n$. Using this variety, we…
We show that the derived category of coherent sheaves on the quotient stack of the affine plane by a finite small subgroup of the general linear group is obtained from the derived category of coherent sheaves on the minimal resolution by…
An intrinsic construction of the tensor category of finite dimensional representations of the Langlands dual group of G in terms of a tensor category of perverse sheaves on the loop group, LG, is given. The construction is applied to the…
We introduce the semi-infinite category of sheaves on the affine Grassmannian, and construct a particular object in it, which we call the the semi-infinite intersection cohomology sheaf. We relate it to several other entities naturally…
We study the connection between the affine degenerate Grassmannians in type $A$, quiver Grassmannians for one vertex loop quivers and affine Schubert varieties. We give an explicit description of the degenerate affine Grassmannian of type…
Due to a theorem by Orlov every exact fully faithful functor between the bounded derived categories of coherent sheaves on smooth projective varieties is of Fourier-Mukai type. We extend this result to the case of bounded derived categories…
In this brief postscript to our paper "Integral transforms and Drinfeld centers in derived algebraic geometry", we describe a Morita equivalence for derived, categorified matrix algebras implied by theory developed since its appearance. We…
We give a moduli-theoretic proof of the classical theorem of Gabriel, stating that a scheme can be reconstructed from the abelian category of quasi-coherent sheaves over it. The methods employed are elementary and allow us to extend the…
Let X be an algebraic variety with an action of an algebraic group G. Suppose X has a full exceptional collection of sheaves, and these sheaves are invariant under the action of the group. We construct a semiorthogonal decomposition of…
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 construct a full rectangular Lefschetz collection in the derived category of the adjoint Grassmannian in type $\mathrm{F}_4$. This gives the first example of a full exceptional collection on this variety and also completes the proof of a…
Any map of schemes $X\to Y$ defines an equivalence relation $R=X\times_Y X\to X\times X$, the relation of "being in the same fiber". We have shown elsewhere that not every equivalence relation has this form, even if it is assumed to be…
By a local geometric Langlands correspondence for a complex reductive group G we understand a construction which assigns to a local system on the punctured disc for the Langlands dual group of G, a category equipped with an action of the…