We determine the length of composition series of projective modules of G-transitive algebras with an Auslander-Reiten component of Euclidean tree class. Furthermore we show that modules with certain length of composition series are periodic. We apply these results to G-transitive blocks of the Universal enveloping of restricted p-Lie algebras and prove that G-transitive principal blocks only allow components with Euclidean tree class if p=2. Finally we deduce conditions for a smash product of a local basic algebra with a commutative semi-simple group algebra to have components with Euclidean tree class, depending on the components of the Auslander-Reiten quiver of the basic algebra. We also develop some properties of the bilinear form dim Hom_A(-,-) for the representation ring G(A) of any finite-dimensional algebra A.
We prove that indecomposable $Σ$-pure-injective modules for a string algebra are string or band modules. The key step in our proof is a splitting result for infinite-dimensional linear relations.
Let $T$ be a Hochschild extension algebra of a finite dimensional algebra $A$ over a field $K$ by the standard duality $A$-bimodule ${\rm Hom}_K(A,\,K)$. In this paper, we determine the ordinary quiver of $T$ if $A$ is a self-injective Nakayama algebra by means of the $\mathbb{N}$-graded second Hochschild homology group $HH_2(A)$ in the sense of Sköldberg.
In this paper, we initiate the study of higher-dimensional Auslander-Reiten theory of self-injective algebras. We give a systematic construction of (weakly) $d$-representation-finite self-injective algebras as orbit algebras of the repetitive categories of algebras of finite global dimension satisfying a certain finiteness condition for the Serre functor. The condition holds, in particular, for all fractionally Calabi-Yau algebras of global dimension at most $d$. This generalizes Riedtmann's classical construction of representation-finite self-injective algebras. Our method is based on an adap…
Let $\mathcal{C}$ be a $k$-linear category with split idempotents, and $Σ:\mathcal{C}\rightarrow\mathcal{C}$ an automorphism. We show that there is an $n$-angulated structure on $(\mathcal{C},Σ)$ under certain conditions. As an application, we obtain a class of examples of $n$-angulated categories from self-injective algebras.
For a finite quiver $Q$ without sinks, we consider the corresponding finite dimensional algebra $A$ with radical square zero. We construct an explicit compact generator for the homotopy category of acyclic complexes of injective $A$-modules. We call such a generator the injective Leavitt complex of $Q$. This terminology is justified by the following result: the differential graded endomorphism algebra of the injective Leavitt complex of $Q$ is quasi-isomorphic to the Leavitt path algebra of $Q$. Here, the Leavitt path algebra is naturally Z-graded and viewed as a differential graded algebra wi…
We give a simple proof, using Auslander-Reiten theory, that the preprojective algebra of a basic hereditary algebra of finite representation type is Frobenius. We then describe its Nakayama automorphism, which is induced by the Nakayama functor on the module category of our hereditary algebra.
Every cluster-tilted algebra $B$ is the relation extension $C\ltimes \text{Ext}^2_C(DC,C)$ of a tilted algebra $C$. A $B$-module is called induced if it is of the form $M\otimes_C B$ for some $C$-module $M$. We study the relation between the injective presentations of a $C$-module and the injective presentations of the induced $B$-module. Our main result is an explicit construction of the modules and morphisms in an injective presentation of any induced $B$-module. In the case where the $C$-module, and hence the $B$-module, is projective, our construction yields an injective resolution. In par…
We use the theory of varieties for modules arising from Hochschild cohomology to give an alternative version of the wildness criterion of Bergh and Solberg: If a finite dimensional self-injective algebra has a module of complexity at least 3 and satisfies some finiteness assumptions on Hochschild cohomology, then the algebra is wild. We show directly how this is related to the analogous theory for Hopf algebras that we developed. We give applications to many different types of algebras: Hecke algebras, reduced universal enveloping algebras, small half-quantum groups, and Nichols (quantum symme…
The purpose of this paper is to study finiteness conditions on injective hulls of simple modules over Noetherian Down-Up algebras. We will show that the Noetherian Down-Up algebras A(α,β,γ) which are fully bounded are precisely those which are module-finite over a central subalgebra. We show that injective hulls of simple A(α,β,γ)-modules are locally Artinian provided the roots of X^2-αX-βare distinct roots of unity or both equal to one.
For a positively graded artin algebra $A=\oplus_{n\geq 0}A_n$ we introduce its Beilinson algebra $\mathrm{b}(A)$. We prove that if $A$ is well-graded self-injective, then the category of graded $A$-modules is equivalent to the category of graded modules over the trivial extension algebra $T(\mathrm{b}(A))$. Consequently, there is a full exact embedding from the bounded derived category of $\mathrm{b}(A)$ into the stable category of graded modules over $A$; it is an equivalence if and only if the 0-th component algebra $A_0$ has finite global dimension.
In this paper we study injective modules over universal enveloping algebras of finite-dimensional Lie algebras over fields of arbitrary characteristic. Most of our results are dealing with fields of prime characteristic but we also elaborate on some of their analogues for solvable Lie algebras over fields of characteristic zero. It turns out that analogous results in both cases are often quite similar and resemble those familiar from commutative ring theory.
We say that an algebra A is periodic if it has a periodic projective resolution as an (A,A)-bimodule. We show that any self-injective algebra of finite representation type is periodic. To prove this, we first apply the theory of smash products to show that for a finite Galois covering B --> A, B is periodic if and only if A is. In addition, when A has finite representation type, we build upon results of Buchweitz to show that periodicity passes between A and its stable Auslander algebra. Finally, we use Asashiba's classification of the derived equivalence classes of self-injective algebras of …
In this paper, we discuss returning arrows with respect to the Nakayama translation appearing in the quivers of some important algebras when we construct extensions. When constructing twisted trivial extensions for a graded self-injective algebra, we show that the returning arrows appear in the quiver, that the complexity increases by 1 in Koszul cases, and the representation dimension also increases by 1 under certain additional conditions. By applying Koszul duality, for each Koszul Artin-Schelter regular algebra of global dimension l and Gelfand-Kirilov dimension $c$, we construct a family …
We determine the structure of all finite-dimensional self-injective algebras over a field whose Auslander-Reiten quiver admits a hereditary stable slice.
A pair $(A, P)$ is called a cover of $\operatorname{End}_A(P)^{op}$ if the Schur functor $\operatorname{Hom}_A(P, -)$ is fully faithful on the full subcategory of projective $A$-modules, for a given projective $A$-module $P$. By definition, Morita algebras are the covers of self-injective algebras and then $P$ is a faithful projective-injective module. Conversely, we show that $A$ is a Morita algebra and $\operatorname{End}_A(P)^{op}$ is self-injective whenever $(A, P)$ is a cover of $\operatorname{End}_A(P)^{op}$ for a faithful projective-injective module $P$.
Let $\mathbf{k}$ be an algebraically closed field of arbitrary characteristic, let $Λ$ be a finite dimensional $\mathbf{k}$-algebra and let $V$ be a $Λ$-module with stable endomorphism ring isomorphic to $\mathbf{k}$. If $Λ$ is self-injective, then $V$ has a universal deformation ring $R(Λ,V)$, which is a complete local commutative Noetherian $\mathbf{k}$-algebra with residue field $\mathbf{k}$. Moreover, if $Λ$ is further a Frobenius $\mathbf{k}$-algebra, then $R(Λ,V)$ is stable under syzygies. We use these facts to determine the universal deformation rings of string $Λ_{m,N}$-modules whose c…
We give a proof, based on the rigidity of tilting complexes, that the class of self-injective finite-dimensional algebras over an algebraically closed field is closed under derived equivalence.
We study the homotopy category $ K(\Inj A)$ of all injective modules over a finite dimensional algebra $A$ with discrete derived category. We give a classification of the indecomposable objects of $ K(\Inj A)$ for any radical square zero self-injective algebra $A$. In particular, every indecomposable object is endofinite.
In this paper, we introduce the notion of $ν$-stable silting-discrete algebras, which unify silting-discrete algebras and tilting-discrete self-injective algebras, where $ν$ is a triangle auto-equivalence of the bounded homotopy category of finitely generated projective modules. Moreover, we give an example of tilting-discrete self-injective algebras which are not silting-discrete.
Derived equivalences between finite dimensional algebras do, in general, not pass to centraliser (or other) subalgebras, nor do they preserve homological invariants of the algebras, such as global or dominant dimension. We show that, however, they do so for large classes of algebras described in this article. Algebras $A$ of $ν$-dominant dimension at least one have unique largest non-trivial self-injective centraliser subalgebras $H_A$. A derived restriction theorem is proved: A derived equivalence between $A$ and $B$ implies a derived equivalence between $H_A$ and $H_B$. Two methods are devel…
Recently, we obtained in [7] a new characterization for an orthogonal system to be a simple-minded system in the stable module category of any representation-finite self-injective algebra. In this paper, we apply this result to give an explicit construction of simple-minded systems over self-injective Nakayama algebras.
We construct derived equivalences between group graded self-injective algebras, starting from equivalences between their 1-components, obtained via a construction of J. Rickard and S. Al-Nofayee.
For a certain finite graph E, we consider the corresponding finite dimensional algebra A with radical square zero. An explicit compact generator for the homotopy category of acyclic complexes of injective (resp. projective) modules over A, called the injective (resp. projective) Leavitt complex of E, was constructed in [18] (resp. [19]). We overview the connection between the injective (resp. projective) Leavitt complex and the Leavitt path algebra of E. A differential graded bimodule structure, which is right quasi-balanced, is endowed to the injective (resp. projective) Leavitt complex in [1…
In this paper, we determine the dimensions of the Hochschild cohomology groups of some self-injective special biserial algebra whose Grothendieck group is of rank $4$. This result provides us with a negative answer to Happel's question in [H].
We classify Morita equivalence classes of indecomposable self-injective cellular algebras which have polynomial growth representation type, assuming that the base field has an odd characteristic. This assumption on the characteristic is for the cellularity to be a Morita invariant property.
Let $A$ be a representation-finite self-injective algebra over an algebraically closed field $k$. We give a new characterization for an orthogonal system in the stable module category $A$-$\stmod$ to be a simple-minded system. As a by-product, we show that every Nakayama-stable orthogonal system in $A$-$\stmod$ extends to a simple-minded system.
We describe Serre functors for (generalisations of) the category O associated with a semi-simple complex Lie algebra. In our approach, projective-injective modules play an important role. They control the Serre functor in the case of a quasi-hereditary algebra having a double centraliser property with respect to a symmetric algebra. As an application of the double centraliser property and our description of Serre functors, we prove three conjectures of Khovanov about the projective-injective modules in the parabolic category O for sl_n.
Let $k$ be an algebraically closed field. It is known that any stable equivalence between standard representation-finite self-injective $k$-algebras (without block of Loewy length 2) lifts to a standard derived equivalence, in particular, it is of Morita type. We show that the same holds for any stable equivalence between nonstandard representation-finite self-injective $k$-algebras. We also fill a gap in the original proof in standard case. This gives a complete solution of the liftability question raised by H. Asashiba about twenty years ago.
In this paper we determine the second Hochschild cohomology group for a class of self-injective algebras of tame representation type namely, those which are standard one-parametric but not weakly symmetric. These were classifed up to derived equivalence by Bocian, Holm and Skowroński. We connect this to the deformation of these algebras.
The rigidity degree of a generator-cogenerator determines the dominant dimension of its endomorphism algebra, and is closely related to a recently introduced homological dimension -- rigidity dimension. In this paper, we give explicit formulae for the rigidity degrees of all indecomposable modules over representation-finite self-injective algebras by developing combinatorial methods from the Euclidean algorithm. As an application, the rigidity dimensions of some algebras of types $A$ and $E$ are given.
In this paper we study the second Hochschild cohomology group ${HH}^2(Λ)$ of a finite dimensional algebra $Λ$. In particular, we determine ${HH}^2(Λ)$ where $Λ$ is a finite dimensional self-injective algebra of finite representation type over an algebraically closed field $K$ and show that this group is zero for most such $Λ$; we give a basis for ${HH}^2(Λ)$ in the few cases where it is not zero.
We show that for any singular dominant integral weight $λ$ of a complex semisimple Lie algebra $\mathfrak{g}$, the endomorphism algebra $B$ of any projective-injective module of the parabolic BGG category $\mathcal{O}_λ^{\mathfrak{p}}$ is a symmetric algebra (as conjectured by Khovanov) extending the results of Mazorchuk and Stroppel for the regular dominant integral weight. Moreover, the endomorphism algebra $B$ is equipped with a homogeneous (non-degenerate) symmetrizing form. In the appendix, there is a short proof due to K. Coulembier and V. Mazorchuk showing that the endomorphism algebra …
We calculate the dimensions of the Hochschild cohomology groups of a self-injective special biserial algebra $Λ_{s}$ obtained by a circular quiver with double arrows. Moreover, we give a presentation of the Hochschild cohomology ring modulo nilpotence of $Λ_{s}$ by generators and relations. This result shows that the Hochschild cohomology ring modulo nilpotence of $Λ_{s}$ is finitely generated as an algebra.
We study the relation between simple-minded systems and two-term tilting complexes for self-injective Nakayama algebras. More precisely, we show that any simple-minded system of a self-injective Nakayama algebra is the image of the set of simple modules under a stable equivalence, which is given by the restriction of a standard derived equivalence induced by a two-term tilting complex. We achieve this by exploiting and connecting the mutation theories from the combinatorics of Brauer tree, configurations of stable translations quivers of type A, and triangulations of a punctured convex regular…
We conjecture that the injective dimension of the Jacobson radical equals the global dimension for Artin algebras. We provide a proof of this conjecture in case the Artin algebra has finite global dimension and in some other cases.
The injective polynomial modules for a general linear group $G$ of degree $n$ are labelled by the partitions with at most $n$ parts. Working over an algebraically closed field of characteristic $p$, we consider the question of which partitions correspond to polynomially injective modules that are also injective as modules for the restricted enveloping algebra of the Lie algebra of $G$. The question is related to the "index of divisibility" of a polynomial module in general, and an explicit answer is given for $n=2$.
We consider the socle deformations arising from formal deformations of a class of Koszul self-injective special biserial algebras which occur in the study of the Drinfeld double of the generalized Taft algebras. We show, for these deformations, that the Hochschild cohomology ring modulo nilpotence is a finitely generated commutative algebra of Krull dimension 2.
Let $R$ be a ring and $\mathcal{Q}$ be a finite and acyclic quiver. We present an explicit formula for the injective envelopes and projective precovers in the category $\rm{Rep} (\mathcal{Q} ,R)$ of representations of $\mathcal{Q}$ by left $R$-modules. We also extend our formula to all terms of the minimal injective resolution of $R\mathcal{Q}$. Using such descriptions, we study the Auslander-Gorenstein property of path algebras. In particular, we prove that the path algebra $R\mathcal{Q}$ is $k$-Gorenstein if and only if $\mathcal{Q}=\overrightarrow{A_{n}}$ and $R$ is a $k$-Gorenstein ring, w…
Motivated by the relation between Schur algebra and the group algebra of a symmetric group, along with other similar examples in algebraic Lie theory, Min Fang and Steffen Koenig addressed some behaviour of the endomorphism algebra of a generator over a symmetric algebra, which they called gendo-symmetric algebra. Continuing this line of works, we classify in this article the representation-finite gendo-symmetric algebras that have at most one isomorphism class of indecomposable non-injective projective module. We also determine their almost ν-stable derived equivalence classes in the sense of…
Simple-minded systems of objects in a stable module category are defined by common properties with the set of simple modules, whose images under stable equivalences do form simple-minded systems. Over a representation-finite self-injective algebra, it is shown that all simple-minded systems are images of simple modules under stable equivalences of Morita type, and that all simple-minded systems can be lifted to Nakayama-stable simple-minded collections in the derived category. In particular, all simple-minded systems can be obtained algorithmically using mutations.
We study a finite-dimensional algebra $Λ$ constructed from a Postnikov diagram $D$ in a disk, obtained from the dimer algebra of Baur-King-Marsh by factoring out the ideal generated by the boundary idempotent. Thus $Λ$ is isomorphic to the stable endomorphism algebra of the cluster tilting module $T\in\underline{\operatorname{CM}}(B)$ introduced by Jensen-King-Su in order to categorify the cluster algebra structure of $\mathbb C[\operatorname{Gr}_k(\mathbb C^n)]$. We show that $Λ$ is self-injective if and only if $D$ has a certain rotational symmetry. In this case, $Λ$ is the Jacobian algebra …
We give an equivalent definition of the stable Calabi--Yau dimension in terms of bimodule syzygies and so-called stably inner automorphisms. Using it, we complete the computation of the stable Calabi--Yau dimensions of the self-injective algebras of finite representation type which was started by K. Erdmann, A. Skowroński, J. Bia\lkowski and A. Dugas.
For an acyclic quiver $Q$ and a finite-dimensional algebra $A$, we give a unified form of the indecomposable injective objects in the monomorphism category ${\rm Mon}(Q,A)$ and prove that ${\rm Mon}(Q, A)$ has enough injective objects. As applications, we show that for a given self-injective algebra $A$, a tilting object in the stable category $\underline{A}$-mod induces a natural tilting object in the stable monomorphism category $\underline{\rm Mon}(Q,A)$. We also realize the singularity category of the algebra $kQ\otimes_k A$ as the stable monomorphism category of the module category of $A$…
Let $A$ be a finite-dimensional self-injective algebra over an algebraically closed field, $\mathcal{C}$ a stably quasi-serial component (i.e. its stable part is a tube) of rank $n$ of the Auslander-Reiten quiver of $A$, and $\mathcal{S}$ be a simple-minded system of the stable module category $\stmod{A}$. We show that the intersection $\mathcal{S}\cap\mathcal{C}$ is of size strictly less than $n$, and consists only of modules with quasi-length strictly less than $n$. In particular, all modules in the homogeneous tubes of the Auslander-Reiten quiver of $A$ cannot be in any simple-minded system…
We consider the homotopy category of complexes of projective modules over any gentle algebra. We prove that indecomposable $Σ$-pure-injective objects in s must be shifts of string or band complexes. We begin with a survey of purity in compactly generated triangulated categories, recalling some characterisations of $Σ$-pure-injective objects that mimic classical results from the model theory of modules. We then specify to the aforementioned homotopy category, and describe the compact objects in this case. Our proof uses a recent adaptation of a classification technique known as the functorial f…
The dominant dimension of algebras in the class A of 1-quasi-hereditary algebras is at least two. By the Morita-Tachikawa Theorem this implies that A is related to a certain class B of algebras via bimodules satisfying the double centralizer condition. In this paper we specify the class B and the modules over algebras in B connected with A. The class A is not closed under taking the Ringel-dual. However the dominant dimension of the Ringel-dual R(q) of a 1-quasi-hereditary algebra q is at least two. This fact induces a corresponding concept of modules over algebras in B which yield the algebra…
Let A be a finite-dimensional algebra. If A is self-injective, then all modules are reflexive. Marczinzik recently has asked whether A has to be self-injective in case all the simple modules are reflexive. Here, we exhibit an 8-dimensional algebra which is not self-injective, but such that all simple modules are reflexive (actually, for this example, the simple modules are the only non-projective indecomposable modules which are reflexive). In addition, we present some properties of simple reflexive modules in general. Marczinzik had motivated his question by providing large classes of algebra…
Let $Λ$ be a graded self-injective algebra. We describe its smash product $Λ# k\mathbb Z^*$ with the group $\mathbb Z$, its Beilinson algebra and their relationship. Starting with $Λ$, we construct algebras with finite global dimension, called $τ$-slice algebras, we show that their trivial extensions are all isomorphic, and their repetitive algebras are the same $Λ# k\mathbb Z^*$. There exist $τ$-mutations similar to the BGP reflections for the $τ$-slice algebras. We also recover Iyama's absolute $n$-complete algebra as truncation of the Koszul dual of certain self-injective algebra.
We study the category of graded finite-dimensional representations of the polynomial current algebra associated to a simple Lie algebra. We prove that the category has enough injectives and compute the graded character of the injective envelopes of the simple objects as well as extensions between simple objects. The simple objects in the category are parametized by the affine weight lattice. We show that with respect to a suitable refinement of the standard ordering on affine the weight lattice the category is highest weight. We compute the Ext quiver of the algebra of endomorphisms of the inj…
