Singularity categories of representations of algebras over local rings
Ming Lu
备注：
27 pages, a dozen of figures. The structure of this paper is modified deeply. arXiv admin note: text overlap with arXiv:1103.3335 and arXiv:1201.5487 by other authors
Let $Λ$ be a finite-dimensional algebra with finite global dimension, $R_k=K[X]/(X^k)$ be the $\mathcal{Z}$-graded local ring with $k\geq1$, and $Λ_k=Λ\otimes_K R_k$. We consider the singularity category $\mathcal{D}_{sg}(\mathrm{mod}^\mathcal{Z}(Λ_k))$ of the graded modules over $Λ_k$. It is showed that there is a tilting object in $\mathcal{D}_{sg}(\mathrm{mod}^\mathcal{Z}(Λ_k))$ such that its endomorphism algebra is isomorphic to the triangular matrix algebra $T_{k-1}(Λ)$ with coefficients in $Λ$ and there is a triangulated equivalence between $\mathcal{D}_{sg}(\mathrm{mod}^{\mathcal{Z}/k\mathcal{Z}}(Λ))$ and the root category of $T_{k-1}(Λ)$. Finally, a classification of $Λ_k$ up to the Cohen-Macaulay representation type is given.
In this paper, we use the stable categories of some selfinjective algebras to describe the singularity categories of the cluster-tilted algebras of Dynkin type. Furthermore, in this way, we settle the problem of singularity equivalence classification of the cluster-tilted algebra of type $A$, $D$ and $E$ respectively.
We show that for the path algebra $A$ of an acyclic quiver, the singularity category of the derived category $\mathsf{D}^{\rm b}(\mathsf{mod}\,A)$ is triangle equivalent to the derived category of the functor category of $\underline{\mathsf{mod}}\,A$, that is, $\mathsf{D}_{\rm sg}(\mathsf{D}^{\rm b}(\mathsf{mod}\,A))\simeq \mathsf{D}^{\rm b}(\mathsf{mod}(\underline{\mathsf{mod}}\,A))$. This extends a result of Iyama-Oppermann for the path algebra $A$ of a Dynkin quiver. An important step is to establish a functor category analog of Happel's triangle equivalence for repetitive algebras.
We consider the relationship between the relative stable category of Benson, Iyengar, and Krause and the usual singularity category for group algebras with coefficients in a commutative noetherian ring. When the coefficient ring is self-injective we show that these categories share a common, relatively large, Verdier quotient. At the other extreme, when the coefficient ring has finite global dimension, there is a semi-orthogonal decomposition, due to Poulton, relating the two categories. We prove that this decomposition is partially compatible with the monoidal structure and study the morphism…
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…
Let $R$ be a right notherian ring. We introduce the concept of relative singularity category $Δ_{\mathcal{X}}(R)$ of $R$ with respect to a contravariantly finite subcategory $\mathcal{X}$ of $\rm{mod}\mbox{-}R.$ Along with some finiteness conditions on $\mathcal{X}$, we prove that $Δ_{\mathcal{X}}(R)$ is triangle equivalent to a subcategory of the homotopy category $\mathbb{K}_{\rm{ac}}(\mathcal{X})$ of exact complexes over $\mathcal{X}$. As an application, a new description of the classical singularity category $\mathbb{D}_{\rm{sg}}(R)$ is given. The relative singularity categories are applie…
We define a class of finite-dimensional Jacobian algebras, which are called (simple) polygon-tree algebras, as a generalization of cluster-tilted algebras of type $\D$. They are $2$-CY-tilted algebras. Using a suitable process of mutations of quivers with potentials (which are also BB-mutations) inducing derived equivalences, and one-pointed (co)extensions which preserve singularity equivalences, we find a connected selfinjective Nakayama algebra whose stable category is equivalent to the singularity category of a simple polygon-tree algebra. Furthermore, we also give a classification of algeb…
Let $K$ be an algebraically closed field. Let $(Q,Sp,I)$ be a skewed-gentle triple, $(Q^{sg},I^{sg})$ and $(Q^g,I^{g})$ be its corresponding skewed-gentle pair and associated gentle pair respectively. It proves that the skewed-gentle algebra $KQ^{sg}/< I^{sg}>$ is singularity equivalent to $KQ/< I>$. Moreover, we use $(Q,Sp,I)$ to describe the singularity category of $KQ^g/< I^g>$. As a corollary, we get that $\mathrm{gldim} KQ^{sg}/< I^{sg}><\infty$ if and only if $\mathrm{gldim} KQ/< I><\infty$ if and only if $\mathrm{gldim} KQ^{g}/< I^{g}><\infty$.
In this paper we show that the (un)bounded derived categories$\colon$(i) of the monomorphism category, (ii) of the morphism category and (iii) of the double morphism category, admit a periodic infinite ladder of recollements. These results are based on a characterization that we provide for a recollement of (compactly generated) triangulated categories to admit a ladder of some height going either upwards or downwards. Moreover, we introduce and study the singularity category of the monomorphism category over an Artin algebra $Λ$ and show that there is a periodic infinite ladder that connects …
The singularity category of a ring makes only the modules of finite projective dimension vanish among the modules, so the singularity category is expected to characterize a homological property of modules of infinite projective dimension. In this paper, among such modules, we deal with eventually periodic modules over a left artin ring, and, as our main result, we characterize them in terms of morphisms in the singularity category. As applications, we first prove that, for the class of finite dimensional algebras over a field, being eventually periodic is preserved under singular equivalence o…
We study certain Schur functors which preserve singularity categories of rings and we apply them to study the singularity category of triangular matrix rings. In particular, combining these results with Buchweitz-Happel's theorem, we can describe singularity categories of certain non-Gorenstein rings via the stable category of maximal Cohen-Macaulay modules. Three concrete examples of finite-dimensional algebras with the same singularity category are discussed.
We study the relationship between singularity categories and relative singularity categories and discuss constructions of differential graded algebras of relative singularity categories. As consequences, we obtain structural results, which are known or generalise known results, on singularity categories of algebras with radical square zero, of non-commutative deformations of Kleinian singularities, of $SL_3(\mathbb{C})$-quotient singularities and of Gorenstein toric threefolds.
Let $\X$ be a resolving subcategory of an abelian category. In this paper we investigate the singularity category $\ds(\underline\X)=\db(\mod\underline\X)/\kb(\proj(\mod\underline\X))$ of the stable category $\underline\X$ of $\X$. We consider when the singularity category is triangle equivalent to the stable category of Gorenstein projective objects, and when the stable categories of two resolving subcategories have triangle equivalent singularity categories. Applying this to the module category of a Gorenstein ring, we characterize simple hypersurface singularities of type $(\a_1)$ as comple…
Let $Λ= \left[\begin{array}{cc} A & 0 \\ M & B \end{array}\right] $ be an Artin algebra and $_BM_A$ a $B$-$A$-bimodule. We prove that there is a triangle equivalence $D_{sg}(Λ) \cong D_{sg}(A)\coprod D_{sg}(B)$ between the corresponding singularity categories if $_BM$ is semi-simple and $M_A$ is projective. As a result, we obtain a new method for describing the singularity categories of certain bounded quiver algebras.
We present a method for computing $\mathbb{A}^1$-homotopy invariants of singularity categories of rings admitting suitable gradings. Using this we describe any such invariant, e.g. homotopy K-theory, for the stable categories of self-injective algebras admitting a connected grading. A remark is also made concerning the vanishing of all such invariants for cluster categories of type $A_{2n}$ quivers.
We determine the singularity category of an arbitrary finite dimensional gentle algebra $Λ$. It is a finite product of $n$-cluster categories of type $\mathbb{A}_{1}$. Equivalently, it may be described as the stable module category of a selfinjective gentle algebra. If $Λ$ is a Jacobian algebra arising from a triangulation $\ct$ of an unpunctured marked Riemann surface, then the number of factors equals the number of inner triangles of $\ct$.
We construct a differential graded algebra (DGA) modelling certain $A_\infty$ algebras associated with a finite group $G$ with cyclic Sylow subgroups, namely $H^*BG$ and $H_*ΩBG^{^\wedge}_p$. We use our construction to investigate the singularity and cosingularity categories of these algebras. We give a complete classification of the indecomposables in these categories, and describe the Auslander--Reiten quiver. The theory applies to Brauer tree algebras in arbitrary characteristic, and we end with an example in characteristic zero coming from the Hecke algebras of symmetric groups.
We investigate the behavior of singularity categories and stable categories of Gorenstein projective modules along a morphism of rings. The natural context to approach the problem is via change of rings, that is, the classical adjoint triple between the module categories. In particular, we identify conditions on the change of rings to induce functors between the two singularity categories or the two stable categories of Gorenstein projective modules. Moreover, we study this problem at the level of `big singularity categories' in the sense of Krause. Along the way we establish an explicit const…
We introduce the notion of relative singularity category with respect to any self-orthogonal subcategory $ω$ of an abelian category. We introduce the Frobenius category of $ω$-Cohen-Macaulay objects, and under some reasonable conditions, we show that the stable category of $ω$-Cohen-Macaulay objects is triangle-equivalent to the relative singularity category. As applications, we relate the stable category of (unnecessarily finitely-generated) Gorenstein-projective modules with singularity categories of rings. We prove that for a Gorenstein ring, the stable category of Gorenstein-projective mod…
We propose the notion of partial resolution of a ring, which is by definition the endomorphism ring of a certain generator of the given ring. We prove that the singularity category of the partial resolution is a quotient of the singularity category of the given ring. Consequences and examples are given.
In this article we construct various models for singularity categories of modules over differential graded rings. The main technique is the connection between abelian model structures, cotorsion pairs and deconstructible classes, and our constructions are based on more general results about localization and transfer of abelian model structures. We indicate how recollements of triangulated categories can be obtained model categorically, discussing in detail Krause's recollement for the stable derived category. In the special case of curved mixed Z-graded complexes, we show that one of our singu…
In this note we use results of Minamoto and Amiot, Iyama, Reiten to construct an embedding of the graded singularity category of certain graded Gorenstein algebras into the derived categories of coherent sheaves over its projective scheme. These graded algebras are constructed using the preprojective algebras of $d$-representation infinite algebras as defined by Herschend, Iyama and Oppermann. We relate this embedding to the construction of a semi-orthogonal decomposition of the derived category of coherent sheaves over the projective scheme of a Gorenstein algebra of parameter 1 described by …
This paper gives upper bounds for the dimension of the singularity category of a Cohen-Macaulay local ring with an isolated singularity. One of them recovers an upper bound given by Ballard, Favero and Katzarkov in the case of a hypersurface.
For an exact category $\mathcal{E}$ with enough projectives and with a $d\mathbb{Z}$-cluster tilting subcategory, we show that the singularity category of $\mathcal{E}$ admits a $d\mathbb{Z}$-cluster tilting subcategory. To do this we introduce cluster tilting subcategories of left triangulated categories, and we show that there is a correspondence between cluster tilting subcategories of $\mathcal{E}$ and $\underline{\mathcal{E}}$. We also deduce that the Gorenstein projectives of $\mathcal{E}$ admit a $d\mathbb{Z}$-cluster tilting subcategory under some assumptions. Finally, we compute the $…
We study the following generalization of singularity categories. Let X be a quasi-projective Gorenstein scheme with isolated singularities and A a non-commutative resolution of singularities of X in the sense of Van den Bergh. We introduce the relative singularity category as the Verdier quotient of the bounded derived category of coherent sheaves on A modulo the category of perfect complexes on X. We view it as a measure for the difference between X and A. The main results of this thesis are the following. (i) We prove an analogue of Orlov's localization result in our setup. If X has isolated…
We study singularity categories through Gorenstein objects in triangulated categories and silting theory. Let $ω$ be a semi-selforthogonal (or presilting) subcategory of a triangulated category $\mathcal{T}$. We introduce the notion of $ω$-Gorenstein objects, which is far extended version of Gorenstein projective modules and Gorenstein injective modules in triangulated categories. We prove that the stable category $\underline{\mathcal{G}_ω}$, where $\mathcal{G}_ω$ is the subcategory of all $ω$-Gorenstein objects, is a triangulated category and it is, under some conditions, triangle equivalent …
Let $k$ be an algebraically closed field of characteristic zero, and let $\mathcal{C} = \mathcal{R}-mod$ be the category of finite-dimensional modules over a fixed Hopf algebra over $k$. One may form the wreath product categories $\mathcal{W}_{n}(\mathcal{C}) = (\mathcal{R} \wr S_n)-mod$ whose Grothendieck groups inherit the structure of a ring. Fixing distinguished generating sets (called basic hooks) of the Grothendieck rings, the classification of the simple objects in $\mathcal{W}_{n}(\mathcal{C})$ allows one to demonstrate stability of structure constants in the Grothendieck rings (approp…
We construct a triangle equivalence between the singularity categories of two isolated cyclic quotient singularities of Krull dimensions two and three, respectively. This is the first example of a singular equivalence involving connected commutative algebras of odd and even Krull dimension. In combination with Orlov's localization result, this gives further singular equivalences between certain quasi-projective varieties of dimensions two and three, respectively.
For an essentially small triangulated category $\mathcal{T}$, we introduce the notion of prime thick subcategories and define the spectrum of $\mathcal{T}$, which shares the basic properties with the spectrum of a tensor triangulated category introduced by Balmer. We mainly focus on triangulated categories that appear in algebraic geometry such as the derived and the singularity categories of a noetherian scheme $X$. We prove that certain classes of thick subcategories are prime thick subcategories of these triangulated categories. Furthermore, we use this result to show that certain subspaces…
In general, representation rings are well-known as Green rings from module categories of Hopf algebras. In this paper, we study Green rings in the context of monoidal categories such that representations of Hopf algebras can be investigated through Green rings of various levels from module categories to derived categories in the unified view-point. Firstly, as analogue of representation rings of Hopf algebras, we set up the so-called Green rings of monoidal categories, and then list some such categories including module categories, complex categories, homotopy categories, derived categories an…
The Orlov spectrum and Rouquier dimension are invariants of a triangulated category to measure how big the category is, and they have been studied actively. In this paper, we investigate the singularity category $\mathsf{D_{sg}}(R)$ of a hypersurface $R$ of countable representation type. For a thick subcategory $\mathcal{T}$ of $\mathsf{D_{sg}}(R)$ and a full subcategory $\mathcal{X}$ of $\mathcal{T}$, we calculate the Rouquier dimension of $\mathcal{T}$ with respect to $\mathcal{X}$. Furthermore, we prove that the level in $\mathsf{D_{sg}}(R)$ of the residue field of $R$ with respect to each …
Let $\Mod \CS$ denote the category of $\CS$-modules, where $\CS$ is a small category. In the first part of this paper, we provide a version of Rickard's theorem on derived equivalence of rings for $\Mod \CS$. This will have several interesting applications. In the second part, we apply our techniques to get some interesting recollements of derived categories in different levels. We specialize our results to path rings as well as graded rings.
We study the properties of the relative derived category $D_{\mathscr{C}}^{b}$($\mathscr{A}$) of an abelian category $\mathscr{A}$ relative to a full and additive subcategory $\mathscr{C}$. In particular, when $\mathscr{A}=A{\text -}\mod$ for a finite-dimensional algebra $A$ over a field and $\mathscr{C}$ is a contravariantly finite subcategory of $A$-$\mod$ which is admissible and closed under direct summands, the $\mathscr{C}$-singularity category $D_{\mathscr{C}{\text sg}}$($\mathscr{A}$)=$D_{\mathscr{C}}^{b}$($\mathscr{A}$)/$K^{b}(\mathscr{C})$ is studied. We give a sufficient condition wh…
Given a negatively graded Calabi-Yau algebra, we regard it as a DG algebra with vanishing differentials and study its cluster category. We show that this DG algebra is sign-twisted Calabi-Yau, and realize its cluster category as a triangulated hull of an orbit category of a derived category, and as the singularity category of a finite dimensional Iwanaga-Gorenstein algebra. Along the way, we give two results which stand on their own. First, we show that the derived category of coherent sheaves over a Calabi-Yau algebra has a natural cluster tilting subcategory whose dimension is determined by …
This paper examines the concept of a stratified exact category in the context of number rings and corresponding Galois groups. BGG reciprocity and duality are proven for these categories making them highest weight categories. The strong connections between the structure of the category and ramification in the ring are explored.
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 finitely presented kG-modules. The main idea is to form a localisation of the usual version of the stable module category with respect to the filtered colimits of weakly injective modules. There is also an analogous version of the homotopy category of weakly injective kG-modules and a recollement relating the stable category, the homotopy category, and the der…
We propose an analogue of the bounded derived category for an augmented ring spectrum, defined in terms of a notion of Noether normalization. In many cases we show this category is independent of the chosen normalization. Based on this, we define the singularity and cosingularity categories measuring the failure of regularity and coregularity and prove they are Koszul dual in the style of the BGG correspondence. Examples of interest include Koszul algebras and Ginzburg DG-algebras, $C^*(BG)$ for finite groups (or for compact Lie groups with orientable adjoint representation), cochains in ratio…
We show for an affine variety $X$, the derived category of quasi-coherent $D$-modules is equivalent to the category of DG modules over an explicit DG algebra, whose zeroth cohomology is the ring of Grothendieck differential operators $\operatorname{Diff}(X)$. When the variety is cuspidal, we show that this is just the usual ring $\operatorname{Diff}(X)$, and the equivalence is the abelian equivalence constructed by Ben-Zvi and Nevins. We compute the cohomology algebra and its natural modules in the hypersurface, curve and isolated quotient singularity cases. We identify cases where a $D$-modul…
We study the derived categories of small categories over commutative noetherian rings. Our main result is a parametrization of the localizing subcategories in terms of the spectrum of the ring and the localizing subcategories over residue fields. In the special case of representations of Dynkin quivers over a commutative noetherian ring we give a complete description of the localizing subcategories of the derived category, a complete description of the thick subcategories of the perfect complexes and show the telescope conjecture holds. We also present some results concerning the telescope con…
