Derived action of subgroups A' and N'¶
Derived action of the subgroup K was calculated in Ex. I.3.13.i aka ex-k-action-der.ipynb.
Exercise I.3.21.i [1] $ \newcommand{\scalar}[3][]{\left\langle #2,#3 \right\rangle_{#1}} \newcommand{\Space}[3][]{\mathbb{#2}^{#3}_{#1}} \newcommand{\Space}[3][]{\mathbb{#2}^{#3}_{#1}} \newcommand{\cycle}[3][]{{#1 C^{#2}_{#3}}} \newcommand{\realline}[3][]{#1 R^{#2}_{#3}} \newcommand{\bs}{\breve{\sigma}} \newcommand{\zcycle}[3][]{#1 Z^{#2}_{#3}} \newcommand{\SL}[1][2]{\mathrm{SL}_{#1}(\Space{R}{})} \newcommand{\rs}{\sigma_r} \newcommand{\lvec}[1]{\overrightarrow{#1}} \newcommand{\rmi}{\mathrm{i}} \newcommand{\alli}{\iota} \newcommand{\rme}{\mathrm{e}} \newcommand{\rmd}{\mathrm{d}} \newcommand{\rmh}{\mathrm{j}} \newcommand{\rmp}{\varepsilon} \newcommand{\modulus}[2][]{\left| #2 \right|_{#1}} \newcommand{\sperp}{⋋} $ Using the parameter $\tau=-1$, $0$, $1$ for the subgroups $K$, $N'$ and $A'$ respectively, check the following properties of the actions of the subgroups $K$, $N'$ and $A'$: Vector fields of the respective actions are \begin{equation} (u^2+\sigma v^2-\tau)\partial_u+ 2uv\partial_v, \end{equation} where $\sigma=\iota^2$ represent the metric of the space .
Solution. Define the Möbius transformation with the K subgroup
from init_cycle import *
[U,V]=clifford_moebius_map(sl2_clifford([cos(t),sin(t),-sin(t),cos(t)],e),[u,v],e)
Derived action is:
Latex("Derived action of the K subgroup: $(%s, %s)$" % \
(U.diff(t).subs({t : 0}), V.diff(t).subs({t : 0})))
We define the Moebius transformation with the N' subgroup
[U,V]=clifford_moebius_map(sl2_clifford([1, 0, -t, 1], e), [u, v], e)
Derived action is:
Latex("Derived action of the N' subgroup: $(%s, %s)$" % \
(U.diff(t).subs({t : 0}), V.diff(t).subs({t : 0})))
If the below method fails, uncommed this next part The failure is due to absence of conjucate() method for sinh/cosh We define the Moebius transformation with the A' subgroup
[U,V]=clifford_moebius_map(sl2_clifford([a, b, b, a], e), [u, v], e)
Derived action is:
Latex("Derived action of the A' subgroup: $(%s, %s)$" % \
(U.subs({a : cosh(t), b : sinh(t)}).diff(t).subs({t : 0}), \
V.subs({a : cosh(t), b : sinh(t)}).diff(t).subs({t : 0})))
We define the Moebius transformation with the A' subgroup
[U,V]=clifford_moebius_map(sl2_clifford([cosh(t),-sinh(t),-sinh(t),cosh(t)],e),[u,v],e)
Derived action is:
Latex("Derived action of the A' subgroup: $(%s, %s)$" % \
(U.diff(t).subs({t : 0}), V.diff(t).subs({t : 0})))
This notebook is a part of the MoebInv notebooks project [2] .
References¶
Vladimir V. Kisil. Geometry of Möbius Transformations: Elliptic, Parabolic and Hyperbolic Actions of $SL_2(\mathbb{R})$. Imperial College Press, London, 2012. Includes a live DVD.
Vladimir V. Kisil, MoebInv notebooks, 2019.