Let $\mathbb{X}$ be a weighted projective line and $\mathcal{C}_\mathbb{X}$ the associated cluster category. It is known that $\mathcal{C}_\mathbb{X}$ can be realized as a generalized cluster category of quiver with potential. In this note, under the assumption that $\mathbb{X}$ has at most three weights or is of tubular type, we prove that if the generalized cluster category $\mathcal{C}_{(Q,W)}$ of a Jacobi-finite non-degenerate quiver with potential $(Q,W)$ shares a $2$-CY tilted algebra with $\mathcal{C}_\mathbb{X}$, then $\mathcal{C}_{(Q,W)}$ is triangle equivalent to $\mathcal{C}_\mathbb{X}$. As a byproduct, a $2$-CY tilted algebra of $\mathcal{C}_\mathbb{X}$ is determined by its quiver provided that $\mathbb{X}$ has at most three weights. To this end, for any weighted projective line $\mathbb{X}$ with at most three weights, we also obtain a realization of $\mathcal{C}_\mathbb{X}$ via Buan-Iyama-Reiten-Scott's construction of $2$-CY categories arising from preprojective algebras.
We show that every simple transitive $2$-representation of the $2$-category of projective functors for a certain quotient of the quadratic dual of the preprojective algebra associated with a tree is equivalent to a cell $2$-representation.
We show that any simple transitive $2$-representation of the $2$-ca\-te\-go\-ry of projective endofunctors for the quiver algebra of $\Bbbk(\xymatrix{\bullet\ar[r]&\bullet})$ and for the quiver algebra of $\Bbbk(\xymatrix{\bullet\ar[r]\ar@/^/@{.}[rr]&\bullet\ar[r]&\bullet})$ is equivalent to a cell $2$-representation.
We study the projective dimensions of the restriction of functors Hom(-,X) to a contravariantly finite rigid subcategory T of a triangulated category C. We show that the projective dimension of Hom(-,X)|T is at most one if and only if there are no non-zero morphisms between objects in T[1] factoring through X, when the object X belongs to a suitable subcategory of C. As a consequence, we obtain a characterisation of the objects of infinite projective dimension in the category of finitely presented contravariant functors on a cluster-tilting subcategory of C.
Extriangulated categories were introduced by Nakaoka and Palu as a simultaneous generalization of exact categories and triangulated categories. A notion of proper class in an extriangulated category is defined in this paper. Let $\mathcal{C}$ be an extriangulated category and $ξ$ a proper class in $\mathcal{C}$. We prove that $\mathcal{C}$ admits a new extriangulated structure. This construction gives extriangulated categories which are neither exact categories nor triangulated categories. Moreover, we introduce and study $ξ$-Gorenstein projective objects in $\mathcal{C}$ and demonstrate that …
In this paper, we construct recollements and ladders for exceptional curves by using reduction/insertion functors due to $p$-cycle construction. As applications to weighted projective lines, we classify recollements for the category of coherent sheaves over a weighted projective line, and give an explicit description of ladders in two different levels: the bounded derived category of coherent sheaves and the stable category of vector bundles.
The aim of this paper is to give an alternative proof of Kac's theorem for weighted projective lines (\cite{W}) over the complex field. The geometric realization of complex Lie algebras arising from derived categories (\cite{XXZ}) is essentially used.
Krull-Schmidt categories are additive categories such that each object decomposes into a finite direct sum of indecomposable objects having local endomorphism rings. We provide a self-contained introduction which is based on the concept of a projective cover.
This paper classifies all the tilting bundles in the category of coherent sheaves on the weighted projective line of weight type $(2, 2, n)$, and investigates the abelianness of the "missing part" from the category of coherent sheaves to the category of finitely generated right modules on the associated tilted algebra for each tilting bundle.
We construct a tilting object for the stable category of vector bundles on a weighted projective line X of type (2,2,2,2;λ), consisting of five rank two bundles and one rank three bundle, whose endomorphism algebra is a canonical algebra associated with X of type (2,2,2,2).
We consider the space of nilpotent Higgs bundles on a weighted projective line, as a global analog of the nilpotent cone. We show that it is pure, compute its dimension, and define geometric correspondences between irreducible components. We prove it by constructing a loop analog of a cristal, in the spirit of Kashiwara and Saito, for some corresponding loop Kac-Moody algebra.
In the present paper, we introduce the concepts of Prüfer sheaves and adic sheaves over a weighted projective line of genus one or an elliptic curve, show that Prüfer sheaves and adic sheaves can classify the category of coherent sheaves. Moreover, we describe the relationship between Prüfer sheaves and generic sheaves, and provide two methods to construct generic sheaves by using coherent sheaves and Prüfer sheaves.
We generalize the monomorphism category from quiver (with monomial relations) to arbitrary finite dimensional algebras by a homological definition. Given two finite dimension algebras $A$ and $B$, we use the special monomorphism category Mon(B, A-Gproj) to describe some Gorenstein projective bimodules over the tensor product of $A$ and $B$. If one of the two algebras is Gorenstein, we give a sufficient and necessary condition for Mon(B, A-Gproj) being the category of all Gorenstein projective bimodules. In addition, If both $A$ and $B$ are Gorenstein, we can describe the category of all Gorens…
In this paper we introduce a local-refinement procedure to investigate stability data on an abelian category, and provide a sufficient and necessary condition for a stability data to be finest. We classify all the finest stability data for the categories of coherent sheaves over certain weighted projective curves, including the classical projective line, smooth elliptic curves and certain weighted projective lines. As applications, we obtain a classification of torsion pairs for these categories via stability data approach. As a by-product, a new proof for the classification of torsion pairs i…
We classify blocks of categories of weight and generalized weight modules of algebras of twisted differential operators on P^n. Necessary and sufficient conditions for these blocks to be tame and proofs that some of the blocks are Koszul are provided. We also establish equivalences of categories between these blocks and categories of bounded and generalized bounded weight sl(n+1)-modules in the cases of nonintegral and singular central character.
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 further assumed to be Grothendieck, then this implies that $\mathcal{A}$ is equivalent to a module category. When $\mathcal{A}$ is Hom-finite over a field $k$, the existence of a generator is the same as the existence of a projective generator, and in case there is such a generator, $\mathcal{A}$ has to be equivalent to the category of finite dimensional right mod…
Using cluster tilting theory, we investigate tilting objects in the stable category of vector bundles on a weighted projective line of weight type $(2, 2, 2, 2)$. More precisely, a tilting object consisting of rank-two bundles is constructed via cluster tilting mutation. Moreover, the cluster tilting approach also provides a new method to classify the endomorphism algebras of tilting objects in the category of coherent sheaves and the associated bounded derived category.
We give a new and intrinsic proof of the transitivity of the braid group action on the set of full exceptional sequences of coherent sheaves on a weighted projective line. We do not use here the corresponding result of Crawley-Boevey for modules over hereditary algebras. As an application we prove that the strongest global dimension of the category of coherent sheaves on a weighted projective line $\XX$ does not depend on the parameters of $\XX$. Finally we prove that the determinant of the matrix obtained by taking the values of $n$ $\ZZ$-linear functions defined on the Grothendieck group $K_…
Building on work of Jasso, we prove that any projectively generated $d$-abelian category is equivalent to a $d$-cluster tilting subcategory of an abelian category with enough projectives. This supports the claim that $d$-abelian categories are good axiomatizations of $d$-cluster tilting subcategories.
Let $\mathbb{X}_{\boldsymbol{p},\boldsymbolλ}$ be a weighted projective line. We define the quantum cluster algebra of $\mathbb{X}_{\boldsymbol{p},\boldsymbolλ}$ and realize its specialized version as the subquotient of the Hall algebra of $\mathbb{X}_{\boldsymbol{p},\boldsymbolλ}$ via the quantum cluster character map. Inspired by \cite{Chen2021}, we prove an analogue cluster multiplication formula between quantum cluster characters. As an application, we obtain the polynomial property of the cardinalities of Grassmannian varieties of exceptional coherent sheaves on $\mathbb{X}_{\boldsymbol{p…
It is shown that a 4-recollement of derived categories of CM-finite algebras induces a 2-recollement of the corresponding Cohen-Macaulay Auslander algebras, which generalises the main theorem of Pan [S. Y. Pan, Derived equivalences for Cohen-Macaulay Auslander algebras, J. Pure Appl. Algebra 216 (2012), 355{363]. Moreover, both Auslander- Reiten conjecture and Gorenstein projective conjecture are shown invariant under 3 (or 4)-recollement of unbounded derived categories of algebras.
We prove that a certain eventually homological isomorphism between module categories induces a triangle equivalence between their singularity categories, Gorenstein defect categories and the stable categories of Gorenstein projective modules. Further, we show that Auslander-Reiten conjecture and Gorenstein symmetry conjecture can be reduced by eventually homological isomorphisms. Applying the results to arrow removal and vertex removal, we describe the Gorenstein projective modules over some non-monomial algebras, and we verify the Auslander-Reiten conjecture for certain algebras.
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…
This is a companion paper of arXiv:1901.09461, where different notions of dimension for triangulated categories are discussed. Here we compute dimensions for some examples of triangulated categories and thus illustrate and motivate material from loc. cit. Our examples include path algebras of finite ordered quivers, orbifold projective lines, some tensor powers of path algebras in Dynkin quivers of type A and categories, generated by an exceptional pair.
The string group acts on the category of coherent sheaves over a weighted projective line by degree-shift actions. We study the equivariant equivalence relations induced by degree-shift actions between weighted projective lines. We prove that such an equivariant equivalence is characterized by an admissible homomorphism between the associated string groups. We classify all these equivariant equivalences for the weighted projective lines of domestic and tubular types.
We present a largely self contained account on the K-theory of a weighted smooth projective curve over an algebraically closed field. In particular, we discuss the weighted version of divisor theory, Euler form, and Riemann-Roch theorem. This includes a treatment of the orbifold Euler characteristic.
We prove that the categories of coherent sheaves over weighted projective lines of tubular type are explicitly related to each other via the equivariantization with respect to certain cyclic group actions.
We investigate group actions on the category of coherent sheaves over weighted projective lines. We show that the equivariant category with respect to certain finite group action is equivalent to the category of coherent sheaves over a weighted projective curve, where the genus of the underlying smooth projective curve and the weight data are given by explicit formulas. Moreover, we obtain a trichotomy result for all such equivariant relations. This equivariant approach provides an effective way to investigate smooth projective curves via weighted projective lines. As an application, we give a…
We introduce a new method for expanding an abelian category and study it using recollements. In particular, we give a criterion for the existence of cotilting objects. We show, using techniques from noncommutative algebraic geometry, that our construction encompasses the category of coherent sheaves on Geigle-Lenzing weighted projective lines. We apply our construction to some concrete examples and obtain new weighted projective varieties and analyse the endomorphism algebras of their tilting bundles.
For the base field of complex numbers we discuss the relationship between categories of coherent sheaves on compact Riemann surfaces and categories of coherent sheaves on weighted smooth projective curves. This is done by bringing back to life an old theorem of Bundgaard-Nielsen-Fox proving Fenchel's conjecture for fuchsian groups.
We give a result of Auslander-Ringel-Tachikawa type for Gorenstein-projective modules over a complete Gorenstein order. In particular, we prove that a complete Gorenstein order is of finite Cohen-Macaulay representation type if and only if every indecomposable pure-injective object in the stable category of Gorenstein-projective modules is compact.
We prove that any faithful Frobenius functor between abelian categories preserves the Gorenstein projective dimension of objects. Consequently, it preserves and reflects Gorenstein projective objects. We give conditions on when a Frobenius functor preserves the stable categories of Gorenstein projective objects, the singularity categories and the Gorenstein defect categories, respectively. In the appendix, we give a direct proof of the following known result: for an abelian category with enough projectives and injectives, its global Gorenstein projective dimension coincides with its global Gor…
We investigate the bounded derived category of coherent sheaves on irreducible singular projective curves of arithmetic genus one. A description of the group of exact auto-equivalences and the set of all t-structures of this category is given. We describe the moduli space of stability conditions, obtain a complete classification of all spherical objects in this category and show that the group of exact auto-equivalences acts transitively on them. Harder-Narasimhan filtrations in the sense of Bridgeland are used as our main technical tool.
These notes provide a description of the abelian categories that arise as categories of coherent sheaves on weighted projective lines. Two different approaches are presented: one is based on a list of axioms and the other yields a description in terms of expansions of abelian categories. A weighted projective line is obtained from a projective line by inserting finitely many weights. So we describe the category of coherent sheaves on a projective line in some detail, and the insertion of weights amounts to adding simple objects. We call this process `expansion' and treat it axiomatically. Thus…
Let $\mathcal{A}$ be an abelian category. For a pair $(\mathcal{X},\mathcal{Y}$ of classes of objects in $\mathcal{A},$ we define the weak and the $(\mathcal{X},\mathcal{Y})$-Gorenstein relative projective objects in $\mathcal{A}$. We point out that such objects generalize the usual Gorenstein projective objects and others generalizations appearing in the literature as Ding-projective, Ding-injective, $\mathcal{X}$-Gorenstein projective, Gorenstein AC-projective and $G_C$-projective modules and Cohen-Macaulay objects in abelian categories. We show that the principal results on Gorenstein proje…
In this paper, we prove that the lower triangular matrix category $Λ=\left [ \begin{smallmatrix} \mathcal{T}&0\\ M&\mathcal{U} \end{smallmatrix} \right ]$, where $\mathcal{T}$ and $\mathcal{U}$ are quasi-hereditary $\mathrm{Hom}$-finite Krull-Schmidt $K$-categories and $M$ is a $\mathcal U\otimes_K \mathcal T^{op}$-module that satisfies suitable conditions, is quasi-hereditary in the sense of \cite{LGOS1} and \cite{Martin}. Moreover, we solve the problem of finding quotients of path categories isomorphic to the lower triangular matrix category $Λ$, where $\mathcal T=K\mathcal{R/J}$ and $\mathc…
Let k be an algebraically closed field and A a k-linear hereditary category satisfying Serre duality with no infinite radicals between the preprojective objects. If A is generated by the preprojective objects, then we show that A is derived equivalent to rep_k Q for a so called strongly locally finite quiver Q. To this end, we introduce light cone distances and round trip distances on quivers which will be used to investigate sections in stable translation quivers of the form \mathbb{Z} Q.
For a finite quiver without sources or sinks, we prove that the homotopy category of acyclic complexes of injective modules over the corresponding finite dimensional algebra with radical square zero is triangle equivalent to the derived category of the Leavitt path algebra viewed as a differential graded algebra with trivial differential, which is further triangle equivalent to the stable category of Gorenstein projective modules over the trivial extension algebra of a von Neumann regular algebra by an invertible bimodule. A related, but different, result for the homotopy category of acyclic c…
We investigate the properties of pure derived categories of module categories, and show that pure derived categories share many nice properties of classical derived categories. In particular, we show that bounded pure derived categories can be realized as certain homotopy categories. We introduce the pure projective (resp. injective) dimension of complexes in pure derived categories, and give some criteria for computing these dimensions in terms of the properties of pure projective (resp. injective) resolutions and pure derived functors. As a consequence, we get some equivalent characterizatio…
From certain triangle functors, called non-negative functors, between the bounded derived categories of abelian categories with enough projective objects, we introduce their stable functors which are certain additive functors between the stable categories of the abelian categories. The construction generalizes a previous work by Hu and Xi. We show that the stable functors of non-negative functors have nice exactness property and are compatible with composition of functors. This allows us to compare conveniently the homological properties of objects linked by the stable functors. Particularly, …
Let $\rm{coh}\mathbb{X}$ be the category of coherent sheaves over a weighted projective line $\mathbb{X}$ and let $D^b(\rm{coh}\mathbb{X})$ be its bounded derived category. The present paper focuses on the study of the right and left mutation functors arising in $D^b(\rm{coh}\mathbb{X})$ attached to certain line bundles. As applications, we first show that these mutation functors give rise to simple reflections for the Weyl group of the star shaped quiver $Q$ associated with $\mathbb{X}$. By further dealing with the Ringel--Hall algebra of $\mathbb{X}$, we show that these functors provide a re…
We initiate the study of derived functors in the setting of extriangulated categories. By using coends, we adapt Yoneda's theory of higher extensions to this framework. We show that, when there are enough projectives or enough injectives, thus defined extensions agree with the ones defined earlier via projective or injective resolutions. For categories with enough projective or enough injective morphisms, we prove that these are right derived functors of the $\operatorname{Hom}$-bifunctor in either argument. Since $\operatorname{Hom}$ is only half-exact in each argument, it is natural to expec…
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 projective complexes of projective objects. We also show that the derived category $\mathsf D(\mathsf B)$ is generated, as a triangulated category with coproducts, by the projective generator of $\mathsf B$. For a Grothendieck abelian category $\mathsf A$, we construct the injective derived and coderived model structures on complexes. Assuming Vopenka's prin…
We use recollement and HRS-tilt to describe bounded t-structures on the bounded derived category $\mathcal{D}^b(\mathbb{X})$ of coherent sheaves over a weighted projective line $\mathbb{X}$ of virtual genus $\leq 1$. We will see from our description that the combinatorics in classification of bounded t-structures on $\mathcal{D}^b(\mathbb{X})$ can be reduced to that in classification of bounded t-structures on bounded derived categories of finite dimensional right modules over representation-finite finite dimensional hereditary algebras.
