Resumo: O problema de estabelecer a injetividade global de difeomorfismos locais aparece de forma natural em diversas áreas da matemática, assim como em aplicações na economia, sistemas dinâmicos e engenharias em geral. Dentre os vários problemas em aberto neste sentido, se destaca a Conjectura Jacobiana que aparece como o 16º na lista dos 20 problemas matemáticos mais importantes para o século XXI, confeccionada por Smale. Devido à sua grande repercussão, esta conjectura têm sido atacada por meio de várias ferramentas das mais variadas áreas da matemática. Este projeto propõe, entre outros, possíveis estratégias para se atacar este problema, baseadas na teoria de folheações e em conceitos de topologia algébrica.