Positivity for cluster algebras from surfaces

We give combinatorial formulas for the Laurent expansion of any cluster variable in any cluster algebra coming from a triangulated surface (with or without punctures), with respect to an arbitrary seed. Moreover, we work in the generality of principal coefficients. An immediate corollary of our formulas is a proof of the positivity conjecture of Fomin and Zelevinsky for cluster algebras from surfaces, in geometric type.     

Denominators in cluster algebras of affine type

The Fomin–Zelevinsky Laurent phenomenon states that every cluster variable in a cluster algebra can be expressed as a Laurent polynomial in the variables lying in an arbitrary initial cluster. We give representation-theoretic formulas for the denominators of cluster variables in cluster algebras of affine type. The formulas are in terms of the dimensions of spaces of homomorphisms in the corresponding cluster category, and hold for any choice of initial cluster.     

Cluster automorphism groups of cluster algebras with coefficients

We study the cluster automorphism group of a skew-symmetric cluster algebra with geometric coefficients. We introduce the notion of gluing free cluster algebra, and show that under a weak condition the cluster automorphism group of a gluing free cluster algebra is a subgroup of the cluster automorphism group of its principal part cluster algebra (i.e., the corresponding cluster algebra without coefficients). We show that several classes of cluster algebras with coefficients are gluing free, for example, cluster algebras with principal coefficients, cluster algebras with universal geometric coefficients, and cluster algebras from surfaces (except a 4-gon) with coefficients from boundaries. Moreover, except four kinds of surfaces, the cluster automorphism group of a cluster algebra from a surface with coefficients from boundaries is isomorphic to the cluster automorphism group of its principal part cluster algebra; for a cluster algebra with principal coefficients, its cluster automorphism group is isomorphic to the automorphism group of its initial quiver.     

Compression of Nakajima monomials in type A and C

We describe an explicit crystal morphism between Nakajima monomials and monomials which give a realization of crystal bases for finite dimensional irreducible modules over the quantized enveloping algebra for Lie algebras of type A and C. This morphism provides a connection between arbitrary Nakajima monomials and Kashiwara–Nakashima tableaux. This yields a translation of Nakajima monomials to the Littelmann path model. Furthermore, as an application of our results we define an insertion scheme for Nakajima monomials compatible to the insertion scheme for tableaux.     

From triangulated categories to cluster algebras

The cluster category is a triangulated category introduced for its combinatorial similarities with cluster algebras. We prove that a cluster algebra of finite type can be realized as a Hall algebra, called exceptional Hall algebra, of the cluster category. This realization provides a natural basis for . We prove new results and formulate conjectures on ‘good basis’ properties, positivity, denominator theorems and toric degenerations.     

Frieze patterns for punctured discs

We construct frieze patterns of type D _N with entries which are numbers of matchings between vertices and triangles of corresponding triangulations of a punctured disc. For triangulations corresponding to orientations of the Dynkin diagram of type D _N , we show that the numbers in the pattern can be interpreted as specialisations of cluster variables in the corresponding Fomin-Zelevinsky cluster algebra. This is generalised to arbitrary triangulations in an appendix by Hugh Thomas.     

Quivers with Relations and Cluster Tilted Algebras

Cluster algebras were introduced by S. Fomin and A. Zelevinsky in connection with dual canonical bases. To a cluster algebra of simply laced Dynkin type one can associate the cluster category. Any cluster of the cluster algebra corresponds to a tilting object in the cluster category. The cluster tilted algebra is the algebra of endomorphisms of that tilting object. Viewing the cluster tilted algebra as a path algebra of a quiver with relations, we prove in this paper that the quiver of the cluster tilted algebra is equal to the cluster diagram. We study also the relations. As an application of these results, we answer several conjectures on the connection between cluster algebras and quiver representations.Presented by V. Dlab.     

Convex topological algebras via linear vector fields and Cuntz algebras

A realization by linear vector fields is constructed for any Lie algebra which admits a biorthogonal system and for its any suitable representation. The embedding into Lie algebras of linear vector fields is in analogue to the classical Jordan—Schwinger map. A number of examples of such Lie algebras of linear vector fields is computed. In particular, we obtain examples of the twisted Heisenberg-Virasoro Lie algebra and the Schrödinger-Virasoro Lie algebras among others. More generally, we construct an embedding of an arbitrary locally convex topological algebra into the Cuntz algebra.     

F-Polynomials in Quantum Cluster Algebras

