Fundamental polyhedra of projective elementary groups

Abstract: For

O

an imaginary quadratic ring, we compute a fundamental polyhedron of

e x t {P E}_{2} (O)

, the projective elementary subgroup of

e x t {P S L}_{2} (O)

. This allows for new, simplified proofs of theorems of Cohn, Nica, Fine, and Frohman. Namely, we obtain a presentation for

e x t {P E}_{2} (O)

, show that it has infinite-index and is its own normalizer in

e x t {P S L}_{2} (O)

, and split

e x t {P S L}_{2} (O)

into a free product with amalgamation that has

e x t {P E}_{2} (O)

as one of its factors.

This page was built for publication: Fundamental polyhedra of projective elementary groups