Showing 1–50 of 56 results for author: Leclerc, B

Cluster structures on schemes of bands

Authors: Luca Francone, Bernard Leclerc

Abstract: We introduce new objects, called $(G,c)$-bands, associated with a simple simply-connected algebraic group $G$, and a Coxeter element $c$ in its Weyl group. We show that bands of a given type are the $K$-points of an infinite dimensional affine scheme, whose ring of regular functions has a cluster algebra structure. We also show that two important invariant sub-algebras of this ring are cluster sub… ▽ More We introduce new objects, called $(G,c)$-bands, associated with a simple simply-connected algebraic group $G$, and a Coxeter element $c$ in its Weyl group. We show that bands of a given type are the $K$-points of an infinite dimensional affine scheme, whose ring of regular functions has a cluster algebra structure. We also show that two important invariant sub-algebras of this ring are cluster sub-algebras. These three cluster structures have already appeared in different contexts related to the representation theories of quantum affine algebras, their Borel sub-algebras, and shifted quantum affine algebras. In this paper we show that they all belong to a common geometric setting. △ Less

Submitted 18 April, 2025; originally announced April 2025.

Comments: 66 pages, 11 figures

MSC Class: 13F60; 20G05; 17B37

Representations of shifted quantum affine algebras and cluster algebras I. The simply-laced case

Authors: Christof Geiss, David Hernandez, Bernard Leclerc

Abstract: We introduce a family of cluster algebras of infinite rank associated with root systems of type $A$, $D$, $E$. We show that suitable completions of these cluster algebras are isomorphic to the Grothendieck rings of the categories $\mathcal{O}_\mathbb{Z}$ of the corresponding shifted quantum affine algebras. The cluster variables of a class of distinguished initial seeds are certain formal power se… ▽ More We introduce a family of cluster algebras of infinite rank associated with root systems of type $A$, $D$, $E$. We show that suitable completions of these cluster algebras are isomorphic to the Grothendieck rings of the categories $\mathcal{O}_\mathbb{Z}$ of the corresponding shifted quantum affine algebras. The cluster variables of a class of distinguished initial seeds are certain formal power series defined by E. Frenkel and the second author, which satisfy a system of functional relations called $QQ$-system. We conjecture that all cluster monomials are classes of simple objects of $\mathcal{O}_\mathbb{Z}$. In the final section, we show that these cluster algebras contain infinitely many cluster subalgebras isomorphic to the coordinate ring of the open double Bruhat cell of the corresponding simple simply-connected algebraic group. This explains the similarity between $QQ$-system relations and certain generalized minor identities discovered by Fomin and Zelevinsky. △ Less

Submitted 22 July, 2024; v1 submitted 9 January, 2024; originally announced January 2024.

Comments: 68 pages, 20 figures. V2 : references added, improved exposition in Sections 10.3, 10.4. V3 : 70 pages. Minor corrections and improvements. Final version to appear in PLMS

MSC Class: 17B67; 13F60; 17B10; 17B37; 82B23

Journal ref: Proc. Lond. Math. Soc. (3) 129 (2024), no. 3, Paper No. e12630

Quantum affine algebras and cluster algebras

Authors: David Hernandez, Bernard Leclerc

Abstract: This article is an extended version of the minicourse given by the second author at the summer school of the conference "Interactions of quantum affine algebras with cluster algebras, current algebras and categorification", held in June 2018 in Washington. The aim of the minicourse, consisting of three lectures, was to present a number of results and conjectures on certain monoidal categories of f… ▽ More This article is an extended version of the minicourse given by the second author at the summer school of the conference "Interactions of quantum affine algebras with cluster algebras, current algebras and categorification", held in June 2018 in Washington. The aim of the minicourse, consisting of three lectures, was to present a number of results and conjectures on certain monoidal categories of finite-dimensional representations of quantum affine algebras, obtained by exploiting the fact that their Grothendieck rings have the natural structure of a cluster algebra. △ Less

Submitted 7 May, 2019; v1 submitted 4 February, 2019; originally announced February 2019.

Comments: v2: minor corrections. Will appear in the proceedings of the conference "Interactions of quantum affine algebras with cluster algebras, current algebras and categorification"

Rigid modules and Schur roots

Authors: Christof Geiß, Bernard Leclerc, Jan Schröer

Abstract: Let $C$ be a symmetrizable generalized Cartan matrix with symmetrizer $D$ and orientation $Ω$. In previous work we associated an algebra $H$ to this data, such that the locally free $H$-modules behave in many aspects like representations of a hereditary algebra $\tilde{H}$ of the corresponding type. We define a Noetherian algebra $\hat{H}$ over a power series ring, which provides a direct link bet… ▽ More Let $C$ be a symmetrizable generalized Cartan matrix with symmetrizer $D$ and orientation $Ω$. In previous work we associated an algebra $H$ to this data, such that the locally free $H$-modules behave in many aspects like representations of a hereditary algebra $\tilde{H}$ of the corresponding type. We define a Noetherian algebra $\hat{H}$ over a power series ring, which provides a direct link between the representation theory of $H$ and of $\tilde{H}$. We define and study a reduction and a localization functor relating the module categories of these three types of algebras. These are used to show that there are natural bijections between the sets of isoclasses of tilting modules over $H$, $\hat{H}$ and $\tilde{H}$. We show that the indecomposable rigid locally free modules over $H$ and $\hat{H}$ are parametrized, via their rank vector, by the real Schur roots associated to $(C,Ω)$. Moreover, the left finite bricks of $H$, in the sense of Asai, are parametrized, via their dimension vector, by the real Schur roots associated to the dual datum $(C^T,Ω)$. △ Less

Submitted 3 October, 2019; v1 submitted 23 December, 2018; originally announced December 2018.

Comments: 36 pages. v2: Small corrections and improvements after referee report. Final version, to appear in Math. Z

Journal ref: Math. Z. 295 (2020), no. 3-4, 1245-1277

Quantum cluster algebras and their specializations

Authors: Christof Geiß, Bernard Leclerc, Jan Schröer

Abstract: We show that in case a cluster algebra coincides with its upper cluster algebra and the cluster algebra admits a grading with finite dimensional homogeneous components, the corresponding Berenstein-Zelevinsky quantum cluster algebra can be viewed as a flat deformation of the classical cluster algebra. We show that in case a cluster algebra coincides with its upper cluster algebra and the cluster algebra admits a grading with finite dimensional homogeneous components, the corresponding Berenstein-Zelevinsky quantum cluster algebra can be viewed as a flat deformation of the classical cluster algebra. △ Less

Submitted 31 May, 2019; v1 submitted 25 July, 2018; originally announced July 2018.

Comments: 11 pages, v2: small corrections and improvements after referee report. Final version, to appear in J. Algebra

MSC Class: 13F60

Journal ref: J. Algebra 558 (2020), 411-422

Quivers with relations for symmetrizable Cartan matrices V. Caldero-Chapoton formula

Authors: Christof Geiß, Bernard Leclerc, Jan Schröer

Abstract: We generalize the Caldero-Chapoton formula for cluster algebras of finite type to the skew-symmetrizable case. This is done by replacing representation categories of Dynkin quivers by categories of locally free modules over certain Iwanaga-Gorenstein algebras introduced in Part I. The proof relies on the realization of the positive part of the enveloping algebra of a simple Lie algebra of the same… ▽ More We generalize the Caldero-Chapoton formula for cluster algebras of finite type to the skew-symmetrizable case. This is done by replacing representation categories of Dynkin quivers by categories of locally free modules over certain Iwanaga-Gorenstein algebras introduced in Part I. The proof relies on the realization of the positive part of the enveloping algebra of a simple Lie algebra of the same finite type as a convolution algebra of constructible functions on representation varieties of $H$, given in Part III. Along the way, we obtain a new result on the PBW basis of this convolution algebra. △ Less

