Singular points of weakly holomorphic functions (Q310064): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Let \(A \subseteq \mathbb C^m\) be a locally analytic set. A continuous mapping \(f : A \to \mathbb C^n\) is called \textit{c-holomorphic} if its restriction to the subset \(\text{Reg\,} A\) of regular points is holomorphic, which is equivalent to the graph of \(f\) being a locally analytic subset of \(\mathbb C^m \times \mathbb C^n\). Furthermore, a holomorphic mapping \(f : \text{Reg\,} A \to \mathbb C^n\) is called \textit{weakly holomorphic} if it is locally bounded on \(A\). For locally irreducible sets the two notions coincide. In general, one has strict inclusions \(\mathcal O(A) \subset \mathcal O_c(A) \subset \mathcal O_w(A)\), where \(\mathcal O(A)\) denotes the ring of restrictions of holomorphic functions defined in a neighborhood of \(A\), and \(\mathcal O_c(A)\), \(\mathcal O_w(A)\) denote the rings of c-holomorphic and weakly holomorphic functions on \(A\), respectively. After giving some characterizations of c-holomorphic and weakly holomorphic functions, the authors investigate the singular points of weakly holomorphic functions (i.e., points where the function is either not holomorphic or not continuous) and their relation to the points of irreducibility of \(A\). It is proved that the points of irreducibility of \(A\) form an analytically constructible set and that the function \(\mu\) which sends singular points \(a \in A\) to the number of irreducible components of the set germ of \(A\) at \(a\) is analytically constructible. (Recall that the family of analytically constructible sets is the smallest family of sets which contains all analytic sets and is closed under locally finite unions and complements.) Moreover, the related analytic cycle is studied. Finally it is shown that, for \(f \in \mathcal O_w(A)\), the set of singular points \(a \in A\) where \(f\) is not continuous is analytically constructible, and that the set of points \(a \in A\) where \(f\) is not holomorphic is an analytic subset of the set of singular points in \(A\). Also a new criterion for a weakly holomorphic function to be holomorphic is given. | |||
Property / review text: Let \(A \subseteq \mathbb C^m\) be a locally analytic set. A continuous mapping \(f : A \to \mathbb C^n\) is called \textit{c-holomorphic} if its restriction to the subset \(\text{Reg\,} A\) of regular points is holomorphic, which is equivalent to the graph of \(f\) being a locally analytic subset of \(\mathbb C^m \times \mathbb C^n\). Furthermore, a holomorphic mapping \(f : \text{Reg\,} A \to \mathbb C^n\) is called \textit{weakly holomorphic} if it is locally bounded on \(A\). For locally irreducible sets the two notions coincide. In general, one has strict inclusions \(\mathcal O(A) \subset \mathcal O_c(A) \subset \mathcal O_w(A)\), where \(\mathcal O(A)\) denotes the ring of restrictions of holomorphic functions defined in a neighborhood of \(A\), and \(\mathcal O_c(A)\), \(\mathcal O_w(A)\) denote the rings of c-holomorphic and weakly holomorphic functions on \(A\), respectively. After giving some characterizations of c-holomorphic and weakly holomorphic functions, the authors investigate the singular points of weakly holomorphic functions (i.e., points where the function is either not holomorphic or not continuous) and their relation to the points of irreducibility of \(A\). It is proved that the points of irreducibility of \(A\) form an analytically constructible set and that the function \(\mu\) which sends singular points \(a \in A\) to the number of irreducible components of the set germ of \(A\) at \(a\) is analytically constructible. (Recall that the family of analytically constructible sets is the smallest family of sets which contains all analytic sets and is closed under locally finite unions and complements.) Moreover, the related analytic cycle is studied. Finally it is shown that, for \(f \in \mathcal O_w(A)\), the set of singular points \(a \in A\) where \(f\) is not continuous is analytically constructible, and that the set of points \(a \in A\) where \(f\) is not holomorphic is an analytic subset of the set of singular points in \(A\). Also a new criterion for a weakly holomorphic function to be holomorphic is given. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Armin Rainer / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 32B15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 32B20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 32C25 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6624770 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
complex analytic sets | |||
Property / zbMATH Keywords: complex analytic sets / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
weakly holomorphic functions | |||
Property / zbMATH Keywords: weakly holomorphic functions / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
c-holomorphic functions | |||
Property / zbMATH Keywords: c-holomorphic functions / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
fibred products | |||
Property / zbMATH Keywords: fibred products / rank | |||
Normal rank |
Revision as of 23:48, 27 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Singular points of weakly holomorphic functions |
scientific article |
Statements
Singular points of weakly holomorphic functions (English)
0 references
7 September 2016
0 references
Let \(A \subseteq \mathbb C^m\) be a locally analytic set. A continuous mapping \(f : A \to \mathbb C^n\) is called \textit{c-holomorphic} if its restriction to the subset \(\text{Reg\,} A\) of regular points is holomorphic, which is equivalent to the graph of \(f\) being a locally analytic subset of \(\mathbb C^m \times \mathbb C^n\). Furthermore, a holomorphic mapping \(f : \text{Reg\,} A \to \mathbb C^n\) is called \textit{weakly holomorphic} if it is locally bounded on \(A\). For locally irreducible sets the two notions coincide. In general, one has strict inclusions \(\mathcal O(A) \subset \mathcal O_c(A) \subset \mathcal O_w(A)\), where \(\mathcal O(A)\) denotes the ring of restrictions of holomorphic functions defined in a neighborhood of \(A\), and \(\mathcal O_c(A)\), \(\mathcal O_w(A)\) denote the rings of c-holomorphic and weakly holomorphic functions on \(A\), respectively. After giving some characterizations of c-holomorphic and weakly holomorphic functions, the authors investigate the singular points of weakly holomorphic functions (i.e., points where the function is either not holomorphic or not continuous) and their relation to the points of irreducibility of \(A\). It is proved that the points of irreducibility of \(A\) form an analytically constructible set and that the function \(\mu\) which sends singular points \(a \in A\) to the number of irreducible components of the set germ of \(A\) at \(a\) is analytically constructible. (Recall that the family of analytically constructible sets is the smallest family of sets which contains all analytic sets and is closed under locally finite unions and complements.) Moreover, the related analytic cycle is studied. Finally it is shown that, for \(f \in \mathcal O_w(A)\), the set of singular points \(a \in A\) where \(f\) is not continuous is analytically constructible, and that the set of points \(a \in A\) where \(f\) is not holomorphic is an analytic subset of the set of singular points in \(A\). Also a new criterion for a weakly holomorphic function to be holomorphic is given.
0 references
complex analytic sets
0 references
weakly holomorphic functions
0 references
c-holomorphic functions
0 references
fibred products
0 references