Kac–Moody groups and cluster algebras
Kac–Moody groups and cluster algebras
复制标题
DOI:
10.1016/j.aim.2011.05.011
复制
发表时间:
2010-01
影响因子:
1.7
通讯作者:
C. Geiss;B. Leclerc;J. Schroer
中科院分区:
文献类型:
--
作者:
C. Geiss;B. Leclerc;J. Schroer
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 Cwof mod(Λ) was introduced by Buan, Iyama, Reiten and Scott. It is known that Cwis a Frobenius category and that its stable category C̲wis a Calabi–Yau category of dimension two. We show that Cwyields a cluster algebra structure on the coordinate ring C[N(w)] of the unipotent group N(w):=N∩(w−1N−w). Here N is the pro-unipotent pro-group with Lie algebra the completion nˆ of n. One can identify C[N(w)] with a subalgebra of U(n)gr⁎, 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 C[N(w)] belong to S⁎, and that S⁎∩C[N(w)] is a C-basis of C[N(w)]. Moreover, we show that the cluster algebra obtained from C[N(w)] by formally inverting the generators of the coefficient ring is isomorphic to the algebra C[Nw] of regular functions on the unipotent cell Nwof the Kac–Moody group with Lie algebra g. We obtain a corresponding dual semicanonical basis of C[Nw]. As one application we obtain a basis for each acyclic cluster algebra, which contains all cluster monomials in a natural way.