- 72 名前：現代数学の系譜 雑談 [2020/06/29(月) 07:30:36.01 ID:zK2xtwvj.net]
- >>62
つづき
上半平面に一次分数変換で作用し、かつその双曲距離を保つリー群としては、近しい関係にあるものが4つ存在する。
・特殊線型群 SL(2, R): 成分が実数の 2 × 2-行列でその行列式が 1 であるもの全体の成す群。多くの文献で、実際には PSL(2, R) を意味するところをしばしば SL(2, R) と言っている場合があるので注意。
・群 S*L(2, R): 成分が実数の 2 × 2-行列でその行列式が 1 または ? 1 であるもの全体の成す群。SL(2, R) はこの群の部分群である。
・射影特殊線型群 PSL(2, R) = SL(2, R)/{±I}: SL(2, R) に属する行列を単位行列の ±1-倍を掛ける違いを除いて考えた同値類全体の成す群。
・群 PS*L(2, R) = S*L(2, R)/{±I} = PGL(2, R): 群 S*L(2, R) に属する行列を同様に単位行列の ±1-倍を掛ける違いを除いて考えた同値類全体の成す群はそれ自身射影群である。PSL(2, R) は指数 2 の正規部分群を含み、それによるその部分群自身とは異なるもう一方の剰余類は、成分が実数の 2 × 2-行列で単位行列の ±1-倍を掛ける違いを除いてその行列式が ?1 となるもの全体の成す集合である。
ポワンカレ模型におけるこれらの群の関係は以下のようなものである。
・しばしば Isom(H) と書かれる H の等距変換全体の成す群は PS*L(2,R) に同型である。これは向きを保つものも逆にするものも含まれている。向きを逆にする変換（ミラー変換）は z→ -z￣ である。
・しばしば Isom+(H) と書かれる H の向きを保つ等距変換全体の成す群は PSL(2, R) に同型である。
等距変換群の重要な部分群にフックス群がある。
モジュラー群 SL(2,Z) を考えることもよくある。この群は二つの面で重要である。ひとつは、それが 2 × 2 の格子点の成す正方形の対称性の群であり、したがってモジュラー形式や楕円函数のような正方格子上に周期を持つ函数には、その格子から SL(2, Z)-対称性が継承されることである。もうひとつは、SL(2, Z) はもちろん SL(2,R) の部分群なので、その双曲的振舞いも持っていることである。特に SL(2, Z) は双曲平面を等価なポワンカレ領域の胞体に分割することができる。
(引用終り)
以上
|
 |
