The Lê-Greuel formula for functions on analytic spaces (Q350570)

The Milnor number for an isolated hypersurface singularity equals \(\mathcal{O}_{n+1,0}/J\), where the singularity at the origin is the one of the germ of a holomorphic function \(f:\mathbb{C}^{n+1}\rightarrow \mathbb{C}\) and \(J=(\partial f/\partial z_1,\ldots ,\partial f/\partial z_{n+1})\). H. Hamm has extended this formula to the case of an isolated complete intersection singularity, and the Lê-Greuel formula generalizes the latter one. In this paper the authors propose a further generalization of the formula in the case of function germs \((f,g)\) defined on a complex analytic variety \(X\) with arbitrary singular set, where \(f=(f_1,\ldots ,f_k):(X,0)\rightarrow (\mathbb{C}^k,0)\) is generically a submersion w.r.t. some Whitney stratification on \(X\). The dimension of the zero set \(V(f)\) is assumed positive, \(f\) is supposed to have the Thom \(a_f\)-property w.r.t. this stratification and \(g:(X,0)\rightarrow (\mathbb{C},0)\) has an isolated critical point in the stratified sense, both on \(X\) and on \(V(f)\).