F-polynomials and g-vectors were defined by Fomin and Zelevinsky to give a formula which expresses cluster variables in a cluster algebra in terms of the initial cluster data. A quantum cluster algebra is a certain noncommutative deformation of a cluster algebra. In this paper, we define and prove the existence of analogous quantum F-polynomials for quantum cluster algebras. We prove some properties of quantum F-polynomials. In particular, we give a recurrence relation which can be used to compute them. Finally, we compute quantum F-polynomials and g-vectors for a certain class of cluster variables, which includes all cluster variables in type A_n\mbox{A}_{n} quantum cluster algebras.     

Free ω-complete algebras

In this paper we prove that for an arbitrary type Ω and an arbitrary strict ω-complete posetX the free ω-complete algebra of type Ω overX exists. Moreover, we prove, that for an arbitrary type (not necessary finitary!) this free algebra is, obtained by Adamek's construction in ω steps.     

On cluster algebras arising from unpunctured surfaces II

We study cluster algebras with principal and arbitrary coefficient systems that are associated to unpunctured surfaces. We give a direct formula for the Laurent polynomial expansion of cluster variables in these cluster algebras in terms of certain paths on a triangulation of the surface. As an immediate consequence, we prove the positivity conjecture of Fomin and Zelevinsky for these cluster algebras.Furthermore, we obtain direct formulas for F-polynomials and g-vectors and show that F-polynomials have constant term equal to 1. As an application, we compute the Euler-Poincaré characteristic of quiver Grassmannians in Dynkin type A and affine Dynkin type .     

Factorisation properties of group scheme actions

Let H be an algebraic group scheme over a field k acting on a commutative k-algebra A which is a unique factorisation domain. We show that, under certain mild assumptions, the monoid of nonzero H-stable principal ideals in A is free commutative. From this we deduce, in certain special cases, results about the monoid of nonzero semi-invariants and the algebra of invariants. We use an infinitesimal method which allows us to work over an arbitrary base field.     

A geometric model for cluster categories of type <Emphasis Type="Italic">D</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

We give a geometric realization of cluster categories of type D _n using a polygon with n vertices and one puncture in its center as a model. In this realization, the indecomposable objects of the cluster category correspond to certain homotopy classes of paths between two vertices.     

A Lie-Theoretic Construction of Spherical Symplectic Reflection Algebras

We propose a construction of the spherical subalgebra of a symplectic reection algebra of an arbitrary rank corresponding to a star-shaped affine Dynkin diagram. Namely, it is obtained from the universal enveloping algebra of a certain semisimple Lie algebra by the process of quantum Hamiltonian reduction. As an application, we propose a construction of finite-dimensional representations of the spherical subalgebra.     

On Applications of Associativity of Dual Compositions in the Algebra of Boolean Matrices

We consider matrices of arbitrary size with elements from an arbitrary Boolean algebra with two partial multiplications that are defined in a dual way and are not associative with respect to each other in the general case. We show the connection of solvability of the simplest matrix equations, the matrix regularity, and the belonging to one-sided principal ideals with associativity of some dual compositions.     

Annihilating fields of standard modules for affine Lie algebras

Given an affine Kac-Moody Lie algebra of arbitrary type, we determine certain minimal sets of annihilating fields of standard -modules. We then use these sets in order to obtain a characterization of standard -modules in terms of irreducible loop -modules, which proves to be a useful tool for combinatorial constructions of bases for standard -modules. Received April 21 , 1999; in final form September 8, 1999 / Published online February 5, 2001     

A conjectural generalization of the n! result to arbitrary groups

The aim of this paper is to formulate a conjecture for an arbitrary simple Lie algebra g in terms of the geometry of principal nilpotent pairs. When g is specialized to sln, this conjecture readily implies the n! result and it is very likely that, in fact, it is equivalent to the n! result in this case. In addition, this conjecture can be thought of as generalizing an old result of Kostant. In another direction, we show that to prove the validity of the n! result for an arbitrary n and an arbitrary partition of n, it suffices to show its validity only for the staircase partitions.     

Determinant formula and a realization for the Lie algebra W(2,2)

In this paper, an explicit determinant formula is given for the Verma modules over the Lie algebra W(2, 2). We construct a natural realization of a certain vaccum module for the algebra W(2, 2) via the Weyl vertex algebra. We also describe several results including the irreducibility, characters and the descending filtrations of submodules for the Verma module over the algebra W(2, 2).     

Categorification of a frieze pattern determinant

Broline, Crowe and Isaacs have computed the determinant of a matrix associated to a Conway–Coxeter frieze pattern. We generalise their result to the corresponding frieze pattern of cluster variables arising from the Fomin–Zelevinsky cluster algebra of type A. We give a representation-theoretic interpretation of this result in terms of certain configurations of indecomposable objects in the root category of type A.