Submitted 16 May, 2018; v1 submitted 21 April, 2017; originally announced April 2017.

Comments: 24 pages. V2: Exposition improved and a few typos fixed after referee report. Final version, to appear in Proc. London Math. Soc

MSC Class: 13F60; 16G20

Journal ref: Proc. Lond. Math. Soc. (3) 117 (2018), no. 1, 125-148

Quivers with relations for symmetrizable Cartan matrices IV: Crystal graphs and semicanonical functions

Authors: Christof Geiß, Bernard Leclerc, Jan Schröer

Abstract: We generalize Lusztig's nilpotent varieties, and Kashiwara and Saito's geometric construction of crystal graphs from the symmetric to the symmetrizable case. We also construct semicanonical functions in the convolution algebras of generalized preprojective algebras. Conjecturally these functions yield semicanonical bases of the enveloping algebras of the positive part of symmetrizable Kac-Moody al… ▽ More We generalize Lusztig's nilpotent varieties, and Kashiwara and Saito's geometric construction of crystal graphs from the symmetric to the symmetrizable case. We also construct semicanonical functions in the convolution algebras of generalized preprojective algebras. Conjecturally these functions yield semicanonical bases of the enveloping algebras of the positive part of symmetrizable Kac-Moody algebras. △ Less

Submitted 25 June, 2018; v1 submitted 24 February, 2017; originally announced February 2017.

Comments: 50 pages. Version 2: A few typos fixed. Final version published in Selecta Mathematica

Journal ref: Selecta Math. (N.S.) 24 (2018), no. 4, 3283-3348

Cluster algebras and category O for representations of Borel subalgebras of quantum affine algebras

Authors: David Hernandez, Bernard Leclerc

Abstract: Let $\mathcal{O}$ be the category of representations of the Borel subalgebra of a quantum affine algebra introduced by Jimbo and the first author. We show that the Grothendieck ring of a certain monoidal subcategory of $\mathcal{O}$ has the structure of a cluster algebra of infinite rank, with an initial seed consisting of prefundamental representations. In particular, the celebrated Baxter relati… ▽ More Let $\mathcal{O}$ be the category of representations of the Borel subalgebra of a quantum affine algebra introduced by Jimbo and the first author. We show that the Grothendieck ring of a certain monoidal subcategory of $\mathcal{O}$ has the structure of a cluster algebra of infinite rank, with an initial seed consisting of prefundamental representations. In particular, the celebrated Baxter relations for the 6-vertex model get interpreted as Fomin-Zelevinsky mutation relations. △ Less

Submitted 14 April, 2016; v1 submitted 16 March, 2016; originally announced March 2016.

Comments: 35 pages. v2 : Section 7.4 added

Journal ref: Algebra Number Theory 10 (2016) 2015-2052

Quivers with relations for symmetrizable Cartan matrices III: Convolution algebras

Authors: Christof Geiss, Bernard Leclerc, Jan Schröer

Abstract: We realize the enveloping algebra of the positive part of a semisimple complex Lie algebra as a convolution algebra of constructible functions on module varieties of some Iwanaga-Gorenstein algebras of dimension 1. We realize the enveloping algebra of the positive part of a semisimple complex Lie algebra as a convolution algebra of constructible functions on module varieties of some Iwanaga-Gorenstein algebras of dimension 1. △ Less

Submitted 21 October, 2016; v1 submitted 19 November, 2015; originally announced November 2015.

Comments: This article, together with "Quiver with relations for symmetrizable Cartan matrices II: Change of symmetrizers" (arXiv:1511.05898), replaces arXiv:1502.01565, which has been withdrawn; 37 pages. v2: acknowledgements added; v3: Final version, a few typos fixed and exposition improved, now 38 pages

MSC Class: 16G10; 16G20; 17B35; Secondary 16G70

Journal ref: Represent. Theory 20 (2016), 375-413

Quivers with relations for symmetrizable Cartan matrices II: Change of symmetrizers

Authors: Christof Geiss, Bernard Leclerc, Jan Schröer

Abstract: For $k \ge 1$ we consider the $K$-algebra $H(k) := H(C,kD,Ω)$ associated to a symmetrizable Cartan matrix $C$, a symmetrizer $D$, and an orientation $Ω$ of $C$, which was defined in Part 1. We construct and analyse a reduction functor from rep$(H(k))$ to rep$(H(k-1))$. As a consequence we show that the canonical decomposition of rank vectors for $H(k)$ does not depend on $k$, and that the rigid lo… ▽ More For $k \ge 1$ we consider the $K$-algebra $H(k) := H(C,kD,Ω)$ associated to a symmetrizable Cartan matrix $C$, a symmetrizer $D$, and an orientation $Ω$ of $C$, which was defined in Part 1. We construct and analyse a reduction functor from rep$(H(k))$ to rep$(H(k-1))$. As a consequence we show that the canonical decomposition of rank vectors for $H(k)$ does not depend on $k$, and that the rigid locally free $H(k)$-modules are up to isomorphism in bijection with the rigid locally free $H(k-1)$-modules. Finally, we show that for a rigid locally free $H(k)$-module of a given rank vector the Euler characteristic of the variety of flags of locally free submodules with fixed ranks of the subfactors does not depend on the choice of $k$. △ Less

Submitted 22 January, 2017; v1 submitted 18 November, 2015; originally announced November 2015.

Comments: 24 pages. This article, together with "Quiver with relations for symmetrizable Cartan matrices III: Convolution Algebras" (arXiv:1511.06216) replaces arXiv:1502.01565, which has been withdrawn. V3: acknowledgements added. V4: exposition improved and a few typos fixed after referee report, references updated. Final version, to appear in IMRN

Journal ref: Int. Math. Res. Not. IMRN 2018, no. 9, 2866-2898

Quivers with relations for symmetrizable Cartan matrices II : Convolution algebras

Authors: Christof Geiss, Bernard Leclerc, Jan Schröer

Abstract: We realize the enveloping algebra of the positive part of a symmetrizable Kac-Moody algebra as a convolution algebra of constructible functions on module varieties of some Iwanaga-Gorenstein algebras of dimension 1. We realize the enveloping algebra of the positive part of a symmetrizable Kac-Moody algebra as a convolution algebra of constructible functions on module varieties of some Iwanaga-Gorenstein algebras of dimension 1. △ Less

Submitted 15 May, 2015; v1 submitted 5 February, 2015; originally announced February 2015.

Comments: This article has been withdrawn. We found a mistake in Proposition 4.13 which invalidates our proof of Theorem 1.1. The statement of Theorem 1.1 remains as a conjecture

Quivers with relations for symmetrizable Cartan matrices I : Foundations

Authors: Christof Geiss, Bernard Leclerc, Jan Schröer

Abstract: We introduce and study a class of Iwanaga-Gorenstein algebras defined via quivers with relations associated with symmetrizable Cartan matrices. These algebras generalize the path algebras of quivers associated with symmetric Cartan matrices. We also define a corresponding class of generalized preprojective algebras. Without any assumption on the ground field, we obtain new representation-theoretic… ▽ More We introduce and study a class of Iwanaga-Gorenstein algebras defined via quivers with relations associated with symmetrizable Cartan matrices. These algebras generalize the path algebras of quivers associated with symmetric Cartan matrices. We also define a corresponding class of generalized preprojective algebras. Without any assumption on the ground field, we obtain new representation-theoretic realizations of all finite root systems. △ Less

Submitted 22 November, 2016; v1 submitted 6 October, 2014; originally announced October 2014.

