Published online by Cambridge University Press: 07 April 2011
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.