A diagrammatic approach to categorification of quantum groups I

Abstract

To each graph without loops and multiple edges we assign a family of rings. Categories of projective modules over these rings categorify U q − ( g ) U^-_q(\mathfrak {g}) , where g \mathfrak {g} is the Kac-Moody Lie algebra associated with the graph.