Microlocal study of Lefschetz fixed point formulas for higher-dimensional fixed point sets

We introduce new Lagrangian cycles which encode local contributions of Lefschetz numbers of constructible sheaves into geometric objects. We study their functorial properties and apply them to Lefschetz fixed point formulas with higher-dimensional fixed point sets.