Related papers: Projective generation for equivariant $D$-modules
Let $X$ be an affine, smooth, and Noetherian scheme over $\mathbb{C}$ acted on by an affine algebraic group $G$. Applying the technique developed in Arkhipov and {\O}rsted (2018a, 2018b), we define a dg-model for the derived category of…
This paper proves that every projective toric variety is the fine moduli space for stable representations of an appropriate bound quiver. To accomplish this, we study the quiver $Q$ with relations $R$ corresponding to the finite-dimensional…
We study finite-rank left-translation invariant algebraic $D$-modules on complex affine algebraic groups. Using the standard description of these objects as left-invariant flat algebraic connections on the trivial vector bundle, modulo…
Freyd's generating hypothesis, interpreted in the stable module category of a finite p-group G, is the statement that a map between finite-dimensional kG-modules factors through a projective if the induced map on Tate cohomology is trivial.…
We give a general framework of equivariant model category theory. Our groups G, called Hopf groups, are suitably defined group objects in any well-behaved symmetric monoidal category V. For any V, a discrete group G gives a Hopf group,…
In this paper, we try to answer the following question: given a modular tensor category $\A$ with an action of a compact group $G$, is it possible to describe in a suitable sense the ``quotient'' category $\A/G$? We give a full answer in…
For any CDG-ring $B^\bullet=(B^*,d,h)$, we show that the homotopy category of graded-projective (left) CDG-modules over $B^\bullet$ is equivalent to the quotient category of the homotopy category of graded-flat CDG-modules by its full…
For a locally presentable abelian category $\mathsf B$ with a projective generator, we construct the projective derived and contraderived model structures on the category of complexes, proving in particular the existence of enough homotopy…
We formalize, at the level of D-modules, the notion that A-hypergeometric systems are equivariant versions of the classical hypergeometric equations. For this purpose, we construct a functor on a suitable category of torus equivariant…
In this paper, we construct for the first time the projective elliptic genera for a compact oriented manifold equipped with a projective complex vector bundle. Such projective elliptic genera are rational q-series that have topological…
Let G be a finite group scheme over an algebraically closed field of positive characteristic. Assume further that the connected component of G is unipotent. It is shown that the projectivity of a rational G-module can be detected on a…
Let G be a reductive complex algebraic group and V a finite-dimensional G-module. From elements of the invariant algebra C[V]^G we obtain by polarization elements of C[kV]^G, where k\geq 1 and kV denotes the direct sum of k copies of V. For…
The homotopy category of complexes of projective left-modules over any reasonably nice ring is proved to be a compactly generated triangulated category, and a duality is given between its subcategory of compact objects and the finite…
Let $X$ be a complex scheme acted on by an affine algebraic group $G$. We prove that the Atiyah class of a $G$-equivariant perfect complex on $X$, as constructed by Huybrechts and Thomas, is $G$-equivariant in a precise sense. As an…
We give an answer to the abstract Capelli problem: Let $(G, V)$ be a multiplicity-free finite-dimensional representation of a connected reductive complex Lie group $G$ and $G'$ be its derived subgroup. Assume that the categorical quotient…
Tachikawa's second conjecture predicts that a finitely generated, orthogonal module over a finite-dimensional self-injective algebra is projective. This conjecture is an important part of the Nakayama conjecture. Our principal motivation of…
Let $X$ be a connected compact complex manifold admitting a finite surjective map $A \to X$ from a complex torus $A.$ We prove that up to finite \'etale cover, $X$ is a product of projective spaces and a torus.
Let $M$ be a smooth complex projective toric variety equipped with an action of a torus $T$, such that the complement $D$ of the open $T$--orbit in $M$ is a simple normal crossing divisor. Let $G$ be a complex reductive affine algebraic…
Let X be a smooth projective variety with the action of the n dimensional torus. The article describes the moduli space of torus equivariant morphisms from stable toric varieties into X as the inverse limit of the GIT quotients of X and…
We show that the category of projective modules over a graded commutative ring admits a triangulation with respect to module suspension if and only if the ring is a finite product of graded fields and exterior algebras on one generator over…