ブロッホ群
ブロッホ・ウィグナー関数 D 2 ( z ) {\displaystyle D_{2}(z)} は C ∖ { 0 , 1 } = C P 1 ∖ { 0 , 1 , ∞ } {\displaystyle \mathbb {C} \setminus \{0,1\}=\mathbb {C} P^{1}\setminus \{0,1,\infty \}} 上の関数であり、次のような双曲幾何学的な意味を持つ。 H 3 {\displaystyle \mathbb {H} ^{3}} を実3次元の双曲空間とし、 H 3 = C × R > 0 {\displaystyle \mathbb {H} ^{3}=\mathbb {C} \times \mathbb {R} _{>0}} と半空間表示する。 H 3 {\displaystyle \mathbb {H} ^{3}} の無限遠点の全体 H 3 ̄ ∖ H 3 {\displaystyle {\overline {\mathbb {H} ^{3}}}\setminus \mathbb {H} ^{3}} は C ∪ { ∞ } = C P 1 {\displaystyle \mathbb {C} \cup \{\infty \}=\mathbb {C} P^{1}} とみなすことができる。無限遠点のみを頂点とする四面体を理想的四面体と呼び、 ( p 1 , ...