Linear quivers, generic extensions and Kashiwara operators

In the present paper, we introduce the generic extension graph G of a Dynkin or cyclic quiver Q and then compare this graph with the crystal graph C for the quantized enveloping algebra associated to Q via two maps ℘_Q, _Q : Ω → Λ_Q induced by generic extensions and Kashiwara operators, respectively, where Λ_Q is the set of isoclasses of nilpotent representations of Q, and Ω is the set of all words on the alphabet I, the vertex set of Q. We prove that, if Q is a (finite or infinite) linear quiver, then the intersection of the fibres ℘_Q⁻¹ (λ) and KQ⁻¹ (λ) is non-empty for every λ ∈ Λ _Q. We will also show that this non-emptyness property fails for cyclic quivers.     

Cluster-Cyclic Quivers with Three Vertices and the Markov Equation

Acyclic cluster algebras have an interpretation in terms of tilting objects in a Calabi-Yau category defined by some hereditary algebra. For a given quiver Q it is thus desirable to decide if the cluster algebra defined by Q is acyclic. We call Q cluster-acyclic in this case, otherwise cluster-cyclic. In this note we classify the cluster-cyclic quivers with three vertices using a Diophantine equation studied by Markov.     

On Involutive Cluster Automorphisms

We construct a special embedding of the translation quiver ?Q in the three-dimensional affine space 𝔸³ where Q is a finite connected acyclic quiver and ?Q contains a local slice whose quiver is isomorphic to the opposite quiver Q ^op of Q. Via this embedding, we show that there exists an involutive anti-automorphism of the translation quiver ?Q. As an immediate consequence, we characterize explicitly the group of cluster automorphisms of the cluster algebras of seed (X, Q), where Q and Q ^op are mutation equivalent.     

Friezes and a construction of the Euclidean cluster variables

Let Q be a Euclidean quiver. Using friezes in the sense of Assem-Reutenauer-Smith, we provide an algorithm for computing the (canonical) cluster character associated with any object in the cluster category of Q. In particular, this algorithm allows us to compute all the cluster variables in the cluster algebra associated with Q. It also allows us to compute the sum of the Euler characteristics of the quiver Grassmannians of any module M over the path algebra of Q.     

On the quiver Grassmannian in the acyclic case

Let A be the path algebra of a quiver Q with no oriented cycle. We study geometric properties of the Grassmannians of submodules of a given A-module M. In particular, we obtain some sufficient conditions for smoothness, polynomial cardinality and we give different approaches to Euler characteristics. Our main result is the positivity of Euler characteristics when M is an exceptional module. This solves a conjecture of Fomin and Zelevinsky for acyclic cluster algebras.     

Localization in tame and wild coalgebras

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”.     

Adjoint Action of Automorphism Groups on Radical Endomorphisms,Generic Equivalence and Dynkin Quivers

Let Q be a connected quiver with no oriented cycles, k the field of complex numbers and P a projective representation of Q. We study the adjoint action of the automorphism group Aut _kQ P on the space of radical endomorphisms radEnd _kQ P. Using generic equivalence, we show that the quiver Q has the property that there exists a dense open Aut _kQ P-orbit in radEnd _kQ P, for all projective representations P, if and only if Q is a Dynkin quiver. This gives a new characterisation of Dynkin quivers.     

Caldero–Keller Approach to the Denominators of Cluster Variables

Buan, Marsh, and Reiten proved that if a cluster-tilting object T in a cluster category 𝒞 associated to an acyclic quiver Q satisfies certain conditions with respect to the exchange pairs in 𝒞, then the denominator in its reduced form of every cluster variable in the cluster algebra associated to Q has exponents given by the dimension vector of the corresponding module over the endomorphism algebra of T. In this article, we give an alternative proof of this result using the Caldero–Keller approach to acyclic cluster algebras and the work of Palu on cluster characters.     

On Homomorphisms from Ringel-Hall Algebras to Quantum Cluster Algebras

In Berenstein and Rupel (2015), the authors defined algebra homomorphisms from the dual Ringel-Hall algebra of certain hereditary abelian category \(\mathcal {A}\) to an appropriate q-polynomial algebra. In the case that \(\mathcal {A}\) is the representation category of an acyclic quiver, we give an alternative proof by using the cluster multiplication formulas in (Ding and Xu, Sci. China Math. 55(10) 2045–2066, 2012). Moreover, if the underlying graph of Q associated with \(\mathcal {A}\) is bipartite and the matrix B associated to the quiver Q is of full rank, we show that the image of the algebra homomorphism is in the corresponding quantum cluster algebra.     

