Representation Dimension and Quasi-hereditary Algebras

We study Auslander's representation dimension of Artin algebras, which is by definition the minimal projective dimension of coherent functors on modules which are both generators and cogenerators. We show the following statements: (1) if an Artin algebra A is stably hereditary, then the representation dimension of A is at most 3. (2) If two Artin algebras are stably equivalent of Morita type, then they have the same representation dimension. Particularly, if two self-injective algebras are derived equivalent, then they have the same representation dimension. (3) Any incidence algebra of a finite partially ordered set over a field has finite representation dimension. Moreover, we use results on quasi-hereditary algebras to show that (4) the Auslander algebra of a Nakayama algebra has finite representation dimension.     

Derived dynkin extensions

The finite dimensional tame hereditary algebras are associated with the extended Dynkin diagrams. An indecomposable module over such an algebra is either preprojective or preinjective or lies in a family of tubes whose tubular type is the corresponding Dynkin diagram. The study of one-point extensions by simple regular modules in such tubes was initiated in [Ri].

We generalise this approach by starting out with algebras which are derived equivalent to a tame hereditary algebra and considering one-point extensions by modules which are simple regular in tubes in the derived category. If the obtained tubular type is again a Dynkin diagram these algebras are called derived Dynkin extensions.

Our main theorem says that a representation infinite algebra is derived equivalent to a tame hereditary algebra iff it is an iterated derived Dynkin extension of a tame concealed algebra. As application we get a new proof of a theorem in [AS] about domestic tubular branch enlargements which uses the derived category instead of combinatorial arguments.     

The representation dimension of domestic weakly symmetric algebras

Auslander’s representation dimension measures how far a finite dimensional algebra is away from being of finite representation type. In [1], M. Auslander proved that a finite dimensional algebra A is of finite representation type if and only if the representation dimension of A is at most 2. Recently, R. Rouquier proved that there are finite dimensional algebras of an arbitrarily large finite representation dimension. One of the exciting open problems is to show that all finite dimensional algebras of tame representation type have representation dimension at most 3. We prove that this is true for all domestic weakly symmetric algebras over algebraically closed fields having simply connected Galois coverings.     

Affine cellular algebras

Graham and Lehrer have defined cellular algebras and developed a theory that allows in particular to classify simple representations of finite dimensional cellular algebras. Many classes of finite dimensional algebras, including various Hecke algebras and diagram algebras, have been shown to be cellular, and the theory due to Graham and Lehrer successfully has been applied to these algebras.We will extend the framework of cellular algebras to algebras that need not be finite dimensional over a field. Affine Hecke algebras of type A and infinite dimensional diagram algebras like the affine Temperley–Lieb algebras are shown to be examples of our definition. The isomorphism classes of simple representations of affine cellular algebras are shown to be parameterised by the complement of finitely many subvarieties in a finite disjoint union of affine varieties. In this way, representation theory of non-commutative algebras is linked with commutative algebra. Moreover, conditions on the cell chain are identified that force the algebra to have finite global cohomological dimension and its derived category to admit a stratification; these conditions are shown to be satisfied for the affine Hecke algebra of type A if the quantum parameter is not a root of the Poincaré polynomial.     

Hochschild (co)homology of Yoneda algebras of reconstruction algebras of type A 1

The reconstruction algebra is a generalization of the preprojective algebra, and plays important roles in algebraic geometry and commutative algebra. We consider the homological property of this class of algebras by calculating the Hochschild homology and Hochschild cohomology. Let Λ _t be the Yoneda algebra of a reconstruction algebra of type A ₁ over a field k. In this paper, a minimal projective bimodule resolution of Λ _t is constructed, and the k-dimensions of all Hochschild homology and cohomology groups of Λ _t are calculated explicitly.     

Derived representation type and Gorenstein projective modules of an algebra under crossed product

Let H and its dual H* be finite dimensional semisimple Hopf algebras. In this paper, we firstly prove that the derived representation types of an algebra A and the crossed product algebra A#σH are coincident. This is an improvement of the conclusion about representation type of an algebra in Li and Zhang [Sci China Ser A, 2006, 50: 1-13]. Secondly, we give the relationship between Gorenstein projective modules over A and that over A#σH. Then, using this result, it is proven that A is a finite dimensional CM-finite Gorenstein algebra if and only if so is A#σH.     

Weighted sums of squares in local rings and their completions, I

