Canonical bases and Khovanov-Lauda algebras
We prove some recent conjectures of Khovanov-Lauda concerning the categorification of one-half of the quantum group associated with a simply laced Cartan datum.