El Teorema de Poincaré sobre grupos de Klein (grupos que actúan de manera discontinua en espacios euclídeos o hiperbólicos o en esferas) proporciona un método para obtener una presentación de un grupo de Klein a partir de una poliedra fundamental.
Conozco la demostración en el libro de Maskit (grupos de Klein) pero me gustaría conocer otras demostraciones. También conozco otras demostraciones para grupos Fuchsianos (dimensión 2) que no se generalizan a dimensiones superiores (por ejemplo, el libro de Beardon, La geometría de grupos discretos).
Tengo dos motivaciones: 1) La demostración de Maskit también demuestra el Teorema de Poliedros de Poincaré, que establece las condiciones necesarias y suficientes para que un poliedro sea una poliedra fundamental de algún grupo de Klein. Tengo la sensación de que una demostración directa del "teorema de presentación" debería ser posible y más simple que probar el "Teorema de los Poliedros".
2) ¿Se generaliza el Teorema de Poincaré al producto directo de espacios hiperbólicos?