Let A be a commutative
Banach algebra, X its spectrum, and M a closed analytic submanifold of an open set
in Cn. We may consider the set of germs of holomorphic functions from X to M,
𝒪(X,M). Now let ν be the functional calculus homomorphism from 𝒪(X,Cn) to An,
and AM = ν(𝒪(X,M)).
It is proven that AM is an analytic submanifold of An, modeled on projective
A-modules of rank = dimM.
|