Microlocal Lefschetz classes of graph trace kernels (Q252668)

Let \(X\) be a \(C^\infty\)-manifold and let \(\phi: X \rightarrow X\) be a morphism. The author defines a \(\phi\)-graph trace kernel slightly generalizing the corresponding construction on manifolds introduced by \textit{M. Kashiwara} and \textit{P. Schapira} [J. Inst. Math. Jussieu 13, No. 3, 487--516 (2014; Zbl 1327.14083)]. He then discusses some basic properties of the microlocal Lefschetz class in this setting. Indeed, his main result is the functoriality of microlocal Lefschetz classes with respect to the composition of graph trace kernels. As an application, the microlocal Lefschetz fixed point formula for constructible sheaves on a real analytic manifolds is obtained [\textit{Y. Matsui} and \textit{K. Takeuchi}, Int. Math. Res. Not. 2010, No. 5, 882--913 (2010; Zbl 1198.32003)].