Let A be an excellent local ring of real dimension ≤2, let T be a finitely generated preordering in A, and let ${\widehat{T}}We develop a structure theory for two classes of infinite dimensional modules over tame hereditary algebras: the Baer modules, and the Mittag-Leffler ones. A right R-module M is called Baer if ${{\rm Ext}^{1}_{R}\,(M, T)\,=\,0}We develop a structure theory for two classes of infinite dimensional modules over tame hereditary algebras: the Baer modules, and the Mittag-Leffler ones. A right R-module M is called Baer if Ext¹_R (M, T) = 0{{\rm Ext}^{1}_{R}\,(M, T)\,=\,0} for all torsion modules T, and M is Mittag-Leffler in case the canonical map M?_R ?_{i ? I}Q_i? ?_{i ? I}(M?_RQ_i){M\otimes_R \prod _{i\in I}Q_i\to \prod _{i\in I}(M\otimes_RQ_i)} is injective where {Q_i}_{i ? I}{\{Q_i\}_{i\in I}} are arbitrary left R-modules. We show that a module M is Baer iff M is p-filtered where p is the preprojective component of the tame hereditary algebra R. We apply this to prove that the universal localization of a Baer module is projective in case we localize with respect to a complete tube. Using infinite dimensional tilting theory we then obtain a structure result showing that Baer modules are more complex then the (infinite dimensional) preprojective modules. In the final section, we give a complete classification of the Mittag-Leffler modules.     

Periodic resolutions and self-injective algebras of finite type

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 finite type to compute bounds for the periods of these algebras, and give an application to stable Calabi-Yau dimensions.     

Preprojective Cluster Variables of Acyclic Cluster Algebras

It is proved that any cluster-tilted algebra defined in the cluster category 𝒞(H) has the same representation type as the initial hereditary algebra H. For any valued quiver (Γ, Ω), an injection from the subset 𝒫?(Ω) of the cluster category 𝒞(Ω) consisting of indecomposable preprojective objects, preinjective objects, and the first shifts of indecomposable projective modules to the set of cluster variables of the corresponding cluster algebra 𝒜_Ω is given. The images are called “preprojective cluster variables”. It is proved that all preprojective cluster variables other than u_i have denominators u ^dim M in their irreducible fractions of integral polynomials, where M is the corresponding preprojective module or preinjective module. In case the valued quiver (Γ, Ω) is of finite type, the denominator theorem holds with respect to any cluster. Namely, let x = (x₁,…, x_n) be a cluster of the cluster algebra 𝒜_Ω, and V the cluster tilting object in 𝒞(Ω) corresponding to x, whose endomorphism algebra is denoted by Λ. Then the denominator of any cluster variable y other than x_i is x ^dim M, where M is the indecomposable Λ-module corresponding to y. This result is a generalization of the corresponding result of Caldero–Chapoton–Schiffler to the non-simply-laced case.     

Representation Theory of some Infinite-dimensional Algebras Arising in Continuously Controlled Algebra and Topology

In this paper we determine the representation type of some algebras of infinite matrices continuously controlled at infinity by a compact metrizable space. We explicitly classify their finitely presented modules in the finite and tame cases. The algebra of row-column-finite (or locally finite) matrices over an arbitrary field is one of the algebras considered in this paper, its representation type is shown to be finite.Received October 2003     

Large tilting modules and representation type

We study finiteness conditions on large tilting modules over arbitrary rings. We then turn to a hereditary artin algebra R and apply our results to the (infinite dimensional) tilting module L that generates all modules without preprojective direct summands. We show that the behaviour of L over its endomorphism ring determines the representation type of R. A similar result holds true for the (infinite dimensional) tilting module W that generates the divisible modules. Finally, we extend to the wild case some results on Baer modules and torsion-free modules proven in Angeleri Hügel, L., Herbera, D., Trlifaj, J.: Baer and Mittag-Leffler modules over tame hereditary algebras. Math. Z. 265, 1–19 (2010) for tame hereditary algebras.     

The structure of AS-Gorenstein algebras

In this paper, we define a notion of AS-Gorenstein algebra for N-graded algebras, and show that symmetric AS-regular algebras of Gorenstein parameter 1 are exactly preprojective algebras of quasi-Fano algebras. This result can be compared with the fact that symmetric graded Frobenius algebras of Gorenstein parameter −1 are exactly trivial extensions of finite-dimensional algebras. The results of this paper suggest that there is a strong interaction between classification problems in noncommutative algebraic geometry and those in representation theory of finite-dimensional algebras.     

Applications of BGP-reflection functors: isomorphisms of cluster algebras

