The question implicitly asked in Ben Webster's question is: Does the canonical basis of Uq(n+) agree with the basis coming from categorification via Khovanov-Lauda-Rouqier algebras …

Recall that for k a field, a finite dimensional k-algebra A is called symmetric if it is isomorphic to its dual as a bimodule of itself. Which is to say, there's a trace map t:A - …