# What are the relations among canonical basis, dual canonical basis, Semicanonical Basis, dual semicanonical bases?

I am reading the lecture notes and would like to know more about canonical basis.

What are the relations among canonical basis, dual canonical basis, Semicanonical Basis, dual semicanonical bases?

Thank you very much.

As usual we have a Lie group and Lie algebra $G$ and $\mathfrak{g}$ with maximal unipotent $N$ and $\mathfrak{n}$. The canonical basis $\mathcal{B}$ is a basis of $U(\mathcal{n}).$ The semicanonical basis $\mathcal{S}$ is another basis of $U(\mathfrak{n}).$ They are constructed in different ways and $\mathcal{B}$ comes from a $q \to 1$ specialization of a basis of $U_q(\mathfrak{n})$ while $\mathcal{S}$ does not come from a quantized version. The graded Hopf dual of $U(\mathfrak{n})$ is the coordinated ring $\mathbb{C}[N].$ The dual canonical basis $\mathcal{B}^*$ and dual semicanonical basis $\mathcal{S}^*$ are bases of $\mathbb{C}[N]$ obtained by this duality. These bases have many nice properties I will omit (but can be read about them in the link). The bases $\mathcal{B}^*$ and $\mathcal{S}^*$ are different in general (though they have elements in common). In fact we have the following theorem [GSL, Theorem 1.2] which states that $\mathcal{B}^*$ and $\mathcal{S}^*$ are the same only when $\mathfrak{g}$ is of type $A_n$ with $n < 5.$