断面曲率
エッシェンブルグ空間(Eschenburg spaces) E k , l = diag  ( z k 1 , z k 2 , z k 3 ) ∖ S U ( 3 ) / diag  ( z l 1 , z l 2 , z l 3 ) − 1 . {\displaystyle E_{k,l}=\operatorname {diag} (z^{k_{1}},z^{k_{2}},z^{k_{3}})\backslash SU(3)/\operatorname {diag} (z^{l_{1}},z^{l_{2}},z^{l_{3}})^{-1}.}
バザイキン空間(Bazaikin spaces) B p 13 = diag  ( z 1 p 1 , ... , z 1 p 5 ) ∖ U ( 5 ) / diag  ( z 2 A , 1 ) − 1 {\displaystyle B_{p}^{13}=\operatorname {diag} (z_{1}^{p_{1}},\dots ,z_{1}^{p_{5}})\backslash U(5)/\operatorname {diag} (z_{2}A,1)^{-1}} , ここに A ∈ S p ( 2 ) ⊂ S U ( 4 ) {\displaystyle A\in Sp(2)\subset SU(4)} である。