Abstract:We study idempotent measures and the structure of the convolution semigroups of measures over definable groups. We isolate the property of generic transitivity and demonstrate that it is sufficient (and necessary) to develop stable group theory localizing on a generically stable type, including invariant stratified ranks and connected components. We establish generic transitivity of generically stable idempotent types in important new cases, including abelian groups in arbitrary theories and arbitrary groups in rosy theories, and characterize them as generics of connected type-definable subgroups. Using tools from Keisler's randomization theory, we generalize some of these results from types to generically stable Keisler measures, and classify idempotent generically stable measures in abelian groups as (unique) translation-invariant measures on type-definable fsg subgroups. This provides a partial definable counterpart to the classical work of Rudin, Cohen and Pym for locally compact topological groups. Finally, we provide an explicit construction of a minimal left ideal in the convolution semigroup of measures for an arbitrary countable NIP group, from a minimal left ideal in the corresponding semigroup on types and a canonical measure constructed on its ideal subgroup. In order to achieve it, we in particular prove the revised Ellis group conjecture of Newelski for countable NIP groups.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on **idempotent measures** and their structural research in **definable groups**. Specifically, the paper explores the relationship between idempotent measures and the convolution semigroup structure on definable groups, and attempts to establish generalizations of some key results of stable group theory in a broader context. The following are the main research questions of the paper:
1. **Properties of Idempotent Types and Idempotent Measures**:
- Study the properties of idempotent types and idempotent measures, especially in different types of theories (such as stable theories, NIP theories, rosy theories, etc.).
- Explore the structure and behavior of these idempotent types and measures in definable groups.
2. **Generic Transitivity**:
- Introduce and study the concept of generic transitivity, and prove that it is a sufficient and necessary condition in some important cases for developing localized stable group theory.
- In particular, in the rosy theories of abelian groups and arbitrary groups, prove that idempotent and generically stable types have generic transitivity.
3. **Idempotent and Generically Stable Measures**:
- Generalize the results of idempotent and generically stable types to idempotent and generically stable Keisler measures. In particular, in abelian groups, classify idempotent and generically stable Keisler measures as the unique translation - invariant measures on type - definable fsg subgroups.
4. **Topological Dynamics of NIP Groups**:
- Study the structure of the measure space \((M_{G,M}(U), \ast)\) on NIP groups, especially from the perspective of Ellis theory.
- Provide an explicit construction of the minimal left ideal of an arbitrary countable NIP group, starting from a counterpart of the minimal left ideal on the type space and the canonical measure on its ideal subgroup.
5. **The Modified Newelski Conjecture**:
- Prove that the modified Newelski conjecture holds for countable NIP groups, that is, when \(G\) is a definable group in a countable NIP structure, the \(\tau\)-topology on the ideal group \(uM\) is Hausdorff.
Through the study of these problems, the paper aims to establish a stable group theory in a broader framework, especially in terms of idempotent measures and the convolution semigroup structure of definable groups, and provide new insights and tools.