#  Seminar: Narutaka Ozawa (RIMS, Kyoto University): "Kazhdan's property (T) for Aut(F\_n) and EL\_n(R)" 

 



####  calendar\_today Date and Time 

 **October 11, 2022** 

 09:30AM - 09:30AM EDT 

####  pin\_drop Location 

 **https://harvard.zoom.us/j/779283357?pwd=MitXVm1pYUlJVzZqT3lwV2pCT1ZUQT09**  



 

 



 

 **![Narutaka Ozawa](/sites/g/files/omnuum6611/files/styles/hwp_1_1__360x360_scale/public/mathpicture/files/narutaka_ozawa.jpg?itok=kxMpqQVS) 

 

  
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. 

 

 

---

 Attachments- [  picture\_as\_pdf  2022-10-11\_narutaka\_ozawa\_seminar.pdf ](/sites/g/files/omnuum6611/files/mathpicture/files/2022-10-11_narutaka_ozawa_seminar.pdf)
 
---

 



 

 

 Share on:- [     Facebook ](#)
- [     Twitter ](#)
- [     Linkedin ](#)
 


 Save: [ Add to calendar calendar\_today ](https://mathpicture.fas.harvard.edu/node/1650124/event-feed.ics)  Copy link link