Yet another Poincaré Polyhedron Theorem

Abstract

Poincaré's Polyhedron Theorem is a widely known valuable tool in constructing manifolds endowed with a prescribed geometric structure. It is one of the few criteria providing discreteness of groups of isometries. This work contains a version of Poincaré's Polyhedron Theorem that is applicable to constructing fibre bundles over surfaces and also suits geometries of non-constant curvature. Most conditions of the theorem, being as local as possible, are easy to verify in practice. © 2011 Edinburgh Mathematical Society.