scientific article; zbMATH DE number 1321953
Let \(\mathcal M\) be a holonomic \(\mathcal D_X\) module on a complex manifold \(X.\) Then the characteristic variety of \(\mathcal M\) is contained in \(\bigcup_\alpha T_{X_\alpha}^* X\) for a certain stratification of \(X.\) Here \(T_{X_\alpha}^* X\) is the cotangent bundle of \(X_\alpha\) in \(X.\) The characteristic cycle of \(\mathcal M\) is defined to be \(Ch\mathcal M=\sum m_\alpha(\mathcal M)\overline{T_{X_\alpha}^* X},\) where \(m_\alpha(\mathcal M)\) is the multiplicity of \(\mathcal M\) along \(T_{X_\alpha^* X}.\) In the sequel it is simply written \(T_{{\bar X}_\alpha^*}X\) for \(\overline{T_{X_\alpha}^* X}.\) Let \(\varphi: \widetilde X\to Y\) be a projective map of complex manifolds and \(\varGamma_\varphi\) a submanifold of \(\widetilde X\times Y\) which is the graph of \(\varphi.\) Denote by \(\nu_{\widetilde X},\nu_Y\) the projections of the cotangent bundle \(T^*(\widetilde X\times Y) = T^*\widetilde X\times T^* Y\) to its factors. Let \(\mathcal M\) be a holonomic \(\mathcal D_X\) module with a global good filtration. Then in \textit{V.~Ginsburg} [Invent. Math. 84, 327-402 (1986; Zbl 0598.32013)] the following formula is announced: \[ \sum(-1)^iCh\left(\int_\varphi^i\mathcal M\right)= (\nu_Y)_*(T^*_{\varGamma_\varphi}(\widetilde X\times Y)\cdot\nu_{\widetilde X}^*\mathcal Ch\mathcal M). \] In this note the author calculates \(T^*_{\varGamma_\varphi}(\widetilde X\times Y)\cdot\nu_{\widetilde X}^*\mathcal Ch\mathcal M\) for \(\mathcal M=\mathcal O_{\widetilde X}.\) Let \(\varphi^* T^* Y=\widetilde X\times_X T^* Y\) be the induced bundle of \(T^* Y\) on \(\widetilde X\) and \(\gamma: \varphi^* T^* Y\to T^* Y\) and \(\varpi : \varphi^* T^* Y\to \widetilde X\) the canonical projections. Denote by \(\alpha_Y\) the canonical 1-form on \(T^* Y.\) Then \(\gamma^*\alpha_Y\) may be considered to be a section of the induced bundle \(\varpi^* T^* X.\) The section \(\gamma^*\alpha_Y\) determines the localized top Chern class \(\mathbb Z[\gamma^*\alpha_Y]\) on \(T^* Y.\) The main result of the paper is the following theorem: The characteristic cycle of the constructible sheaf \(\mathbb R\varphi_*\mathbb C_{\widetilde X} = \mathbb R\varphi_* DR\mathcal O_{\widetilde X}\) is equivalent to \(\gamma_*\mathbb Z[\gamma^*\alpha_Y].\) As an application, the local Euler number of a subvariety \(X\) of a manifold \(Y\) is calculated applying this theorem to a resolution of singularity \(\varphi: \widetilde X\to X\subset Y\) and the local index theorem of \textit{J. L. Brylinski, A. Dubson} and \textit{M. Kashiwara} [C. R. Acad. Sci., Paris, Sér. I 293, 573-576 (1981; Zbl 0492.58021)].
- Characteristic cycles of constructible sheaves
- Characteristic cycles associated to holonomic \({\mathscr{D}} \)-modules
- Characteristic cycle of the external product of constructible sheaves
- Characteristic cycle and the Euler number of a constructible sheaf on a surface
- scientific article; zbMATH DE number 3977146 (Why is no real title available?)
- Characteristic cycles and the conductor of direct image
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4253167)
