• Categorical localization for the coherent-constructible correspondence(1609.01177)

Feb. 12, 2019 math.AG, math.SG
We prove a microlocal counterpart of categorical localization for Fukaya categories in the setting of the coherent-constructible correspondence.
• Compact exact Lagrangian intersections in cotangent bundles via sheaf quantization(1701.02057)

Oct. 27, 2019 math.GT, math.SG
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.
• Hyperbolic localization via shrinking subbundles(1602.04651)

May 5, 2017 math.AG
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.
• Microlocal Lefschetz classes of graph trace kernels(1504.05439)

Feb. 15, 2016 math.AG
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.
• Hyperbolic localization and Lefschetz fixed point formulas for higher-dimensional fixed point sets(1504.04185)

May 25, 2015 math.AG
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.