Nonarithmetic hyperbolic manifolds and trace rings

We give a sufficient condition on the hyperplanes used in the inbreeding construction of Belolipetsky-Thomson to obtain nonarithmetic manifolds. We construct explicitly infinitely many examples of such manifolds that are pairwise non-commensurable and estimate their volume.