The polynomial ring ℤ[x11, …, x33] has a basis called the dual canonical basis whose quantization facilitates the study of representations of the quantum group Uq(sl3(ℂ )). On the other hand, ℤ[x11, …, x33] inherits a basis from the cluster monomial basis of a geometric model of the type D4 cluster algebra. We prove that these two bases are equal. This extends work of Skandera and proves a conjecture of Fomin and Zelevinsky. This also provides an explicit factorization of the dual canonical basis elements of ℤ[x11, …, x33] into irreducible polynomials.
Résumé. L'anneau de polynômes ℤ[x11,…,x33] a une base appelée base duale canonique, et dont une quantification facilite l'étude des représentations du groupe quantique Uq(sl3(ℂ )). D'autre part, ℤ[x11,…,x33] admet une base issue de la base des monômes d'amas de l'algèbre amassée géométrique de type D4. Nous montrons que ces deux bases sont égales. Ceci prolonge les travaux de Skandera et démontre une conjecture de Fomin et Zelevinsky. Ceci fournit également une factorisation explicite en polynômes irréductibles des éléments de la base duale canonique de ℤ[x11,…,x33].