The definability criteria for convex projective polyhedral reflection groups

Following Vinberg, we find the criteria for a subgroup generated by reflections and its finite-index subgroups to be definable over where is an integrally closed Noetherian ring in the field . We apply these criteria for groups generated by reflections that act cocompactly on irreducible properly convex open subdomains of the -dimensional projective sphere. This gives a method for constructing injective group homomorphisms from such Coxeter groups to . Finally we provide some examples of -representations of such Coxeter groups. In particular, we consider simplicial reflection groups that are isomorphic to hyperbolic simplicial groups and classify all the conjugacy classes of the reflection subgroups in that are definable over . These were known by Goldman, Benoist, and so on previously.