Relative conormal spaces. II: Differential modules (Q5931086)

[For part I, cf. J. Briançon, Ann. Sci. Éc. Norm. Super., IV. Sér. 30, No. 5, 675-692 (1997; Zbl 0888.32016)]. Let \(X\) be a smooth analytic variety and \(f = (f_1, \dots, f_p) : X \to {\mathbb C}^p\) be a non-constant holomorphic map. Let \[ {\mathcal{L}} = {\mathcal{O}}_X[1/f_1 \dots f_p][s_1, \dots, s_p] f_1^{s_1} \dots f_p^{s_p} \] considered as free \({\mathcal{O}}_X[1/f_1 \dots f_p][s_1, \dots, s_p]\)-module of rank 1 generated by \(f_1^{s_1} \dots f_p^{s_p}\). \({\mathcal{L}}\) carries a \({\mathcal{D}}_X[s_1, \dots, s_p]\)-module structure. Let \({\mathcal{D}}_X f_1^{s_1} \dots f_p^{s_p}\) (resp.~\({\mathcal{D}}_X[s_1, \dots, s_p] f_1^{s_1} \dots f_p^{s_p}\)) be the sub-\({\mathcal D}_X\)-module (resp.~\({\mathcal{D}}_X[s_1, \dots, s_p]\)-module) of \({\mathcal{L}}\) generated by \(f_1^{s_1} \dots f_p^{s_p}\). It is proved that \({\mathcal{D}}_X f_1^{s_1} \dots f_p^{s_p}\) is \({\mathcal{D}}_X\)-coherent and its characteristic variety is the relative (with respect to \(f\)) conormal space. \({\mathcal{D}}_X f_1^{s_1} \dots f_p^{s_p}\) is also a coherent \({\mathcal{D}}_X[s_1, \dots, s_p]\)-module and its characteristic variety (as \({\mathcal{D}}_X[s_1, \dots, s_p]\)-module) is described. If \(f : ({\mathbb C}^n,0) \to ({\mathbb C}^p,0)\) defines a complete intersection with isolated singularity, then it is proved that \[ \text{Ann}_{{\mathcal{D}}_{({\mathbb C}^n,0)}} f_1^{s_1} \dots f_p^{s_p} = \sum_{j_1 < \dots < j_{p+1}} {\mathcal{D}}_{{\mathbb C}^n,0} \Delta_{j_1, \dots, j_{p+1}}, \] where \(\Delta_{j_1, \dots, j_{p+1}} = \sum^{p+1}_{i=1} \tfrac{\partial (f_1, \dots, fp)}{\partial(x_{j_1} \dots \widehat{x_{j_i}} \dots x_{j_{p+1}})} \tfrac{\partial}{\partial x_{j_i}}\). Furthermore, finiteness conditions of the \({\mathcal{D}}_{{\mathbb{C}}^n,0}\)-module \({\mathcal{D}}_{{\mathbb{C}}}^{n,0}[s_1, \dots, s_p] f_1^{s_1} \dots f_p^{s_p}\) are studied.