Search

We show that the Terwilliger algebra of a quasi-thin association scheme over a field is always a quasi-hereditary cellular algebra in the sense of Cline-Parshall-Scott and of Graham-Lehrer, repsectively, and that the basic algebra of the Terwilliger algebra is the dual extension of a star with all arrows pointing to its center if the field has characteristic $2$. Thus many homological and representation-theoretic properties of these Terwilliger algebras can be determined completely. For example, the Nakayama conjecture holds for Terwilliger algebras of quasi-thin association schemes., Comment: 9 pages

The centralizer of a matrix in a full matrix algebra is called a principal centralizer matrix algebra. Characterizations are presented for principal centralizer matrix algebras to be Morita equivalent, almost $\nu$-stable derived equivalent, derived equivalent, and stably equivalent of Morita type, respectively, in terms of new equivalence relations on square matrices. These equivalence relations on matrices are introduced in a natural way by their elementary divisors. Thus the categorical equivalences are reduced to questions in linear algebra. Consequently, principal centralizer matrix algebras of permutation matrices are Morita equivalent if and only if they are derived equivalent. Moreover, two representation-finite, principal centralizer matrix algebras over a perfect field are stably equivalent of Morita type if and only if they are stably equivalent. Further, derived equivalences between the principal centralizer matrix algebras of permutation matrices induce the ones of their $p$-regular parts and $p$-singular parts of the given permutations., Comment: 28 pages

The Nakayama permutations of two derived equivalent, self-injective Artin algebras are conjugate. A different but elementary approach is given to showing that the weak symmetry and self-injectivity of finite-dimensional algebras over an arbitrary field are preserved under derived equivalences., Comment: 11 pages. Corollary 5.5 is reformulated

We show that the construction of mirror-reflective algebras inherits derived equivalences of gendo-symmetric algebras. More precisely, suppose A and B are gendo-symmetric algebras with both Ae and Bf faithful projective-injective left ideals generated by idempotents e in A and f in B, respectively. If A and B are derived equivalent, then the mirror-reflective algebras of (A,e) and (B,f) are derived equivalent., Comment: 15 pages

Given an algebra with an idempotent, we introduce two procedures to construct families of new algebras, termed mirror-reflective algebras and reduced mirror-reflective algebras. We then establish connections among these algebras by recollements of derived module categories. In case of given algebras being gendo-symmetric, we show that the (reduced) mirror-reflective algebras are symmetric and provide new methods to construct systematically both higher dimensional (minimal) Auslander-Gorenstein algebras and gendo-symmetric algebras of higher dominant dimensions. This leads to a new formulation of Tachikawa's second conjecture for symmetric algebras in terms of idempotent stratifications., Comment: 27 pages

Tachikawa's second conjecture predicts that a finitely generated, orthogonal module over a finite-dimensional self-injective algebra is projective. This conjecture is an important part of the Nakayama conjecture. Our principal motivation of this work is a systematic understanding of finitely generated, orthogonal generators over a self-injective Artin algebra from the view point of stable module categories. As a result, for an orthogonal generator M, we establish a recollement of the M-relative stable categories, describe compact objects of the right term of the recollement, and give equivalent characterizations of Tachikawa's second conjecture in terms of M-Gorenstein categories. Further, we introduce Gorenstein-Morita algebras and show that the Nakayama conjecture holds true for them., Comment: 40 pages

We show that the Auslander-Reiten conjecture on stable equivalences holds true for principal centralizer matrix algebras over an arbitrary field and for Frobenius-finite algebras over an algebraically closed field, that stable equivalences of algebras with positive $\nu$-dominant dimensions preserve stable equivalences of their Frobenius parts, and that the delooping levels, $\phi$-dimensions and $\psi$-dimensions are invariants of stable equivalences of Artin algebras without nodes., Comment: 20 pages. A result in the earlier version is reformulated

