現在は等長変換群よりも
複素3次元可解リー群の作用にかまけているので