Related papers: McKay equivalence for symplectic resolutions of si…
We study the question when a category of ind-objects is abelian. Our answer allows a further generalization of the notion of weakly Tannakian categories introduced by the author. As an application we show that, under suitable conditions,…
For a local non-Archimedean field $K$ we construct ${\rm GL}_{d+1}(K)$-equivariant coherent sheaves ${\mathcal V}_{{\mathcal O}_K}$ on the formal ${\mathcal O}_K$-scheme ${\mathfrak X}$ underlying the symmetric space $X$ over $K$ of…
We prove the uniqueness of crepant resolutions for some quotient singularities and for some nilpotent orbits. The finiteness of non-isomorphic symplectic resolutions for 4-dimenensional symplectic singularities is proved. We also give an…
Let M be a K3 surface or an even-dimensional compact torus. We show that the category of coherent sheaves on M is independent from the choice of the complex structure, if this complex structure is generic.
Let Y be a normal projective variety and p a morphism from X to Y, which is a projective holomorphic symplectic resolution. Namikawa proved that the Kuranishi deformation spaces Def(X) and Def(Y) are both smooth, of the same dimension, and…
We construct a full exceptional collection of vector bundles in the bounded derived category of coherent sheaves on the Grassmannian $\mathrm{IGr}(3,8)$ of isotropic 3-dimensional subspaces in an 8-dimensional symplectic vector space.
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 formulate a Crepant Resolution Correspondence for open Gromov-Witten invariants (OCRC) of toric Lagrangian branes inside Calabi-Yau 3-orbifolds by encoding the open theories into sections of Givental's symplectic vector space. The…
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.…
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…
We establish a criterion for sheaves on an adically complete DG scheme to be coherent. We deduce a description of coherent sheaves on an adically complete lci singularity in terms of modules for a DG Lie algebra.
Suppose $f,g$ are homogeneous polynomials of degree $d$ defining smooth hypersurfaces $X_f = V(f)\subset \mathbb{P}^{m-1}$ and $X_g = V(g)\subset\mathbb{P}^{n-1}$. Then the sum $f(x)+g(y)$ defines a smooth hypersurface…
For any finite subgroup G in SL3(C), work of Bridgeland-King-Reid constructs an equivalence between the G-equivariant derived category of C^3 and the derived category of the crepant resolution Y = G-Hilb(C^3) of C^3/G. When G is abelian we…
We relate a generic character sheaf on a disconnected reductive group with a character of a representation of the rational points of the group over a finite field extending a result known in the connected case.
Let $k$ be a field, $C\to \Spec k$ be a stable curve and let $G$ be a finite group acting faithfully on the curve $C\to \Spec k$. In this article, we compute the vector space $\Ext^1_G(\Omega_{C/k}, \O_C)$, the sheaf $\Omega_{C/k}$ being…
Given a general finite group $G$, we consider several categories built on it, their Grothendieck topologies and resulting sheaf categories. For a certain class of transporter categories and their quotients, equipped with atomic topology, we…
Given a split simply connected and connected algebraic group scheme $\mathbb G$ over $\mathbb Z$ and a split parabolic subgroup scheme $\mathbb P\subset \mathbb G$, this paper constructs semi-orthogonal decompositions of the bounded derived…
We find some equivalences of the derived category of coherent sheaves on a Gorenstein genus one curve that preserve the (semi)-stability of pure dimensional sheaves. Using them we establish new identifications between certain Simpson moduli…
We show that the $\infty$-category of global spaces is equivalent to the homotopy localization of the $\infty$-category of sheaves on the site of separated differentiable stacks, following a philosophy proposed by Gepner-Henriques. We…
Let $G$ be a semisimple algebraic group over an algebraically closed field $k$, whose characteristic is positive and does not divide the order of the Weyl group of $G$, and let $\breve G$ be its Langlands dual group over $k$. Let $C$ be a…