Under semi-weak and weak compatibility of bimodules, we establish sufficient and necessary conditions of Gorenstein-projective modules over rings of Morita contexts with one bimodule homomorphism zero. This generalises and extends results on triangular matrix Artin algebras and on Artin algebras of Morita contexts with two bimodule homomorphisms zero in the literature, where only sufficient conditions are given under a strong assumption of compatibility of bimodules. An application is provided to describe Gorenstein-projective modules over noncommutative tensor products arising from Morita contexts. Moreover, we work with Noether rings and modules instead of Artin algebras and modules., Comment: 29 pages, references updated

For any good tilting module $T$ over a ring $A$, there exists an $n$-symmetric subcategory $\mathscr{E}$ of a module category such that the derived category of the endomorphism ring of $T$ is a recollement of the derived categories of $\mathscr{E}$ and $A$ in the sense of Beilinson-Bernstein-Deligne. Thus the kernel of the total left-derived tensor functor induced by the tilting module is triangle equivalent to the derived category of $\mathscr{E}$., Comment: 23 pages

For a field $R$ of characteristic $p\ge 0$ and a matrix $c$ in the full $n\times n$ matrix algebra $M_n(R)$ over $R$, let $S_n(c,R)$ be the centralizer algebra of $c$ in $M_n(R)$. We show that $S_n(c,R)$ is a Frobenius-finite, $1$-Auslander-Gorenstein, and gendo-symmetric algebra, and that the extension $S_n(c,R)\subseteq M_n(R)$ is separable and Frobenius. Further, we study the isomorphism problem of invariant matrix algebras. Let $\sigma$ be a permutation in the symmetric group $\Sigma_n$ and $c_{\sigma}$ the corresponding permutation matrix in $M_n(R)$. We give sufficient and necessary conditions for the invariant algebra $S_n(c_{\sigma},R)$ to be semisimple. If $R$ is an algebraically closed field, we establish a combinatoric characterization of when two semisimple invariant $R$-algebras are isomorphic in terms of the cycle types of permutations., Comment: 21 pages. Some new results are included

Given an $n\times n$ matrix $c$ over a unitary ring $R$, the centralizer of $c$ in the full $n\times n$ matrix ring $M_n(R)$ is called a principal centralizer matrix ring, denoted by $S_n(c,R)$. We investigate its structure and prove: $(1)$ If $c$ is an invertible matrix with a $c$-free point, or if $R$ has no zero-divisors and $c$ is a Jordan-similar matrix with all eigenvalues in the center of $R$, then $M_n(R)$ is a separable Frobenius extension of $S_{n}(c,R)$ in the sense of Kasch. $(2)$ If $R$ is an integral domain and $c$ is a Jordan-similar matrix, then $S_n(c,R)$ is a cellular $R$-algebra in the sense of Graham and Lehrer. In particular, if $R$ is an algebraically closed field and $c$ is an arbitrary matrix in $M_n(R)$, then $S_n(c,R)$ is always a cellular algebra, and the extension $S_n(c,R)\subseteq M_n(R)$ is always a separable Frobenius extension., Comment: 25

We establish relations between representation dimensions of two algebras connected by a Frobenius bimodule or extension. Consequently, upper bounds and equality formulas for representation dimensions of group algebras, symmetric separably equivalent algebras and crossed products are obtained. Particularly, for any subgroup H of a finite group G, if [G:H] is invertible in a field, then the representation dimensions of the group algebras of G and H over the field are the same., Comment: 11 pages

Centrosymmetric matrices of order $n$ over an arbitrary algebra $R$ form a subalgebra of the full $n\times n$ matrix algebra over $R$. It is called the centrosymmetric matrix algebra of order $n$ over $R$ and denoted by $S_n(R)$. We prove (1) $S_n(R)$ is Morita equivalent to $S_2(R)$ if $n$ is even, and to $S_3(R)$ if $n\ge 3$ is odd; (2) the full $n\times n$ matrix algebra over $R$ is a separable Frobenius extension of $S_n(R)$; and (3) if $R$ is a commutative ring, then $S_n(R)$ is a cellular $R$-algebra in the sense of Graham-Lehrer for all $n\ge 1$., Comment: 8 pages

