Microlocal Euler classes and Hochschild homology
arXiv:1203.4869 · doi:10.1017/S1474748013000169
Abstract
We define the notion of a trace kernel on a manifold M. Roughly speaking, it is a sheaf on M x M for which the formalism of Hochschild homology applies. We associate a microlocal Euler class to such a kernel, a cohomology class with values in the relative dualizing complex of the cotangent bundle over M and we prove that this class is functorial with respect to the composition of kernels. This generalizes, unifies and simplifies various results of (relative) index theorems for constructible sheaves, D-modules and elliptic pairs.
The proof of Theorem 4.6 has been considerably simplified. To appear in the Journal of the Institute of Mathematics of Jussieu