A symmetric quiver $(Q,σ)$ is a finite quiver without oriented cycles $Q=(Q_0,Q_1)$ equipped with a contravariant involution $σ$ on $Q_0\sqcup Q_1$. The involution allows us to define a nondegenerate bilinear form $<,>$ on a representation $V$ of $Q$. We shall say that $V$ is orthogonal if $<,>$ is symmetric and symplectic if $<,>$ is skew-symmetric. Moreover, we define an action of products of classical groups on the space of orthogonal representations and on the space of symplectic representations. So we prove that if $(Q,σ)$ is a symmetric quiver of tame type then the rings of semi-invariants for this action are spanned by the semi-invariants of determinantal type $c^V$ and, when matrix defining $c^V$ is skew-symmetric, by the Pfaffians $pf^V$. To prove it, moreover, we describe the symplectic and orthogonal generic decomposition of a symmetric dimension vector.
In \cite{CK2005} and \cite{SZ}, the authors constructed the bases of cluster algebras of finite types and of type $\widetilde{A}_{1,1}$, respectively. In this paper, we will deduce $\mathbb{Z}$-bases for cluster algebras of affine types.
Stability conditions play an important role in the study of representations of a quiver. In the present paper, we study semistable representations of quivers. In particular, we describe the slopes of semistable representations of a tame quiver for a fixed stability condition.
We apply the theory of localization for tame and wild coalgebras in order to prove the following theorem: "Let Q be an acyclic quiver. Then any tame admissible subcoalgebra of KQ is the path coalgebra of a quiver with relations".
In this paper we explain how and why the list of Happel-Vossieck of tame concealed algebras is closely related to the list of A. Seven of minimal infinite cluster quivers.
In the present paper we study the derived Hall algebra for the bounded derived category of the nilpotent representations of a tame quiver over a finite field. We show that for any three given objects in the bounded derived category, the associated derived Hall numbers are given by a rational function in the cardinalities of ground fields.
C.M. Ringel defined Hall algebra associated with the category of representations of a quiver of Dynkin type and gave an explicit description of the structure constants of the corresponding Lie algebra. We utilize functorial properties of the Hall algebra to give a simple proof of Ringel's result, and to generalize it to the case of a quiver of affine type.
Let $\mathfrak{g}$ be an affine Kac-Moody algebra with symmetric Cartan datum, $\mathfrak{n^{+}}$ be the maximal nilpotent subalgebra of $\mathfrak{g}$. By the Hall algebra approach, we construct integral bases of the $\mathbb{Z}$-form of the enveloping algebra $U(\mathfrak{n^{+}})$. In particular, the representation theory of tame quivers is essentially used in this paper.
We introduce a new class of algebraic varieties which we call frieze varieties. Each frieze variety is determined by an acyclic quiver. The frieze variety is defined in an elementary recursive way by constructing a set of points in affine space. From a more conceptual viewpoint, the coordinates of these points are specializations of cluster variables in the cluster algebra associated to the quiver. We give a new characterization of the finite--tame--wild trichotomy for acyclic quivers in terms of their frieze varieties. We show that an acyclic quiver is representation finite, tame, or wild, re…
A GR-segment for an artin algebra is a sequence of Gabriel-Roiter measures, which is closed under direct predecessors and successors. The number of the GR-segments indexed by natural numbers $\mathbb{N}$ and integers $\mathbb{Z}$ probably relates to the representation types of artin algebras. Let $k$ be an algebraically closed field and $Q$ be a tame quiver (of type $\widetilde{\mathbb{A}}_n$, $\widetilde{\mathbb{D}}_n$, $\widetilde{\mathbb{E}}_6$, $\widetilde{\mathbb{E}}_7$, or $\widetilde{\mathbb{E}}_8$). Let $b$ be the number of the isomorphism classes of the exceptional quasi-simple module…
We study minimal disjoint degenerations for representations of tame quivers. In particular, we prove that their codimensions are bounded by 2. Therefore a quiver is Dynkin resp. Euclidean resp. wild iff the codimensions are 1 resp. bounded by 2 resp. unbounded. We explain also that for tame quivers the complete classification of all minimal disjoint degenerations is a finite problem that can be solved with the help of a computer.
In this paper, we answer the question of when the subcategory of semi-stable representations is the same for two rational vectors for an acyclic quiver. This question has been previously answered by Ingalls, Paquette, and Thomas in the tame case in [10]. Here we take a more invariant theoretic approach, to answer this question in general. We recover the known result in the tame case.
We study systems of linear and semilinear mappings considering them as representations of a directed graph $G$ with full and dashed arrows: a representation of $G$ is given by assigning to each vertex a complex vector space, to each full arrow a linear mapping, and to each dashed arrow a semilinear mapping of the corresponding vector spaces. We extend to such representations the classical theorems by Gabriel about quivers of finite type and by Nazarova, Donovan, and Freislich about quivers of tame types.
In this paper we determine the derived representation type of quadratic string algebras and we prove that every derived tame quadratic string algebra whose quiver has cycles is derived equivalent to some skewed-gentle algebra.
We give a geometric realization of module categories of type $\tilde{A}_n$. We work with oriented arcs to define a translation quiver isomorphic to the Auslander-Reiten quiver of the module category of type $\tilde{A}_n$. To get a description of the module category, we introduce long moves between arcs. These allow us to include the infinite radical in the geometric description. Finally, our results can also be used to describe the corresponding cluster categories by taking unoriented arcs instead.
This document serves as an arXiv entry point for the appendix to the paper [13] (the ancillary file e6_proof.pdf -- ``Proof of the tree module property for exceptional representations of the quiver $\widetilde{\mathbb{E}}_6$'') and the appendix to the paper [12] (the ancillary file d6_proof.pdf -- ``Proof of the tree module property for exceptional representations of the quiver $\widetilde{\mathbb{D}}_6$''). The ancillary files contain the computer generated part of the proofs of the main results in [13] respectively [12], giving a complete and general list of tree representations correspondin…
Tame symmetric algebras of period four with small Gabriel quivers
Mathematical Institute, University of Oxford(牛津大学数学研究所);Faculty of Mathematics and Computer Science, Nicolaus Copernicus University(尼古拉·哥白尼大学数学与计算机科学学院)
本文从新视角研究周期为四的 tame 对称代数,分类了 Gabriel 弦图顶点数不超过5的代数,证明其为广义加权表面代数,验证了相关猜想。
In this paper, we study the maximal length of maximal green sequences for quivers of type $\widetilde{\mathbf{D}}$ and $\widetilde{\mathbf{E}}$ by using the theory of tilting mutation. We show that the maximal length does not depend on the choice of the orientation, and determine it explicitly. Moreover, we give a program which counts all maximal green sequences by length for a given Dynkin/extended Dynkin quiver.
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}$.
In this paper, we solve a problem raised by V. Kac in \cite{Kac} on locally semi-simple quiver representations. Specifically, we show that an acyclic quiver $Q$ is of tame representation type if and only if every representation of $Q$ with a semi-simple ring of endomorphisms is locally semi-simple.
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 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…
We define algebras of quasi-quaternion type, which are symmetric algebras of tame representation type whose stable module category has certain structure similar to that of the algebras of quaternion type introduced by Erdmann. We observe that symmetric tame algebras that are also 2-CY-tilted are of quasi-quaternion type. We present a combinatorial construction of such algebras by introducing the notion of triangulation quivers. The class of algebras that we get contains Erdmann's algebras of quaternion type on the one hand and the Jacobian algebras of the quivers with potentials associated by …
The $\mathbf{g}$-vector fan of a finite-dimensional algebra is a fan whose rays are the $\mathbf{g}$-vectors of its $2$-term presilting objects. We prove that the $\mathbf{g}$-vector fan of a tame algebra is dense. We then apply this result to obtain a near classification of quivers for which the closure of the cluster $\mathbf{g}$-vector fan is dense or is a half-space, using the additive categorification of cluster algebras by means of Jacobian algebras. As another application, we prove that for quivers with potentials arising from once-punctured closed surfaces, the stability and cluster sc…
Let $Q$ be a tame quiver of type $\widetilde{\mathbb{A}}_n$ and $\Rep(Q)$ the category of finite dimensional representations over an algebraically closed field. A representation is simply called a module. It will be shown that a regular string module has, up to isomorphism, at most two Gabriel-Roiter submodules. The quivers $Q$ with sink-source orientations will be characterized as those, whose central parts do not contain preinjective modules. It will also be shown that there are only finitely many (central) Gabriel-Roiter measures admitting no direct predecessors. This fact will be generaliz…
This is my PhD thesis supervised by Professor Jerzy Weyman. A symmetric quiver $(Q,σ)$ is a finite quiver without oriented cycles $Q=(Q_0,Q_1)$ equipped with a contravariant involution $σ$ on $Q_0\sqcup Q_1$. The involution allows us to define a nondegenerate bilinear form $<,>$ on a representation $V$ of $Q$. We shall say that $V$ is orthogonal if $<,>$ is symmetric and symplectic if $<,>$ is skew-symmetric. Moreover we define an action of products of classical groups on the space of orthogonal representations and on the space of symplectic representations. So we prove that if $(Q,σ)$ is a sy…
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…
We study a family of three-dimensional Lie algebras $L_μ$ that depend on a continuous parameter $μ$. We introduce certain quivers, which we denote by $Q_{m,n}$ $(m,n \in \mathbb{Z})$ and $Q_{\infty \times \infty}$, and prove that idempotented versions of the enveloping algebras of the Lie algebras $L_μ$ are isomorphic to the path algebras of these quivers modulo certain ideals in the case that $μ$ is rational and non-rational, respectively. We then show how the representation theory of the quivers $Q_{m,n}$ and $Q_{\infty\times\infty}$ can be related to the representation theory of quivers of …
We consider matrix problems in Hilbert spaces (orthoscalar representations of quivers and posets). A criterion of tameness of the problem of classification of indecomposable orthoscalar representations of a quiver is given.
In this text, we characterize the representation type of an acyclic quiver by the properties of its associated quiver Grassmannians. This characterization utilizes and extends known results about singular quiver Grassmannians and cell decompositions into affine spaces. While all quiver Grassmannians for indecomposable representations of quivers of finite representation types $A$ and $D$ are smooth and admit cell decompositions, it turns out that all quiver Grassmannians for indecomposable representations of quivers of tame types $A$ and $D$ admit cell decompositions, but some of these quiver G…
We suggest a geometrical approach to the semi-invariants of quivers based on Luna's slice theorem and the Luna-Richardson theorem. The locally semi-simple representations are defined in this spirit but turn out to be connected with stable representations in the sense of GIT, Schofield's perpendicular categories, and Ringel's regular representations. As an application of this method we obtain an independent short proof of the theorem of Skowronsky and Weyman about semi-invariants of the tame quivers.
A famous result by Drozd says that a finite-dimensional representation-infinite algebra is of either tame or wild representation type. But one has to make assumption on the ground field. The Gabriel-Roiter measure might be an alternative approach to extend these concepts of tame and wild to arbitrary artin algebras. In particular, the infiniteness of the number of GR segments, i.e. sequences of Gabriel-Roiter measures which are closed under direct predecessors and successors, might relate to the wildness of artin algebras. As the first step, we are going to study the wild quiver with three ver…
In this paper, the singular Ringel-Hall algebra for a tame quiver is introduced and shown to be isomorphic to the positive part of the quantum extended Kac-Moody algebra. A PBW basis is constructed and a new class of perverse sheaves is shown to have purity property. This allows to construct the canonical bases of the positive part of the quantum extended Kac-Moody algebra. As an application, the existence of Hall polynomials for tame quiver algebras is proved.
We show that a finite, connected quiver Q without oriented cycles is a Dynkin or Euclidean quiver if and only if all orbit semigroups of representations of Q are saturated.
In the present paper we prove that Hall polynomial exists for each triple of decomposition sequences which parameterize isomorphism classes of coherent sheaves of a domestic weighted projective line $\mathbb X$ over finite fields. These polynomials are then used to define the generic Ringel--Hall algebra of $\mathbb X$ as well as its Drinfeld double. Combining this construction with a result of Cramer, we show that Hall polynomials exist for tame quivers, which not only refines a result of Hubery, but also confirms a conjecture of Berenstein and Greenstein.
We give Erdmann-Nakano type theorem for the finite quiver Hecke algebras $R^{Λ_0}(β)$ of affine type $A^{(1)}_{\ell}$. Note that each finite quiver Hecke algebra lies in one parameter family, and the original Erdmann-Nakano theorem studied the finite quiver Hecke algebra at a special parameter value. We study the general case in our paper. Our result shows in particular that their representation type does not depend on the parameter. Moreover, when the parameter value is nonzero, we show that finite quiver Hecke algebras of tame representation type are biserial algebras.
In this paper, the rational Ringel-Hall algebras for tame quivers are introduced and are identified with the positive part of the quantum extended Kac-Moody algebras. By using the rational Ringel-Hall algebras, we show that the existence of Hall polynomials for tame quiver algebras. The PBW bases are constructed and new classes of perverse sheaves are shown to have strong purity property. These allows us to construct the canonical bases of the positive part of the quantum extended Kac-Moody algebras.
When $Γ$ is a row-finite di(rected )graph we classify all finite dimensional modules of the Leavitt path algebra $L(Γ)$ via an explicit Morita equivalence given by an effective combinatorial (reduction) algorithm on the digraph $Γ$. The category of (unital) $L(Γ)$-modules is equivalent to a subcategory of quiver representations of $Γ$. However the category of finite dimensional representations of $L(Γ)$ is tame in contrast to the finite dimensional quiver representations of $Γ$ which are almost always wild.
As it is known, finitely presented quivers correspond to Dynkin graphs (Gabriel, 1972) and tame quivers -- to extended Dynkin graphs (Donovan and Freislich, Nazarova, 1973). In the article "Locally scalar reresentations of graphs in the category of Hilbers spaces" (Func. Anal. and Appl., 2005) authors showed the way to tranfer these results to Hilbert spaces, constructed Coxeter functors and proved an analogue of Gabriel theorem fol locally scalar (orthoscalar in the sequel) representations (up to the unitary equivalence). The category of orthoscalar representations of a quiver can be consider…
We prove the tame-wild dichotomy conjecture, due to D. Simson, for infinite dimensional algebras and coalgebras. The key part of the approach is proving new representation theoretic characterizations local finiteness. Among other, we show that the Ext quiver of the category ${\rm f.d.-}A$ of finite dimensional representations of an arbitrary algebra $A$ is locally finite (i.e. $\dim(\Ext^1(S,T))<\infty$ for all simple finite dimensional $A$-modules $S,T$) if and only if for every dimension vector $\underline{d}$, the representations of $A$ of dimension vector $\underline{d}$ are all contained …
We use semi-invariant pictures to prove two conjectures about maximal green sequences. First: if $Q$ is any acyclic valued quiver with an arrow $j\to i$ of infinite type then any maximal green sequence for $Q$ must mutate at $i$ before mutating at $j$. Second: for any quiver $Q'$ obtained by mutating an acyclic valued quiver $Q$ of tame type, there are only finitely many maximal green sequences for $Q'$. Both statements follow from the Rotation Lemma for reddening sequences and this in turn follows from the Mutation Formula for the semi-invariant picture for $Q$.
We investigate sets of the common zeros of non-constant semi-invariants for regular modules over canonical algebras. In particular, we show that if the considered algebra is tame then for big enough vectors these sets are complete intersections.
We use recent results on matrix semi-invariants to give degree bounds on generators for the ring of semi-invariants for quivers with no oriented cycles.
The notion of mixed representations of quivers can be derived from ordinary quiver representations by considering the dual action of groups on "vertex" vector spaces together with the usual action. A generating system for the algebra of semi-invariants of mixed representations of a quiver is determined. This is done by reducing the problem to the case of bipartite quivers of the special form and by introducing a function DP on three matrices, which is a mixture of the determinant and two pfaffians.
We introduce the notion of a super-representation of a quiver. For super-representations of quivers over a field of characteristic zero, we describe the corresponding (super)algebras of polynomial semi-invariants and polynomial invariants.