
We prove a microlocal counterpart of categorical localization for Fukaya
categories in the setting of the coherentconstructible correspondence.

We show that the cardinality of the transverse intersection of two compact
exact Lagrangian submanifolds in a cotangent bundle is bounded from below by
the dimension of the Hom space of sheaf quantizations of the Lagrangians in
Tamarkin's category. Our sheaftheoretic method can also deal with clean and
degenerate Lagrangian intersections.

We study the Lefschetz fixed point formula for constructible sheaves with
higherdimensional fixed point sets. We give another proof to the explicit
description of Lefschetz cycles in our previous paper. For this purpose, we
introduce a new notion of shrinking subbundles and describe Lefschetz cycles by
using hyperbolic localization with respect to shrinking subbundles.

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.

We study Lefschetz fixed point formulas for constructible sheaves with
higherdimensional fixed point sets. Under fairly weak assumptions, we prove
that the local contributions from them are expressed by some constructible
functions associated to hyperbolic localizations. This gives an affirmative
answer to a conjecture of GoreskyMacPherson in particular for smooth fixed
point components. In the course of the proof, the new Lagrangian cycles
introduced in our previous paper will be effectively used. Moreover we show
various examples for which local contributions can be explicitly determined by
our method.