Semicanonical bases and preprojective algebras II: A multiplication formula

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

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

Cited by in corpus (15)

• Cluster structures for 2-Calabi-Yau categories and unipotent groups
• Kac-Moody groups and cluster algebras
• Acyclic Calabi-Yau categories
• Cluster structures on quantum coordinate rings
• Quantum Unipotent Subgroup and dual canonical basis
• A categorification of Grassmannian cluster algebras
• Categorification of skew-symmetrizable cluster algebras
• Cluster characters for triangulated 2-Calabi--Yau categories
• Cluster characters II: A multiplication formula
• Cluster algebras in algebraic Lie theory
• A quantum analogue of generic bases for affine cluster algebras
• Twist automorphisms on quantum unipotent cells and dual canonical bases
• Quotient closed subcategories of quiver representations
• Deformed Cartan matrices and generalized preprojective algebras I: Finite type
• Cluster algebras and preprojective algebras : the non simply-laced case