Topology of a holomorphic vector field around an isolated singularity (Q1335886): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
Property / author | |||
Property / author: Xavier Gómez-Mont / rank | |||
Property / author | |||
Property / author: Q742836 / rank | |||
Property / reviewed by | |||
Property / reviewed by: Aleksandr G. Aleksandrov / rank | |||
Revision as of 02:42, 13 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Topology of a holomorphic vector field around an isolated singularity |
scientific article |
Statements
Topology of a holomorphic vector field around an isolated singularity (English)
0 references
8 November 1994
0 references
Let \(F = \sum_{i=1}^ nF_ i (z) \partial/ \partial z_ i\) be a holomorphic vector field with isolated singularity at the origin \(0 \in \mathbb{C}^ n\) defined in an open set \(U\) containing \(\{0\}\), let \({\mathcal F}\) be the foliation over \(U \backslash \{0\}\) defined by the integral curves of \(F\), and \(\langle F,z \rangle = \sum_{i=1}^ n F_ i(z) \overline z_ i\) be the Hermitian scalar product. The authors consider a real-analytic vector field \(r_ F = - \overline {\langle F,z \rangle} \cdot F\) and call it the radial vector field. Suppose that all singularities of \(r_ F\) are nondegenerate, in other words, the vector field \(F\) has Morse type. Under these hypotheses the authors prove that the singularity set \(M = \{z\in \mathbb{C}^ n:\langle F,z \rangle = 0\}\) of the radial vector field is either a real-analytic variety of codimension two having the only singularity at \(0\in\mathbb{C}^ n\) or coincides with the origin. In the former case the set \(M\backslash\{0\}\) consists of a finite number of connected components and it is transversal to the fibration \({\mathcal F}\). Let \({\mathcal F}_ \varepsilon\) be the foliation defined by the intersection of fibres of \({\mathcal F}\) with the sphere \(S_ \varepsilon\) of the radius \(\varepsilon>0\) centered at the origin. The distance between the origin and points on fibres defines the function on \({\mathcal F}\). Assume also that this function has no saddle points on \({\mathcal F}\). Then it is proved that \({\mathcal F}_ \varepsilon\) is stable over \(S_ \varepsilon\), that is, for any \(S_{\varepsilon'}\) with \(\varepsilon'<\varepsilon\) there is a homeomorphism taking \(S_ \varepsilon\) into \(S_{\varepsilon'}\) and carrying the foliation \({\mathcal F}_ \varepsilon\) into \({\mathcal F}_{\varepsilon'}\).
0 references
phase flow
0 references
isolated singularity
0 references
radial vector field
0 references
foliation
0 references