Speaker: Narutaka Ozawa (Research Institute for Mathematical Sciences, Kyoto University)
Title: Kazhdan's property (T) for Aut(F_n) and EL_n(R)
Abstract: Kazhdan's property (T) for groups has a number of applications in pure and applied mathematics. I will report the recent development by several hands on the heavily computer assisted methods of proving property (T) (with math rigor), which eventually confirmed property (T) for Aut(F_n), n>3, thus solving a well-known problem in geometric group theory. I then talk about my recent human effort in coping with the computer assisted proof.