Comments: 72 pages. v2 : We restructured some of the sections, improved the exposition, fixed a few typos, and added new references. Title has slightly changed v3 : A few typos fixed. Section 9.3 on APR-tilting has been rewritten. v4 : an acknowledgement added. v5 : Exposition improved after comments from a referee, references updated and a few typos corrected. Final version, to appear in Inventiones Math

Journal ref: Invent. Math. 209 (2017), 61-158

Cluster structures on strata of flag varieties

Authors: Bernard Leclerc

Abstract: We introduce some new Frobenius subcategories of the module category of a preprojective algebra of Dynkin type, and we show that they have a cluster structure in the sense of Buan-Iyama-Reiten-Scott. These categorical cluster structures yield cluster algebra structures in the coordinate rings of intersections of opposed Schubert cells. We introduce some new Frobenius subcategories of the module category of a preprojective algebra of Dynkin type, and we show that they have a cluster structure in the sense of Buan-Iyama-Reiten-Scott. These categorical cluster structures yield cluster algebra structures in the coordinate rings of intersections of opposed Schubert cells. △ Less

Submitted 5 January, 2015; v1 submitted 18 February, 2014; originally announced February 2014.

Comments: 31 pages, v.2 : a comment about the relation to Muller-Speyer conjecture on positroid varieties is added in 7.3. v.3. final version, to appear in Advances in Math

Between two moments

Authors: Alain Chenciner, Bernard Leclerc

Abstract: In this short note, we draw attention to a relation between two Horn polytopes which is proved in [Chenciner-Jiménez Pérez] as the result on the one side of a deep combinatorial result in [Fomin,Fulton, Li,Poon], on the other side of a simple computation involving complex structures. This suggested an inequality between Littlewood-Richardson coefficients which we prove using the symmetric characte… ▽ More In this short note, we draw attention to a relation between two Horn polytopes which is proved in [Chenciner-Jiménez Pérez] as the result on the one side of a deep combinatorial result in [Fomin,Fulton, Li,Poon], on the other side of a simple computation involving complex structures. This suggested an inequality between Littlewood-Richardson coefficients which we prove using the symmetric characterization of these coefficients given in [Carré,Leclerc]. △ Less

Submitted 3 January, 2014; originally announced January 2014.

Comments: 9 pages, 3 figures

MSC Class: 05E10 (Primary) 15A18 (Secondary)

A cluster algebra approach to q-characters of Kirillov-Reshetikhin modules

Authors: Bernard Leclerc, David Hernandez

Abstract: We describe a cluster algebra algorithm for calculating q-characters of Kirillov-Reshetikhin modules for any untwisted quantum affine algebra. This yields a geometric q-character formula for tensor products of Kirillov-Reshetikhin modules. In simply laced type this formula extends Nakajima's formula for q-characters of standard modules in terms of homology of graded quiver varieties. We describe a cluster algebra algorithm for calculating q-characters of Kirillov-Reshetikhin modules for any untwisted quantum affine algebra. This yields a geometric q-character formula for tensor products of Kirillov-Reshetikhin modules. In simply laced type this formula extends Nakajima's formula for q-characters of standard modules in terms of homology of graded quiver varieties. △ Less

Submitted 4 March, 2013; originally announced March 2013.

Comments: 45 pages

MSC Class: 17B37

Journal ref: J. Eur. Math. Soc. 18 (2016), 1113-1159

Cluster algebras in algebraic Lie theory

Authors: Christof Geiss, Bernard Leclerc, Jan Schröer

Abstract: We survey some recent constructions of cluster algebra structures on coordinate rings of unipotent subgroups and unipotent cells of Kac-Moody groups. We also review a quantized version of these results. We survey some recent constructions of cluster algebra structures on coordinate rings of unipotent subgroups and unipotent cells of Kac-Moody groups. We also review a quantized version of these results. △ Less

Submitted 28 August, 2012; originally announced August 2012.

Comments: Invited survey; to appear in Transformation Groups

Journal ref: Transformation Groups: Volume 18, Issue 1 (2013), Page 149-178

Nakajima varieties and repetitive algebras

Authors: Bernard Leclerc, Pierre-Guy Plamondon

Abstract: We realize certain graded Nakajima varieties of finite Dynkin type as orbit closures of repetitive algebras of Dynkin quivers. As an application, we obtain that the perverse sheaves introduced by Nakajima for describing irreducible characters of quantum loop algebras are isomorphic to the intersection cohomology sheaves of these orbit closures. We realize certain graded Nakajima varieties of finite Dynkin type as orbit closures of repetitive algebras of Dynkin quivers. As an application, we obtain that the perverse sheaves introduced by Nakajima for describing irreducible characters of quantum loop algebras are isomorphic to the intersection cohomology sheaves of these orbit closures. △ Less

Submitted 28 March, 2013; v1 submitted 19 August, 2012; originally announced August 2012.

Comments: 26 pages, v2 : Minor corrections. Final version to appear in PRIMS (Publications of the Research Institute for Mathematical Sciences, Kyoto)

Monoidal categorifications of cluster algebras of type A and D

Authors: David Hernandez, Bernard Leclerc

Abstract: In this note, we introduce monoidal subcategories of the tensor category of finite-dimensional representations of a simply-laced quantum affine algebra, parametrized by arbitrary Dynkin quivers. For linearly oriented quivers of types A and D, we show that these categories provide monoidal categorifications of cluster algebras of the same type. The proof is purely representation-theoretical, in the… ▽ More In this note, we introduce monoidal subcategories of the tensor category of finite-dimensional representations of a simply-laced quantum affine algebra, parametrized by arbitrary Dynkin quivers. For linearly oriented quivers of types A and D, we show that these categories provide monoidal categorifications of cluster algebras of the same type. The proof is purely representation-theoretical, in the spirit of [arXiv:0903.1452]. △ Less

Submitted 14 July, 2012; originally announced July 2012.

Comments: 15 pages ; to appear in the proceedings of the Conference Symmetries, Integrable systems and Representations

Journal ref: Symmetries, Integrable systems and Representations, Springer Proceedings in Mathematics and Statistics 40 (2013), 175--193

Factorial cluster algebras

Authors: Christof Geiß, Bernard Leclerc, Jan Schröer

Abstract: We show that cluster algebras do not contain non-trivial units and that all cluster variables are irreducible elements. Both statements follow from Fomin and Zelevinsky's Laurent phenomenon. As an application we give a criterion for a cluster algebra to be a factorial algebra. This can be used to construct cluster algebras, which are isomorphic to polynomial rings. We also study various kinds of u… ▽ More We show that cluster algebras do not contain non-trivial units and that all cluster variables are irreducible elements. Both statements follow from Fomin and Zelevinsky's Laurent phenomenon. As an application we give a criterion for a cluster algebra to be a factorial algebra. This can be used to construct cluster algebras, which are isomorphic to polynomial rings. We also study various kinds of upper bounds for cluster algebras, and we prove that factorial cluster algebras coincide with their upper bounds. △ Less

Submitted 28 December, 2012; v1 submitted 6 October, 2011; originally announced October 2011.

Comments: 24 pages. v2: Small improvements. Added more examples of non-factorial cluster algebras. v3: Fixed an inaccuracy in the proof of Theorem 1.4. Generalized Proposition 6.3. Some further small improvements. v3: small corrections and updates, final version to appear in Documenta Math

Journal ref: Documenta Math. 18 (2013), 249-274

Quantum Grothendieck rings and derived Hall algebras

Authors: David Hernandez, Bernard Leclerc

