Topological groups with tractable minimal dynamics (2412.05659v1)

Abstract: We consider Polish groups with the generic point property, the property that every minimal action on a compact space admits a comeager orbit. By a result of Ben Yaacov, Melleray, and Tsankov, this class of Polish groups contains those with metrizable universal minimal flow, and by a construction of Kwiatkowska, this containment is proper. Earlier work of the authors gives a robust generalization of the class of Polish groups with metrizable universal minimal flow that makes sense for all topological groups. In this work, we do the same for the class of Polish groups with the generic point property, thus defining the class of topological groups with tractable minimal dynamics and giving several characterizations of this class. These characterizations yield novel results even in the Polish case; for instance, we show that the universal minimal flow of a locally compact non-compact Polish group has no points of first countability. Motivated by work of Kechris, Pestov, and Todor\v{c}evi\'c that connects Ramsey properties of classes of structures to dynamical properties of automorphism groups, we state and prove an abstract KPT correspondence which characterizes topological groups with tractable minimal dynamics. As an application, we prove that this class is absolute between models of set theory, and then use forcing and absoluteness arguments to further explore these classes of groups.