A Substitute for Kazhdan's Property (T) for Universal Non-Lattices - Lecture

Explore a cutting-edge lecture on group theory and its computational applications in this 49-minute talk by Narutaka Ozawa at the Centre de recherches mathématiques (CRM). Delve into recent developments in computer-assisted methods for proving Kazhdan's property (T) with mathematical rigor. Learn how these advancements led to confirming property (T) for Aut(F_n) when n is greater than 3, solving a well-known problem in geometric group theory. Discover Ozawa's human-driven approach to understanding and expanding upon computer-assisted proofs. Gain insights into the intersection of theoretical mathematics and computational techniques in the context of measured group theory. This talk, part of the Théories des groups mesurée/Measured Group Theory conference, offers a deep dive into advanced mathematical concepts and their practical applications in solving long-standing problems in the field.