Generalised Bohr compactification and model-theoretic connected components

DOI10.1017/S0305004116000967MaRDI QIDQ5360461zbMATH OpenOpenAlexFDO

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)

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

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)

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.

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

Cites work

• {{#invoke:WikidataIB|getLink|Q4040097}} scientific article; zbMATH DE number 193253 (Why is no real title available?)
• {{#invoke:WikidataIB|getLink|Q5401601}} BOREL EQUIVALENCE RELATIONS AND LASCAR STRONG TYPES
• {{#invoke:WikidataIB|getLink|Q452037}} Connected components of definable groups and o-minimality. I
• {{#invoke:WikidataIB|getLink|Q2344721}} Connected components of definable groups, and o-minimality. II.
• {{#invoke:WikidataIB|getLink|Q5179273}} Definable topological dynamics and real Lie groups
• {{#invoke:WikidataIB|getLink|Q2874657}} External definability and groups in NIP theories
• {{#invoke:WikidataIB|getLink|Q1760413}} Model theoretic aspects of the Ellis semigroup
• {{#invoke:WikidataIB|getLink|Q1758910}} Model theoretic connected components of groups
• {{#invoke:WikidataIB|getLink|Q550563}} On NIP and invariant measures
• {{#invoke:WikidataIB|getLink|Q386629}} On compactifications and the topological dynamics of definable groups
• {{#invoke:WikidataIB|getLink|Q5744322}} On model-theoretic connected components in some group extensions
• {{#invoke:WikidataIB|getLink|Q3079696}} Pillay's conjecture and its solution -- a survey
• {{#invoke:WikidataIB|getLink|Q1223838}} Proximal flows
• {{#invoke:WikidataIB|getLink|Q2805040}} Smoothness of bounded invariant equivalence relations
• {{#invoke:WikidataIB|getLink|Q5177544}} Some model theory of SL(2,R)
• {{#invoke:WikidataIB|getLink|Q2922854}} The Borel cardinality of Lascar strong types
• {{#invoke:WikidataIB|getLink|Q3616343}} Topological dynamics of definable group actions
• {{#invoke:WikidataIB|getLink|Q938242}} \(G\)-compactness and groups

Cited in

(15)

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

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)