Abstract: We obtain a presentation of the t-deformed Grothendieck ring of a quantum loop algebra of Dynkin type A, D, E. Specializing t at the the square root of the cardinality of a finite field F, we obtain an isomorphism with the derived Hall algebra of the derived category of a quiver Q of the same Dynkin type. Along the way, we study for each choice of orientation Q a tensor subcategory whose t-deforme… ▽ More We obtain a presentation of the t-deformed Grothendieck ring of a quantum loop algebra of Dynkin type A, D, E. Specializing t at the the square root of the cardinality of a finite field F, we obtain an isomorphism with the derived Hall algebra of the derived category of a quiver Q of the same Dynkin type. Along the way, we study for each choice of orientation Q a tensor subcategory whose t-deformed Grothendieck ring is isomorphic to the positive part of a quantum enveloping algebra of the same Dynkin type, where the classes of simple objects correspond to Lusztig's dual canonical basis. △ Less

Submitted 2 March, 2013; v1 submitted 5 September, 2011; originally announced September 2011.

Comments: version 2: minor corrections; some examples added; section 9 on quiver varieties has been improved. version 3: minor corrections; final version to appear in Crelle

Journal ref: J. Reine Angew. Math. 701 (2015), 77--126

Cluster structures on quantum coordinate rings

Authors: C. Geiss, B. Leclerc, J. Schröer

Abstract: We show that the quantum coordinate ring of the unipotent subgroup N(w) of a symmetric Kac-Moody group G associated with a Weyl group element w has the structure of a quantum cluster algebra. This quantum cluster structure arises naturally from a subcategory C_w of the module category of the corresponding preprojective algebra. An important ingredient of the proof is a system of quantum determinan… ▽ More We show that the quantum coordinate ring of the unipotent subgroup N(w) of a symmetric Kac-Moody group G associated with a Weyl group element w has the structure of a quantum cluster algebra. This quantum cluster structure arises naturally from a subcategory C_w of the module category of the corresponding preprojective algebra. An important ingredient of the proof is a system of quantum determinantal identities which can be viewed as a q-analogue of a T-system. In case G is a simple algebraic group of type A, D, E, we deduce from these results that the quantum coordinate ring of an open cell of a partial flag variety attached to G also has a cluster structure. △ Less

Submitted 10 July, 2012; v1 submitted 4 April, 2011; originally announced April 2011.

Comments: v2: minor corrections. v3: references updated, final version to appear in Selecta Mathematica

Journal ref: Selecta Mathematica: Volume 19, Issue 2 (2013), 337-397

Quantum loop algebras, quiver varieties, and cluster algebras

Authors: Bernard Leclerc

Abstract: These notes reflect the contents of three lectures given at the workshop of the 14th International Conference on Representations of Algebras (ICRA XIV), held in August 2010 in Tokyo. We first provide an introduction to quantum loop algebras and their finite-dimensional representations. We explain in particular Nakajima's geometric description of the irreducible q-characters in terms of graded quiv… ▽ More These notes reflect the contents of three lectures given at the workshop of the 14th International Conference on Representations of Algebras (ICRA XIV), held in August 2010 in Tokyo. We first provide an introduction to quantum loop algebras and their finite-dimensional representations. We explain in particular Nakajima's geometric description of the irreducible q-characters in terms of graded quiver varieties. We then present a recent attempt to understand the tensor structure of the category of finite- dimensional representations by means of cluster algebras. △ Less

Submitted 5 February, 2011; originally announced February 2011.

Comments: To appear in the proceedings of ICRA XIV "Representations of Algebras and Related Topics", published by the European Mathematical Society

Cluster algebras and representation theory

Authors: Bernard Leclerc

Abstract: We apply the new theory of cluster algebras of Fomin and Zelevinsky to study some combinatorial problems arising in Lie theory. This is joint work with Geiss and Schröer (3, 4, 5, 6), and with Hernandez (8, 9). We apply the new theory of cluster algebras of Fomin and Zelevinsky to study some combinatorial problems arising in Lie theory. This is joint work with Geiss and Schröer (3, 4, 5, 6), and with Hernandez (8, 9). △ Less

Submitted 23 September, 2010; originally announced September 2010.

Journal ref: ICM 2010 Hyderabad, India (2010)

Generic bases for cluster algebras and the Chamber Ansatz

Authors: Christof Geiß, Bernard Leclerc, Jan Schröer

Abstract: Let Q be a finite quiver without oriented cycles, and let $Λ$ be the corresponding preprojective algebra. Let g be the Kac-Moody Lie algebra with Cartan datum given by Q, and let W be its Weyl group. With w in W is associated a unipotent cell N^w of the Kac-Moody group with Lie algebra g. In previous work we proved that the coordinate ring \C[N^w] of N^w is a cluster algebra in a natural way. A ce… ▽ More Let Q be a finite quiver without oriented cycles, and let $Λ$ be the corresponding preprojective algebra. Let g be the Kac-Moody Lie algebra with Cartan datum given by Q, and let W be its Weyl group. With w in W is associated a unipotent cell N^w of the Kac-Moody group with Lie algebra g. In previous work we proved that the coordinate ring \C[N^w] of N^w is a cluster algebra in a natural way. A central role is played by generating functions \vphi_X of Euler characteristics of certain varieties of partial composition series of X, where X runs through all modules in a Frobenius subcategory C_w of the category of nilpotent $Λ$-modules. We show that for every X in C_w, \vphi_X coincides after appropriate changes of variables with the cluster characters of Fu and Keller associated with any cluster-tilting module T of C_w. As an application, we get a new description of a generic basis of the cluster algebra obtained from \C[N^w] via specialization of coefficients to 1. For the special case of coefficient-free acyclic cluster algebras this proves a conjecture by Dupont. △ Less

Submitted 3 August, 2011; v1 submitted 16 April, 2010; originally announced April 2010.

Comments: 48 pages. Version 2: Minor improvements, and a few typos corrected. v3: New section 2 (reminder on cluster algebras), so subsequent sections renumbered; section 6 (was section 5) reorganized and extended; several small corrections; references updated. Final version, now 55 pages, to appear JAMS

Journal ref: J. Amer. Math. Soc. 25 (2012), 21-76

Kac-Moody groups and cluster algebras

Authors: Christof Geiss, Bernard Leclerc, Jan Schröer

Abstract: Let Q be a finite quiver without oriented cycles, let Λbe the associated preprojective algebra, let g be the associated Kac-Moody Lie algebra with Weyl group W, and let n be the positive part of g. For each Weyl group element w, a subcategory C_w of mod(Λ) was introduced by Buan, Iyama, Reiten and Scott. It is known that C_w is a Frobenius category and that its stable category is a Calabi-Yau cate… ▽ More Let Q be a finite quiver without oriented cycles, let Λbe the associated preprojective algebra, let g be the associated Kac-Moody Lie algebra with Weyl group W, and let n be the positive part of g. For each Weyl group element w, a subcategory C_w of mod(Λ) was introduced by Buan, Iyama, Reiten and Scott. It is known that C_w is a Frobenius category and that its stable category is a Calabi-Yau category of dimension two. We show that C_w yields a cluster algebra structure on the coordinate ring \CC[N(w)] of the unipotent group N(w) := N \cap (w^{-1}N_-w). Here N is the pro-unipotent pro-group with Lie algebra the completion of n. One can identify \CC[N(w)] with a subalgebra of the graded dual of the universal enveloping algebra U(n) of n. Let S^* be the dual of Lusztig's semicanonical basis S of U(n). We show that all cluster monomials of \CC[N(w)] belong to S^*, and that S^* \cap \CC[N(w)] is a basis of \CC[N(w)]. Moreover, we show that the cluster algebra obtained from \CC[N(w)] by formally inverting the generators of the coefficient ring is isomorphic to the algebra \CC[N^w] of regular functions on the unipotent cell N^w := N \cap (B_-wB_-) of the Kac-Moody group G with Lie algebra g. We obtain a corresponding dual semicanonical basis of \CC[N^w]. As one application we obtain a basis for each acyclic cluster algebra, which contains all cluster monomials in a natural way. △ Less

