The derived-discrete algebras and standard equivalences
We prove that any derived equivalence between derived-discrete algebras of finite global dimension is standard, that is, isomorphic to the derived tensor functor by a two-sided tilting complex.
arXiv subjects
Publications and source records attributed to Xiao-Wu Chen.
We prove that any derived equivalence between derived-discrete algebras of finite global dimension is standard, that is, isomorphic to the derived tensor functor by a two-sided tilting complex.
For a certain Wakamatsu-tilting bimodule over two artin algebras $A$ and $B$, Wakamatsu constructed an explicit equivalence between the stable module categories over the trivial extension algebra of $A$ and that of $B$. We prove that Wakamatsu's functor is a triangle functor, thus a triangle equivalence.
We call a triangulated category \emph{hereditary} provided that it is equivalent to the bounded derived category of a hereditary abelian category, where the equivalence is required to commute with the translation functors. If the triangulated category is algebraical, we may replace the equivalence by a triangle equivalence. We give two intrinsic characterizations of hereditary triangulated categories using a certain full subcategory and the non-existence of certain paths. We apply them to piecewise hereditary algebras.
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 prove that any derived equivalence between triangular algebras is standard, that is, it is isomorphic to the derived tensor functor given by a two-sided tilting complex.
We exploit singular equivalences between artin algebras, that are induced from certain functors between the stable module categories. Such functors are called pre-triangle equivalences. We construct two pre-triangle equivalences connecting the stable module category over a quadratic monomial algebra and the one over an algebra with radical square zero. Consequently, we obtain an explicit singular equivalence between the two algebras.
We classify indecomposable non-projective Gorenstein-projective modules over a monomial algebra via the notion of perfect paths. We apply this classification to a quadratic monomial algebra and describe explicitly the stable category of its Gorenstein-projective modules.
For an abelian category with a Serre duality and a finite group action, we compute explicitly the Serre duality on the category of equivariant objects. Special cases and examples are discussed. In particular, an abelian category with a periodic Serre duality and its equivariantization are studied.
We formulate a version of Beck's monadicity theorem for abelian categories, which is applied to the equivariantization of abelian categories with respect to a finite group action. We prove that the equivariantization is compatible with the construction of quotient abelian categories by Serre subcategories. We prove that the equivariantization of the graded module category over a graded ring is equivalent to the graded module category over the same ring but with a different grading. We deduce from these results two equivalences between the category of (equivariant) coherent sheaves on a weighted projective line of tubular type and that on an elliptic curve, where the acting groups are cyclic and the two equivalences are somehow adjoint to each other.
For an adjoint pair $(F, G)$ of functors, we prove that $G$ is a separable functor if and only if the defined monad is separable and the associated comparison functor is an equivalence up to retracts. In this case, under an idempotent completeness condition, the adjoint pair $(F, G)$ is monadic. This applies to the comparison between the derived category of the category of equivariant objects in an abelian category and the category of equivariant objects in the derived category of the abelian category.
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 complexes of projective modules is given. Restricting these equivalences to compact objects, we obtain various descriptions of the singularity category of a finite dimensional algebra with radical square zero, which contain previous results.
We prove that a Hom-finite additive category having determined morphisms on both sides is a dualizing variety. This complements a result by Krause. We prove that in a Hom-finite abelian category having Serre duality, a morphism is right determined by some object if and only if it is an epimorphism. We give a characterization to abelian categories having Serre duality via determined morphisms.
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.
We associate to a localizable module a left retraction of algebras; it is a homological ring epimorphism that preserves singularity categories. We study the behavior of left retractions with respect to Gorenstein homological properties (for example, being Gorenstein algebras or CM-free). We apply the results to Nakayama algebras. It turns out that for a connected Nakayama algebra $A$, there exists a connected self-injective Nakayama algebra $A'$ such that there is a sequence of left retractions linking $A$ to $A'$; in particular, the singularity category of $A$ is triangle equivalent to the stable category of $A'$. We classify connected Nakayama algebras with at most three simple modules according to Gorenstein homological properties.
We introduce the notion of totally reflexive extension of rings. It unifies Gorenstein orders and Frobenius extensions. We prove that for a totally reflexive extension, a module over the extension ring is totally reflexive if and only if its underlying module over the base ring is totally reflexive.
We construct some irreducible representations of the Leavitt path algebra of an arbitrary quiver. The constructed representations are associated to certain algebraic branching systems. For a row-finite quiver, we classify algebraic branching systems, to which irreducible representations of the Leavitt path algebra are associated. For a certain quiver, we obtain a faithful completely reducible representation of the Leavitt path algebra. The twisted representations of the constructed ones under the scaling action are studied.
We prove that a certain pair of bimodules over two artin algebras gives rise to a triangle equivalence between the singularity categories of the two corresponding trivial extension algebras. Some consequences and an example are given.
We prove that a certain homological epimorphism between two algebras induces a triangle equivalence between their singularity categories. Applying the result to a construction of matrix algebras, we describe the singularity categories of some non-Gorenstein algebras.