1: \begin{abstract}

2: Following Vinberg, we find the criterions for a subgroup generated by reflections 

3: $\Gamma \subset \SL^{\pm}(n+1,\mathbb{R})$ 

4: and its finite-index subgroups 

5: to be  definable over $\mathbb{A}$ where $\mathbb{A}$ is an integrally closed Noetherian ring in the field $\mathbb{R}$. 

6: We apply the criterions for  groups generated by reflections that act cocompactly on  

7: irreducible properly convex open subdomains of the $n$-dimensional projective sphere. 

8: This gives a method for constructing  injective group homomorphisms from such  Coxeter groups to

9: $\SL^{\pm}(n+1,\mathbb{Z})$. Finally we provide some examples of 

10: $\SL^{\pm}(n+1,\mathbb{Z})$-representations of such Coxeter groups. 

11: In particular, we consider  simplicial reflection groups that are isomorphic to hyperbolic simplicial groups 

12: and classify all the conjugacy classes of 

13: the reflection subgroups in $\SL^{\pm}(n+1,\mathbb{R})$ that are definable over $\mathbb{Z}$.

14: These were known by Goldman, Benoist, and so on previously. 

15: % \PACS{PACS code1 \and PACS code2 \and more}

16: %\subclass{57M50 \and 06B15 \and 20F55}

17: \end{abstract}

18: