We study the equivariant category associated to a finite group action on the derived category of coherent sheaves of a smooth projective variety. We discuss decompositions of the equivariant category and faithful actions, prove the existence of a Serre functor, give a criterion for the equivariant category to be Calabi--Yau, and describe an obstruction for a subgroup of the group of auto-equivalences to act. As application we show that the equivariant category of any symplectic action on the derived category of an elliptic curve is equivalent to the derived category of an elliptic curve.
We investigate equivalences between the categories of perfects complexes of the quotients of two smooth projective schemes by the action of a finite group. As a result we give a necessary and sufficient condition for an equivalence between the equivariant derived categories to descend to the categories of perfect complexes.
We investigate conditions for a Fourier-Mukai transform between derived categories of coherent sheaves on smooth projective stacks endowed with actions by finite groups to lift to the associated equivariant derived categories. As an application we give a condition under which a global quotient stack cannot be derived equivalent to a variety. We also apply our techniques to generalised Kummer stacks and symmetric quotients.
Given a smooth variety $X$ with an action of a finite group $G$, and a semiorthogonal decomposition of the derived category, $\mathcal{D}([X/G])$, of $G$-equivariant coherent sheaves on $X$ into subcategories equivalent to derived categories of smooth varieties, we construct a similar semiorthogonal decomposition for a smooth $G$-invariant divisor in $X$ (under certain technical assumptions). Combining this procedure with the semiorthogonal decompositions constructed in [PV15], we construct semiorthogonal decompositions of some equivariant derived categories of smooth projective varieties.
We study the bounded derived categories of torus-equivariant coherent sheaves on smooth toric varieties and Deligne-Mumford stacks. We construct and describe full exceptional collections in these categories. We also observe that these categories depend only on the PL homeomorphism type of the corresponding simplicial complex.
Consider a finite group $G$ acting on a triangulated category $\mathcal T$. In this paper we investigate triangulated structure on the category $\mathcal T^G$ of $G$-equivariant objects in $\mathcal T$. We prove (under some technical conditions) that such structure exists. Supposed that an action on $\mathcal T$ is induced by a DG-action on some DG-enhancement of $\mathcal T$, we construct a DG-enhancement of $\mathcal T^G$. Also, we show that the relation "to be an equivariant category with respect to a finite abelian group action" is symmetric on idempotent complete additive categories.
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 bounded derived category of G-equivariant coherent sheaves on X into components, equivalent to derived categories of twisted representations of the group. If the group is finite or reductive over the algebraically closed field of zero characteristic, this gives a full exceptional collection in the derived equivariant category. We apply our results to particular …
In the paper we answer the following question: for a morphism of varieties (or, more generally, stacks), when the derived category of the base can be recovered from the derived category of the covering variety by means of descent theory? As a corollary, we show that for an action of a reductive group on a scheme, the derived category of equivariant sheaves is equivalent to the category of objects, equipped with an action of the group, in the ordinary derived category.
We consider the bounded derived category of $S_k$-equivariant coherent sheaves on $(\mathbb{P}^n)^k$. The goal of this paper is to construct in this category a rectangular Lefschetz exceptional collection when this is possible, or a minimal Lefschetz exceptional collection when a rectangular one does not exist. The main results of the paper include the construction of a rectangular Lefschetz exceptional collection in the case $k=3$ and in the case $n=1$ when $\mathrm{gcd}(n+1,k)=1$. We also construct minimal Lefschetz exceptional collection for $n=1$ and even $k$, and for $n=2$ and $k=3$.
Given an action of a finite group $G$ on the derived category of a smooth projective variety $X$ we relate the fixed loci of the induced $G$-action on moduli spaces of stable objects in $D^b(\mathrm{Coh}(X))$ with moduli spaces of stable objects in the equivariant category $D^b(\mathrm{Coh}(X))_G$. As an application we obtain a criterion for the equivariant category of a symplectic action on the derived category of a symplectic surface to be equivalent to the derived category of a surface. This generalizes the derived McKay correspondence, and yields a general framework for describing fixed lo…
We consider the derived category of coherent sheaves on a complex vector space equivariant with respect to an action of a finite reflection group G. In some cases, including Weyl groups of type A, B, G_2, F_4, as well as the groups G(m,1,n), we construct a semiorthogonal decomposition of this category, indexed by the conjugacy classes of G. The pieces of this decompositions are equivalent to the derived categories of coherent sheaves on the quotient-spaces V^g/C(g), where C(g) is the centralizer subgroup of g in G. In the case of the Weyl groups the construction uses some key results about the…
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 $X=V(f(x)+g(y))\subset\mathbb{P}^{m+n-1}$ with an action of $μ_d$ scaling the $g$ variables. Motivated by the work of Orlov, we construct a semi-orthogonal decomposition of the derived category of coherent sheaves on $[X/μ_d]$ provided $d\geq \mathrm{max}\{m,n\}$.
In this article, we investigate the category $\mathcal{A}^G$ of equivariant objects of an additive category $\mathcal{A}$ with respect to an action of a finite group $G$. We show that if $G$ is solvable then we can reconstruct $\mathcal{A}$ from $\mathcal{A}^G$ via a finite sequence of equivariantization. We also consider the possibility of a triangulated structure on $\mathcal{A}^G$ canonical in certain sense when $\mathcal{A}$ is triangulated and give several instances in which $\mathcal{A}^G$ is indeed canonically triangulated.
Let $\text{X}$ denote a projective variety over an algebraically closed field on which a linear algebraic group acts with finitely many orbits. Then, a conjecture of Soergel and Lunts in the setting of Koszul duality and Langlands' philosophy, postulates that the equivariant derived category of bounded complexes with constructible equivariant cohomology sheaves on $\text{X}$ is equivalent to a full subcategory of the derived category of modules over a graded ring defined as a suitable graded $Ext$. Only special cases of this conjecture have been proven so far. {\it The purpose of this paper is…
In this thesis we study two main topics which culminate in a proof that four distinct definitions of the equivariant derived category of a smooth algebraic group $G$ acting on a variety $X$ are in fact equivalent. In the first part of this thesis we introduce and study equivariant categories on a quasi-projective variety $X$. These are a generalization of the equivariant derived category of Lusztig and are indexed by certain pseudofunctors that take values in the 2-category of categories. This 2-categorical generalization allow us to prove rigorously and carefully when such categories are addi…
We introduce crossingless sheaves in certain equivariant derived categories which are analogous to the Bezrukavnikov-Mirkovic exotic sheaves for two-block nilpotents. We calculate the classes of crossingless sheaves in equivariant K-theory of Cautis-Kamnitzer varieties.
We leverage the results of the prequel in combination with a theorem of D. Orlov to yield some results in Hodge theory of derived categories of factorizations and derived categories of coherent sheaves on varieties. In particular, we provide a conjectural geometric framework to further understand M. Kontsevich's Homological Mirror Symmetry conjecture. We obtain new cases of a conjecture of Orlov concerning the Rouquier dimension of the bounded derived category of coherent sheaves on a smooth variety. Further, we introduce actions of $A$-graded commutative rings on triangulated categories and t…
We study the topological K-theory spectrum of the dg singularity category associated to a weighted projective complete intersection. We calculate the topological K-theory of the dg singularity category of a weighted projective hypersurface in terms of its Milnor fiber and monodromy operator, and, as an application, we obtain a lift of the Atiyah-Bott-Shapiro construction to the level of spectra.
Let $X$ be a variety with an action by an algebraic group $G$. In this paper we discuss various properties of $G$-equivariant $D$-modules on $X$, such as the decompositions of their global sections as representations of $G$ (when $G$ is reductive), and descriptions of the categories that they form. When $G$ acts on $X$ with finitely many orbits, the category of equivariant $D$-modules is isomorphic to the category of finite-dimensional representations of a finite quiver with relations. We describe explicitly these categories for irreducible $G$-modules $X$ that are spherical varieties, and sho…
We give a description of certain categories of equivariant coherent sheaves on Grothendieck's resolution in terms of the categorical affine Hecke algebra of Soergel. As an application, we deduce a relationship of these coherent sheaf categories to the categories of perverse sheaves considered in the work of Bezrukavnikov-Yun, generalizing results of Arkhipov-Bezrukavnikov. In addition, we deduce that the weak braid group action on sheaves of Riche and Bezrukavnikov-Riche can be upgraded to a strict braid group action.
We study arithmetic properties of derived equivalent K3 surfaces over the field of Laurent power series, using the equivariant geometry of K3 surfaces with cyclic groups actions.
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. As an application, we obtain some equivalences of derived factorization categories of K-equivalent gauged LG models. This result is an equivariant version of the result of Baranovsky and Pecharich, and it also gives a partial answer to Segal's conjecture. As another application, we prove that if the kernel of the Fourier-Mukai equivalence is linearizable wi…
We introduce the notion of (homological) G-smoothness for a complex G-variety X, where G is a connected affine algebraic group. This is based on the notion of smoothness for dg algebras and uses a suitable enhancement of the G-equivariant derived category of X. If there are only finitely many G-orbits and all stabilizers are connected, we show that X is G-smooth if and only if all orbits O satisfy H^*(O; R)=R. On the way we prove several results concerning smoothness of dg categories over a graded commutative dg ring.
Let X be a scheme, and let G be an affine group scheme acting on X. Under reasonable hypotheses on X and G, we construct a t-structure on the derived category of G-equivariant coherent sheaves that in many ways resembles the perverse coherent t-structure, but which incorporates additional information from the G-action. Under certain circumstances, this t-structure, called the "staggered t-structure," has an artinian heart, and its simple objects are particularly easy to describe. We also exhibit two small examples in which the staggered t-structure is better-behaved than the perverse coherent …
Let $G$ be an affine group scheme over a noetherian commutative ring $R$. We show that every $G$-equivariant vector bundle on an affine toric scheme over $R$ with $G$-action is extended from $\Spec(R)$ for several cases of $R$ and $G$. We show that given two affine schemes with group scheme actions, an equivalence of the equivariant derived categories implies isomorphism of the equivariant $K$-theories as well as equivariant $K'$-theories.
We consider categories of equivariant mixed Tate motives, where equivariant is understood in the sense of Borel. We give the two usual definitions of equivariant motives, via the simplicial Borel construction and via algebraic approximations of it. The definitions turn out to be equivalent and give rise to a full six-functor formalism. For rational étale motives over a finite field or the homotopical stable algebraic derivator arising from the semisimplified Hodge realization, the equivariant mixed Tate motives provide a graded version of the equivariant derived category. We show that, in suff…
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$, constructing an explicit equivalence of corresponding derived categories.
We introduce and study various categories of (equivariant) motives of (versal) flag varieties. We relate these categories with certain categories of parabolic (Demazure) modules. We show that the motivic decomposition type of a versal flag variety depends on the direct sum decomposition type of the parabolic module. To do this we use localization techniques of Kostant-Kumar in the context of generalized oriented cohomology as well as the Rost nilpotence principle for algebraic cobordism and its generic version. As an application, we obtain new proofs and examples of indecomposable Chow motives…
For a pair of affine toric varieties X and Y defined by dual cones, we define an equivalence between two triangulated categories. The first is a mixed version of the equivariant derived category of X and the second is a mixed version of the derived category of sheaves on Y which are locally constant with unipotent monodromy on each orbit. This equivalence satisfies the Koszul duality formalism of Beilinson, Ginzburg, and Soergel. A similar duality was constructed in math.AG/0308216; this new approach is more canonical.
We prove two kinds of $\mathbb{Z}/2$-periodic Koszul duality equivalences for triangulated categories of matrix factorizations associated with $(-1)$-shifted cotangents over quasi-smooth affine derived schemes. We use this result to define $\mathbb{Z}/2$-periodic version of Donaldson-Thomas categories for local surfaces, whose $\mathbb{C}^{\ast}$-equivariant version was introduced and developed in the author's previous paper. We compare $\mathbb{Z}/2$-periodic DT category with the $\mathbb{C}^{\ast}$-equivariant one, and deduce wall-crossing equivalences of $\mathbb{Z}/2$-periodic DT categorie…
In this paper, we compute triangular spectrum (as defined by P. Balmer) of two classes of tensor triangulated categories which are quite common in algebraic geometry. One of them is the derived category of $G$-equivariant sheaves on a smooth scheme $X$ for a finite group $G$ which acts on $X$ with some smoothness condition on the quotient. The other class is the derived category of split superschemes.
Let X be a T-variety, where T is an algebraic torus. We describe a fully faithful functor from the category of T-equivariant vector bundles on X to a certain category of filtered vector bundles on a suitable quotient of X by T. We show that if X is factorial, this functor gives an equivalence of categories. This generalizes Klyachko's description of equivariant vector bundles on toric varieties. We apply our machinery to show that vector bundles of low rank on projective space which are equivariant with respect to special subtori of the maximal torus must split, generalizing a theorem of Kaney…
We describe categories of equivariant vector bundles on certain toroidal spherical varieties in linear algebra terms: vector spaces equipped with filtrations, group and Lie algebra actions, and linear maps preserving these structures.
We develope $\mathbb{C}^{\ast}$-equivariant categorical Donaldson-Thomas theory for local surfaces, i.e. the total spaces of canonical line bundles on smooth projective surfaces. We introduce $\mathbb{C}^{\ast}$-equivariant DT categories for local surfaces as Verdier quotients of derived categories of coherent sheaves on derived moduli stacks of coherent sheaves on surfaces, by subcategories of objects whose singular supports are contained in unstable loci. Via Koszul duality, our construction may be regarded as certain gluing of $\mathbb{C}^{\ast}$-equivariant derived categories of factorizat…
We derive a version of the Rothenberg-Steenrod, fiber-to-base, spectral sequence for cohomology theories represented in model categories of simplicial presheaves. We then apply this spectral sequence to calculate the equivariant motivic cohomology of the general linear group with a general Gm-action, this coincides with the equivariant higher Chow groups. Some of the equivariant motivic cohomology of a Stiefel variety with a general Gm-action is deduced as a corollary.
We formulate a version of Beck's monadicity theorem for abelian categories, which is applied to the equivariantization of abelian categories with respect to a finite group action. We prove that the equivariantization is compatible with the construction of quotient abelian categories by Serre subcategories. We prove that the equivariantization of the graded module category over a graded ring is equivalent to the graded module category over the same ring but with a different grading. We deduce from these results two equivalences between the category of (equivariant) coherent sheaves on a weighte…
This dissertation comprises three collections of results, all united by a common theme. The theme is the study of categories via algebraic techniques, considering categories themselves as algebraic objects. This algebraic approach to category theory is central to noncommutative algebraic geometry, as realized by recent advances in the study of noncommutative motives. We have success proving algebraic results in the general setting of symmetric monoidal and semiring $\infty$-categories, which categorify abelian groups and rings, respectively. For example, we prove that modules over the semiring…
We provide a factorization model for the continuous internal Hom, in the homotopy category of $k$-linear dg-categories, between dg-categories of equivariant factorizations. This motivates a notion, similar to that of Kuznetsov, which we call the extended Hochschild cohomology algebra of the category of equivariant factorizations. In some cases of geometric interest, extended Hochschild cohomology contains Hochschild cohomology as a subalgebra and Hochschild homology as a homogeneous component. We use our factorization model for the internal Hom to calculate the extended Hochschild cohomology f…
I describe extended gradings of open topological field theories in two dimensions in terms of skew categories, proving a result which alows one to translate between the formalism of graded open 2d TFTs and equivariant cyclic categories. As an application of this formalism, I describe the open 2d TFT of graded D-branes in Landau-Ginzburg models in terms of an equivariant cyclic structure on the triangulated category of `graded matrix factorizations' introduced by Orlov. This leads to a specific conjecture for the Serre functor on the latter, which generalizes results known from the minimal and …
The paper studies categories of definable subassignments with some category equivalences to semi-algebraic and constructible subsets of arc spaces of algebraic varieties. These materials allow us to compare the motivic measure of Cluckers-Loeser and the one of Denef-Loeser in certain classes of definable subassignments.
Let G be a complex algebraic semi-simple adjoint group and X a smooth complete symmetric G-variety. Let L_i be the irreducible G-equivariant intersection cohomology complexes on X, and L the direct sum of the L_i. Let E= Ext(L,L) be the extension algebra of L, computed in the G-equivariant derived category of X. We considered E as a dg-algebra with differential d=0, and the E_i = Ext(L,L_i) as E-dg-modules. We show that the bounded equivariant derived category of sheaves of C-vector spaces on X is equivalent to the subcategory of the derived category of E-dg-modules generated by the E_i.
This is a companion paper our previous submission "\infty-categories monoidales rigides et caracteres de Chern", in which we give a comparison between functions on the derived loop space of a smooth scheme of caracteristic zero, and its algebraic de Rham cohomology. As a consequence we obtain functorial and multiplicative versions of the HKR decomposition theorem relating Hochschild homology and Hodge cohomology.
