Closed formulae for a \(b\)-function associated with a weighted homogeneous isolated complete intersection singularity (Q1771331): Difference between revisions

The author answers the following problem posed by Y. Laurent. Let \(f = f_1, \ldots, f_p : \mathbb{C}^n \to \mathbb{C}^p\) a homogeneous polynomial map. Determine the monic polynomial \(b_f (s) \in \mathbb{C}[s]\) of smallest degree such that \(b_f(s)\) belongs to the ideal \(I\) (\(\subset \mathcal{D}\)) generated by \(f_1, \ldots f_p\) and the vector fields that annihilate the \(f_i\), \(i = 1 \ldots p\). The author proves that if the polynomials \(f_i\) are \(\alpha\)-homogeneous (\(\alpha = (\alpha_1, \ldots \alpha_n)\)) of degrees \(d_1, \ldots, d_p\) and if the map \(f\) defines an isolated complete intersection singularity of the origin, then the sought polynomial is \(b_f (f) = (s + N) c(s)\) where \(c(s) = \prod_{q \in \prod_f} (s + | \alpha| + q)\), \(| \alpha| = \alpha_1 + \ldots +\alpha_n\), \(N = d_1 + \ldots + d_p\), \(\prod_f = \{ q \in \mathbb{N}, \exists \; l : \chi(e_l) = ge_l\}\) where \(\chi\) is the Euler vector field, \(\{e_l\}_l\) is a (finite) family of weighted homogeneous polynomials which induces a basis in \(\mathcal{O}/\mathcal{I}\) (here \(\mathcal{I} \subset \mathcal{O}\) is the ideal generated by \(f_1, \ldots f_p\) and the determinants of all \(p \times p\) matrices obtained from the Jacobian matrix of the map \(f\)). The above result gives a new proof of a result of \textit{H. Maynadier} [Bull. Soc. Math. Fr. 125, 547--571 (1997; Zbl 0919.32022)]. The polynomial \(c(s)\) is interpreted as the minimal polynomial of an endomorphism of a finite dimensional vector space, i.e., of \(H(\chi) : H_{DR}^n(\mathcal{N}')\), where \(\mathcal{N}' = \mathcal{D}/\mathcal{D} \mathcal{I}\), and is supported by zero. The polynomial \(b_f(s)\) is not determined uniquely if \(c(-\mathcal{N}) = 0\). In the case \( p = n\), the ideal \(\mathcal{I} \subset \mathcal{D}\) is generated only by \(f_1, \ldots, f_n\) and the computation is easier. If the \(f_1, \ldots, f_p\) are homogeneous, then \(b_f (s) = \prod_{i = n}^N (s + i)\).