We show that all finite dimensional, tame hereditary $k$-algebras are of amenable representation type (in the sense of G. Elek) for all fields $k$. The proof is adapted from our previous result for tame path algebras. Further, it is proven that this results extends to some tilted algebras, in particular tame concealed algebras are amenable.
The "No Gap Conjecture" of Brüstle-Dupont-Pérotin states that the set of lengths of maximal green sequences for hereditary algebras over an algebraically closed field has no gaps. This follows from a stronger conjecture that any two maximal green sequences can be "polygonally deformed" into each other. We prove this stronger conjecture for all tame hereditary algebras over any field.
In this paper we state and prove the statement that tame hereditary algebras have finitely many m-maximal green sequences using a generalized version of Brüstle-Dupont-Pérotin's argument that tame quivers have finitely many maximal green sequences. Then we extend this theorem to mutation sequences which are partially red.
Let $A$ be a tame hereditary algebra over a finite field $k$ with $q$ elements, and ${\bar{A}}$ be the duplicated algebra of $A$. In this paper, we investigate the structure of Ringel-Hall algebra $\mathscr{H} (\bar{A})$ and of the corresponding composition algebra $\mathscr{C} (\bar{A})$. As an application, we prove the existence of Hall polynomials $g_{XY}^M$ for any $\bar{A}$-modules $M, X$ and $Y$ with $X$ and $Y$ indecomposable if $A$ is a tame quiver $k$-algebra, then we also obtain some Lie subalgebras induced by $\bar{A}$.
We develop a structure theory for two classes of infinite dimensional modules over tame hereditary algebras: the Baer modules, and the Mittag-Leffler ones.
We give a complete classification of the infinite dimensional tilting modules over a tame hereditary algebra R. We start our investigations by considering tilting modules of the form T=R_U\oplus R_U /R where U is a union of tubes, and R_U denotes the universal localization of R at U in the sense of Schofield and Crawley-Boevey. Here R_U/R is a direct sum of the Prüfer modules corresponding to the tubes in U. Over the Kronecker algebra, large tilting modules are of this form in all but one case, the exception being the Lukas tilting module L whose tilting class Gen L consists of all modules wit…
In this note we are concerned with the notion of amenable representation type as defined in a recent paper by Gábor Elek. Roughly speaking, an algebra is of amenable type if for all $\varepsilon > 0$, every finite-dimensional module has a submodule which is a direct sum of modules which are small with respect to $\varepsilon$ such that the quotient is also small in that respect. We will show that the tame hereditary path algebras of quivers of extended Dynkin type over any field $k$ are of amenable type, thus extending a conjecture in the aforementioned paper to another class of tame algebras.…
We show that a finite connected quiver Q with no oriented cycles is tame if and only if for each dimension vector $\mathbf{d}$ and each integral weight $θ$ of Q, the moduli space $\mathcal{M}(Q,\mathbf{d})^{ss}_θ$ of $θ$-semi-stable $\mathbf{d}$-dimensional representations of Q is just a projective space. In order to prove this, we show that the tame quivers are precisely those whose weight spaces of semi-invariants satisfy a certain log-concavity property. Furthermore, we characterize the tame quivers as being those quivers Q with the property that for each Schur root $\mathbf{d}$ of Q, the f…
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èle ring ${\mathbb A}_{\mathcal{U…
This paper deals with stratifying systems over hereditary algebras. In the case of tame hereditary algebras we obtain a bound for the size of the stratifying systems composed only by regular modules and we conclude that stratifying systems can not be complete. For wild hereditary algebras with more than 2 vertices we show that there exists a complete stratifying system whose elements are regular modules. In the other case, we conclude that there are no stratifing system over them with regular modules. In one example we built all the stratifying systems, with a specific form, having maximal num…
This paper surveys bocses, quasi-hereditary algebras and their relationship which was established in a recent result by Koenig, Ovsienko, and the author. Particular emphasis is placed on applications of this result to the representation type of the category filtered by standard modules for a quasi-hereditary algebra. In this direction, joint work with Thiel is presented showing that the subcategory of modules filtered by Weyl modules for tame Schur algebras is of finite representation type. The paper also includes a new proof for the classification of quasi-hereditary algebras with two simple …
Let k be an algebraically closed field. Given an extension A : B of finite-dimensional k- algebras, we establish criteria ensuring that the representation-theoretic notion of polynomial growth is preserved under ascent and descent. These results are then used to show that principal blocks of finite group schemes of odd characteristic are of polynomial growth if and only if they are Morita equivalent to trivial extensions of radical square zero tame hereditary algebras. In that case, the blocks are of domestic representation type and the underlying group schemes are closely related to binary po…
Let k be a field, let A a finite-dimensional hereditary k-algebra. We consider the category of all finite-dimensional A-modules. We are going to characterize the representation type of A (tame or wild) in terms of the possible subcategories of all M-static modules, where M is an indecomposable A-module.
We show that if H is a hereditary finite dimensional algebra, M is a finitely generated H-module and B is a semisimple subalgebra of the endomorphism algebra of M, then the representation dimension of the corresponding triangular matrix algebra is less or equal to 3 whenever one of the following conditions hold: i) H is of finite representation type; ii) H is tame and M is a direct sum of regular and preprojective modules; iii) M has no self-extensions
The cluster morphism category of an hereditary algebra was introduced in [5] to show that the picture space of an hereditary algebra of finite representation type is a $K(π,1)$ for the associated picture group, thereby allowing for the computation of the homology of picture groups of finite type as carried out in [7] for the case of $A_n$. In this paper we show that the cluster morphism category is a $CAT(0)$-category for hereditary algebras of finite or tame type with only small tubes. As a consequence, we get that the classifying space of the cluster morphism category is a locally $CAT(0)$ s…
We give an example of a cluster-tilted algebra A with quiver Q, such that the associated cluster algebra has a denominator vector which is not the dimension vector of any indecomposable A-module. This answers a question posed by T. Nakanishi. The relevant example is a cluster-tilted algebra associated with a tame hereditary algebra. We show that for such a cluster-tilted algebra A, we can write any denominator vector as a sum of the dimension vectors of at most three indecomposable rigid A-modules. In order to do this it is necessary, and of independent interest, to first classify the indecomp…
From the viewpoint of higher dimensional Auslander-Reiten theory, we introduce a new class of finite dimensional algebras of global dimension n, which we call n-representation infinite. They are a certain analog of representation infinite hereditary algebras, and we study three important classes of modules: n-preprojective, n-preinjective and n-regular modules. We observe that their homological behaviour is quite interesting. For instance they provide first examples of algebras having infinite Ext^1-orthogonal families of modules. Moreover we give general constructions of n-representation infi…
Let $Λ$ be an Artin algebra. A GR segment of $Λ$ is a sequence of GR measures which is closed under direct successors and direct predecessors. The number of the GR segments was conjectured to relate to the representation type of $Λ$. In this paper, let $k$ be an algebraically closed field and $Λ$ be a finite-dimensional hereditary $k$-algebra. We show that $Λ$ admits infinitely many GR segments if and only if $Λ$ is of wild representation type. Thus the finiteness of the number of the GR segments might be an alternative characterization of the tameness of finite dimensional algebras over algeb…
Let $S(m|n,d)$ be the Schur superalgebra whose supermodules correspond to the polynomial representations of the supergroup $GL(m|n)$ of degree $d$. In this paper we determine the representation type of these algebras (i.e. classify the ones which are semisimple, have finite, tame and wild representation type). Moreover, we prove that these algebras are in general not quasi-hereditary and have infinite global dimension.
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 [AHT] for tame hereditary al…
Let A be an algebra over a field k, and denote by D^b(Mod A) the bounded derived category of left A-modules. The derived Picard group DPic_k(A) is the group of triangle auto-equivalences of D^b(Mod A) induced by tilting complexes. We study the group DPic_k(A) when A = k Δis the path algebra of a finite quiver Δ. We obtain general results on the structure of DPic_k(A), as well as explicit calculations for many cases, including all finite and tame representation types. Our method is to construct a representation of DPic_k(A) on a certain infinite quiver. This representation is faithful whenΔis a…
The aim of this paper is to extend the structure theory for infinitely generated modules over tame hereditary algebras to the more general case of modules over concealed canonical algebras. Using tilting, we may assume that we deal with canonical algebras. The investigation is centered around the generic and the Prüfer modules, and how other modules are determined by these modules.
We survey the development and status quo of a subject best described as "generic representation theory of finite dimensional algebras", which started taking shape in the early 1980s. Let $Λ$ be a finite dimensional algebra over an algebraically closed field. Roughly, the theory aims at (a) pinning down the irreducible components of the standard parametrizing varieties for the $Λ$-modules with a fixed dimension vector, and (b) assembling generic information on the modules in each individual component, that is, assembling data shared by all modules in a dense open subset of that component. We pr…
We study the cluster category of a canonical algebra A in terms of the hereditary category of coherent sheaves over the corresponding weighted projective line X. As an application we determine the automorphism group of the cluster category and show that the cluster-tilting objects form a cluster structure in the sense of Buan-Iyama-Reiten-Scott. The tilting graph of the sheaf category always coincides with the tilting or exchange graph of the cluster category. We show that this graph is connected if the Euler characteristic of X is non-negative, or equivalently, if A is of tame (domestic or tu…
Let $A$ be a finite dimensional hereditary algebra over a field $k$ and $A^{(1)}$ the duplicated algebra of $A$. We first show that the global dimension of endomorphism ring of tilting modules of $A^{(1)}$ is at most 3. Then we investigate embedding tilting quiver $\mathscr{K}(A)$ of $A$ into tilting quiver $\mathscr{K}(A^{(1)})$ of $A^{(1)}$. As applications, we give new proofs for some results of D.Happel and L.Unger, and prove that every connected component in $\mathscr{K}({A})$ has finite non-saturated points if $A$ is tame type, which gives a partially positive answer to the conjecture of…
For each prime number $s$ we introduce examples of $(s-1)$- and $s$-representation infinite algebras in the sense of Herschend, Iyama and Oppermann, which arise from skew group algebras of some metacyclic groups embedded in $\mathrm{SL}(s,\mathbb{C})$ and $\mathrm{SL}(s+1,\mathbb{C})$. For this purpose, we give a description of the McKay quiver with a superpotential of such groups. Moreover we show that for $s=2$ our examples correspond to the classical tame hereditary algebras of type $\tilde{D}$.