Amenability, definable groups, and automorphism groups

DOI10.1016/J.AIM.2019.01.033zbMATH Open1452.43001arXiv1612.07560OpenAlexW2963899890MaRDI QIDQ1721978FDOQ1721978

Anand Pillay, Krzysztof Krupiński

Publication date: 13 February 2019

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: We prove several theorems relating amenability of groups in various categories (discrete, definable, topological, automorphism group) to model-theoretic invariants (quotients by connected components, Lascar Galois group, G-compactness, ...). For example, if $M$ is a countable, $omega$-categorical structure and $Aut(M)$ is amenable, as a topological group, then the Lascar Galois group $Ga{l}_L(T)$ of the theory $T$ of $M$ is compact, Hausdorff (also over any finite set of parameters), that is $T$ is G-compact. An essentially special case is that if $Aut(M)$ is extremely amenable, then $Ga{l}_L(T)$ is trivial, so, by a theorem of Lascar, the theory $T$ can be recovered from its category $Mod(T)$ of models. On the side of definable groups, we prove for example that if $G$ is definable in a model $M$, and $G$ is definably amenable, then the connected components ${G^{*}}_M^{00}$ and ${G^{*}}_M^{000}$ coincide, answering positively a question from an earlier paper of the authors. We also take the opportunity to further develop the model-theoretic approach to topological dynamics, obtaining for example some new invariants for topological groups, as well as allowing a uniform approach to the theorems above and the various categories.

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

Recommendations

• Generalised Bohr compactification and model-theoretic connected components
• On compactifications and the topological dynamics of definable groups
• 1 Model theory and groups
• scientific article; zbMATH DE number 1899880
• Amenability, connected components, and definable actions
• Bounded orbits and strongly generic sets
• Automorphism invariant measures and weakly generic automorphisms
• Amalgamation functors and homology groups in model theory
• External definability and groups in NIP theories
• EQUIVALENCE RELATIONS INVARIANT UNDER GROUP ACTIONS

zbMATH Keywords

amenability$G$-compactnessmodel-theoretic connected components

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Means on groups, semigroups, etc.; amenable groups (43A07) Topological groups (topological aspects) (54H11) Dynamics in general topological spaces (37B02)

Cites Work

• Proximal flows
• Title not available (Why is that?)
• Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups
• Hyperimaginaries and automorphism groups
• Galois groups of first order theories
• Topological dynamics of definable group actions
• On the category of models of a complete theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Connected components of definable groups and o-minimality. I
• Groups, measures, and the NIP
• Stable group theory and approximate subgroups
• On compactifications and the topological dynamics of definable groups
• On NIP and invariant measures
• ON A NONABELIAN BALOG–SZEMERÉDI-TYPE LEMMA
• A note on Lascar strong types in simple theories
• \(G\)-compactness and groups
• Model theoretic aspects of the Ellis semigroup
• Some model theory of Polish structures
• Model theoretic connected components of groups
• Amenable Groups and Groups with the Fixed Point Property
• Approximate subgroups
• A Guide to NIP Theories
• On a Roelcke-precompact Polish group that cannot act transitively on a complete metric space
• Definably amenable NIP groups
• Title not available (Why is that?)
• The Reciprocity of Dedekind Sums and the Factor Set for the Universal Covering Group of SL(2, R)
• Topological dynamics and the complexity of strong types
• Generalised Bohr compactification and model-theoretic connected components
• Topological groups, \(\mu\)-types and their stabilizers
• Eberlein oligomorphic groups
• DEFINABLE TOPOLOGICAL DYNAMICS
• On model-theoretic connected components in some group extensions

Cited In (16)

• Some model theory and topological dynamics of $p$-adic algebraic groups
• Amenability, connected components, and definable actions
• On decidability of amenability in computable groups
• The Kechris-Pestov-Todorčević correspondence from the point of view of category theory
• Generating ideals by additive subgroups of rings
• Automorphism groups of generic structures: extreme amenability and amenability
• THE ELLIS GROUP CONJECTURE AND VARIANTS OF DEFINABLE AMENABILITY
• A fixed-point theorem for definably amenable groups
• Boundedness and absoluteness of some dynamical invariants in model theory
• BOHR COMPACTIFICATIONS OF GROUPS AND RINGS
• On finite sets of small tripling or small alternation in arbitrary groups
• On elementary amenable bounded automata groups
• On the topological dynamics of automorphism groups: a model-theoretic perspective
• A note on Pontryagin duality and continuous logic
• ON MODEL-THEORETIC CONNECTED GROUPS
• \(G\)-compactness and groups

This page was built for publication: Amenability, definable groups, and automorphism groups

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