We investigate the perfect derived category dgPer(A) of a positively graded differential graded (dg) algebra A whose degree zero part is a dg subalgebra and semisimple as a ring. We introduce an equivalent subcategory of dgPer(A) whose objects are easy to describe, define a t-structure on dgPer(A) and study its heart. We show that dgPer(A) is a Krull-Remak-Schmidt category. Then we consider the heart in the case that A is a Koszul ring with differential zero satisfying some finiteness conditions.
Let A be a path A-infinity-algebra over a positively graded quiver Q. It is proved that the derived category of A is triangulated equivalent to the derived category of kQ, which is viewed as a dg algebra with trivial differential. The main technique used in the proof is Koszul duality.
In this paper, we study certain ad-nilpotent subalgebras contained in the non-zero graded portion of a simple Z_n-graded Lie algebra. These subalgebras respect the grading on the Lie algebra and are modules for a Borel subalgebra for the grade-zero Lie subalgebra. We show that semisimple elements in such subalgebras lie in the center of the subalgebra, and we provide a classification of these subalgebras whose weight space decompositions have only non-zero weights.
In this paper, we shall give a way to construct a graded Lie algebra $L(\mathfrak{g},ρ,V,{\cal V},B_0)$ from a standard pentad $(\mathfrak{g},ρ,V,{\cal V},B_0)$ which consists of a Lie algebra $\mathfrak{g}$ which has a non-degenerate invariant bilinear form $B_0$ and $\mathfrak{g}$-modules $(ρ, V)$ and ${\cal V}\subset \mathrm {Hom }(V,\mathfrak{k})$ all defined over a field $\mathfrak{k}$. In general, we do not assume that these objects are finite-dimensional. We can embed the objects $\mathfrak{g},ρ,V,{\cal V}$ into $L(\mathfrak{g},ρ,V,{\cal V},B_0)$. Moreover, we construct specific positiv…
In a perfect category every object has a minimal projective resolution. We give a criterion for the category of modules over a categorygraded algebra to be perfect.
We prove that, if $A$ is a positively graded, graded commutative, local, finite Hopf algebra, its cohomology is finitely generated, thus unifying classical results of Wilkerson and Hopkins-Smith, and of Friedlander-Suslin. We do this by showing the existence of conormal elementary quotients.
Let $k$ be an algebraically closed field and $A$ be a (left and right) Noetherian associative $k$-algebra. Assume further that $A$ is either positively graded or semiperfect (this includes the class of finite dimensional $k$-algebras, and $k$-algebras that are finitely generated modules over a Noetherian central Henselian ring). Let $e$ be a primitive idempotent of $A$, which we assume is of degree $0$ if $A$ is positively graded. We consider the idempotent subalgebra $Γ= (1-e)A(1-e)$ and $S_e$ the simple right $A$-module $S_e = eA/e{\rm rad}A$, where ${\rm rad}A$ is the Jacobson radical of $A…
For a positively graded artin algebra $A=\oplus_{n\geq 0}A_n$ we introduce its Beilinson algebra $\mathrm{b}(A)$. We prove that if $A$ is well-graded self-injective, then the category of graded $A$-modules is equivalent to the category of graded modules over the trivial extension algebra $T(\mathrm{b}(A))$. Consequently, there is a full exact embedding from the bounded derived category of $\mathrm{b}(A)$ into the stable category of graded modules over $A$; it is an equivalence if and only if the 0-th component algebra $A_0$ has finite global dimension.
We give a combinatorial model for the bounded derived category of graded modules over the dual numbers in terms of arcs on the integer line with a point at infinity. Using this model we describe the lattice of thick subcategories of the bounded derived category, and of the perfect complexes, in terms of non-crossing partitions. We also make some comments on the symmetries of these lattices, exceptional collections, and the analogous problem for the unbounded derived category.
In this paper, we discuss a relationship between representation theory of graded self-injective algebras and that of algebras of finite global dimension. For a positively graded self-injective algebra $A$ such that $A_0$ has finite global dimension, we construct two types of triangle-equivalences. First we show that there exists a triangle-equivalence between the stable category of $\mathbb{Z}$-graded $A$-modules and the derived category of a certain algebra $Γ$ of finite global dimension. Secondly we show that if $A$ has Gorenstein parameter $\ell$, then there exists a triangle-equivalence be…
In this paper, we consider the singularity category $D_{sg}(\mod A)$ and the $\mathbb{Z}$-graded singularity category $D_{sg}(\mod^{\mathbb Z} A)$ for a Gorenstein monomial algebra $A$. Firstly, for a positively graded $1$-Gorenstein algebra, we prove that its ${\mathbb Z}$-graded singularity category admits silting objects. Secondly, for $A=KQ/I$ being a Gorenstein monomial algebra, we prove that $D_{sg}(\mod^{\mathbb Z} A)$ has tilting objects. As a consequence, $D_{sg}(\mod^{\mathbb Z}A)$ is triangulated equivalent to the derived category of a hereditary algebra $H$ which is of finite repre…
Given a quasi-hereditary algebra $B$, we present conditions which guarantee that the algebra $\gr B$ obtained by grading $B$ by its radical filtration is Koszul and at the same time inherits the quasi-hereditary property and other good Lie-theoretic properties that $B$ might possess. The method involves working with a pair $(A,{\mathfrak a})$ consisting of a quasi-hereditary algebra $A$ and a (positively) graded subalgebra $\mathfrak a$. The algebra $B$ arises as a quotient $B=A/J$ of $A$ by a defining ideal $J$ of $A$. Along the way, we also show that the standard (Weyl) modules for $B$ have …
This paper has two parts. The main goal, carried out in Part I, is to survey some recent work by the authors in which "forced" grading constructions have played a significant role in the representation theory of semisimple algebraic groups $G$ in positive characteristic. The constructions begin with natural finite dimensional quotients of the distribution algebras Dist$(G)$, but then "force" gradings into the picture by passing to positively graded algebras constructed from ideal filtrations of these quotients. This process first guaranteed a place for itself by proving, for large primes, that…
For each integer $k\geq 4$ we describe diagrammatically a positively graded Koszul algebra $\mathbb{D}_k$ such that the category of finite dimensional $\mathbb{D}_k$-modules is equivalent to the category of perverse sheaves on the isotropic Grassmannian of type ${\rm D}_k$ or ${\rm B}_{k-1}$, constructible with respect to the Schubert stratification. The algebra is obtained by a (non-trivial) ``folding'' procedure from a generalized Khovanov arc algebra. Properties like graded cellularity and explicit closed formulas for graded decomposition numbers are established by elementary tools.
The module category of any artin algebra is filtered by the powers of its radical, thus defining an associated graded category. As an extension of the degree of irreducible morphisms, this text introduces the degree of morphisms in the module category in terms of the induced natural transformations between representable functors on this graded category. When the ground ring is a perfect field, and the given morphism behaves nicely with respect to covering theory (as do irreducible morphisms with indecomposable domain or indecomposable codomain), it is shown that the degree of the morphism is f…
Let A be a finite-dimensional, self-injective algebra, graded in non-positive degree. We define A-dgstab, the differential graded stable category of A, to be the quotient of the bounded derived category of dg-modules by the thick subcategory of perfect dg-modules. We express A-dgstab as the triangulated hull of the orbit category A-grstab/$Ω$(1). This result allows computations in the dg-stable category to be performed by reducing to the graded stable category. We provide a sufficient condition for the orbit category to be equivalent to A-dgstab and show this condition is satisfied by Nakayama…
The paper studies quadratic and Koszul duality for modules over positively graded categories. Typical examples are modules over a path algebra, which is graded by the path length, of a not necessarily finite quiver with relations. We present a very general definition of quadratic and Koszul duality functors backed up by explicit examples. This generalises previous results in two substantial ways: We work in the setup of graded categories, i.e. we allow infinitely many idempotents and also define a ``Koszul'' duality functor for not necessarily Koszul categories. As an illustration of the techn…
We apply geometric techniques from representation theory to the study of homologically finite differential graded (DG) modules $M$ over a finite dimensional, positively graded, commutative DG algebra $U$. In particular, in this setting we prove a version of a theorem of Voigt by exhibiting an isomorphism between the Yoneda Ext group $\operatorname{YExt}^1_U(M,M)$ and a quotient of tangent spaces coming from an algebraic group action on an algebraic variety. As an application, we answer a question of Vasconcelos from 1974 by showing that a local ring has only finitely many semidualizing complex…
Given an associative ring $A$, we present a new approach for establishing the finiteness of the big finitistic projective dimension $\operatorname{FPD}(A)$. The idea is to find a sufficiently nice non-positively graded differential graded ring $B$ such that $\mathrm{H}^0(B) = A$ and such that $\operatorname{FPD}(B) < \infty$. We show that one can always find such a $B$ provided that $A$ is noetherian and has a noncommutative dualizing complex. We then use the intimate relation between $\operatorname{\mathsf{D}}(B)$ and $\operatorname{\mathsf{D}}(\mathrm{H}^0(B))$ to deduce results about $\oper…
The Jacobian algebra arising from a consistent dimer model is a bimodule $3$-Calabi-Yau algebra, and its center is a $3$-dimensional Gorenstein toric singularity. A perfect matching of a dimer model gives the degree making the Jacobian algebra $\mathbb{Z}$-graded. It is known that if the degree zero part of such an algebra is finite dimensional, then it is a $2$-representation infinite algebra which is a generalization of a representation infinite hereditary algebra. Internal perfect matchings, which correspond to toric exceptional divisors on a crepant resolution of a $3$-dimensional Gorenste…
We describe the heart of the canonical $t$-structure on the perfect derived category of a strictly positive graded algebra as the module category over the quadratic dual. Applying this result we obtain examples showing new phenomena on $t$-structures on derived categories of finite-dimensional algebras.
Let $\sO$ be a discrete valuation ring with fraction field $K$ and residue field $k$. A quasi-hereditary algebra $\wA$ over $\sO$ provides a bridge between the representation theory of the quasi-hereditary algebra $\wA_K:=K\otimes \wA$ over the field $K$ and the quasi-hereditary algebra $A_k:=k\otimes_\sO\wA$ over $k$. In one important example, $\wA_K$--mod is a full subcategory of the category of modules for a quantum enveloping algebra while $\wA_k$--mod is a full subcategory of the category of modules for a reductive group in positive characteristic. This paper considers first the question …
We describe diagrammatically a positively graded Koszul algebra \mathbb{D}_k such that the category of finite dimensional \mathbb{D}_k-modules is equivalent to the category of perverse sheaves on the isotropic Grassmannian of type D_k constructible with respect to the Schubert stratification. The connection is given by an explicit isomorphism to the endomorphism algebra of a projective generator described in by Braden. The algebra is obtained by a "folding" procedure from the generalized Khovanov arc algebras. We relate this algebra to the category of finite dimensional representations of the …
Following the approach of Haiden-Katzarkov-Kontsevich arXiv:1409.8611, to any homologically smooth graded gentle algebra $A$ we associate a triple $(Σ_A, Λ_A; η_A)$, where $Σ_A$ is an oriented smooth surface with non-empty boundary, $Λ_A$ is a set of stops on $\partial Σ_A$ and $η_A$ is a line field on $Σ_A$, such that the derived category of perfect dg-modules of $A$ is equivalent to the partially wrapped Fukaya category of $(Σ_A, Λ_A ;η_A)$. Modifying arguments of Johnson and Kawazumi, we classify the orbit decomposition of the action of the (symplectic) mapping class group of $Σ_A$ on the h…
