BEGIN:VCALENDAR
VERSION:2.0
X-WR-CALNAME;VALUE=TEXT:Seminar: Narutaka Ozawa (RIMS, Kyoto University): "Kazhdan's property (T) for Aut(F_n) and EL_n(R)"
PRODID:-//Harvard events data//EN
BEGIN:VEVENT
UID:event_1650124_0
SUMMARY:Seminar: Narutaka Ozawa (RIMS, Kyoto University): "Kazhdan's property (T) for Aut(F_n) and EL_n(R)"
DESCRIPTION:<strong><drupal-media data-entity-type="media" data-entity-uuid="bfbbfad7-725e-402b-9ab9-e98c75b0ad90" alt="Narutaka Ozawa" data-view-mode="hwp_small"></drupal-media><br>Speaker:</strong> Narutaka Ozawa (Research Institute for Mathematical Sciences, Kyoto University)<br><strong>Title:</strong> Kazhdan's property (T) for Aut(F_n) and EL_n(R)<br><strong>Abstract:</strong> 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&gt;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. 
LOCATION:https://harvard.zoom.us/j/779283357?pwd=MitXVm1pYUlJVzZqT3lwV2pCT1ZUQT09
STATUS:CONFIRMED
DTSTART:20221011T133000Z
DTEND:20221011T133000Z
END:VEVENT
END:VCALENDAR