External definability and groups in NIP theories

DOI10.1112/JLMS/JDU019zbMATH Open1353.03020arXiv1307.4794OpenAlexW2106715694MaRDI QIDQ2874657FDOQ2874657

Authors: Artem Chernikov, Pierre Simon, Anand Pillay 

Publication date: 8 August 2014

Published in: Journal of the London Mathematical Society. Second Series (Search for Journal in Brave)

Abstract: We prove that many properties and invariants of definable groups in NIP theories, such as definable amenability, G/G^{00}, etc., are preserved when passing to the theory of the Shelah expansion by externally definable sets, M^{ext}, of a model M. In the light of these results we continue the study of the "definable topological dynamics" of groups in NIP theories. In particular we prove the Ellis group conjecture relating the Ellis group to G/G^{00} in some new cases, including definably amenable groups in o-minimal structures.

Full work available at URL: https://arxiv.org/abs/1307.4794

Recommendations

• Topological dynamics and definable groups
• THE ELLIS GROUP CONJECTURE AND VARIANTS OF DEFINABLE AMENABILITY
• Externally definable quotients and NIP expansions of the real ordered additive group
• Definably amenable NIP groups
• Topological dynamics for groups definable in real closed field

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Dynamical systems involving transformations and group actions with special properties (minimality, distality, proximality, expansivity, etc.) (37B05) Model theory of ordered structures; o-minimality (03C64)

Cites Work

• Title not available (Why is that?)
• Topological dynamics of definable group actions
• Connected components of definable groups and o-minimality. I
• Groups, measures, and the NIP
• On compactifications and the topological dynamics of definable groups
• Topological dynamics and definable groups
• Forking and dividing in NTP\(_{2}\) theories
• On NIP and invariant measures
• Dependent first order theories, continued
• Generically stable and smooth measures in NIP theories
• Externally definable sets and dependent pairs
• Model theoretic connected components of groups
• Minimal bounded index subgroup for dependent theories
• Some model theory of SL(2,R)
• Externally definable sets and dependent pairs. II

Cited In (21)

• Topological dynamics and NIP fields
• Externally definable quotients and NIP expansions of the real ordered additive group
• Amenability, definable groups, and automorphism groups
• On some dynamical aspects of NIP theories
• Invariant measures in simple and in small theories
• Invariant types in NIP theories
• On minimal flows and definable amenability in some distal NIP theories
• Externally definable sets and dependent pairs
• Definable convolution and idempotent Keisler measures
• Some model theory and topological dynamics of \(p\)-adic algebraic groups
• Variations on a theme of de Aldama and Shelah
• THE ELLIS GROUP CONJECTURE AND VARIANTS OF DEFINABLE AMENABILITY
• Definable convolution and idempotent Keisler measures. II.
• Topological dynamics and definable groups
• Definably topological dynamics of \(p\)-adic algebraic groups
• Definably amenable NIP groups
• Topological dynamics for groups definable in real closed field
• Elementary classes of finite VC-dimension
• On minimal flows, definably amenable groups, and o-minimality
• Externally definable sets and dependent pairs. II
• Generalised Bohr compactification and model-theoretic connected components

This page was built for publication: External definability and groups in NIP theories

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