Groups, measures, and the NIP
Ehud Hrushovski, Ya'acov Peterzil, Anand Pillay

TL;DR
This paper explores measures, invariant measures, and genericity in definable groups within NIP structures, proving conjectures relating definably compact groups to Lie groups and introducing the concept of compact domination.
Contribution
It completes the proof of conjectures linking definably compact groups in o-minimal structures to compact Lie groups and introduces the new notion of compact domination.
Findings
Existence of a left invariant finitely additive probability measure on definable subsets of G
Proof of conjectures relating definably compact groups to compact Lie groups
Introduction of the concept of compact domination and related conjectures
Abstract
We discuss measures, invariant measures on definable groups, and genericity, often in an NIP (failure of the independence property) environment. We complete the proof of the third author's conjectures relating definably compact groups in saturated -minimal structures to compact Lie groups. We also prove some other structural results about such , for example the existence of a left invariant finitely additive probability measure on definable subsets of . We finally introduce a new notion "compact domination" (domination of a definable set by a compact space) and raise some new conjectures in the -minimal case.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Topology and Set Theory
