Plusieurs travaux récents utilisent la théorie microlocale des faisceaux de Kashiwara et Schapira pour obtenir des résultats de géométrie symplectique. Le lien entre les faisceaux sur une variété $M$ et la géométrie symplectique de son cotangent $T^M$ est donné par le microsupport. Le microsupport d'un faisceau est un sous-ensemble conique co-isotrope de $T^M$.
Nous verrons deux situations où on sait associer un faisceau à une sous-variété lagrangienne conique $L$ d'un cotangent: le cas où $L$ est le graphe d'une isotopie hamiltonienne et celui où $L$ provient d'une sous-variété exacte compacte (dans ce cas le faisceau peut être vu comme une généralisation des fonctions génératrices) Nous verrons comment en déduire des conséquences géométriques.