We establish relations between Frobenius parts and between flat-dominant dimensions of algebras linked by Frobenius bimodules. This is motivated by the Nakayama conjecture and an approach of Martinez-Villa to the Auslander-Reiten conjecture on stable equivalences. We show that the Frobenius parts of Frobenius extensions are again Frobenius extensions. Further, let $A$ and $B$ be finite-dimensional algebras over a field $k$, and let $\dm(_AX)$ stand for the dominant dimension of an $A$-module $X$. If $_BM_A$ is a Frobenius bimodule, then $\dm(A)\le \dm(_BM)$ and $\dm(B)\le \dm(_A\Hom_B(M, B))$. In particular, if $B\subseteq A$ is a left-split (or right-split) Frobenius extension, then $\dm(A)=\dm(B)$. These results are applied to calculate flat-dominant dimensions of a number of algebras: shew group algebras, stably equivalent algebras, trivial extensions and Markov extensions. Finally, we prove that the universal (quantised) enveloping algebras of semisimple Lie algebras are $QF$-$3$ rings in the sense of Morita., Comment: 11 pages, to appear in Science China Mathematics

Derived decompositions of abelian categories are introduced in internal terms of abelian subcategories to construct semi-orthogonal decompositions (or Bousfield localizations, or hereditary torsion pairs) in various derived categories of abelian categories. We give a sufficient condition for arbitrary abelian categories to have such derived decompositions and show that it is also necessary for abelian categories with enough projectives and injectives. For bounded derived categories, we describe which semi-orthogonal decompositions are determined by derived decompositions. The necessary and sufficient condition is then applied to the module categories of rings: localizing subcategories, homological ring epimorphisms, commutative noetherian rings and nonsingular rings. Moreover, for a commutative noetherian ring of Krull dimension at most $1$, a derived stratification of its module category is established., Comment: 27 pages. This is a revision of arXiv:1804.10759. The main results are extended

Using the Nakayama functor, we construct an equivalence from a Serre quotient category of a category of finitely generated modules to a category of finite-dimensional modules. We then apply this result to the categories FI$_G$ and VI$_q$, and answer positively an open question of Nagpal on representation stability theory., Comment: Comments welcome

Derived equivalences for Artin algebras (and almost $\nu$-stable derived equivalences for finite-dimensional algebras) are constructed from Milnor squares of algebras. Particularly, three operations of gluing vertices, unifying arrows and identifying socle elements on derived equivalent algebras are presented to produce new derived equivalences of the resulting algebras from the given ones. As a byproduct, we construct a series of derived equivalences, showing that derived equivalences may change Frobenius type of algebras in general, though both tilting procedure and almost $\nu$-stable derived equivalences do preserve Frobenius type of algebras., Comment: 27 pages

The finitistic dimension conjecture asserts that any finite-dimensional algebra over a field should have finite finitistic dimension. Recently, this conjecture is reduced to studying finitistic dimensions for extensions of algebras. In this paper, we investigate those extensions of Artin algebras in which some radical-power of smaller algebras is a one-sided ideal in bigger algebras. Our results, however, are formulated more generally for an arbitrary ideal: Let $B\subseteq A$ be an extension of Artin algebras and $I$ an ideal of $B$ such that the full subcategory of $B/I$-modules is $B$-syzygy-finite. Then: (1) If the extension is right-bounded (for example, proj.dim$(A_B)$ is finite), $I A\, rad(B)\subseteq B$ and fin.dim$(A)$ is finite, then fin.dim$(B)$ is finite. (2) If $I\, rad(B)$ is a left ideal of $A$ and $A$ is torsionless-finite, then fin.dim$(B)$ is finite. Particularly, if $I$ is specified to a power of the radical of $B$, then our results not only generalize some ones in the literature (see Corollaries 1.3 and 1.4), but also provide some completely new ways to detect algebras of finite finitistic dimensions., Comment: 14 pages

