Generalised Bohr compactification and model-theoretic connected components

DOI10.1017/S0305004116000967zbMATH Open1476.03044arXiv1406.7730OpenAlexW2963004352MaRDI QIDQ5360461FDOQ5360461

Authors: Krzysztof Krupiński, Anand Pillay 

Publication date: 28 September 2017

Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Abstract: For a group $G$ first order definable in a structure $M$, we continue the study of the "definable topological dynamics" of $G$. The special case when all subsets of $G$ are definable in the given structure $M$ is simply the usual topological dynamics of the discrete group $G$; in particular, in this case, the words "externally definable" and "definable" can be removed in the results described below. Here we consider the mutual interactions of three notions or objects: a certain model-theoretic invariant $G^{\ast }/(G^{\ast }{)}_M^{000}$ of $G$, which appears to be "new" in the classical discrete case and of which we give a direct description in the paper; the [externally definable] generalized Bohr compactification of $G$; [externally definable] strong amenability. Among other things, we essentially prove: (i) The "new" invariant $G^{\ast }/(G^{\ast }{)}_M^{000}$ lies in between the externally definable generalized Bohr compactification and the definable Bohr compactification, and these all coincide when $G$ is definably strongly amenable and all types in $S_G(M)$ are definable, (ii) the kernel of the surjective homomorphism from $G^{\ast }/(G^{\ast }{)}_M^{000}$ to the definable Bohr compactification has naturally the structure of the quotient of a compact (Hausdorff) group by a dense normal subgroup, and (iii) when $Th(M)$ is NIP, then $G$ is [externally] definably amenable iff it is externally definably strongly amenable. In the situation when all types in $S_G(M)$ are definable, one can just work with the definable (instead of externally definable) objects in the above results.

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

Recommendations

• Amenability, definable groups, and automorphism groups
• Definable topological dynamics
• On compactifications and the topological dynamics of definable groups
• Connected components of definable groups and o-minimality. I
• Topological dynamics and definable groups

Mathematics Subject Classification ID

Compact groups (22C05) Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Dynamics in general topological spaces (37B02)

Cites Work

• Proximal flows
• Title not available (Why is that?)
• Topological dynamics of definable group actions
• Connected components of definable groups and o-minimality. I
• On compactifications and the topological dynamics of definable groups
• On NIP and invariant measures
• \(G\)-compactness and groups
• Model theoretic aspects of the Ellis semigroup
• Model theoretic connected components of groups
• Connected components of definable groups, and o-minimality. II.
• External definability and groups in NIP theories
• Some model theory of SL(2,R)
• Definable topological dynamics and real Lie groups
• Pillay's conjecture and its solution -- a survey
• Smoothness of bounded invariant equivalence relations
• The Borel cardinality of Lascar strong types
• BOREL EQUIVALENCE RELATIONS AND LASCAR STRONG TYPES
• On model-theoretic connected components in some group extensions

Cited In (15)

• Topological dynamics and NIP fields
• Amenability, definable groups, and automorphism groups
• Definable topological dynamics
• Amenability, connected components, and definable actions
• Topological dynamics and the complexity of strong types
• Galois groups as quotients of Polish groups
• Ramsey theory and topological dynamics for first order theories
• Some model theory and topological dynamics of \(p\)-adic algebraic 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
• Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8--14, 2023
• A Boolean action of \(C(M, U(1))\) without a spatial model and a re-examination of the Cameron-Martin theorem
• EQUIVALENCE RELATIONS INVARIANT UNDER GROUP ACTIONS
• ON MODEL-THEORETIC CONNECTED GROUPS

This page was built for publication: Generalised Bohr compactification and model-theoretic connected components

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