Amenability, definable groups, and automorphism groups

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

Authors Krzysztof Krupiński, Anand Pillay 

Publication date 13 February 2019

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

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

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)

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^{\ast }}_M^{00}$ and ${G^{\ast }}_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.

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

Cites Work

• scientific article; zbMATH DE number 3836032 (Why is no real title available?)
• scientific article; zbMATH DE number 976831 (Why is no real title available?)
• scientific article; zbMATH DE number 1425669 (Why is no real title available?)
• scientific article; zbMATH DE number 3271087 (Why is no real title available?)
• A Guide to NIP Theories
• A note on Lascar strong types in simple theories
• Amenable Groups and Groups with the Fixed Point Property
• Approximate subgroups
• Connected components of definable groups and o-minimality. I
• Definable topological dynamics
• Definably amenable NIP groups
• Eberlein oligomorphic groups
• Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups
• Galois groups of first order theories
• Generalised Bohr compactification and model-theoretic connected components
• Groups, measures, and the NIP
• Hyperimaginaries and automorphism groups
• Model theoretic aspects of the Ellis semigroup
• Model theoretic connected components of groups
• ON A NONABELIAN BALOG–SZEMERÉDI-TYPE LEMMA
• On NIP and invariant measures
• On a Roelcke-precompact Polish group that cannot act transitively on a complete metric space
• On compactifications and the topological dynamics of definable groups
• On model-theoretic connected components in some group extensions
• On the category of models of a complete theory
• Proximal flows
• Some model theory of Polish structures
• Stable group theory and approximate subgroups
• 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
• Topological dynamics of definable group actions
• Topological groups, \(\mu\)-types and their stabilizers
• \(G\)-compactness and groups

Cited In (21)

• On \(\omega\)-categorical groups and their completions.
• Amenability, connected components, and definable actions
• On decidability of amenability in computable groups
• Galois groups as quotients of Polish 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
• Some model theory and topological dynamics of \(p\)-adic algebraic groups
• 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
• On compactifications and the topological dynamics of definable groups
• BOHR COMPACTIFICATIONS OF GROUPS AND RINGS
• Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic
• 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
• Generalised Bohr compactification and model-theoretic connected components
• \(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)