arXiv++ Combinatorics

Let $M$ be a Fraïssé structure (a countably infinite ultrahomogeneous structure). We call an embedding $f : A \to M$ extensive if each automorphism of its image extends to an automorphism of $M$, where the extension map respects composition, and we say that $M$ has extensible $ω$-age if each substructure admits an extensive embedding into $M$. We investigate the relationship between the following two properties: the presence of a stationary weak independence relation (SWIR) on $M$, and extensibility of the $ω$-age of $M$. We show that linearly ordered Fraïssé structures with a SWIR have extensible $ω$-age, but also we give examples of Fraïssé structures where only one of the two properties holds. Finally, we consider whether a wide range of examples of Fraïssé structures have extensible $ω$-age or a finite SWIR expansion, including all countably infinite ultrahomogeneous oriented graphs (with one exception).

We show that the conjugacy class of every pair of automoprhisms of the random poset is meager. This answers a question of Truss; see also Kuske-Truss. EDIT. Work in progress, at the moment there is a gap in the proof of Theorem 2.

We study universal minimal flows of the homeomorphism groups of generalized Ważewski dendrites $W_P$, $P\subset\{3,4,\ldots,ω\}$. If $P$ is finite, we prove that the universal minimal flow of of the homeomorphism group $H(W_P)$ is metrizable and we compute it explicitly. This answers a question of B. Duchesne. If $P$ is infinite, we show that the universal minimal flow of $H(W_P)$ is not metrizable. This provides examples of topological groups which are Roelcke precompact and have a non-metrizable universal minimal flow with a comeager orbit.

We consider the space of countable structures with fixed underlying set in a given countable language. We show that the number of ergodic probability measures on this space that are $S_\infty$-invariant and concentrated on a single isomorphism class must be zero, or one, or continuum. Further, such an isomorphism class admits a unique $S_\infty$-invariant probability measure precisely when the structure is highly homogeneous; by a result of Peter J. Cameron, these are the structures that are interdefinable with one of the five reducts of the rational linear order $(\mathbb{Q}, <)$.

We generalize the finite version of Gowers' Ramsey theorem to multiple tetris-like operations and apply it to show that a group of homeomorphisms that preserve a "typical" linear order of branches of the Lelek fan, a compact connected metric space with many symmetries, is extremely amenable.