Submitted 6 July, 2011; v1 submitted 20 January, 2010; originally announced January 2010.

Comments: 85 pages. This paper removes the assumption of adaptability of a Weyl group element, which was needed in our preprint "Cluster algebra structures and semicanoncial bases for unipotent groups", arXiv:math/0703039. v2: We corrected several typos and reorganized some Sections. v3: New section 2.8, section 13.1 improved, several small corrections. To appear in Adv. Math

MSC Class: 14M99; 16G20; 17B35; 17B67; 20G05; 81R10

Journal ref: Advances Math. 228 (2011) no. 1, 329-433

Cluster algebras and quantum affine algebras

Authors: David Hernandez, Bernard Leclerc

Abstract: Let C be the category of finite-dimensional representations of a quantum affine algebra of simply-laced type. We introduce certain monoidal subcategories C_l (l integer) of C and we study their Grothendieck rings using cluster algebras. Let C be the category of finite-dimensional representations of a quantum affine algebra of simply-laced type. We introduce certain monoidal subcategories C_l (l integer) of C and we study their Grothendieck rings using cluster algebras. △ Less

Submitted 19 November, 2009; v1 submitted 8 March, 2009; originally announced March 2009.

Comments: 55 pages, accepted for publication in Duke Mathematical Journal

Journal ref: Duke Math. J. 154, no. 2 (2010), 265-341

Preprojective algebras and cluster algebras

Authors: Christof Geiss, Bernard Leclerc, Jan Schröer

Abstract: We use the representation theory of preprojective algebras to construct and study certain cluster algebras related to semisimple algebraic groups. We use the representation theory of preprojective algebras to construct and study certain cluster algebras related to semisimple algebraic groups. △ Less

Submitted 19 April, 2008; originally announced April 2008.

Comments: 31 pages, one figure. This is a survey of our recent work. It will appear in the proceedings of the ICRA 12 conference held in Torun in 2007

MSC Class: 16G20; 14M15

Journal ref: Trends in representation theory of algebras and related topics, 253--283, EMS Ser. Congr. Rep., Eur. Math. Soc., Zürich, 2008

Cluster algebra structures and semicanonical bases for unipotent groups

Authors: Christof Geiss, Bernard Leclerc, Jan Schröer

Abstract: Let Q be a finite quiver without oriented cycles, and let $Λ$ be the associated preprojective algebra. To each terminal representation M of Q (these are certain preinjective representations), we attach a natural subcategory $C_M$ of $mod(Λ)$. We show that $C_M$ is a Frobenius category,and that its stable category is a Calabi-Yau category of dimension 2. Then we develop a theory of mutations of max… ▽ More Let Q be a finite quiver without oriented cycles, and let $Λ$ be the associated preprojective algebra. To each terminal representation M of Q (these are certain preinjective representations), we attach a natural subcategory $C_M$ of $mod(Λ)$. We show that $C_M$ is a Frobenius category,and that its stable category is a Calabi-Yau category of dimension 2. Then we develop a theory of mutations of maximal rigid objects of $C_M$, analogous to the mutations of clusters in Fomin and Zelevinsky's theory of cluster algebras. We show that $C_M$ yields a categorification of a cluster algebra $A(C_M)$, which is not acyclic in general. We give a realization of $A(C_M)$ as a subalgebra of the graded dual of the enveloping algebra $U(\n)$, where $\n$ is a maximal nilpotent subalgebra of the symmetric Kac-Moody Lie algebra $\g$ associated to the quiver Q. Let $S^*$ be the dual of Lusztig's semicanonical basis $S$ of $U(\n)$. We show that all cluster monomials of $A(C_M)$ belong to $S^*$, and that $S^* \cap A(C_M)$ is a basis of $A(C_M)$. Next, we prove that $A(C_M)$ is naturally isomorphic to the coordinate ring of the finite-dimensional unipotent subgroup $N(w)$ of the Kac-Moody group $G$ attached to $\g$. Here w = w(M) is the adaptable element of the Weyl group of $\g$ which we associate to each terminal representation M of Q. Moreover, we show that the cluster algebra obtained from $A(C_M)$ by formally inverting the generators of the coefficient ring is isomorphic to the coordinate ring of the unipotent cell $N^w := N \cap (B_-wB_-)$ of G. We obtain a corresponding dual semicanonical basis of this coorindate ring. △ Less

Submitted 30 July, 2010; v1 submitted 1 March, 2007; originally announced March 2007.

Comments: Some minor typos corrected. Problem 23.1 of v2 is now solved (see Sections 22.8, 22.9), 121 pages. v4: typo in arxiv title corrected

MSC Class: 14M99; 16G20; 17B35; 17B67; 20G05; 81R10

Partial flag varieties and preprojective algebras

Authors: Christof Geiss, Bernard Leclerc, Jan Schröer

Abstract: Let L be a preprojective algebra of Dynkin type, and let G be the corresponding complex semisimple simply connected algebraic group. We study rigid modules in subcategories sub(Q) for Q an injective L-module, and we introduce a mutation operation between complete rigid modules in sub(Q). This yields cluster algebra structures on the coordinate rings of the partial flag varieties attached to G. Let L be a preprojective algebra of Dynkin type, and let G be the corresponding complex semisimple simply connected algebraic group. We study rigid modules in subcategories sub(Q) for Q an injective L-module, and we introduce a mutation operation between complete rigid modules in sub(Q). This yields cluster algebra structures on the coordinate rings of the partial flag varieties attached to G. △ Less

Submitted 8 August, 2007; v1 submitted 5 September, 2006; originally announced September 2006.

Comments: 42 pages, 12 figures, 4 tables. Version 3 : minor corrections and one reference added. Final version to appear in Annales de l'Institut Fourier

Journal ref: Ann. Inst. Fourier (Grenoble) 58 (2008), no. 3, 825--876

Semicanonical bases and preprojective algebras II: A multiplication formula

Authors: Christof Geiß, Bernard Leclerc, Jan Schröer

Abstract: Let $n$ be a maximal nilpotent subalgebra of a complex symmetric Kac-Moody Lie algebra. Lusztig has introduced a basis of U(n) called the semicanonical basis, whose elements can be seen as certain constructible functions on varieties of nilpotent modules over a preprojective algebra of the same type as $n$. We prove a formula for the product of two elements of the dual of this semicanonical basi… ▽ More Let $n$ be a maximal nilpotent subalgebra of a complex symmetric Kac-Moody Lie algebra. Lusztig has introduced a basis of U(n) called the semicanonical basis, whose elements can be seen as certain constructible functions on varieties of nilpotent modules over a preprojective algebra of the same type as $n$. We prove a formula for the product of two elements of the dual of this semicanonical basis, and more generally for the product of two evaluation forms associated to arbitrary modules over the preprojective algebra. This formula plays an important role in our work on the relationship between semicanonical bases, representation theory of preprojective algebras, and Fomin and Zelevinsky's theory of cluster algebras. It was inspired by recent results of Caldero and Keller. △ Less

Submitted 29 January, 2007; v1 submitted 21 September, 2005; originally announced September 2005.

Comments: 22 pages. Generalization of the multiplication formula from preprojective algebras of Dynkin type to arbitrary preprojective algebras

MSC Class: 14M99; 16G20; 17B35; 17B67; 20G05

Journal ref: Compos. Math. 143 (2007), no. 5, 1313--1334

Auslander algebras and initial seeds for cluster algebras

Authors: Christof Geiß, Bernard Leclerc, Jan Schröer

