Algebraic and arithmetic geometry, automorphic forms, logic, number theory, noncommutative geometry, mathematical physics