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 functionwith . 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.
Complex plane is not conformally equivalent to the upper half-plane Created 2026-09-24 Updated 2026-09-24
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.
Nonemptiness of the Banach-algebra spectrum 2026-10-06
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.
Past exam of the mathematics course of the University of Cambridge 2001 ib Paper 2 13A i Solution Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 2 4G Solution Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2005 ib Paper 3 14A Solution Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2005 ii Paper 1 23H Solution Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2005 ii Paper 3 31A a Solution Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2005 ii Paper 4 8A Solution Created 2026-09-24 Updated 2026-09-24