Reduction of a family of ideals (Q2345641)

The author proves the following theorem on a simultaneous reduction of one-parameter family of \(\mathfrak{m}_{n}\)-primary ideals in the local ring \( (\mathcal{O}_{n},\mathfrak{m}_{n})\) of germs of holomorphic functions \(( \mathbb{C}^{n},0)\rightarrow \mathbb{C}.\) Let \(F_{t}(x)=F(x,t):(\mathbb{C} ^{n}\times \mathbb{C},0)\rightarrow (\mathbb{C}^{m},0)\) be a holomorphic mapping. Assume that the ideal \((F_{t})\mathcal{O}_{n}\) is an \(\mathfrak{m}_{n}\) -primary ideal for all \(t.\) Then there exists a complex linear mapping \(\pi : \mathbb{C}^{m}\rightarrow \mathbb{C}^{n}\) such that for all \(t\) the ideal \( (\pi \circ F_{t})\) in \(\mathcal{O}_{n}\) is a reduction of the ideal \((F_{t})\) (i.e. for some \(r>0\) we have \((F_{t})^{r+1}=(\pi \circ F_{t})(F_{t})^{r}\) in \(\mathcal{O}_{n}\) or equivalently the multiplicity of ideals \((F_{t})\) and \((\pi \circ F_{t})\) in \(\mathcal{O}_{n}\) are equal). As \ a corollary he proves the lower semicontinuity of the Łojasiewicz exponent in improper multiplicity-constant families of mappings \(F_{t}:(\mathbb{C} ^{n},0)\rightarrow (\mathbb{C}^{m},0),\) \(t\in (\mathbb{C}^{k},0).\) This generalizes a result by \textit{A. Płoski} in the case \(m=n\) [Zesz. Nauk. Uniw. Jagiell., Univ. Iagell. Acta Math. 1315(48), 103--110 (2010; Zbl 1228.32025)].