|
ggardam

GGT Seminar: Martin Nitsche (Karlsruhe): Computer proofs for property (T), and SDP duality.

Thursday, 09.12.2021 15:00 im Raum SRZ 216/217

Mathematik und Informatik

Kazhdan's property (T) is a strong rigidity property for groups. In recent years a new method has been established for proving property (T) with the computer. We showed that the optimization problem at the heart of the computer proof satisfies strong duality and that the dual problem has a geometric interpretation similar to property (FH). Using this geometric picture we simplified the problem and proved property (T) for the group $Aut(F_4)$.



Angelegt am Friday, 19.11.2021 10:21 von ggardam
Geändert am Tuesday, 07.12.2021 11:12 von ggardam
[Edit | Vorlage]

Vorträge des SFB 1442
Oberseminare und sonstige Vorträge