Mathematical logic seminar – April 3 2018
Time: 3:30pm – 4:30 pm
Room: Wean Hall 8220
Speaker: Andy Zucker
Department of Mathematical Sciences
Title: Maximal equivariant compactifications of categorical metric structures
Any completely regular space embeds into a compact space. But suppose G is a topological group and X is a completely regular G-space. There is a largest G-map αX: X → Y where Y is compact and αX has dense image, but αX need not be an embedding. Recently, Pestov has constructed an example of a topological group G and non-trivial flow X for which αX is the map to a singleton.
In this talk, we consider automorphism groups of categorical metric structures, which include the Urysohn sphere, the unit sphere of the Banach lattice Lp, and the unit sphere of the Hilbert space L2. We show that if G is the group of automorphisms of a categorical metric structure X, then αX is the embedding of X into the space of 1-types over X.
(Joint work with Itai Ben Yaacov)