Abstract: Let $Q$ be a Dynkin quiver and $Π$ the corresponding set of positive roots. For the preprojective algebra $Λ$ associated to $Q$ we produce a rigid $Λ$-module $I_Q$ with $r=|Π|$ pairwise non-isomorphic indecomposable direct summands by pushing the injective modules of the Auslander algebra of $kQ$ to $Λ$. If $N$ is a maximal unipotent subgroup of a complex simply connected simple Lie group of t… ▽ More Let $Q$ be a Dynkin quiver and $Π$ the corresponding set of positive roots. For the preprojective algebra $Λ$ associated to $Q$ we produce a rigid $Λ$-module $I_Q$ with $r=|Π|$ pairwise non-isomorphic indecomposable direct summands by pushing the injective modules of the Auslander algebra of $kQ$ to $Λ$. If $N$ is a maximal unipotent subgroup of a complex simply connected simple Lie group of type $|Q|$, then the coordinate ring $C[N]$ is an upper cluster algebra. We show that the elements of the dual semicanonical basis which correspond to the indecomposable direct summands of $I_Q$ coincide with certain generalized minors which form an initial cluster for $C[N]$, and that the corresponding exchange matrix of this cluster can be read from the Gabriel quiver of $End_Λ(I_Q)$. Finally, we exploit the fact that the categories of injective modules over $Λ$ and over its covering $\tildeΛ$ are triangulated in order to show several interesting identities in the respective stable module categories. △ Less

Submitted 14 August, 2006; v1 submitted 20 June, 2005; originally announced June 2005.

Comments: 23 pages, Version 2: Reference [7] corrected+updated

MSC Class: 16G70; 17B37; 20G42

Journal ref: J. Lond. Math. Soc. (2) 75 (2007), no. 3, 718--740

Rigid modules over preprojective algebras

Authors: Christof Geiß, Bernard Leclerc, Jan Schröer

Abstract: Let $\la$ be a preprojective algebra of simply laced Dynkin type $Δ$. We study maximal rigid $\la$-modules, their endomorphism algebras and a mutation operation on these modules. This leads to a representation-theoretic construction of the cluster algebra structure on the ring $\C[N]$ of polynomial functions on a maximal unipotent subgroup $N$ of a complex Lie group of type $Δ$. As an applicatio… ▽ More Let $\la$ be a preprojective algebra of simply laced Dynkin type $Δ$. We study maximal rigid $\la$-modules, their endomorphism algebras and a mutation operation on these modules. This leads to a representation-theoretic construction of the cluster algebra structure on the ring $\C[N]$ of polynomial functions on a maximal unipotent subgroup $N$ of a complex Lie group of type $Δ$. As an application we obtain that all cluster monomials of $\C[N]$ belong to the dual semicanonical basis. △ Less

Submitted 14 February, 2006; v1 submitted 16 March, 2005; originally announced March 2005.

Comments: 34 pages. Final Version.To appear in Invent. Math. Minor changes

Journal ref: Invent. Math. 165 (2006), no. 3, 589--632

Verma modules and preprojective algebras

Authors: Christof Geiss, Bernard Leclerc, Jan Schröer

Abstract: We give a geometric construction of the Verma modules of a symmetric Kac-Moody Lie algebra in terms of constructible functions on the varieties of nilpotent finite-dimensional modules of the corresponding preprojective algebra. We give a geometric construction of the Verma modules of a symmetric Kac-Moody Lie algebra in terms of constructible functions on the varieties of nilpotent finite-dimensional modules of the corresponding preprojective algebra. △ Less

Submitted 30 July, 2005; v1 submitted 5 November, 2004; originally announced November 2004.

Comments: Minor changes. Final version. To appear in Nagoya Math. Journal

MSC Class: AMS 14M99; 16G20; 17B67

Journal ref: Nagoya Math. J. 182 (2006), 241--258

Semicanonical bases and preprojective algebras

Authors: Christof Geiss, Bernard Leclerc, Jan Schröer

Abstract: We study the multiplicative properties of the dual of Lusztig's semicanonical basis.The elements of this basis are naturally indexed by theirreducible components of Lusztig's nilpotent varieties, whichcan be interpreted as varieties of modules over preprojective algebras.We prove that the product of two dual semicanonical basis vectorsis again a dual semicanonical basis vector provided the closu… ▽ More We study the multiplicative properties of the dual of Lusztig's semicanonical basis.The elements of this basis are naturally indexed by theirreducible components of Lusztig's nilpotent varieties, whichcan be interpreted as varieties of modules over preprojective algebras.We prove that the product of two dual semicanonical basis vectorsis again a dual semicanonical basis vector provided the closure ofthe direct sum of thecorresponding two irreducible components is again an irreducible component.It follows that the semicanonical basis and the canonical basiscoincide if and only if we are in Dynkin type $A_n$ with $n \leq 4$.Finally, we provide a detailed study of the varieties of modules over the preprojectivealgebra of type $A_5$.We show that in this case the multiplicative properties ofthe dual semicanonical basis are controlled by the Ringel form of a certain tubular algebra of type (6,3,2) and by thecorresponding elliptic root system of type $E_8^{(1,1)}$. △ Less

Submitted 11 January, 2005; v1 submitted 27 February, 2004; originally announced February 2004.

Comments: Minor corrections. Final version to appear in Annales Scientifiques de l'ENS

MSC Class: 14M99; 16D70; 16E20; 16G20; 16G70; 17B37; 20G42

Journal ref: Ann. Sci. École Norm. Sup. (4) 38 (2005), no. 2, 193--253

A Littlewood-Richardson rule for evaluation representations of quantum affine sl(n)

Authors: Bernard Leclerc

Abstract: We give a combinatorial description of the composition factors of the induction product of two evaluation modules of the affine Iwahori-Hecke algebra of type GL(m). Using quantum affine Schur-Weyl duality, this yields a combinatorial description of the composition factors of the tensor product of two evaluation modules of the quantum affine algebra of type sl(n). We give a combinatorial description of the composition factors of the induction product of two evaluation modules of the affine Iwahori-Hecke algebra of type GL(m). Using quantum affine Schur-Weyl duality, this yields a combinatorial description of the composition factors of the tensor product of two evaluation modules of the quantum affine algebra of type sl(n). △ Less

Submitted 8 January, 2004; originally announced January 2004.

MSC Class: 17B 20C 05E

Constructible characters and canonical bases

Authors: Bernard Leclerc, Hyohe Miyachi

Abstract: We give closed formulas for all vectors of the canonical basis of a level 2 irreducible integrable representation of $U_v(sl_\infty)$. These formulas coincide at v=1 with Lusztig's formulas for the constructible characters of the Iwahori-Hecke algebras of type B and D. We give closed formulas for all vectors of the canonical basis of a level 2 irreducible integrable representation of $U_v(sl_\infty)$. These formulas coincide at v=1 with Lusztig's formulas for the constructible characters of the Iwahori-Hecke algebras of type B and D. △ Less

Submitted 31 March, 2003; originally announced March 2003.

Comments: 16 pages

MSC Class: 17B; 20C

Dual canonical bases, quantum shuffles and q-characters

Authors: Bernard Leclerc

Abstract: Rosso and Green have shown how to embed the positive part $U_q(n)$ of a quantum enveloping algebra $U_q(g)$ in a quantum shuffle algebra. In this paper we study some properties of the image of the dual canonical basis $B^*$ of $U_q(n)$ under this embedding $Φ$. This is motivated by the fact that when $g$ is of type $A_r$, the elements of $Φ(B^*)$ are $q$-analogues of irreducible characters of th… ▽ More Rosso and Green have shown how to embed the positive part $U_q(n)$ of a quantum enveloping algebra $U_q(g)$ in a quantum shuffle algebra. In this paper we study some properties of the image of the dual canonical basis $B^*$ of $U_q(n)$ under this embedding $Φ$. This is motivated by the fact that when $g$ is of type $A_r$, the elements of $Φ(B^*)$ are $q$-analogues of irreducible characters of the affine Iwahori-Hecke algebras attached to the groups $GL(m)$ over a $p$-adic field. △ Less

