Auslander-Reiten correspondence for tilting pairs

Let A be an Artin algebra. A pair (C,T) of A-modules is tilting provided that C and T are (finitely generated) self-orthogonal, and . Particularly, T is a tilting module if and only if (A,T) is a tilting pair. In the note, we will extend the Auslander-Reiten correspondence for tilting modules to the context of tilting pairs.     

Isomorphic trivial extensions of finite dimensional algebras

Let Λ be a finite dimensional algebra over an algebraically closed field such that any oriented cycle in the ordinary quiver of Λ is zero in Λ. Let T(Λ)=Λ?D(Λ) be the trivial extension of Λ by its minimal injective cogenerator D(Λ). We characterize, in terms of quivers and relations, the algebras Λ^′ such that T(Λ)?T(Λ^′).     

Representation dimension and tilting

Let Λ be a finite dimensional k-algebra over an algebraically closed field k and let _ΛT be a splitting tilting module of projective dimension at most 1. Let Γ=End_ΛT. If the representation dimension of Λ is at most 3 then the main result asserts that the representation dimension of Γ does not exceed that of Λ.     

Stacks of Algebras and Their Homology

For any increasing function which takes only finitely many distinct values, a connected finite dimensional algebra is constructed, with the property that for all ; here is the -generated finitistic dimension of . The stacking technique developed for this construction of homological examples permits strong control over the higher syzygies of -modules in terms of the algebras serving as layers. The first author was supported in part by a fellowship stipend from the National Physical Science Consortium and the National Security Agency. The second author was partially supported by a grant from the National Science Foundation.     

Tensor products of n-complete algebras

If A and B are n- and m-representation finite k-algebras, then their tensor product $\mathrm{\Lambda }=A{?}_{k}B$ is not in general $(n+m)$-representation finite. However, we prove that if A and B are acyclic and satisfy the weaker assumption of n- and m-completeness, then Λ is $(n+m)$-complete. This mirrors the fact that taking higher Auslander algebra does not preserve d-representation finiteness in general, but it does preserve d-completeness. As a corollary, we get the necessary condition for Λ to be $(n+m)$-representation finite which was found by Herschend and Iyama by using a certain twisted fractionally Calabi–Yau property.     

Baer and Baer *-ring characterizations of Leavitt path algebras

We characterize Leavitt path algebras which are Rickart, Baer, and Baer ?-rings in terms of the properties of the underlying graph. In order to treat non-unital Leavitt path algebras as well, we generalize these annihilator-related properties to locally unital rings and provide a more general characterizations of Leavitt path algebras which are locally Rickart, locally Baer, and locally Baer ?-rings. Leavitt path algebras are also graded rings and we formulate the graded versions of these annihilator-related properties and characterize Leavitt path algebras having those properties as well.Our characterizations provide a quick way to generate a wide variety of examples of rings. For example, creating a Baer and not a Baer ?-ring, a Rickart ?-ring which is not Baer, or a Baer and not a Rickart ?-ring, is straightforward using the graph-theoretic properties from our results. In addition, our characterizations showcase more properties which distinguish behavior of Leavitt path algebras from their $C^{?}$-algebra counterparts. For example, while a graph $C^{?}$-algebra is Baer (and a Baer ?-ring) if and only if the underlying graph is finite and acyclic, a Leavitt path algebra is Baer if and only if the graph is finite and no cycle has an exit, and it is a Baer ?-ring if and only if the graph is a finite disjoint union of graphs which are finite and acyclic or loops.     

Modules Determined by Their Tops and First Syzygies

The purpose of this note is to give an elementary proof of the fact discovered by Bautista and Perez that for an Artin algebra a module without selfextension is determined by its top and its first syzygy.     

Hyperbolicity of algebras with involution over a given extension

Let F be a field and (A,σ) a central simple F-algebra with involution. Let π(t) be a separable polynomial over F. Let F(π)=F[t]/(π(t)). Tignol considered the question whether the algebra A⊗F(π) is hyperbolic. He introduced the algebra H_π, which is universal for this question. Haile and Tignol determined the structure of the algebra H_π and introduced a certain homomorphic image C_π of H_π. In this paper, we give a new characterization of C_π and introduce a new algebra A_π that classifies the commutative algebras with involution that become hyperbolic over F(π). We determine the structure of A_π and use it to examine some examples.     

Jordan recoverability of some subcategories of modules over gentle algebras

