数論的な群で割った商空間も
剛性定理が成立するんだったか？
対称空間といえばHelgasonだが、
あれは読むのしんどい。