Automorphism of annulus

Suppose \mathbb{R}_\mu=\{z\in \mathbb{C}:1<z<\mu\} is the annulus for \mu>1. Then

\bf{Thm:}\mathbb{R}_\mu is not biholomorphic to \mathbb{R}_{\mu'} whenever \mu\neq \mu'.

The proof goes like following: Suppose there exists a biholomorphic map between them, then this map can be extended to the boundary by the so called Kellog theorem, then one can reflect the annulus the inner part and outside part. Near the origin, one can use the removable singularity theorem to prove the extended map is holomophic. Thus we can get a biholomorphic map between \mathbb{C} and \mathbb{C} which must have the form az+b. First b=0, because the map keeps the origin. Second a must have the unit length to keep the inner boundary to be |z|=1. Thus the map can only be rotation around origin.

This actually tells us the automorphism of an annulus can only be the rotation. Let us verify this fact by another perspective.


As we all know, \mathbb{R}_\mu is biholomorphic to \mathbb{H}/\Gamma_\lambda, where \mathbb{H} is the upper half plane and \Gamma_\lambda(z)=\lambda z. Here \ln \lambda\ln \mu=2\pi^2. \Gamma_\lambda acts on the \mathbb{H} freely discontinuously.

Any automorphism of \mathbb{H}/\Gamma_\lambda can be lift to an automphism of \mathbb{H} which commutes with the action \Gamma_\lambda. In the matrix language, these automphisms are the matrix in PSL(2,\mathbb{R}) commutes with \left(\begin{matrix}\sqrt{\lambda}&0\\0&\sqrt{\lambda^{-1}}\end{matrix}\right). Some elementary calculation shows that these matrix have the form \left(\begin{matrix}a&0\\0&a^{-1}\end{matrix}\right) where a\in \mathbb{R}. Any one of these  is corresponding to a rotation of the annulus.



Post a comment or leave a trackback: Trackback URL.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s

%d bloggers like this: