El Atlas de Grupos y Representaciones de Lie es un proyecto matemático para resolver el problema del dual unitario para grupos de Lie reductivos reales .