A polyhedral approach to the arithmetic and geometry of hyperbolic link complements