Liouville rigidity from a bounded holomorphic embedding

ID: liouville-rigidity-from-a-bounded-holomorphic-embedding

Suppose is open and admits an injective holomorphic map whose image is bounded. Every entire function is constant: the function composition is a bounded entire function, hence constant by Liouville theorem, and injectivity of then forces to be constant. Surjectivity of onto a disk is unnecessary. For example is a conformal map from onto . A square-root branch with argument in followed by the Cayley transform between the half-plane and disk maps this to the punctured unit disk. It therefore supplies a bounded injective holomorphic coordinate on the interval complement, giving the same rigidity even though that domain is not simply connected.

New to topics? Read the docs here!