Nonexistence of standard compact Clifford–Klein forms of homogeneous spaces of exceptional Lie groups

摘要

We use a computer-aided approach to prove that there are no standard compact Clifford-Klein forms of homogeneous spaces of exceptional Lie groups. This yields further support for Kobayashi's conjecture about possible compact Clifford-Klein forms. Our approach is based on the algorithms developed in this work. They are inspired by the algorithmic methods of classifying semisimple subalgebras in simple Lie algebras developed by Faccin and de Graaf. Also, we use the databases created by them. These algorithms eliminate the majority of possibilities. We complete the proof using Kobayashi's criterion for properness of the Lie group action.