The Nakayama conjecture states that an algebra of infinite dominant dimension should be self-injective. Motivated by understanding this conjecture in the context of derived categories, we study dominant dimensions of algebras under derived equivalences induced by tilting modules, specifically, the infinity of dominant dimensions under tilting procedure. We first give a new method to produce derived equivalences from relatively exact sequences, and then establish relationships and lower bounds of dominant dimensions for derived equivalences induced by tilting modules. Particularly, we show that under a sufficient condition the infinity of dominant dimensions can be preserved by tilting, and get not only a class of derived equivalences between two algebras such that one of them is a Morita algebra in the sense of Kerner-Yamagata and the other is not, but also the first counterexample to a question whether generalized symmetric algebras are closed under derived equivalences., Comment: 28 pages. The only change in this version is that the original section 3 is divided into two parts, in order to make the structure of the paper more reasonable

Motivated by understanding the Brou\'e's abelian defect group conjecture from algebraic point of view, we consider the question of how to lift a stable equivalence of Morita type between arbitrary finite dimensional algebras to a derived equivalence. In this paper, we present a machinery to solve this question for a class of stable equivalences of Morita type. In particular, we show that every stable equivalence of Morita type between Frobenius-finite algebras over an algebraically closed field can be lifted to a derived equivalence. %Thus Frobenius-finite algebras share many common %invariants of both derived equivalences and stable equivalences. Especially, Auslander-Reiten conjecrure is true for stable equivalences of Morita type between Frobenius-finite algebras without semisimple direct summands. Examples of such a class of algebras are abundant, including Auslander algebras, cluster-tilted algebras and certain Frobenius extensions. As a byproduct of our methods, we further show that, for a Nakayama-stable idempotent element $e$ in an algebra $A$ over an arbitrary field, each tilting complex over $eAe$ can be extended to a tilting complex over $A$ that induces an almost $\nu$-stable derived equivalence studied in the first paper of this series. Moreover, we demonstrate that our techniques are applicable to verify the Brou\'{e}'s abelian defect group conjecture for several cases mentioned by Okuyama., Comment: This is the second paper of the series: Derived equivalences and stable equivalences of Morita type. The first paper appeared in Nagoya Math. J. 200(2010) 107-152

In this paper, we study homological dimensions of algebras linked by recollements of derived module categories, and establish a series of new upper bounds and relationships among their finitistic or global dimensions. This is closely related to a longstanding conjecture, the finitistic dimension conjecture, in representation theory and homological algebra. Further, we apply our results to a series of situations of particular interest: exact contexts, ring extensions, trivial extensions, pullbacks of rings, and algebras induced from Auslander-Reiten sequences. In particular, we not only extend and amplify Happel's reduction techniques for finitistic dimenson conjecture to more general contexts, but also generalise some recent results in the literature., Comment: 26 pages

For a recollement of derived module categories of rings, we provide sufficient conditions to guarantee the additivity formula of higher algebraic K-groups of the rings involved, and establish a long Mayer-Vietoris exact sequence of higher algebraic K-groups for homological exact contexts introduced in the first paper of this series. Our results are then applied to recollements induced from homological ring epimorphisms and noncommutative localizations. Consequently, we get an infinitely long Mayer-Vietoris exact sequence of K-theory for Milnor squares, re-obtain a result of Karoubi on localizations and a result on generalized free products pioneered by Waldhausen and developed by Neeman and Ranicki. In particular, we describe algebraic $K$-groups of the free product of two groups over a regular coherent ring as the ones of the noncommutative tensor product of an exact context. This yields a new description of algebraic $K$-theory of infinite dihedral group., Comment: 38 pages

