1 h 36 min
Property (T), sums of square and numerical certificates
Algebra, Computational Mathematics and seminar by Piotr Nowak, Institute of Mathematics of the Polish Academy of Sciences
Monday 14:00 Los Angeles (GMT-7)
Recording available
Berkeley, United States
Recording
Abstract
This introduction connects Kazhdan's property T with algebraic spectral gaps for a group Laplacian. Numerical searches for sum-of-squares expressions can suggest proofs, while certification converts approximate solutions into exact mathematical conclusions. Examples include new proofs for integer special linear groups and results for automorphism groups of free groups.
Topics
Kazhdan's property Talgebraic spectral gapsgroup Laplaciansum-of-squares expressionsNumerical searchescertificationapproximate solutionsexact mathematical conclusionsinteger special linear groupsautomorphism groups of free groups