Gentle algebras form a class of finite-dimensional algebras introduced by I. Assem and A. Skowroński in the 1980s. Modules over such an algebra can be described by string and band combinatorics in the associated gentle quiver from the work of M.C.R. Butler and C.M. Ringel. Any module can be naturally associated to a quiver representation. A nilpotent endomorphism of a quiver representation induces linear transformations over vector spaces at each vertex. Generically among all nilpotent endomorphisms, a well-defined Jordan form exists for these representations. We focus on subcategories additively generated by all the indecomposable representations of a gentle quiver, including a fixed vertex in their support. We show a characterization of the vertices such that the objects of this subcategory are determined up to isomorphism by their generic Jordan form.     

Ringel duality and Auslander–Dlab–Ringel algebras

We introduce a new class of quasi-hereditary algebras, containing in particular the Auslander–Dlab–Ringel (ADR) algebras. We show that this new class of algebras is preserved under Ringel duality, which determines in particular explicitly the Ringel dual of any ADR algebra. As a special case of our theory, it follows that, under very restrictive conditions, an ADR algebra is Ringel dual to another one. The latter provides an alternative proof for a recent result of Conde and Erdmann, and places it in a more general setting.     

Self-injective algebras with an indecomposable standardly stratifying complement

For a basic self-injective algebra A which has an indecomposable standardly stratifying complement M, we determine its quiver and some relations, and a kind of coarse structure.     

On the finitistic dimension conjecture II: Related to finite global dimension

In this paper, we study the finitistic dimensions of artin algebras by establishing a relationship between the global dimensions of the given algebras, on the one hand, and the finitistic dimensions of their subalgebras, on the other hand. This is a continuation of the project in [J. Pure Appl. Algebra 193 (2004) 287-305]. For an artin algebra A we denote by gl.dim(A), fin.dim(A) and rep.dim(A) the global dimension, finitistic dimension and representation dimension of A, respectively. The Jacobson radical of A is denoted by rad(A). The main results in the paper are as follows: Let B be a subalgebra of an artin algebra A such that rad(B) is a left ideal in A. Then (1) if gl.dim(A)?4 and rad(A)=rad(B)A, then fin.dim(B)<∞. (2) If rep.dim(A)?3, then fin.dim(B)<∞. The results are applied to pullbacks of algebras over semi-simple algebras. Moreover, we have also the following dual statement: (3) Let ?:B?A be a surjective homomorphism between two algebras B and A. Suppose that the kernel of ? is contained in the socle of the right B-module B_B. If gl.dim(A)?4, or rep.dim(A)?3, then fin.dim(B)<∞. Finally, we provide a class of algebras with representation dimension at most three: (4) If A is stably hereditary and rad(B) is an ideal in A, then rep.dim(B)?3.     

Finitely generated invariants of Hopf algebras on free associative algebras

We show that the invariants of a free associative algebra of finite rank under a linear action of a finite-dimensional Hopf algebra generated by group-like and skew-primitive elements form a finitely generated algebra exactly when the action is scalar. This generalizes an analogous result for group actions by automorphisms obtained by Dicks and Formanek, and Kharchenko.     

Minimal varieties of algebras of exponential growth

The exponent of a variety of algebras over a field of characteristic zero has been recently proved to be an integer. Through this scale we can now classify all minimal varieties of given exponent and of finite basic rank. As a consequence, we describe the corresponding T-ideals of the free algebra and we compute the asymptotics of the related codimension sequences, verifying in this setting some known conjectures. We also show that the number of these minimal varieties is finite for any given exponent. We finally point out some relations between the exponent of a variety and the Gelfand-Kirillov dimension of the corresponding relatively free algebras of finite rank.     

Wild algebras have one-point extensions of representation dimension at least four

We show that any wild algebra has a one-point extension of representation dimension at least four, and more generally that it has an n-point extension of representation dimension at least n+3. We give two explicit constructions, and obtain new examples of small algebras of representation dimension four.     

On bimeasurings

We introduce and study bimeasurings from pairs of bialgebras to algebras. It is shown that the universal bimeasuring bialgebra construction, which arises from Sweedler's universal measuring coalgebra construction and generalizes the finite dual, gives rise to a contravariant functor on the category of bialgebras adjoint to itself. An interpretation of bimeasurings as algebras in the category of Hopf modules is considered.     

Wild automorphisms of free metabelian algebras

We establish a necessary condition for the invertibility of an endomorphism of a free associative algebra. As an application, we offer examples of wild automorphisms of certain free metabelian algebras.     

Attached primes over noncommutative rings

Attached primes and secondary representations were introduced in 1973 by Macdonald [I.G. Macdonald, Secondary representation of modules over a commutative ring, Sympos. Math. 11 (1973) 23-43] to develop a dual theory to the associated primes and primary decomposition in commutative algebra. This article generalizes Macdonald’s theory to the noncommutative setting.