Poincaré's polyhedron theorem for cocompact groups in dimension 4

Sasha Anan'in, Carlos H. Grossi, Júlio C. C. da Silva

We prove a version of Poincaré's polyhedron theorem whose requirements are as local as possible. New techniques such as the use of discrete groupoids of isometries are introduced.…