We establish formulas for computation of the higher algebraic $K$-groups of the endomorphism rings of objects linked by a morphism in an additive category. Let ${\mathcal C}$ be an additive category, and let $Y\ra X$ be a covariant morphism of objects in ${\mathcal C}$. Then $K_n\big(_{\mathcal C}(X\oplus Y)\big)\simeq K_n\big(_{{\mathcal C},Y}(X)\big)\oplus K_n\big(_{\mathcal C}(Y)\big)$ for all $1\le n\in \mathbb{N}$, where $_{{\mathcal C},Y}(X)$ is the quotient ring of the endomorphism ring $_{\mathcal C}(X)$ of $X$ modulo the ideal generated by all those endomorphisms of $X$ which factorize through $Y$. Moreover, let $R$ be a ring with identity, and let $e$ be an idempotent element in $R$. If $J:=ReR$ is homological and $_RJ$ has a finite projective resolution by finitely generated projective $R$-modules, then $K_n(R)\simeq K_n(R/J)\oplus K_n(eRe)$ for all $n\in \mathbb{N}$. This reduces calculations of the higher algebraic $K$-groups of $R$ to those of the quotient ring $R/J$ and the corner ring $eRe$, and can be applied to a large variety of rings: Standardly stratified rings, hereditary orders, affine cellular algebras and extended affine Hecke algebras of type $\tilde{A}$., Comment: 21 pages. Representation-theoretic methods are used to study the algebraic K-theory of rings

Given a good $n$-tilting module $T$ over a ring $A$, let $B$ be the endomorphism ring of $T$, it is an open question whether the kernel of the left-derived functor $T\otimes^L_B-$ between the derived module categories of $B$ and $A$ could be realized as the derived module category of a ring $C$ via a ring epimorphism $B\rightarrow C$ for $n\ge 2$. In this paper, we first provide a uniform way to deal with the above question both for tilting and cotilting modules by considering a new class of modules called Ringel modules, and then give criterions for the kernel of $T\otimes^L_B-$ to be equivalent to the derived module category of a ring $C$ with a ring epimorphism $B\rightarrow C$. Using these characterizations, we display both a positive example of $n$-tilting modules from noncommutative algebra, and a counterexample of $n$-tilting modules from commutative algebra to show that, in general, the open question may have a negative answer. As another application of our methods, we consider the dual question for cotilting modules, and get corresponding criterions and counterexamples. The case of cotilting modules, however, is much more complicated than the case of tilting modules., Comment: 40 pages

Recollements were introduced originally by Beilinson, Bernstein and Deligne to study the derived categories of perverse sheaves, and nowadays become very powerful in understanding relationship among three algebraic, geometric or topological objects. The purpose of this series of papers is to study recollements in terms of derived module categories and homological ring epimorphisms, and then to apply our results to both representation theory and algebraic K-theory. In this paper we present a new and systematic method to construct recollements of derived module categories. For this aim, we introduce a new ring structure, called the noncommutative tensor product, and give necessary and sufficient conditions for noncommutative localizations which appears often in representation theory, topology and K-theory, to be homological. The input of our machinery is an exact context which can be easily obtained from a rigid morphism that exists in very general circumstances. The output is a recollement of derived module categories of rings in which the noncommutative tensor product of an exact context plays a crucial role. Thus we obtain a large variety of new recollements from commutative and noncommutative localizations, ring epimorphisms and extensions., Comment: 43 pages

In this paper, we use $\mathcal D$-split sequences and derived equivalences to provide formulas for calculation of higher algebraic $K$-groups (or mod-$p$ $K$-groups) of certain matrix subrings which cover tiled orders, rings related to chains of Glaz-Vasconcelos ideals, and some other classes of rings. In our results, we do not assume any homological requirements on rings and ideals under investigation, and therefore extend sharply many existing results of this type in the algebraic $K$-theory literature to a more general context., Comment: 20 pages

