Andrei Zelevinsky

math.RT · 13 Apr 2001 · cited 2,207× · arXiv ↗ · more like this ·

In an attempt to create an algebraic framework for dual canonical bases and total positivity in semisimple groups, we initiate the study of a new class of commutative algebras.

Cluster algebras II: Finite type classification

math.RA · August 2002 · cited 1,101× · arXiv ↗ · more like this ·

This paper continues the study of cluster algebras initiated in math.RT/0104151. Its main result is the complete classification of the cluster algebras of finite type, i.e., those with finitely many clusters. This classification turns out to be identical to the Cartan-Killing classification of semisimple Lie algebras and finite root systems, which is intriguing since in most cases, the symmetry exhibited by the Cartan-Killing type of a cluster algebra is not at all apparent from its geometric origin. The combinatorial structure behind a cluster algebra of finite type is captured by its cluster complex. We identify this complex as the normal fan of a generalized associahedron introduced and studied in hep-th/0111053 and math.CO/0202004. Another essential combinatorial ingredient of our arguments is a new characterization of the Dynkin diagrams.

Cluster algebras IV: Coefficients

Arkady Berenstein, Sergey Fomin, Andrei Zelevinsky

math.RA · February 2006 · cited 735× · arXiv ↗ · more like this ·

We study the dependence of a cluster algebra on the choice of coefficients. We write general formulas expressing the cluster variables in any cluster algebra in terms of the initial data; these formulas involve a family of polynomials associated with a particular choice of "principal" coefficients. We show that the exchange graph of a cluster algebra with principal coefficients covers the exchange graph of any cluster algebra with the same exchange matrix. We investigate two families of parametrizations of cluster monomials by lattice points, determined, respectively, by the denominators of their Laurent expansions and by certain multi-gradings in cluster algebras with principal coefficients. The properties of these parametrizations, some proven and some conjectural, suggest links to duality conjectures of V.Fock and A.Goncharov [math.AG/0311245]. The coefficient dynamics leads to a…

Cluster algebras III: Upper bounds and double Bruhat cells

math.RT · May 2003 · cited 725× · arXiv ↗ · more like this ·

We continue the study of cluster algebras initiated in math.RT/0104151 and math.RA/0208229. We develop a new approach based on the notion of an upper cluster algebra, defined as an intersection of certain Laurent polynomial rings. Strengthening the Laurent phenomenon from math.RT/0104151, we show that, under an assumption of "acyclicity", a cluster algebra coincides with its "upper" counterpart, and is finitely generated. In this case, we also describe its defining ideal, and construct a standard monomial basis. We prove that the coordinate ring of any double Bruhat cell in a semisimple complex Lie group is naturally isomorphic to the upper cluster algebra explicitly defined in terms of relevant combinatorial data.

Y-systems and generalized associahedra

Harm Derksen, Jerzy Weyman, Andrei Zelevinsky

hep-th · 6 Nov 2001 · cited 572× · arXiv ↗ · more like this ·

We prove, for an arbitrary finite root system, the periodicity conjecture of Al.B.Zamolodchikov concerning Y-systems, a particular class of functional relations arising in the theory of thermodynamic Bethe ansatz. Algebraically, Y-systems can be viewed as families of rational functions defined by certain birational recurrences formulated in terms of the underlying root system. In the course of proving periodicity, we obtain explicit formulas for all these rational functions, which turn out to always be Laurent polynomials. In a closely related development, we introduce and study a family of simplicial complexes that can be associated to arbitrary root systems. In type A, our construction produces Stasheff's associahedron, whereas in type B, it gives the Bott-Taubes polytope, or cyclohedron. We enumerate the faces of these complexes, prove that their geometric realization is always a…

Quivers with potentials and their representations I: Mutations

math.RA · April 2007 · cited 533× · arXiv ↗ · more like this ·

We study quivers with relations given by non-commutative analogs of Jacobian ideals in the complete path algebra. This framework allows us to give a representation-theoretic interpretation of quiver mutations at arbitrary vertices. This gives a far-reaching generalization of Bernstein-Gelfand-Ponomarev reflection functors. The motivations for this work come from several sources: superpotentials in physics, Calabi-Yau algebras, cluster algebras.

Quivers with potentials and their representations II: Applications to cluster algebras

Harm Derksen, Jerzy Weyman, Andrei Zelevinsky

math.RA · April 2009 · cited 495× · arXiv ↗ · more like this ·

We continue the study of quivers with potentials and their representations initiated in the first paper of the series. Here we develop some applications of this theory to cluster algebras. As shown in the "Cluster algebras IV" paper, the cluster algebra structure is to a large extent controlled by a family of integer vectors called g-vectors, and a family of integer polynomials called F-polynomials. In the case of skew-symmetric exchange matrices we find an interpretation of these g-vectors and F-polynomials in terms of (decorated) representations of quivers with potentials. Using this interpretation, we prove most of the conjectures about g-vectors and F-polynomials made in loc. cit.

