Search

Let $\mathbb{K}$ be a field of characteristic $p$ and $G$ be a cyclic $p$-group which acts on a finite acyclic quiver $Q$. The folding process associates a Cartan triple to the action. We establish a Morita equivalence between the skew group algebra of the preprojective algebra of $Q$ and the generalized preprojective algebra associated to the Cartan triple in the sense of Geiss, Leclerc and Schr\"{o}er. The Morita equivalence induces an isomorphism between certain ideal monoids of these preprojective algebras, which is compatible with the embedding of Weyl groups appearing in the folding process., Comment: 21 pages

We give a direct proof of the following known result: the Grothendieck group of a triangulated category with a silting subcategory is isomorphic to the split Grothendieck group of the silting subcategory. Moreover, we obtain its cluster-tilting analogue., Comment: added a new section to discuss the cluster-tilting analogue

For a regular normal element in an arbitrary ring, we study the category of its module factorizations. The cokernel functor relates module factorizations with Gorenstein projective components to Gorenstein projective modules over the quotient ring. The results are vast extensions of Eisenbud's matrix factorization theorem., Comment: Any comments are welcome!

The singularity category of a ring detects the homological singularity of the given ring, and appears in many different contexts. We describe two different dg enhancements of the singularity category, that is, the Vogel dg category and the singular Yoneda dg category. These two dg enhancements turn out to be quasi-equivalent. We report some progress on the Singular Presilting Conjecture., Comment: Proceedings of ICRA 2022, to appear

We introduce the notion of pre-weight structure on a triangulated category and study the corresponding pseudo-identities. We propose the notion of canonical derived equivalence between algebras that are not necessarily flat, which is associated to a tilting complex. In the flat situation, canonical derived equivalences coincide with standard derived equivalences in the sense of Rickard. We prove that any derived equivalence starting from a hereditary algebra is canonical. The key tool is a general factorization theorem: any derived equivalence is uniquely factorized as a pseudo-identity followed by a canonical derived equivalence., Comment: Any comments are welcome

We prove that a virtually periodic object in an abelian category gives rise to a non-vanishing result on certain Hom groups in the singularity category. Consequently, for any artin algebra with infinite global dimension, its singularity category has no silting subcategory, and the associated differential graded Leavitt algebra has a non-vanishing cohomology in each degree. We verify the Singular Presilting Conjecture for singularly-minimal algebras and ultimately-closed algebras. We obtain a trichotomy on the Hom-finiteness of the cohomology of differential graded Leavitt algebras.

This work presents results on the finiteness, and on the symmetry properties, of various homological dimensions associated to the Jacobson radical and its higher syzygies, of a semiperfect ring., Comment: 12 pages

We give an informal introduction to model categories, and treat three important examples in some details: the category of small categories, the category of dg algebras, and the category of small dg categories., Comment: The new Corollary 6.30 is added: the dg endomorphism algebra is a homotopy invariant

We reformulate a result of Bernhard Keller on extensions of $t$-structures and give a detailed proof. In the study of hereditary $t$-structures, the notions of regular $t$-structures and global dimensions arise naturally., Comment: 14 pages. Any comments are welcome

For a noetherian ring $\Lambda$, the stabilization functor in the sense of Krause yields an embedding of the singularity category of $\Lambda$ into the homotopy category of acyclic complexes of injective $\Lambda$-modules. When $\Lambda$ contains a semisimple artinian subring $E$, we give an explicit description of the stabilization functor using the Hom complexes in the $E$-relative singular Yoneda dg category of $\Lambda$., Comment: 28 pages, comments welcome

