Arithmeticity of ideal hyperbolic right-angled polyhedra and hyperbolic link complements

In this paper we provide a generalized construction of nonarithmetic hyperbolic orbiifolds in the spirit of Gromov and Piatetski-Shapiro. Nonarithmeticity of such orbifolds is based on recently obtained results connecting a behaviour of the so-called fc-subspaces (totally geodesic subspaces fixed by finite order elements of the commensurator) with arithmetic properties of hyperbolic orbifolds and manifolds. As an application, we verify arithmeticity of some particular class of ideal hyperbolic right-angled $3$-polyhedra and hyperbolic link complements.