This article concerns a purely combinatorial result about topological groups that is motivated by a technical conjecture in model theory. First, fix an infinite set \(G\) and a family \(\mathcal{F}\) of subsets of \(G\). For \(A\subseteq G\), set \(\mathcal{F}\cap A:=\{S\cap A \;: \;S\in \mathcal{F}\}\). One says that \(\mathcal{F}\) has \textit{finite VC-dimension} if there is \(n\) such that, for every \(A\subset G\) of size \(n\), we have \(\mathcal{F}\cap A\not=\mathcal{P}(A)\). The main result of this article is that if \(G\) is a locally compact, second countable group with a fixed Haar measure \(\mu\) and \(X\subseteq G\) is a closed subset of \(X\) such that the family of left translates of \(X\) has finite VC-dimension, then the topological border \(\partial X\) of \(X\) has \(\mu\)-measure \(0\). This result extends to \(X\) that are merely constructible instead of closed if one makes a mild extra technical assumption. This combinatorial result is used to settle the generic compact domination conjecture for NIP groups. Although this conjecture had been claimed to have been proven in an earlier joint work with \textit{E. Hrushovski} and \textit{A. Pillay} [Trans. Am. Math. Soc. 365, No. 5, 2341--2366 (2013; Zbl 1294.03023)], a gap in that proof was found. Thus, the proof appearing in this paper is the first correct proof of this conjecture.
- Less than continuum many translates of a compact nullset may cover any infinite profinite group
- On the equivalence of sets of equal Haar measures by countable decomposition
- On functions satisfying some inequalities
- Covering locally compact groups by less than 2ωmany translates of a compact nullset
- Pseudocompactness, measurability, and category in compact groups
- Haar nonmeasurable partitions of compact groups
- On the Steinhaus property in topological groups
- Haar measure is not approximable by balls
- Invariant measures on topological groups
- scientific article; zbMATH DE number 826946
- A Guide to NIP Theories
- A note on generically stable measures and fsg groups
- Definably amenable NIP groups
- Generically stable and smooth measures in NIP theories
- Groups, measures, and the NIP
- scientific article; zbMATH DE number 722611 (Why is no real title available?)
- scientific article; zbMATH DE number 1749054 (Why is no real title available?)
- On NIP and invariant measures
- On the Uniform Convergence of Relative Frequencies of Events to Their Probabilities
- Shorter Notes: An Elementary Proof of Steinhaus's Theorem
- Tame systems and scrambled pairs under an Abelian group action
- The VC-dimension of set systems defined by graphs
- Structure and regularity for subsets of groups with finite VC-dimension
- Convolutions of sets with bounded VC-dimension are uniformly continuous
- AN EQUIVALENCE RESULT FOR VC CLASSES OF SETS
- Externally definable quotients and NIP expansions of the real ordered additive group
- Pseudofinite groups and VC-dimension
- Some model theory and topological dynamics of \(p\)-adic algebraic groups
- On minimal flows and definable amenability in some distal NIP theories
- Approximate subgroups with bounded VC-dimension
- An invitation to extension domination
- On minimal flows of definably amenable p-adic groups
This page was built for publication: VC-sets and generic compact domination
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q522325)