Submitted 17 June, 2003; v1 submitted 11 September, 2002; originally announced September 2002.

Comments: 36 pages, final version, to appear in Math. Zeitschrift

MSC Class: 17B37; 20G42; 20C08

Imaginary vectors in the dual canonical basis of $U_q(n)$

Authors: Bernard Leclerc

Abstract: Let $n$ be the maximal nilpotent subalgebra of a simple complex Lie algebra $g$. We introduce the notion of imaginary vector in the dual canonical basis of $U_q(n)$, and we give examples of such vectors for types $A_n (n\ge 5)$, $B_n (n\ge 3)$, $C_n (n\ge 3)$, $D_n (n\ge 4)$, and all exceptional types. This disproves a conjecture of Berenstein and Zelevinsky about $q$-commuting products of vecto… ▽ More Let $n$ be the maximal nilpotent subalgebra of a simple complex Lie algebra $g$. We introduce the notion of imaginary vector in the dual canonical basis of $U_q(n)$, and we give examples of such vectors for types $A_n (n\ge 5)$, $B_n (n\ge 3)$, $C_n (n\ge 3)$, $D_n (n\ge 4)$, and all exceptional types. This disproves a conjecture of Berenstein and Zelevinsky about $q$-commuting products of vectors of the dual canonical basis. It also shows the existence of finite-dimensional irreducible representations of quantum affine algebras whose tensor square is not irreducible. △ Less

Submitted 11 September, 2002; v1 submitted 15 February, 2002; originally announced February 2002.

Comments: 11 pages, 5 figures

MSC Class: 17B 20C

Some closed formulas for canonical bases of Fock spaces

Authors: Bernard Leclerc, Hyohe Miyachi

Abstract: We give some closed formulas for certain vectors of the canonical bases of the Fock space representation of U_v(sl^_n). As a result, a combinatorial description of certain parabolic Kazhdan-Lusztig polynomials for affine type A is obtained. We give some closed formulas for certain vectors of the canonical bases of the Fock space representation of U_v(sl^_n). As a result, a combinatorial description of certain parabolic Kazhdan-Lusztig polynomials for affine type A is obtained. △ Less

Submitted 11 May, 2001; v1 submitted 10 April, 2001; originally announced April 2001.

Comments: 22 pages

MSC Class: 17B;05E;20C

Induced representations of affine Hecke algebras and canonical bases of quantum groups

Authors: Bernard Leclerc, Maxim Nazarov, Jean-Yves Thibon

Abstract: A criterion of irreducibility for induction products of evaluation modules of type A affine Hecke algebras is given. It is derived from multiplicative properties of the canonical basis of a quantum deformation of the Bernstein-Zelevinsky ring. A criterion of irreducibility for induction products of evaluation modules of type A affine Hecke algebras is given. It is derived from multiplicative properties of the canonical basis of a quantum deformation of the Bernstein-Zelevinsky ring. △ Less

Submitted 31 March, 2003; v1 submitted 13 November, 2000; originally announced November 2000.

Comments: 33 pages, 2 figures, final version

MSC Class: MSC 17B 20C 05E

Journal ref: Studies in Memory of Issai Schur, Progress in Mathematics 210, 115-153, Birkhauser 2003

Induced representations of affine Hecke algebras and singularities of R-matrices

Authors: Bernard Leclerc, Jean-Yves Thibon

Abstract: We give an explicit criterion for the irreducibility of some induction products of evaluation modules of affine Hecke algebras of type A. This allows to describe the form of the singularities of the trigonometric R-matrix associated to any evaluation module of U_v(sl^_N). We give an explicit criterion for the irreducibility of some induction products of evaluation modules of affine Hecke algebras of type A. This allows to describe the form of the singularities of the trigonometric R-matrix associated to any evaluation module of U_v(sl^_N). △ Less

Submitted 18 March, 1999; originally announced March 1999.

Comments: 6 pages, text in french with abridged english version

MSC Class: 17B; 20C

Decomposition numbers and canonical bases

Authors: Bernard Leclerc

Abstract: We obtain some simple relations between decomposition numbers of quantized Schur algebras at an n-th root of unity (over a field of characteristic 0). These relations imply that every decomposition number for such an algebra occurs as a decomposition number for some Hecke algebra of type A. We prove similar relations between coefficients of the canonical basis of the q-deformed Fock space previo… ▽ More We obtain some simple relations between decomposition numbers of quantized Schur algebras at an n-th root of unity (over a field of characteristic 0). These relations imply that every decomposition number for such an algebra occurs as a decomposition number for some Hecke algebra of type A. We prove similar relations between coefficients of the canonical basis of the q-deformed Fock space previously introduced in a joint work with Thibon. It follows that these coefficients can all be expressed in terms of those of the global crystal basis of the irreducible sub-representation generated by the vacuum vector. As a consequence, using works of Ariki and Varagnolo-Vasserot, it is possible to give a new proof of Lusztig's character formula for the simple U_v(sl_r)-modules at roots of unity, which does not involve representations of sl^_r of negative level. △ Less

Submitted 1 February, 1999; originally announced February 1999.

Comments: 10 pages

MSC Class: MSC 17B 20C

Ribbon tableaux and q-analogues of fusion rules in WZW conformal field theories

Authors: O. Foda, B. Leclerc, M. Okado, J. -Y. Thibon

Abstract: Starting from known $q$-analogues of ordinary SU(n) tensor products multiplicities, we introduce $q$-analogues of the fusion coefficients of the WZW conformal field theories associated with SU(n). We conjecture combinatorial interpretations of these polynomials, which can be proved in special cases. This allows us to derive in a simple way various kinds of branching functions, the simplest ones… ▽ More Starting from known $q$-analogues of ordinary SU(n) tensor products multiplicities, we introduce $q$-analogues of the fusion coefficients of the WZW conformal field theories associated with SU(n). We conjecture combinatorial interpretations of these polynomials, which can be proved in special cases. This allows us to derive in a simple way various kinds of branching functions, the simplest ones being the characters of the minimal unitary series of the Virasoro algebra. We also obtain $q$-analogues of the dimensions of spaces of nonabelian theta functions. △ Less

Submitted 2 October, 1998; originally announced October 1998.

Comments: 12 pages, Latex, epsf and iop macros. Extended abstract of a talk presented by J.-Y. T. at the conference "Symmetry and Structural Properties of Condensed Matter" (Zajackowo, August 27-September 2, 1998)

Littlewood-Richardson coefficients and Kazhdan-Lusztig polynomials

Authors: Bernard Leclerc, Jean-Yves Thibon

Abstract: We show that the Littlewood-Richardson coefficients are values at 1 of certain parabolic Kazhdan-Lusztig polynomials for affine symmetric groups. These q-analogues of Littlewood-Richardson multiplicities coincide with those previously introduced in terms of ribbon tableaux. We show that the Littlewood-Richardson coefficients are values at 1 of certain parabolic Kazhdan-Lusztig polynomials for affine symmetric groups. These q-analogues of Littlewood-Richardson multiplicities coincide with those previously introduced in terms of ribbon tableaux. △ Less

Submitted 1 February, 1999; v1 submitted 22 September, 1998; originally announced September 1998.

Comments: 51 pages, 10 Figures, Minor corrections and typos, and some new comments concerning Soergel's character formula for tilting modules

MSC Class: 17B;20C;05E

Zelevinsky's involution at roots of unity

Authors: B. Leclerc, J. -Y. Thibon, E. Vasserot

