|
非ユークリッド幾何学におけるポアンカレ半平面模型（はんへいめんもけい、）は、上半平面（以下 H と記す）にポアンカレ計量と呼ばれる計量をあわせて考えたもので、二次元双曲幾何学のモデルを形成する。 名称はアンリ・ポアンカレに因むものだが、そもそもはベルトラミが、クライン模型・（リーマンによる）ポアンカレ円板模型とともに、双曲幾何学がユークリッド幾何学にであることを示すために用いたものである。円板模型と半平面模型とは共形写像のもとで同型である。 == 対称性の群 == 射影線型群 ''PGL''(2,C) はリーマン球面に一次分数変換で作用する。この群の部分群で上半平面 H を H 自身の上に移すものは、すべての係数が実数であるような変換全体の成す群 ''PSL''(2, R) で、その作用は上半平面上推移的かつ等距ゆえ、上半平面はこの作用に関する等質空間となる。 上半平面に一次分数変換で作用し、かつその双曲距離を保つリー群としては、近しい関係にあるものが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)/: ''SL''(2, R) に属する行列を単位行列の ±1-倍を掛ける違いを除いて考えた同値類全体の成す群。 * 群 ''PS *L''(2, R) = ''S *L''(2, R)/ = ''PGL''(2, R): 群 ''S *L''(2, R) に属する行列を同様に単位行列の ±1-倍を掛ける違いを除いて考えた同値類全体の成す群はそれ自身射影群である。''PSL''(2, R) は指数 2 の正規部分群を含み、それによるその部分群自身とは異なるもう一方の剰余類は、成分が実数の 2 × 2-行列で単位行列の ±1-倍を掛ける違いを除いてその行列式が −1 となるもの全体の成す集合である。 ポアンカレ模型におけるこれらの群の関係は以下のようなものである。 * しばしば Isom(H) と書かれる H の等距変換全体の成す群は ''PS *L''(2,R) に同型である。これは向きを保つものも逆にするものも含まれている。向きを逆にする変換（ミラー変換）は である。 * しばしば Isom+(H) と書かれる H の向きを保つ等距変換全体の成す群は ''PSL''(2, R) に同型である。 等距変換群の重要な部分群にフックス群がある。 モジュラー群 ''SL''(2,Z) を考えることもよくある。この群は二つの面で重要である。ひとつは、それが 2 × 2 の格子点の成す正方形の対称性の群であり、したがってモジュラー形式や楕円函数のような正方格子上に周期を持つ函数には、その格子から ''SL''(2, Z)-対称性が継承されることである。もうひとつは、''SL''(2, Z) はもちろん ''SL''(2,R) の部分群なので、その双曲的振舞いも持っていることである。特に ''SL''(2, Z) は双曲平面を等価なポアンカレ領域の胞体に分割することができる。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ポアンカレの上半平面モデル」の詳細全文を読む スポンサード リンク
|