We develop algorithms and computer programs which verify criteria of properness of discrete group actions on semisimple homogeneous spaces. We apply these algorithms to find new examples of non-virtually abelian discontinuous group actions on homogeneous spaces which do not admit proper SL(2,R)-actions.
No takes yet. Share an insight, caveat, or question.
Bocheński et al. (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: