Property (T) for Roelcke precompact Polish groups (after Ibarlucía, building on work of Ben Yaacov and Tsankov)

Abstract

We present a recent result of Ibarlucía stating that every Roelcke precompact Polish group has Kazhdan's property (T). This striking theorem builds on the characterization of Roelcke precompact Polish groups as automorphism groups of ${\aleph }_0$-categorical metric structures due to Ben Yaacov and Tsankov. We introduce the underlying concepts coming from model theory, and we outline Ibarlucía's proof in the (already new!) particular case of the group of measure-preserving transformations of a standard probability space.

61 pages, Bourbaki seminar. In french