A couple of weeks ago, my student Yan Mary He presented a nice proof of Liouville’s theorem to me during our weekly meeting. The proof was the one from BenedettiPetronio’s Lectures on Hyperbolic Geometry, which in my book gets lots of points for giving careful and complete details, and being selfcontained and therefore accessible to beginning graduate students. Liouville’s Theorem is the fact that a conformal map between open subsets of Euclidean space of dimension at least 3 are Mobius transformations — i.e. they look locally like the restriction of a composition of Euclidean similarities and inversions on round spheres. This implies that the image of a piece of a plane or round sphere is a piece of a plane or round sphere, a highly rigid constraint. This sort of rigidity is in stark contrast to the case of conformal maps in dimension 2: any holomorphic (or antiholomorphic) map between open regions in the complex plane is a conformal map (and conversely). The proof given in BenedettiPetronio is certainly clear and readable, and gives all the details; but Mary and I were a bit unsatisfied that it did not really provide any geometric insight into the meaning of the theorem. So the purpose of this blog post is to give a short sketch of a proof of Liouville’s theorem which is more geometric, and perhaps easier to remember.

Recent Posts
 Slightly elevated Teichmuller theory
 Mr Spock complexes (after Aitchison)
 Roots, Schottky semigroups, and Bandt’s Conjecture
 Taut foliations and positive forms
 Explosions – now in glorious 2D!
 Dipoles and Pixie Dust
 Mapping class groups: the next generation
 Groups quasiisometric to planes
 Div, grad, curl and all this
 A tale of two arithmetic lattices
 3manifolds everywhere
 kleinian, a tool for visualizing Kleinian groups
 Kähler manifolds and groups, part 2
 Kähler manifolds and groups, part 1
 Liouville illiouminated
 Scharlemann on Schoenflies
 You can solve the cube – with commutators!
 Chiral subsurface projection, asymmetric metrics and quasimorphisms
 Random groups contain surface subgroups
 wireframe, a tool for drawing surfaces
 Cube complexes, Reidemeister 3, zonohedra and the missing 8th region
 Orthocentricity
 Kenyon’s squarespirals
 Thurston talks on geometrization at Harvard
 Random turtles in the hyperbolic plane
Blogroll
 0xDE
 Area 777
 Combinatorics and more
 Deep street soul
 Evaluating EDiscovery
 floerhomology
 Gaddeswarup
 Geometric Group Theory
 Godel's lost letter and P=NP
 Images des mathematiques
 Jim Woodring
 Language Log
 Letters of note
 Low dimensional topology
 Math Overflow
 Mathematics under the microscope
 nCategory Cafe
 Noncommutative geometry
 Paul Krugman
 Persiflage
 Preposterous Universe
 Questionable content
 Quomodocumque
 Real Climate
 Scott McCloud
 Secret blogging seminar
 Sketches of topology
 T Calegari
 Tanya Khovanova
 Terry Tao
 Tim Gowers
 Tony Phillips
Books
Software
Recent Comments
Categories
 3manifolds (19)
 4manifolds (2)
 Algebraic Geometry (2)
 Biology (2)
 Commentary (4)
 Complex analysis (11)
 Convex geometry (2)
 Diophantine approximation (1)
 Dynamics (13)
 Ergodic Theory (8)
 Euclidean Geometry (8)
 Foliations (2)
 Geometric structures (6)
 Groups (31)
 Hyperbolic geometry (24)
 Knot theory (1)
 Lie groups (8)
 Number theory (2)
 Overview (2)
 Polyhedra (3)
 Probability (1)
 Projective geometry (2)
 Psychology (3)
 Riemannian geometry (1)
 Rigidity (2)
 Special functions (1)
 Surfaces (20)
 Symplectic geometry (3)
 TQFT (1)
 Uncategorized (5)
 Visualization (10)
Meta