Affine lift of a holomorphic map between complex tori Created 2026-10-06 Updated 2026-10-07
Every holomorphic map lifts to , where is a complex-linear map satisfying . Period differences of a lift lie in the discrete target Euclidean lattice, so its derivative is periodic. Boundedness on a compact fundamental domain and the Liouville theorem make this derivative constant. The linear map is unique, and the translation vector is determined modulo .
Let and be the universal covering maps of two one-dimensional complex tori. Every holomorphic map has a holomorphic lift between one-dimensional complex tori satisfying , and every such lift is an affine function
with . Indeed, for , the continuous function takes values in the discrete set and is therefore constant. Hence is -periodic. It is bounded on a compact fundamental parallelogram and therefore on the complex plane, so the Liouville theorem makes constant. If preserves the identity and the lift is chosen with , then and the lift is a linear map.
The radial map is a homeomorphism from to the unit disc, with inverse . A conformal equivalence in that direction would be a nonconstant bounded entire function, contradicting the Liouville theorem.
Composing a hypothetical conformal equivalence with a Cayley transform would give a nonconstant bounded entire function, contradicting the Liouville theorem.
Harmonic Liouville theorem Created 2026-09-24 Updated 2026-10-06
A bounded harmonic function on the complex plane is constant. More generally, an entire harmonic function bounded on either side is constant: write it as by harmonic function as the real part of a holomorphic function, then apply the Liouville theorem to or .
Nonconstant elliptic function has a pole Created 2026-09-24 Updated 2026-09-24
If an elliptic function had no poles, it would be entire. It is bounded on the closure of a fundamental parallelogram, and periodicity then makes it bounded on the whole complex plane. The Liouville theorem would make it constant. Thus every nonconstant elliptic function has a pole.
Every element of a nonzero complex unital Banach algebra has a nonempty compact spectrum of an element. If the resolvent of an element existed everywhere, composing it with any bounded linear functional would give a bounded entire function tending to zero at infinity. The Liouville theorem and point separation by the Hahn-Banach theorem would force the resolvent to be zero, contradicting the inverse equation. Nonunital algebras are treated by unitization.