Properties of Grötzsch and Teichmüller Moduli

== Lemma ==
For any number $R > 1$, let the modulus of the Grötzsch annulus be denoted $\map M R$.
Then:
:$\map M R = 2 \map M {\dfrac {1 + R} {2 \sqrt R} }$
Similarly, for any $R > 0$, let the modulus of the Teichmüller annulus be denoted $\map \Lambda R$.
Then:
:$\map \Lambda R \cdot \map \Lambda {\dfrac 1 R} = \dfrac 1 4$
In particular:
:$\map \Lambda 1 = \dfrac 1 2$
Furthermore, these two quantities are related by:
:$\map M R = \map \Lambda {\dfrac {\paren {1 - R}^2} {4 R} }$
and:
:$2 \map M R = \map \Lambda {R^2 - 1}$
== Proof ==
We begin by proving the equation relating $\map \Lambda R$ and $\map \Lambda {\dfrac 1 R}$.
To do so, we consider the quadrilateral $\map Q R$ given by the upper half plane with the boundary arcs $\closedint {-1} 0$ and $\hointr R \infty$.
Then
:$\map \mod {\map Q R} = 2 \map \Lambda R$
Now consider the quadrilateral $Q'$ that again consists of the upper half plane, but now with the boundary arcs $\hointl {-\infty} 0$ and $\closedint 0 R$.
Then:
:$\map \mod {Q'} = \dfrac 1 {\map \mod {\map Q R} } = \dfrac 1 {2 \map \Lambda R}$
On the other hand, the function $z \mapsto \dfrac {-z} R$ takes $Q'$ conformally to $\map Q {\dfrac 1 R}$.
Hence, by Invariance of Extremal Length under Conformal Mappings:
:$2 \map \Lambda {\dfrac 1 R} = \map \mod {Q'} = \dfrac 1 2 \map \Lambda R$
Rearranging yields the desired identity.
To prove the first equality (regarding $\map M R$), let $\map G R$ denote the Grötzsch annulus.
Consider the set
:$U := \set {z \in \C: \cmod z > 1, z \notin \hointr {\sqrt R} \infty \text{ and } z \notin \hointl {-\infty} {\sqrt R} }$
Then $z \mapsto z^2$ maps $U$ to $\map G R$ as a covering map of degree $2$.
Hence
:$\map M R = \map \mod {\map G R} = 2 \map \mod U$
On the other hand, the Möbius transformation:
:$z \mapsto \dfrac {1 + \sqrt R z} {z + \sqrt R}$
is a conformal isomorphism between $U$ and $\map G {\dfrac {1 + R} {2 \sqrt R} }$.
The claim now follows again from Invariance of Extremal Length under Conformal Mappings.
To prove the first relation between the Teichmüller and Grötzsch moduli, observe that the Koebe Function:
:$z \mapsto \dfrac z {\paren {1 + z}^2}$
maps $\map G R$ conformally onto the set:
:$V := \C \setminus \paren {\hointr {\dfrac 1 4} \infty \cup \closedint 0 {\dfrac R {\paren {1 + R}^2} } }$
On the other hand, the Möbius transformation:
:$z \mapsto z \cdot \dfrac {\paren {1 + R}^2} R - 1$
takes $V$ conformally onto the Teichmüller domain for:
:$\dfrac 1 4 \cdot \dfrac {\paren {1 + R}^2} R - 1 = \dfrac {\paren {1 - R}^2} {4 R}$
So:
:$\map M R = \map \Lambda {\dfrac {\paren {1 - R}^2} {4 R} }$
as claimed.
The second relation can be proved from the first, together with the property of $\map M R$ that we proved above.
Indeed, choose $Q$ such that:
:$R = \dfrac {1 + Q} {2 \sqrt Q}$
This is possible because the is a strictly-increasing function from the interval $\hointr 1 \infty$ to itself.
Then:
 
Alternatively, we can also prove the last equality directly: reflection of the Grötzsch annulus in the unit circle yields the set:
:$W := \C \setminus \paren {\closedint 0 {\dfrac 1 R} \cup \hointr R \infty}$
It follows that:
:$\map \mod W = 2 \map M R$
On the other hand, the map:
:$z \mapsto R z - 1$
takes $W$ to the Teichmüller domain for $R^2 - 1$.
== Sources ==
* 
Category:Geometric Function Theory