Orbit semigroups and the representation type of quivers

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.     

Semi-Invariants of Symmetric Quivers of Tame Type

A symmetric quiver (Q, σ) is a finite quiver without oriented cycles Q?=?(Q ₀, Q ₁) equipped with a contravariant involution σ on $Q_0\sqcup Q_1$ . The involution allows us to define a nondegenerate bilinear form $\langle -,-\rangle_V$ on a representation V of Q. We shall say that V is orthogonal if $\langle -,-\rangle_V$ is symmetric and symplectic if $\langle -,-\rangle_V$ 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 the 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.     

Transnormal functions on a Riemannian manifold

We extend theorems of É. Cartan, Nomizu, Münzner, Q.M. Wang, and Ge–Tang on isoparametric functions to transnormal functions on a general Riemannian manifold. We show that if a complete Riemannian manifold M admits a transnormal function, then M is diffeomorphic to either a vector bundle over a submanifold, or a union of two disk bundles over two submanifolds. Moreover, a singular level set Q is austere and minimal, if exists, and generic level sets are tubes over Q. We give a criterion for a transnormal function to be an isoparametric function.     

A Homological Interpretation of the Transverse Quiver Grassmannians

In recent articles, the investigation of atomic bases in cluster algebras associated to affine quivers led the second–named author to introduce a variety called transverse quiver Grassmannian and the first–named and third–named authors to consider the smooth loci of quiver Grassmannians. In this paper, we prove that, for any affine quiver Q, the transverse quiver Grassmannian of an indecomposable representation M is the set of points N in the quiver Grassmannian of M such that Ext¹(N, M/N)?=?0. As a corollary we prove that the transverse quiver Grassmannian coincides with the smooth locus of the irreducible components of minimal dimension in the quiver Grassmannian.     

Injective objects of monomorphism categories

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 Mon(Q,A) and prove that Mon(Q,A) has enough injective objects.     

Friezes

The construction of friezes is motivated by the theory of cluster algebras. It gives, for each acyclic quiver, a family of integer sequences, one for each vertex. We conjecture that these sequences satisfy linear recursions if and only if the underlying graph is a Dynkin or an Euclidean (affine) graph. We prove the “only if” part, and show that the “if” part holds true for all non-exceptional Euclidean graphs, leaving a finite number of finite number of cases to be checked. Coming back to cluster algebras, the methods involved allow us to give formulas for the cluster variables in case Am and ; the novelty is that these formulas use 2 by 2 matrices over the semiring of Laurent polynomials generated by the initial variables (which explains simultaneously positivity and the Laurent phenomenon). One tool involved consists of the SL₂-tilings of the plane, which are particular cases of T-systems of Mathematical Physics.     

HILBERT BASIS QUIVERS

Abstract

A quiver G (= directed multigraph, loops and parallel edges are allowed) is called a Hilbert basis quiver (HBQ) if a certain path algebra R[G] over a ring R is right noetherian provided R does. Such path algebras can be considered as generalized polynomial rings over R. There is the following characterization:

A quiver with a finite number of vertices is HBQ iff its set of edges is finite and its nontrivial path components are elementary cycles, up to parallel edges, which in addition are sink sets (i.e. there is no path leaving the component).

To prove this categorical methods are used.     

The Injective Leavitt Complex

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 \(\mathbb {Z}\)-graded and viewed as a differential graded algebra with trivial differential.     

BGP-reflection functors and cluster combinatorics

We define Bernstein-Gelfand-Ponomarev reflection functors in the cluster categories of hereditary algebras. They are triangle equivalences which provide a natural quiver realization of the “truncated simple reflections” on the set of almost positive roots Φ_≥−1 associated with a finite dimensional semi-simple Lie algebra. Combining this with the tilting theory in cluster categories developed in [A. Buan, R. Marsh, M. Reineke, I. Reiten, G. Todorov, Tilting theory and cluster combinatorics, Adv. Math. (in press). math.RT/0402054], we give a unified interpretation via quiver representations for the generalized associahedra associated with the root systems of all Dynkin types (simply laced or non-simply laced). This confirms the Conjecture 9.1 in [A. Buan, R. Marsh, M. Reineke, I. Reiten, G. Todorov, Tilting theory and cluster combinatorics, Adv. Math. (in press). math.RT/0402054] for all Dynkin types.