Taxonomies of Model-theoretically Defined Topological Properties

A topological classification scheme consists of two ingredients: (1) an abstract class K of topological spaces; and (2) a taxonomy , i.e. a list of first order sentences, together with a way of assigning an abstract class of spaces to each sentence of the list so that logically equivalent sentences are assigned the same class.K, is then endowed with an equivalence relation, two spaces belonging to the same equivalence class if and only if they lie in the same classes prescribed by the taxonomy. A space X in K is characterized within the classification scheme if whenever Y E K, and Y is equivalent to X, then Y is homeomorphic to X. As prime example, the closed set taxonomy assigns to each sentence in the first order language of bounded lattices the class of topological spaces whose lattices of closed sets satisfy that sentence. It turns out that every compact two-complex is characterized via this taxonomy in the class of metrizable spaces, but that no infinite discrete space is so characterized. We investigate various natural classification schemes, compare them, and look into the question of which spaces can and cannot be characterized within them

Reduced Coproducts of Compact Hausdorff Spaces

By analyzing how one obtains the Stone space of the reduced product of an indexed collection of Boolean algebras from the Stone spaces of those algebras, we derive a topological construction, the reduced coproduct , which makes sense for indexed collections of arbitrary Tichonov spaces. When the filter in question is an ultrafilter, we show how the ultracoproduct can be obtained from the usual topological ultraproduct via a compactification process in the style of Wallman and Frink. We prove theorems dealing with the topological structure of reduced coproducts (especially ultracoproducts) and show in addition how one may use this construction to gain information about the category of compact Hausdorff spaces

Discrete isometry groups of symmetric spaces

This survey is based on a series of lectures that we gave at MSRI in Spring 2015 and on a series of papers, mostly written jointly with Joan Porti. Our goal here is to: 1. Describe a class of discrete subgroups $\Gamma<G$ of higher rank semisimple Lie groups, which exhibit some "rank 1 behavior". 2. Give different characterizations of the subclass of Anosov subgroups, which generalize convex-cocompact subgroups of rank 1 Lie groups, in terms of various equivalent dynamical and geometric properties (such as asymptotically embedded, RCA, Morse, URU). 3. Discuss the topological dynamics of discrete subgroups $\Gamma$ on flag manifolds associated to $G$ and Finsler compactifications of associated symmetric spaces $X=G/K$. Find domains of proper discontinuity and use them to construct natural bordifications and compactifications of the locally symmetric spaces $X/\Gamma$.Comment: 77 page

Weakly almost periodic functions, model-theoretic stability, and minimality of topological groups

We investigate the automorphism groups of $\aleph\_0$-categorical structures and prove that they are exactly the Roelcke precompact Polish groups. We show that the theory of a structure is stable if and only if every Roelcke uniformly continuous function on the automorphism group is weakly almost periodic. Analysing the semigroup structure on the weakly almost periodic compactification, we show that continuous surjective homomorphisms from automorphism groups of stable $\aleph\_0$-categorical structures to Hausdorff topological groups are open. We also produce some new WAP-trivial groups and calculate the WAP compactification in a number of examples