In this paper, we define the notion of graph trace kernels as a
generalization of trace kernels. We associate a microlocal Lefschetz class with
a graph trace kernel and prove that this class is functorial with respect to
the composition of kernels. We apply graph trace kernels to the microlocal
Lefschetz fixed point formula for constructible sheaves.Comment: 18 pages, revised, to appear in Publ. RIM