On Biholomorphy in Infinite Dimensions

In this article, we consider the question of when a holomorphic mapping on a domain in a complex Hilbert space into itself has a holomorphic inverse. We give a strengthened version of a known result that involves a Fredholm condition on the mapping. We show that holomorphic mappings on certain domains that are biholomorphic near the boundary are biholomorphic on the domain itself.