Automorphic forms and geometry of arithmetic varieties