  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.
