Automorphism groups of countably categorical linear orders are extremely amenable (Q2376898)

A topological group \(G\) is extremely amenable if every action of \(G\) on a compact Hausdorff space has a fixed point. It was shown by \textit{V. G. Pestov} [Trans. Am. Math. Soc. 350, No. 10, 4149--4165 (1998; Zbl 0911.54034)] that the automorphism group of the linear order of \(\mathbb{Q}\) is extremely amenable. Here the authors show that every countable linear order has a canonical sum-shuffle expression. They use Fraïssé limits to show that every countably categorical linear order is extremely amenable. They use methods of \textit{A. S. Kechris} et al. [Geom. Funct. Anal. 15, No. 1, 106--189 (2005; Zbl 1084.54014)] to derive structural Ramsey theorems.