Given a symmetrizable generalized Cartan matrix A, for any index k, one can define an automorphism associated with A, of the field Q(u1,…, un) of rational functions of n independent indeterminates u1,…,un.It is an isomorphism between two cluster algebras associated to the matrix A (see sec. 4 for the precise meaning). When A is of finite type, these isomorphisms behave nicely; they are compatible with the BGP-reflection functors of cluster categories defined in a previous work if we identify the indecomposable objects in the categories with cluster variables of the corresponding cluster algebras, and they are also compatible with the "truncated simple reflections" defined by Fomin-Zelevinsky. Using the construction of preprojective or preinjective modules of hereditary algebras by DIab-Ringel and the Coxeter automorphisms (i.e. a product of these isomorphisms), we construct infinitely many cluster variables for cluster algebras of infinite type and all cluster variables for finite types.     

AlgebraicK-theory of von Neumann algebras

To every von Neumann algebra, one can associate a (multiplicative) determinant defined on the invertible elements of the algebra with range a subgroup of the Abelian group of the invertible elements of the center of the von Neumann algebra. This determinant is a normalization of the usual determinant for finite von Neumann algebras of type I, for the type II₁-case it is the Fuglede-Kadison determinant, and for properly infinite von Neumann algebras the determinant is constant equal to 1. It is proved that every invertible element of determinant 1 is a product of a finite number of commutators. This extends a result of T. Fack and P. de la Harpe for II₁-factors. As a corollary, it follows that the determinant induces an injection from the algebraicK ₁-group of the von Neumann algebra into the Abelian group of the invertible elements of the center. Its image is described. Another group,K ₁ ^w (A), which is generated by elements in matrix algebras overA that induce injective right multiplication maps, is also computed. We use the Fuglede-Kadison determinant to detect elements in the Whitehead group Wh(G).Partially supported by NSF Grant DMS-9103327.     

On solvability of systems of polynomial equations

We study the computational complexity of the solvability problem of systems of polynomial equations over finite algebras. We prove a new dichotomy theorem that extends most of the dichotomy results which have been obtained over different families of finite algebras so far. As a corollary, for example, we get that if \mathbbA{\mathbb{A}} is a finite algebra of finite signature and omits the Hobby-McKenzie type 1, then the problem is solvable in polynomial time whenever \mathbbA{\mathbb{A}} is a reduct of a generalized affine algebra, and NP-complete otherwise.     

On Finite Quantum Groups at −1

This is a contribution to the classification of finite-dimensional pointed Hopf algebras. We are concerned with the case when the group of group-like elements is Abelian of exponent 2. We attach to such a pointed Hopf algebra a generalized simply-laced Cartan matrix; we conjecture that the Hopf algebra is finite-dimensional if and only if the Cartan matrix is of finite type. We prove the conjecture for the types A_n and A_n⁽¹⁾. We obtain the classification of all possible Hopf algebras with Cartan matrix A_n. We use the lifting method developed by Hans-Jürgen Schneider and the first-named author. Presented by S. MontgomeryMathematics Subject Classifications (2000) Primary: 17B37; secondary: 16W30.This work was partially supported by CONICET, Agencia Córdoba Ciencia – CONICOR, FOMEC and Secyt (UNC).     

TAME TWO-POINT ALGEBRAS WITHOUT LOOPS

We determine the representation type of the algebras whose quiver has precisely two vertices and admits no loops by listing all minimal wild algebras of this form. It turns out that such an algebra A is tame if and only if A/rad³ A is tame, and in this case A degenerates to a special biserial algebra. Moreover, A is wild if and only if it is controlled wild.     

Universal quantum semigroupoids

We introduce the concept of a universal quantum linear semigroupoid (UQSGd), which is a weak bialgebra that coacts on a (not necessarily connected) graded algebra A universally while preserving grading. We restrict our attention to algebraic structures with a commutative base so that the UQSGds under investigation are face algebras (due to Hayashi). The UQSGd construction generalizes the universal quantum linear semigroups introduced by Manin in 1988, which are bialgebras that coact on a connected graded algebra universally while preserving grading. Our main result is that when A is the path algebra $\mathbb{k}Q$ of a finite quiver Q, each of the various UQSGds introduced here is isomorphic to the face algebra attached to Q. The UQSGds of preprojective algebras and of other algebras attached to quivers are also investigated.     

Representation type of Jordan algebras

The problem of classification of Jordan bimodules over (non-semisimple) finite dimensional Jordan algebras with respect to their representation type is considered. The notions of diagram of a Jordan algebra and of Jordan tensor algebra of a bimodule are introduced and a mapping Qui is constructed which associates to the diagram of a Jordan algebra J the quiver of its universal associative enveloping algebra S(J). The main results are concerned with Jordan algebras of semi-matrix type, that is, algebras whose semi-simple component is a direct sum of Jordan matrix algebras. In this case, criterion of finiteness and tameness for one-sided representations are obtained, in terms of diagram and mapping Qui, for Jordan tensor algebras and for algebras with radical square equals to 0.