Differential Action of Möbius Transformations

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.

• $g'(z) = \frac{1}{(cz+d)^2}$ not $\frac{1}{|cz+d|^2}$. Think "complex derivative", not "Jacobian derivative". – Lee Mosher Feb 22 at 2:49
• @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? – user504775 Feb 22 at 12:00