Singular points of weakly holomorphic functions (Q310064)

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.