For any finite dimensional algebra $\Lambda$ given by a quiver with relations, we prove that its dg singularity category is quasi-equivalent to the perfect dg derived category of a dg Leavitt path algebra. The result might be viewed as a deformed version of the known description of the dg singularity category of a radical-square-zero algebra in terms of a Leavitt path algebra with trivial differential. The above result is achieved in two steps. We first introduce the singular Yoneda dg category of $\Lambda$, which is quasi-equivalent to the dg singularity category of $\Lambda$. The construction of this new dg category follows from a general operation for dg categories, namely an explicit dg localization inverting a natural transformation from the identity functor to a dg endofunctor. This localization turns out to be quasi-equivalent to a dg quotient category. Secondly, we prove that the endomorphism algebra of the quotient of $\Lambda$ modulo its Jacobson radical in the singular Yoneda dg category is isomorphic to the dg Leavitt path algebra. The appendix is devoted to an alternative proof of the result using Koszul-Moore duality and derived localizations., Comment: Appendix by Bernhard Keller and Yu Wang, v2 some changes in exposition, 51 pages

For a finite group action on a finite EI quiver, we construct its `orbifold' quotient EI quiver. The free EI category associated to the quotient EI quiver is equivalent to the skew group category with respect to the given group action. Specializing the result to a finite group action on a finite acyclic quiver, we prove that, under reasonable conditions, the skew group category of the path category is equivalent to a finite EI category of Cartan type. If the ground field is of characteristic $p$ and the acting group is a cyclic $p$-group, we prove that the skew group algebra of the path algebra is Morita equivalent to the algebra associated to a Cartan matrix, defined in [C. Geiss, B. Leclerc, and J. Schr\"{o}er, Quivers with relations for symmetrizable Cartan matrices I: Foundations, Invent. Math. 209 (2017), 61--158]. We apply the Morita equivalence to construct a categorification of the folding projection between the root lattices with respect to a graph automorphism. In the Dynkin cases, the restriction of the categorification to indecomposable modules corresponds to the folding of positive roots., Comment: 35 pages; comments are welcome!

We investigate the problem when the tensor functor by a bimodule yields a singular equivalence. It turns out that this problem is equivalent to the one when the Hom functor given by the same bimodule induces a triangle equivalence between the homotopy categories of acyclic complexes of injective modules. We give conditions on when a bimodule appears in a pair of bimodules, that defines a singular equivalence with level. We construct an explicit bimodule, which yields a singular equivalence between a quadratic monomial algebra and its associated algebra with radical square zero. Under certain conditions which include the Gorenstein cases, the bimodule does appear in a pair of bimodules defining a singular equivalence with level., Comment: 20 pages, all comments are welcome!

This work introduces a novel strategy for generating synthetic training data for 2D and 3D pose estimation of animals using keyframe animations. With the objective to automate the process of creating animations for wildlife, we train several 2D and 3D pose estimation models with synthetic data, and put in place an end-to-end pipeline called ZooBuilder. The pipeline takes as input a video of an animal in the wild, and generates the corresponding 2D and 3D coordinates for each joint of the animal's skeleton. With this approach, we produce motion capture data that can be used to create animations for wildlife.

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 Gorenstein injective dimension., Comment: 15 pages; all comments are welcome!

For a finite quiver without sinks, we establish an isomorphism in the homotopy category $\mathrm {Ho}(B_\infty)$ of $B_{\infty}$-algebras between the Hochschild cochain complex of the Leavitt path algebra $L$ and the singular Hochschild cochain complex of the corresponding radical square zero algebra $\Lambda$. Combining this isomorphism with a description of the dg singularity category of $\Lambda$ in terms of the dg perfect derived category of $L$, we verify Keller's conjecture for the singular Hochschild cohomology of $\Lambda$. More precisely, we prove that there is an isomorphism in $\mathrm{Ho}(B_\infty)$ between the singular Hochschild cochain complex of $\Lambda$ and the Hochschild cochain complex of the dg singularity category of $\Lambda$. One ingredient of the proof is the following duality theorem on $B_\infty$-algebras: for any $B_\infty$-algebra, there is a natural $B_\infty$-isomorphism between its opposite $B_\infty$-algebra and its transpose $B_\infty$-algebra. We prove that Keller's conjecture is invariant under one-point (co)extensions and singular equivalences with levels. Consequently, Keller's conjecture holds for those algebras obtained inductively from $\Lambda$ by one-point (co)extensions and singular equivalences with levels. These algebras include all finite dimensional gentle algebras., Comment: v3: 92 pages, 9 figures

The classical theorem of Milnor on pullback rings states that the category of projective modules over a pullback ring is equivalent to a certain category of gluing triples consisting of projective modules. We prove an analogous result on the level of derived categories, where the equivalence has to be replaced by an epivalence., Comment: Any comments are welcome!

For a certain full additive subcategory X of an additive category A, one defines the lower extension groups in relative homological algebra. We show that these groups are isomorphic to the suspended Hom groups in the Verdier quotient category of the bounded homotopy category of A by that of X. Alternatively, these groups are isomorphic to the negative cohomological groups of the Hom complexes in the dg quotient category A/X, where both A and X are viewed as dg categories concentrated in degree zero., Comment: 10 pages

In this informal introduction to dg categories, the slogan is that dg categories are more rudimentary than triangulated categories. We recall some details on the dg quotient category introduced by Bernhard Keller and Vladimir Drinfeld., Comment: 16 pages

For each recollement of triangulated categories, there is an epivalence between the middle category and the comma category associated to a triangle functor from the category on the right to the category on the left. For a morphic enhancement of a triangulated category $\mathcal{T}$, there are three explicit ideals of the enhancing category, whose corresponding factor categories are all equivalent to the module category over $\mathcal{T}$. Examples related to inflation categories and weighted projective lines are discussed., Comment: all comments are welcome!

We give two proofs to the following theorem and its generalization: if a finite dimensional algebra $A$ is derived equivalent to a smooth projective scheme, then any derived equivalence between $A$ and another algebra $B$ is standard, that is, isomorphic to the derived tensor functor by a two-sided tilting complex. The main ingredients of the proofs are as follows: (1) between the derived categories of two module categories, liftable functors coincide with standard functors; (2) any derived equivalence between a module category and an abelian category is uniquely factorized as the composition of a pseudo-identity and a liftable derived equivalence; (3) the derived category of coherent sheaves on a certain projective scheme is triangle-objective, that is, any triangle autoequivalence on it, which preserves the the isomorphism classes of complexes, is necessarily isomorphic to the identity functor.

To each symmetrizable Cartan matrix, we associate a finite free EI category. We prove that the corresponding category algebra is isomorphic to the algebra defined in [C. Geiss, B. Leclerc, and J. Schr\"{o}er, Quivers with relations for symmetrizable Cartan matrices I: Foundations, Invent. Math. 209 (2017), 61--158], which is associated to another symmetrizable Cartan matrix. In certain cases, the algebra isomorphism provides an algebraic enrichment of the well-known correspondence between symmetrizable Cartan matrices and graphs with automorphisms., Comment: 18 pages; a new version of arXiv: 1811.00294

For a finite dimensional algebra $A$, we prove that the bounded homotopy category of projective $A$-modules and the bounded derived category of $A$-modules are dual to each other via certain categories of locally-finite cohomological functors. The duality gives rise to a $2$-categorical duality between certain strict $2$-categories involving the bounded homotopy categories and bounded derived categories, respectively. We apply the $2$-categorical duality to the study of triangle autoequivalence groups. These results are analogous to the ones in [M.R. Ballard, {\em Derived categories of sheaves on singular schemes with an application to reconstruction}, Adv. Math. {\bf 227} (2011), 895--919].

Let $\mathcal{A}$ be an abelian category and $\mathcal{B}$ be the Happel-Reiten-Smal{\o} tilt of $\mathcal{A}$ with respect to a torsion pair. We give necessary and sufficient conditions for the existence of a derived equivalence between $\mathcal{B}$ and $\mathcal{A}$, which is compatible with the inclusion of $\mathcal{B}$ into the derived category of $\mathcal{A}$. In particular, any splitting torsion pair induces a derived equivalence. We prove that for the realization functor of any bounded $t$-structure, its denseness implies its fully-faithfulness.

Gorenstein homological algebra is a kind of relative homological algebra which has been developed to a high level since more than four decades. In this report we review the basic theory of Gorenstein homological algebra of artin algebras. It is hoped that such a theory will help to understand the famous Gorenstein symmetric conjecture of artin algebras. With only few exceptions all the results in this report are contained in the existing literature. We have tried to keep the exposition as self-contained as possible. This report can be viewed as a preparation for learning the newly developed theory of virtually Gorenstein algebras. In Chapter 2 we recall the basic notions in Gorenstein homological algebra with particular emphasis on finitely generated Gorenstein-projective modules, Gorenstein algebras and CM-finite algebras. In Chapter 3 based on a theorem by Beligiannis we study the Gorenstein-projective resolutions and various Gorenstein dimensions; we also discuss briefly Gorenstein derived categories in the sense of Gao and Zhang. We include three appendixes: Appendix A treats cotorsion pairs; Appendix B sketches a proof of the theorem by Beligiannis; Appendix C provides a list of open problems in Gorenstein homological algebra of artin algebras., Comment: USTC, postdoc report, 2010

Let $R$ be a two-sided noetherian ring and $M$ be a nilpotent $R$-bimodule, which is finitely generated on both sides. We study Gorenstein homological properties of the tensor ring $T_R(M)$. Under certain conditions, the ring $R$ is Gorenstein if and only if so is $T_R(M)$. We characterize Gorenstein projective $T_R(M)$-modules in terms of $R$-modules.

We construct an explicit projective bimodule resolution for the Leavitt path algebra of a row-finite quiver. We prove that the Leavitt path algebra of a row-countable quiver has Hochschild cohomolgical dimension at most one, that is, it is quasi-free in the sense of Cuntz-Quillen. The construction of the resolution relies on an explicit derivation of the Leavitt path algebra.

For a finite abelian group action on a linear category, we study the dual action given by the character group acting on the category of equivariant objects. We prove that the groups of equivariant autoequivalences on these two categories are isomorphic. In the triangulated situation, this isomorphism implies that the classifications of stable tilting objects for these two categories are in a natural bijection. We apply these results to stable tilting complexes on weighted projective lines of tubular type., Comment: comments welcome

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., Comment: 19 pages

We introduce the notions of a $\mathbf{D}$-standard abelian category and a $\mathbf{K}$-standard additive category. We prove that for a finite dimensional algebra $A$, its module category is $\mathbf{D}$-standard if and only if any derived autoequivalence on $A$ is standard, that is, given by a two-sided tilting complex. We prove that if the subcategory of projective $A$-modules is $\mathbf{K}$-standard, then the module category is $\mathbf{D}$-standard. We provide new examples of $\mathbf{D}$-standard module categories., Comment: revised, comments are welcome

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., Comment: Comments are welcome!

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., Comment: 17 pages. Comments are welcome

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., Comment: Comments are welcome!

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., Comment: 3 tables

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., Comment: Comments are welcome

Universal extensions arise naturally in the Auslander bijections. For an abelian category having Auslander-Reiten duality, we exploit a bijection triangle, which involves the Auslander bijections, universal extensions and the Auslander-Reiten duality. Some consequences are given, in particular, a conjecture by Ringel is verified.

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.

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., Comment: To appear in IMRN. Minor changes made

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 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., Comment: Comments are welcome!

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., Comment: Comments are welcome!

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.

To an artin algebra with radical square zero, a regular algebra in the sense of von Neumann and a family of invertible bimodules over the regular algebra are associated. These data describe completely, as a triangulated category, the singularity category of the artin algebra. A criterion on the Hom-finiteness of the singularity category is given in terms of the valued quiver of the artin algebra., Comment: Comments are welcome

For a weighted projective line, the stable category of its vector bundles modulo lines bundles has a natural triangulated structure. We prove that, for any positive integers $p, q, r$ and $r'$ with $r'\leq r$, there is an explicit recollement of the stable category of vector bundles on a weighted projective line of weight type $(p, q, r)$ relative to the ones on weighted projective lines of weight types $(p, q, r')$ and $(p, q, r-r'+1)$.