Double Bruhat cells and total positivity

math.RT · 11 Feb 1998 · cited 396× · arXiv ↗ · more like this ·

We study intersections of opposite Bruhat cells in a semisimple complex Lie group, and associated totally nonnegative varieties.

Quantum cluster algebras

math.QA · April 2004 · cited 389× · arXiv ↗ · more like this ·

Cluster algebras were introduced by S. Fomin and A. Zelevinsky in math.RT/0104151; their study continued in math.RA/0208229, math.RT/0305434. This is a family of commutative rings designed to serve as an algebraic framework for the theory of total positivity and canonical bases in semisimple groups and their quantum analogs. In this paper we introduce and study quantum deformations of cluster algebras.

Tensor product multiplicities, canonical bases and totally positive varieties

math.RT · 2 Dec 1999 · cited 373× · arXiv ↗ · more like this ·

We obtain a family of explicit "polyhedral" combinatorial expressions for multiplicities in the tensor product of two simple finite-dimensional modules over a complex semisimple Lie algebra. Here "polyhedral" means that the multiplicity in question is expressed as the number of lattice points in some convex polytope. Our answers use a new combinatorial concept of $\ii$-trails which resemble Littelmann's paths but seem to be more tractable. We also study combinatorial structure of Lusztig's canonical bases or, equivalently of Kashiwara's global bases. Although Lusztig's and Kashiwara's approaches were shown by Lusztig to be equivalent to each other, they lead to different combinatorial parametrizations of the canonical bases. One of our main results is an explicit description of the relationship between these parametrizations. Our approach to the above problems is based on a remarkable…

The Laurent phenomenon

Frederic Chapoton, Sergey Fomin, Andrei Zelevinsky

math.CO · 25 Apr 2001 · cited 367× · arXiv ↗ · more like this ·

A composition of birational maps given by Laurent polynomials need not be given by Laurent polynomials; however, sometimes---quite unexpectedly---it does. We suggest a unified treatment of this phenomenon, which covers a large class of applications. In particular, we settle in the affirmative a conjecture of D$.$Gale and R$.$Robinson on integrality of generalized Somos sequences, and prove the Laurent property for several multidimensional recurrences, confirming conjectures by J$.$Propp, N$.$Elkies, and M$.$Kleber.

Polytopal realizations of generalized associahedra

math.CO · February 2002 · cited 238× · arXiv ↗ · more like this ·

In hep-th/0111053, a complete simplicial fan was associated to an arbitrary finite root system. It was conjectured that this fan is the normal fan of a simple convex polytope (a generalized associahedron of the corresponding type). Here we prove this conjecture by explicitly exhibiting a family of such polytopal realizations.

Generalized associahedra via quiver representations

Bethany Marsh, Markus Reineke, Andrei Zelevinsky

math.RT · May 2002 · cited 227× · arXiv ↗ · more like this ·

We provide a quiver-theoretic interpretation of certain smooth complete simplicial fans associated to arbitrary finite root systems in recent work of S. Fomin and A. Zelevinsky. The main properties of these fans then become easy consequences of the known facts about tilting modules due to K. Bongartz, D. Happel and C. M. Ringel.

On tropical dualities in cluster algebras

Tomoki Nakanishi, Andrei Zelevinsky

math.RA · January 2011 · cited 167× · arXiv ↗ · more like this ·

We study two families of integer vectors playing a crucial part in the structural theory of cluster algebras: the $\gg$-vectors parameterizing cluster variables, and the $\cc$-vectors parameterizing the coefficients. We prove two identities relating these vectors to each other. The proofs depend on the sign-coherence assumption for $\cc$-vectors that still remains unproved in full generality.

Positivity and canonical bases in rank 2 cluster algebras of finite and affine types

Paul Sherman, Andrei Zelevinsky

math.RT · July 2003 · cited 163× · arXiv ↗ · more like this ·

The main motivation for the study of cluster algebras initiated in math.RT/0104151, math.RA/0208229 and math.RT/0305434 was to design an algebraic framework for understanding total positivity and canonical bases in semisimple algebraic groups. In this paper, we introduce and explicitly construct the canonical basis for a special family of cluster algebras of rank 2.

Cluster algebras: Notes for the CDM-03 conference

Sergey Fomin, Lauren Williams, Andrei Zelevinsky

math.RT · November 2003 · cited 146× · arXiv ↗ · more like this ·

This is an expanded version of the notes of our lectures given at the conference "Current Developments in Mathematics 2003" held at Harvard University on November 21--22, 2003. We present an overview of the main definitions, results and applications of the theory of cluster algebras.

Introduction to Cluster Algebras. Chapters 1-3

math.CO · August 2016 · cited 95× · arXiv ↗ · more like this ·

This is a preliminary draft of Chapters 1-3 of our forthcoming textbook "Introduction to Cluster Algebras." This installment contains: Chapter 1. Total positivity Chapter 2. Mutations of quivers and matrices Chapter 3. Clusters and seeds