In this paper, we consider the endomorphism algebras of infinitely generated tilting modules of the form $R_{\mathcal U}\oplus R_{\mathcal U}/R$ over tame hereditary $k$-algebras $R$ with $k$ an arbitrary field, where $R_{\mathcal{U}}$ is the universal localization of $R$ at an arbitrary set $\mathcal{U}$ of simple regular $R$-modules, and show that the derived module category of $\End_R(R_{\mathcal U}\oplus R_{\mathcal U}/R)$ is a recollement of the derived module category $\D{R}$ of $R$ and the derived module category $\D{{\mathbb A}_{\mathcal{U}}}$ of the ad\`ele ring ${\mathbb A}_{\mathcal{U}}$ associated with $\mathcal{U}$. When $k$ is an algebraically closed field, the ring ${\mathbb A}_{\mathcal{U}}$ can be precisely described in terms of Laurent power series ring $k((x))$ over $k$. Moreover, if $\mathcal U$ is a union of finitely many cliques, we give two different stratifications of the derived category of $\End_R(R_{\mathcal U}\oplus R_{\mathcal U}/R)$ by derived categories of rings, such that the two stratifications are of different finite lengths., Comment: 28 pages

In this article, a new construction of derived equivalences is given. It relates different endomorphism rings and more generally cohomological endomorphism rings - including higher extensions - of objects in triangulated categories. These objects need to be connected by certain universal maps that are cohomological approximations and that exist in very general circumstances. The construction turns out to be applicable in a wide variety of situations, covering finite dimensional algebras as well as certain infinite dimensional algebras, Frobenius categories and $n$-Calabi-Yau categories., Comment: 31 pages

Let $T$ be an infinitely generated tilting module of projective dimension at most one over an arbitrary associative ring $A$, and let $B$ be the endomorphism ring of $T$. In this paper, we prove that if $T$ is good then there exists a ring $C$, a homological ring epimorphism $B\ra C$ and a recollement among the (unbounded) derived module categories $\D{C}$ of $C$, $\D{B}$ of $B$, and $\D{A}$ of $A$. In particular, the kernel of the total left derived functor $T\otimes_B^{\mathbb L}-$ is triangle equivalent to the derived module category $\D{C}$. Conversely, if the functor $T\otimes_B^{\mathbb L}-$ admits a fully faithful left adjoint functor, then $T$ is a good tilting module. We apply our result to tilting modules arising from ring epimorphisms, and can then describe the rings $C$ as coproducts of two relevant rings. Further, in case of commutative rings, we can weaken the condition of being tilting modules, strengthen the rings $C$ as tensor products of two commutative rings, and get similar recollements. Consequently, we can produce examples (from commutative algebra and $p$-adic number theory, or Kronecker algebra) to show that two different stratifications of the derived module category of a ring by derived module categories of rings may have completely different derived composition factors (even up to ordering and up to derived equivalence),or different lengths. This shows that the Jordan-H\"older theorem fails even for stratifications by derived module categories, and also answers negatively an open problem by Angeleri-H\"ugel, K\"onig and Liu.

In this paper, we present two methods, induction and restriction procedures, to construct new stable equivalences of Morita type. Suppose that a stable equivalence of Morita type between two algebras $A$ and $B$ is defined by a $B$-$A$-bimodule $N$. Then, for any finite admissible set $\Phi$ and any generator $X$ of the $A$-module category, the $\Phi$-Auslander-Yoneda algebras of $X$ and $N\otimes_AX$ are stably equivalent of Morita type. Moreover, under certain conditions, we transfer stable equivalences of Morita type between $A$ and $B$ to ones between $eAe$ and $fBf$, where $e$ and $f$ are idempotent elements in $A$ and $B$, respectively. Consequently, for self-injective algebras $A$ and $B$ over a field without semisimple direct summands, and for any $A$-module $X$ and $B$-module $Y$, if the $\Phi$-Auslander-Yoneda algebras of $A\oplus X$ and $B\oplus Y$ are stably equivalent of Morita type for one finite admissible set $\Phi$, then so are the $\Psi$-Auslander-Yoneda algebras of $A\oplus X$ and $B\oplus Y$ for {\it every} finite admissible set $\Psi$. Moreover, two representation-finite algebras over a field without semisimple direct summands are stably equivalent of Morita type if and only if so are their Auslander algebras. As another consequence, we construct an infinite family of algebras of the same dimension and the same dominant dimension such that they are pairwise derived equivalent, but not stably equivalent of Morita type. This answers a question by Thorsten Holm.

In this paper, we introduce $\Phi$-Auslander-Yoneda algebras in a triangulated category with $\Phi$ a parameter set in $\mathbb N$, and provide a method to construct new derived equivalences between these $\Phi$-Auslander-Yoneda algebras (not necessarily Artin algebras), or their quotient algebras, from a given almost $\nu$-stable derived equivalence. As consequences of our method, we have: (1) Suppose that $A$ and $B$ are representation-finite, self-injective Artin algebras with $_AX$ and $_BY$ additive generators for $A$ and $B$, respectively. If $A$ and $B$ are derived-equivalent, then the $\Phi$-Auslander-Yoneda algebras of $X$ and $Y$ are derived-equivalent for every admissible set $\Phi$. In particular, the Auslander algebras of $A$ and $B$ are both derived-equivalent and stably equivalent. (2) For a self-injective Artin algeba $A$ and an $A$-module $X$, the $\Phi$-Auslander-Yoneda algebras of $A\oplus X$ and $A\oplus \Omega_A(X)$ are derived-equivalent for every admissible set $\Phi$, where $\Omega$ is the Heller loop operator. Motivated by these derived equivalences between $\Phi$-Auslander-Yoneda algebras, we consider constructions of derived equivalences for quotient algebras, and show, among others, that a derived equivalence between two basic self-injective algebras may transfer to a derived equivalence between their quotient algebras obtained by factorizing out socles., Comment: 27 pages

Let $A$ and $B$ be finite-dimensional $k$-algebras over a field $k$ such that $A/\rad(A)$ and $B/\rad(B)$ are separable. In this note, we consider how to transfer a stable equivalence of Morita type between $A$ and $B$ to that between $eAe$ and $fBf$, where $e$ and $f$ are idempotent elements in $A$ and in $B$, respectively. In particular, if the Auslander algebras of two representation-finite algebras $A$ and $B$ are stably equivalent of Morita type, then $A$ and $B$ themselves are stably equivalent of Morita type. Thus, combining a result with Liu and Xi, we see that two representation-finite algebras $A$ and $B$ over a perfect field are stably equivalent of Morita type if and only if their Auslander algebras are stably equivalent of Morita type. Moreover, since stable equivalence of Morita type preserves $n$-cluster tilting modules, we extend this result to $n$-representation-finite algebras and $n$-Auslander algebras studied by Iyama.

For self-injective algebras, Rickard proved that each derived equivalence induces a stable equivalence of Morita type. For general algebras, it is unknown when a derived equivalence implies a stable equivalence of Morita type. In this paper, we first show that each derived equivalence $F$ between the derived categories of Artin algebras $A$ and $B$ arises naturally a functor $\bar{F}$ between their stable module categories, which can be used to compare certain homological dimensions of $A$ with that of $B$; and then we give a sufficient condition for the functor $\bar{F}$ to be an equivalence. Moreover, if we work with finite-dimensional algebras over a field, then the sufficient condition guarantees the existence of a stable equivalence of Morita type. In this way, we extend the classic result of Rickard. Furthermore, we provide several inductive methods for constructing those derived equivalences that induce stable equivalences of Morita type. It turns out that we may produce a lot of (usually not self-injective) finite-dimensional algebras which are both derived-equivalent and stably equivalent of Morita type, thus they share many common invariants.

In this paper, we introduce almost $\cal D$-split sequences and establish an elementary but somewhat surprising connection between derived equivalences and Auslander-Reiten sequences via BB-tilting modules. In particular, we obtain derived equivalences from Auslander-Reiten sequences (or $n$-almost split sequences), and Auslander-Reiten triangles.

We give an axiomatic framework for studying the representation theory of towers of algebras. We introduce a new class of algebras, contour algebras, generalising (and interpolating between) blob algebras and cyclotomic Temperley-Lieb algebras. We demonstrate the utility of our formalism by applying it to this class., Comment: 16 pages, 9 figures