The group $\mathrm{PSL}_2(\mathbb{R})$ acts on $\mathbb{H}$ via Möbius transformations, that is \begin{align*} g=\begin{pmatrix} a & b \\ c & d\end{pmatrix}:z\mapsto \frac{az+b}{cz+d}. \end{align*} $\mathbb{H}$ may realised as a smooth manifold with its natural chart $\varphi:\mathbb{H}\to\{(x,y)\in\mathbb{R}^2:y>0\}$ by $\varphi(z)=(\Re(z),\Im(z))$. An element $g\in\mathrm{PSL}_2(\mathbb{R})$ thus may be considered a smooth map $g:\mathbb{H}\to\mathbb{H}$ and hence induces an action through its differential on the tangent bundle namely $Dg:T\mathbb{H}\to T\mathbb{H}$. It is widely known (see for example Ergodic Theory with a view towards Number Theory by Einsiedler and Ward) that this action is given by \begin{align*} Dg(z,v)=\left(g(z),g'(z)v\right). \end{align*} where $g'(z)$ would be the derivative of the transformation, namely $\frac{1}{(cz+d)^2}$. I have tried computing the action in coordinates namely if $v=v^1\frac{\partial}{\partial x}\Big|_z+v^2\frac{\partial}{\partial y}\Big|_z$, then I believe its image under the derivative action should be \begin{align*} \left(v^1\frac{\partial u}{\partial x}\Big|_{\varphi(z)}+v^2\frac{\partial u}{\partial y}\Big|_{\varphi(z)}\right)\frac{\partial}{\partial x}\Big|_{g(z)}+\left(v^1\frac{\partial v}{\partial x}\Big|_{\varphi(z)}+v^2\frac{\partial v}{\partial y}\Big|_{\varphi(z)}\right)\frac{\partial}{\partial y}\Big|_{g(z)}, \end{align*} where \begin{align*} \frac{\partial u}{\partial x}=\frac{\partial v}{\partial y}&=\frac{|cz+d|^2-2c^2y^2}{|cz+d|^4},\\ \frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}&=\frac{2y(c^2x+cd)}{|cz+d|^4}. \end{align*} As I understand it, the result should have simply been \begin{align*} \frac{1}{(cz+d)^2}\left(v^1\frac{\partial}{\partial x}\Big|_{g(z)}+v^2\frac{\partial}{\partial y}\Big|_{g(z)}\right). \end{align*} If there is a mistake in the working/a much simpler method of computation of the derivative action, I would appreciate the help.

  • $\begingroup$ $g'(z) = \frac{1}{(cz+d)^2}$ not $\frac{1}{|cz+d|^2}$. Think "complex derivative", not "Jacobian derivative". $\endgroup$ – Lee Mosher Feb 22 at 2:49
  • $\begingroup$ @LeeMosher Thank you, I have edited this above now. This does not affect the computation in coordinates though so I'm still unsure on where the error lies? $\endgroup$ – user504775 Feb 22 at 12:00

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.