Removable singularities in \(C^*\)-algebras of real rank zero (Q313525)

The main result of this paper is stated as follows. Suppose that \(A\) is a unital \(C^*\)-algebra of real rank zero, and that \(f\) is a complex-valued function that is holomorphic and bounded on the intersection of the open unit ball \(U_1(0)\) of \(A\) and the identity component \(\mathrm{GL}(A)_0\) of the group \(\mathrm{GL}(A)\) of invertible elements of \(A\). Then \(f\) has a holomorphic extension to \(U_1(0)\). There are four propositions P1 to P4 needed to prove this result. P1 as a version of the identity theorem. For a domain \(D\) in a complex Banach space, if \(f\) is holomorphic in \(D\) and if it vanishes on a ball in \(D\), then \(f\) vanishes on \(D\). P2 as a version of the Taylor theorem as well as the Weierstrass M-test, with a domain in a complex Banach space. P3 as a version of the maximum principle, with a domain as \(U_1(0)\) of \(A\), extended to the closed unit ball \(B_1(0)\) of \(A\). P4, the density theorem, due to \textit{H.-X. Lin} [J. Funct. Anal. 114, No. 1, 1--11 (1993; Zbl 0812.46054)]. If a unital \(C^*\)-algebra \(A\) has real rank zero, then the set of unitaries of \(A\) with finite spectrum is dense in the group \(U(A)\) of unitaries of \(A\). The same result was previously deduced by the author [J. Math. Anal. Appl. 243, No. 1, 1--12, Art. No. jmaa.1999.6631 (2000; Zbl 0962.46035)] without using P4, as he notes.