Cluster algebras of finite type and positive symmetrizable matrices

Michael Barot, Christof Geiss, Andrei Zelevinsky

math.CO · November 2004 · cited 87× · arXiv ↗ · more like this ·

The paper is motivated by an analogy between cluster algebras and Kac-Moody algebras: both theories share the same classification of finite type objects by familiar Cartan-Killing types. However the underlying combinatorics beyond the two classifications is different: roughly speaking, Kac-Moody algebras are associated with (symmetrizable) Cartan matrices, while cluster algebras correspond to skew-symmetrizable matrices. We study an interplay between the two classes of matrices, in particular, establishing a new criterion for deciding whether a given skew-symmetrizable matrix gives rise to a cluster algebra of finite type.

Canonical bases for the quantum group of type Ar and piecewise-linear combinatorics

Geometry and Topology · Duke Mathematical Journal · March 1996 · cited 84× · DOI ↗ · more like this ·

This work was motivated by the following two problems from the classical representation theory. (Both problems make sense for an arbitrary complex semisimple Lie algebra but since we shall deal only with the Ar case, we formulate them in this generality). 1. Construct a “good” basis in every irreducible finite-dimensional slr+1-module Vλ, which “materializes” the Littlewood-Richardson rule. A precise formulation of this problem was given in [3]; we shall explain it in more detail a bit later. 2. Construct a basis in every polynomial representation of GLr+1, such that the maximal element w0 of the Weyl group Sr+1 (considered as an element of GLr+1) acts on this basis by a permutation (up to a sign), and explicitly compute this permutation. This problem is motivated by recent work by John Stembridge [10] and was brought to our attention by his talk at the Jerusalem Combinatorics…

Nested complexes and their polyhedral realizations

math.CO · July 2005 · cited 83× · arXiv ↗ · more like this ·

This note which can be viewed as a complement to Alex Postnikov's paper math.CO/0507163, presents a self-contained overview of basic properties of nested complexes and their two dual polyhedral realizations: as complete simplicial fans, and as simple polytopes. Most of the results are not new; our aim is to bring into focus a striking similarity between nested complexes and associated fans and polytopes on one side, and cluster complexes and generalized associahedra introduced and studied in hep-th/0111053, math.CO/0202004, on the other side.

Littlewood-Richardson semigroups

Mikhail Kogan, Andrei Zelevinsky

math.CO · 30 Apr 1997 · cited 71× · arXiv ↗ · more like this ·

This note is an extended abstract of my talk at the workshop on Representation Theory and Symmetric Functions, MSRI, April 14, 1997. We discuss the problem of finding an explicit description of the semigroup $LR_r$ of triples of partitions of length $\leq r$ such that the corresponding Littlewood-Richardson coefficient is non-zero. After discussing the history of the problem and previously known results, we suggest a new approach based on the ``polyhedral'' combinatorial expressions for the Littlewood-Richardson coefficients.

On symplectic leaves and integrable systems in standard complex semisimple Poisson-Lie groups

math.QA · 7 Mar 2002 · cited 61× · arXiv ↗ · more like this ·

We provide an explicit description of symplectic leaves of a simply connected connected semisimple complex Lie group equipped with the standard Poisson-Lie structure. This sharpens previously known descriptions of the symplectic leaves as connected components of certain varieties. Our main tool is the machinery of twisted generalized minors. They also allow us to present several quasi-commuting coordinate systems on every symplectic leaf. As a consequence, we construct new completely integrable systems on some special symplectic leaves.

Triangular bases in quantum cluster algebras

math.QA · June 2012 · cited 44× · arXiv ↗ · more like this ·

A lot of recent activity has been directed towards various constructions of "natural" bases in cluster algebras. We develop a new approach to this problem which is close in spirit to Lusztig's construction of a canonical basis, and the pioneering construction of the Kazhdan-Lusztig basis in a Hecke algebra. The key ingredient of our approach is a new version of Lusztig's Lemma that we apply to all acyclic quantum cluster algebras. As a result, we construct the "canonical" basis in every such algebra that we call the canonical triangular basis.

Connected components of real double Bruhat cells

math.AG · March 2000 · cited 42× · arXiv ↗ · more like this ·

Double Bruhat cells in a semisimple group are intersections of cells in two Bruhat decompositions corresponding to two opposite Borel subgroups. They form a geometric framework for the study of total positivity in semisimple groups; they are also closely related to symplectic leaves in the corresponding Poisson-Lie groups. The term "cells" might be misleading because their topology can be quite non-trivial. As a first step towards understanding this topology, we enumerate the connected components of real double Bruhat cells. This result extends (from the simply-laced case to the general one) and proves the conjecture made in a joint work with B.Shapiro-M.Shapiro-A.Vainshtein; it also extends earlier work by B.Shapiro-M.Shapiro-A.Vainshtein and K.Rietsch.

From Littlewood-Richardson coefficients to cluster algebras in three lectures