A generalization of Vesentini and Wermer's theorems (Q1093870)

The author proves the following main results: (1) Let X, Y be Banach spaces, \(G\subset {\mathbb{C}}\) and \(V: G\to L(X,Y)\), \(T: G\to L(Y)\) be analytic operator-valued functions. Assume that all \(V_ z\) are topological embeddings and for each \(z\in G\), Im \(V_ z\) is an invariant subspace of \(T_ z\). Let \(\tilde T_ z\) denote the induced operator acting on the quotient space Y/Im \(V_ z\). Then (1) \(z\to \log r(T_ z)\) is a subharmonic function in G, (ii) the set-valued function \(z\to \sigma (\tilde T_ z): G\to 2^{{\mathbb{C}}}\) is analytic. (2) If \(X=\{X_ z\}_{z\in M}\), M open in \({\mathbb{C}}\), is a subanalytic family of complex Banach spaces and \(T_ z\in L(X_ z)\) is an analytic family of bounded operators with locally uniformly bounded norm, then the function \(z\to \log r(T_ z)\) is quasi-subharmonic. (3) If \(X=\{X_ z\}\), \(M\subset {\mathbb{C}}\), is an analytic family of spaces and \(T_ z\in L(X_ z)\) is an analytic family of bounded operators, then the set-valued function \(z\to \sigma (T_ z)\) is analytic. In this context a family of Banach spaces is called subanalytic if (i) M is an analytic space; and if (ii) for every U and V, open subsets of M, and for every \(x\in F(U)\), \(y\in F^ d(V)\), the function \(z\to <x(z),y(z)>\) is analytic in \(U\cap V\); and if (iii) for every \(z\in M\), there is a neighborhood U of z such that \(C(z,U)<\infty\). (Here F(U) and \(F^ d(V)\) are the sets of sections associated with the family of Banach spaces).