Related papers: Projective generation for equivariant $D$-modules

The goal of the paper is to show that the (derived) category of D-modules on the stack Bun_G(X) is compactly generated. Here X is a smooth complete curve, and G is a reductive group. The problem is that Bun_G(X) is not quasi-compact, so the…

In this paper, we prove that for a noetherian formal scheme X, its derived category of sheaves of modules with quasi-coherent torsion homologies D_qct(X) is generated by a single compact object. In an appendix we prove that the category of…

Let $\mathrm G$ be an isotrivial reductive group over a scheme $S$. We construct a smooth projective $S$-scheme containing $\mathrm G$ as a fiberwise-dense open subscheme equipped with left and right actions of $\mathrm G$ which extend the…

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…

We state the generating hypothesis in the homotopy category of G-spectra for a compact Lie group G, and prove that if G is finite, then the generating hypothesis implies the strong generating hypothesis, just as in the non-equivariant case.…

We develop a suitable version of the stable module category of a finite group G over an arbitrary commutative ring k. The purpose of the construction is to produce a compactly generated triangulated category whose compact objects are the…

We present an alternate proof of Giraud's Theorem based on the fact that given the conditions on a category E for being a topos, its objects are sheaves by construction. Generalizing sets to R-modules for R a commutative ring, we prove that…

Let Q be a finite quiver without sources, and A be the corresponding algebra with radical square zero. We construct an explicit compact generator for the homotopy category of acyclic complexes of projective A-modules. We call such a…

For $T$ a compact torus and $E_T^*$ a generalized $T$-equivariant cohomology theory, we provide a systematic framework for computing $E_T^*$ in the context of equivariantly stratified smooth complex projective varieties. This allows us to…

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…

We prove a Decomposition Theorem for the direct image of an irreducible local system on a smooth complex projective variety under a morphism with values in another smooth complex projective variety. For this purpose, we construct a category…

Given a locally coherent Grothendieck category G, we prove that the homotopy category of complexes of injective objects (also known as the coderived category of G) is compactly generated triangulated. Moreover, the full subcategory of…

Let G be an affine algebraic group acting on an affine variety X. We present an algorithm for computing generators of the invariant ring K[X]^G in the case where G is reductive. Furthermore, we address the case where G is connected and…

It is known that a finite group G can only act freely on affine n-space if K has positive characteristic p and G is a p-group. In that case the group action is "non-linear" and the ring of regular functions must be a trace-surjective…

For an exact category having enough projective objects, we establish a bijection between thick subcategories containing the projective objects and thick subcategories of the stable derived category. Using this bijection we classify thick…

Let $\mathcal{A}$ be an essentially small abelian category. We prove that if $\mathcal{A}$ admits a generator $M$ with ${\rm End}_{\mathcal{A}}(M)$ right artinian, then $\mathcal{A}$ admits a projective generator. If $\mathcal{A}$ is…

Given a quasiprojective algebraic variety with a reductive group action, we describe a relationship between its equivariant derived category and the derived category of its geometric invariant theory quotient. This generalizes classical…

In this note, we prove that for any finite dimensional vector space $V$ over an algebraically closed field $k$, and for any finite subgroup $G$ of $GL(V)$ which is either solvable or is generated by pseudo reflections such that the $|G|$ is…

Differential modules over a commutative differential ring R which are finitely generated projective as ring modules, with differential homomorphisms, form an additive category, so their isomorphism classes form a monoid. We study the…

Let $(G,X)$ be a Shimura pair of Hodge type such that $G$ is the Mumford--Tate group of some elements of $X$. We assume that for each simple factor $G_0$ of $G^{\ad}$ there exists a simple factor of $G_{0\dbR}$ which is compact. Let $N\Ge…