ポワンカレの上半平面モデル

非ユークリッド幾何学におけるポワンカレ半平面模型（はんへいめんもけい、）は、上半平面（以下 H と記す）にポワンカレ計量と呼ばれる計量をあわせて考えたもので、二次元双曲幾何学のモデルを形成する。
名称はアンリ・ポアンカレに因むものだが、そもそもはが、・（リーマンによる）ポワンカレ円板模型とともに、双曲幾何学がユークリッド幾何学にであることを示すために用いたものである。円板模型と半平面模型とは共形写像のもとで同型である。
対称性の群.
射影線型群 "PGL"(2,C) はリーマン球面に一次分数変換で作用する。この群の部分群で上半平面 H を H 自身の上に移すものは、すべての係数が実数であるような変換全体の成す群 "PSL"(2, R) で、その作用は上半平面上推移的かつ等距ゆえ、上半平面はこの作用に関する等質空間となる。
上半平面に一次分数変換で作用し、かつその双曲距離を保つリー群としては、近しい関係にあるものが4つ存在する。
ポワンカレ模型におけるこれらの群の関係は以下のようなものである。
等距変換群の重要な部分群にフックス群がある。
モジュラー群 "SL"(2,Z) を考えることもよくある。この群は二つの面で重要である。ひとつは、それが 2 × 2 の格子点の成す正方形の対称性の群であり、したがってモジュラー形式や楕円函数のような正方格子上に周期を持つ函数には、その格子から "SL"(2, Z)-対称性が継承されることである。もうひとつは、"SL"(2, Z) はもちろん "SL"(2,R) の部分群なので、その双曲的振舞いも持っていることである。特に "SL"(2, Z) は双曲平面を等価なポワンカレ領域の胞体に分割することができる。
等距対称性.
射影特殊線型群 "PSL"(2, R) の H への群作用は
で定義される。この作用が推移的、つまり H の元 "z"1, "z"2 が任意に与えられるとき常に "PSL"(2, R) の適当な元 "g" を選んで "gz"1 = "z"2 とすることができること、およびこの作用が忠実、つまり H のいかなる元 "z" に対しても "gz" = "z" を満たすならば "g" = "e" であることに注意。
この作用に関する H の元 "z" の安定部分群あるいは等方部分群 とは "z" を不動にする、すなわち "gz" = "z" を満たすような "PSL"(2, R) の元 "g" 全体のなす集合を言う。このとき、"i" の安定部分群は回転群
である。H の元 "z" はいずれも "PSL"(2, R) の元で "i" に写されるから、これは任意の "z" の等方部分群が "SO"(2) に同型となることを意味しており、したがって H = "PSL"(2,R)/"SO"(2) が成立する。言い換えれば、単位接束と呼ばれる上半平面上の単位接ベクトル全体の成す束は "PSL"(2, R) に同型であるということである。
上辺平面はモジュラー群 "SL"(2, Z) によって に分割される。
測地線.
このモデルの計量テンソルに関する測地線は、実軸に直交する円弧（つまり、実軸上に基点を持つ半円）および実軸に端点を持ち実軸に垂直な半直線（これを半径無限大の円弧と看做すこともできる）である。
点 "i" を通り、垂直にあがっていく単位速度の測地線は
で与えられる。"PSL"(2,R) は上半平面上の等距変換として推移的に作用するから、この測地線は "PSL"(2, R) を通じてほかの測地線へ写され、したがって一般に単位速度測地線は
として与えられる。これにより上半平面上の単位接束（複素直線束）上の測地的流れの完全な記述が得られる。