Singular points of weakly holomorphic functions (Q310064): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
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
    0 references
    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
    0 references
    complex analytic sets
    0 references
    weakly holomorphic functions
    0 references
    c-holomorphic functions
    0 references
    fibred products
    0 references

    Identifiers