Reduction of a family of ideals (Q2345641): Difference between revisions
From MaRDI portal
Set profile property. |
Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963501533 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1403.0123 / rank | |||
Normal rank |
Latest revision as of 05:40, 19 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Reduction of a family of ideals |
scientific article |
Statements
Reduction of a family of ideals (English)
0 references
22 May 2015
0 references
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)].
0 references
reduction of an ideal
0 references
Hilbert-Samuel multiplicity
0 references
Łojasiewicz eponent
0 references
holomorphic map
0 references
deformation
0 references