Abstract: We give a combinatorial algorithm for computing Zelevinsky's involution of the set of isomorphism classes of irreducible representations of the affine Hecke algebra $\H_m(t)$ when $t$ is a primitive $n$th root of 1. We show that the same map can also be interpreted in terms of aperiodic nilpotent orbits of $\Zb/n\Zb$-graded vector spaces. We give a combinatorial algorithm for computing Zelevinsky's involution of the set of isomorphism classes of irreducible representations of the affine Hecke algebra $\H_m(t)$ when $t$ is a primitive $n$th root of 1. We show that the same map can also be interpreted in terms of aperiodic nilpotent orbits of $\Zb/n\Zb$-graded vector spaces. △ Less

Submitted 11 June, 1998; originally announced June 1998.

Comments: 17 pages, Latex, epsf macros

Branching functions of $A_{n-1}^{(1)}$ and Jantzen-Seitz problem for Ariki-Koike algebras

Authors: O. Foda, B. Leclerc, M. Okado, J. -Y. Thibon, T. A. Welsh

Abstract: We study the restrictions of simple modules of Ariki-Koike algebras $\H_m(\v)$ with set of parameters $\v= (ζ;ζ^{v_0},... ,ζ^{v_{l-1}})$, where $ζ$ is an $n$th root of unity, to their subalgebras $\H_{m-j}(\v)$. Using a theorem of Ariki and the crystal basis theory of Kashiwara, we relate this problem to the calculation of tensor product multiplicities of highest weight irreducible representatio… ▽ More We study the restrictions of simple modules of Ariki-Koike algebras $\H_m(\v)$ with set of parameters $\v= (ζ;ζ^{v_0},... ,ζ^{v_{l-1}})$, where $ζ$ is an $n$th root of unity, to their subalgebras $\H_{m-j}(\v)$. Using a theorem of Ariki and the crystal basis theory of Kashiwara, we relate this problem to the calculation of tensor product multiplicities of highest weight irreducible representations of the affine Lie algebra $A_{n-1}^{(1)}$. These multiplicities have a combinatorial description in terms of higher level paths or highest-lift multipartitions. This enables us to solve the Jantzen-Seitz problem for Ariki-Koike algebras, that is, to determine which irreducible representations of $\H_m(\v)$ restrict to irreducible representations of $\H_{m-1}(\v)$. From a combinatorial point of view, this problem is identical to that of computing the tensor product of an $A_{n-1}^{(1)}$-module of level $l$ and one of level 1. We also consider natural generalisations of the Jantzen-Seitz problem corresponding to the product of a level $l$ module by a level $l'>1$ module, and from the commutativity of tensor products, we deduce a remarkable symmetry between the generalised Jantzen-Seitz conditions and the sets of parameters of the Ariki-Koike algebras. △ Less

Submitted 3 October, 1997; originally announced October 1997.

Comments: 35 pages, Latex, epsf macros

q-Deformed Fock spaces and modular representations of spin symmetric groups

Authors: B. Leclerc, J. -Y. Thibon

Abstract: We use the Fock space representation of the quantum affine algebra of type $A^{(2)}_{2n}$ to obtain a description of the global crystal basis of its basic level 1 module. We formulate a conjecture relating this basis to decomposition matrices of spin symmetric groups in characteristic $2n+1$. We use the Fock space representation of the quantum affine algebra of type $A^{(2)}_{2n}$ to obtain a description of the global crystal basis of its basic level 1 module. We formulate a conjecture relating this basis to decomposition matrices of spin symmetric groups in characteristic $2n+1$. △ Less

Submitted 10 July, 1997; v1 submitted 31 January, 1997; originally announced February 1997.

Comments: 18 pages, Latex, epsf and iop macros (ioplppt.sty). Revised version, to appear in J. Phys. A. Some typos corrected, and some comments added in the introduction

Combinatorics of solvable lattice models, and modular representations of Hecke algebras

Authors: Omar Foda, Bernard Leclerc, Masato Okado, Jean-Yves Thibon, Trevor A. Welsh

Abstract: We review and motivate recently-observed relationships between exactly solvable lattice models and modular representations of Hecke algebras. Firstly, we describe how the set of $n$-regular partitions label both of the following classes of objects: 1. The spectrum of unrestricted solid-on-solid lattice models based on level-1 representations of the affine algebras $\sl_n$, 2. The irreducible… ▽ More We review and motivate recently-observed relationships between exactly solvable lattice models and modular representations of Hecke algebras. Firstly, we describe how the set of $n$-regular partitions label both of the following classes of objects: 1. The spectrum of unrestricted solid-on-solid lattice models based on level-1 representations of the affine algebras $\sl_n$, 2. The irreducible representations of type-A Hecke algebras at roots of unity: $H_m(\sqrt[n]{1})$. Secondly, we show that a certain subset of the $n$-regular partitions label both of the following classes of objects: 1. The spectrum of restricted solid-on-solid lattice models based on cosets of affine algebras $(sl(n)^_1 \times sl(n)^_1)/ sl(n)^_2$. 2. Jantzen-Seitz (JS) representations of $H_m(\sqrt[n]{1})$: irreducible representations that remain irreducible under restriction to $H_{m-1}(\sqrt[n]{1})$. Using the above relationships, we characterise the JS representations of $H_m(\sqrt[n]{1})$ and show that the generating series that count them are branching functions of affine $\sl_n$. △ Less

Submitted 18 January, 1997; originally announced January 1997.

Comments: LaTeX, 54 pages, including eepic and eps figures

RSOS models and Jantzen-Seitz representations of Hecke algebras at roots of unity

Authors: Omar Foda, Bernard Leclerc, Masato Okado, Jean-Yves Thibon, Trevor A. Welsh

Abstract: A special family of partitions occurs in two apparently unrelated contexts: the evaluation of 1-dimensional configuration sums of certain RSOS models, and the modular representation theory of symmetric groups or their Hecke algebras $H_m$. We provide an explanation of this coincidence by showing how the irreducible $H_m$-modules which remain irreducible under restriction to $H_{m-1}$ (Jantzen-Se… ▽ More A special family of partitions occurs in two apparently unrelated contexts: the evaluation of 1-dimensional configuration sums of certain RSOS models, and the modular representation theory of symmetric groups or their Hecke algebras $H_m$. We provide an explanation of this coincidence by showing how the irreducible $H_m$-modules which remain irreducible under restriction to $H_{m-1}$ (Jantzen-Seitz modules) can be determined from the decomposition of a tensor product of representations of affine $\sl_n$. △ Less

Submitted 18 January, 1997; originally announced January 1997.

Comments: LaTeX, 10 pages, including 1 figure in postscript

Flag varieties and the Yang-Baxter equation

Authors: Alain Lascoux, Bernard Leclerc, Jean-Yves Thibon

Abstract: We investigate certain bases of Hecke algebras defined by means of the Yang-Baxter equation, which we call Yang-Baxter bases. These bases are essentially self-adjoint with respect to a canonical bilinear form. In the case of the degenerate Hecke algebra, we identify the coefficients in the expansion of the Yang-Baxter basis on the usual basis of the algebra with specializations of double Schuber… ▽ More We investigate certain bases of Hecke algebras defined by means of the Yang-Baxter equation, which we call Yang-Baxter bases. These bases are essentially self-adjoint with respect to a canonical bilinear form. In the case of the degenerate Hecke algebra, we identify the coefficients in the expansion of the Yang-Baxter basis on the usual basis of the algebra with specializations of double Schubert polynomials. We also describe the expansions associated to other specializations of the generic Hecke algebra. △ Less

Submitted 14 July, 1996; originally announced July 1996.

Comments: 14 pages, latex. To appear in Lett. Math. Phys