Compact hyperbolic manifolds are very interesting geometric objects. Maybe surprisingly, they are also interesting from an algebraic point of view: They are completely determined by their fundamental groups (this is Mostow’s Theorem), which is naturally a subgroup of the rational valued invertible matrices in some dimension, GLn(ℚ). When the fundamental group essentially consists of the integer points of some algebraic subgroup of GLn we say that the manifold is arithmetic. A question arises: is there a simple geometric criterion for arithmeticity of hyperbolic manifolds? Such a criterion, relating arithmeticity to the existence of totally geodesic submanifolds, was conjectured by Reid and by McMullen. In a recent work with Fisher, Miller and Stover we proved this conjecture. Our proof is based on the theory of AREA, namely Algebraic Representation of Ergodic Actions, which Alex Furman and I have developed in recent years. In my talk I will survey the subject and focus on the relation between the geometric, algebraic and arithmetic concepts

This video was produced by Tel Aviv University as part of its algebra seminar.