Singular points of weakly holomorphic functions (Q310064)

From MaRDI portal
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