Logic Colloquium: Questions about phase spaces of minimal Boolean flows
Colloquium | December 6 | 4-5 p.m. | 60 Evans Hall
Dana Bartošová, University of Florida
By a flow, we mean a continuous action of a topological groups $G$ on a compact Hausdorff space $X$. We refer to $X$ as the phase space of the flow. We are primarily interested in minimal flows, that is flows that have no non-trivial proper closed invariant subset. Among minimal flows, there exists a maximal one called the universal minimal flow, $M(G),$ which admits a continuous homomorphism onto every minimal flow. When $G$ is non-Archimedean, that is, admits a neighbourhood basis of the identity of open subgroups, then $M(G)$ is $0$-dimensional. These are exactly groups of automorphisms of first-order structures with the topology of pointwise convergence. If $M(G)$ is $0$-dimensional, we can think dually in terms of its algebra of clopen subsets. We summarize which algebras are known to appear as phase spaces of universal minimal flows and we pose questions about the unknown.