• We prove a microlocal counterpart of categorical localization for Fukaya categories in the setting of the coherent-constructible 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 sheaf-theoretic method can also deal with clean and degenerate Lagrangian intersections.
  • We study the Lefschetz fixed point formula for constructible sheaves with higher-dimensional 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 higher-dimensional 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 Goresky-MacPherson 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.