Definable convolution and idempotent Keisler measures II

DOI10.2140/MT.2023.2.185MaRDI QIDQ6392242zbMATH OpenFDO

Authors Artem Chernikov, Kyle Gannon

Publication date 26 February 2022

Full work available at URL https://doi.org/10.2140/MT.2023.2.185

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) General groups of measure-preserving transformations (28D15) Dynamical systems involving transformations and group actions with special properties (minimality, distality, proximality, expansivity, etc.) (37B05) Measure algebras on groups, semigroups, etc. (43A10)

Abstract: We study convolution semigroups of invariant/finitely satisfiable Keisler measures in NIP groups. We show that the ideal (Ellis) subgroups are always trivial and describe minimal left ideals in the definably amenable case, demonstrating that they always form a Bauer simplex. Under some assumptions, we give an explicit construction of a minimal left ideal in the semigroup of measures from a minimal left ideal in the corresponding semigroup of types (this includes the case of SL${}_2(mathbbR)$, which is not definably amenable). We also show that the canonical push-forward map is a homomorphism from definable convolution on $mathcalG$ to classical convolution on the compact group $mathcalG/mathcal{G}^{00}$, and use it to classify $mathcal{G}^{00}$-invariant idempotent measures.

This page was built for publication: Definable convolution and idempotent Keisler measures II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6392242)