Microsupport of tempered solutions of D-modules associated to smooth morphisms

MaRDI QIDQ2862650zbMATH OpenFDO

Authors Teresa Monteiro Fernandes

Publication date 18 November 2013

Published in Houston Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0808.0887

zbMATH Keywords

microlocalization

Mathematics Subject Classification ID

Sheaves of differential operators and their modules, (D)-modules (32C38) Microlocal methods and methods of sheaf theory and homological algebra applied to PDEs (35A27)

Abstract: Let $f:XoY$ be a smooth morphism of complex analytic manifolds and let $F$ be an $mathbbR$-constructible complex on $Y$. Let $calM$ be a coherent $sh{d}_X$-module. We prove that the microsupport of the solution complex of $shm$ in the tempered holomorphic functions $tshhextom(f^{-1}F,sh{o}_X)$, is contained in the 1-characteristic variety of $calM$ associated to $f$, and that the microsupport of the solution complex in the tempered microfunctions $tmuhom(f^{-1}F,sh{o}_X)$ is contained in the 1-microcharacteristic variety of the microlocalized of $shm$ along $T^{\ast }Yime{s}_{Y}X$. This applies in particular to the complex of solutions of $shm$ in the sheaf of distributions holomorphic in the fibers of an arbitrary smooth morphism.

Review text

Let \(f: X\to Y\) be a smooth morphism of complex analytic manifolds and let \(F\) be an \(\mathbb R\)-constructible complex on \(Y\). Let \(M\) be a coherent \(D_X\)-module. The author proves that the microsupport of the solution complex of \(M\) in the tempered hormorphic functions \(t\mu\Hom(f^{-1} F, O_X)\) is contained in the 1-characteristic variety of \(M\) associated to \(f\), and that the microsupport of the solution complex in the tempered microfunctions \(t\mu\Hom(f^{-1}F, O_X)\) is contained in the 1-microcharacteristic variety of the microlocalization of \(M\) along \(T^*Y\times_Y X\), that is the following:NEWLINENEWLINE Theorem. Let \(X\) and \(Y\) be complex manifolds, let \(f: X\to Y\) be a smooth morphism. Then for any \(G\in D^b_{R-c}(C_X\) such that \(SS(G)\subset X\times_YT^*Y\) and any \(M\in\text{Mod}_{\text{coh}}(D_X)\), one has \(SS(R\Hom_{D_X}(M, t\mu\Hom(G, O_X)))\subset\widetilde f^{-1}(C^1_f(M))\).NEWLINENEWLINE This results are applied to complex of solutions of \(M\) in the sheaf of distributions hormorphic in the fibers of an arbitrary smooth morphism.

Recommendations

• Micro-support and Cauchy problem for temperate solutions of regular \({\mathcal D}\)-modules.
• scientific article; zbMATH DE number 4069394
• Truncated microsupport and holomorphic solutions of D-modules
• scientific article; zbMATH DE number 802879
• Tempered solutions of \(\mathcal D\)-modules on complex curves and formal invariants

Cited in

(4)

• Micro-support and Cauchy problem for temperate solutions of regular \({\mathcal D}\)-modules.
• scientific article; zbMATH DE number 3923196 (Why is no real title available?)
• Truncated microsupport and holomorphic solutions of D-modules
• Tempered solutions of \(\mathcal D\)-modules on complex curves and formal invariants

This page was built for publication: Microsupport of tempered solutions of \({\mathcal D}\)-modules associated to smooth morphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2862650)