SU\G(𝔸)/K·U
Sign Up for free Log In

Definably amenable groups in Continuous logic

Authors

Juan Felipe Carmona, Alf Onshuus
Type: Preprint
Publication Date: 2022-01-01
Citations: 0
DOI: https://doi.org/10.48550/arxiv.2201.09971

Abstract

We generalize the notions of definable amenability and extreme definable amenability to continuous structures and show that the stable and ultracompact groups are definable amenable. In addition, we characterize both notions in terms of fixed-point properties. We prove that, for dependent theories, definable amenability is equivalent to the existence of a good S1 ideal. Finally, we show the randomizations of first-order definable amenable groups are extremely definably amenable.

Locations

  • arXiv (Cornell University)
    View
  • DataCite API
    View

Ask a Question About This Paper

Summary

Login to see paper summary

Similar Works

On first order amenability

2020-01-01
Ehud Hrushovski , Krzysztof Krupiński , Anand Pillay
We introduce the notion of first order amenability, as a property of a first order theory $T$: every complete type over $\emptyset$, in possibly infinitely many variables, extends to an … We introduce the notion of first order amenability, as a property of a first order theory $T$: every complete type over $\emptyset$, in possibly infinitely many variables, extends to an automorphism-invariant global Keisler measure in the same variables. Amenability of $T$ follows from amenability of the (topological) group $Aut(M)$ for all sufficiently large $\aleph_{0}$-homogeneous countable models $M$ of $T$ (assuming $T$ to be countable), but is radically less restrictive. First, we study basic properties of amenable theories, giving many equivalent conditions. Then, applying a version of the stabilizer theorem from [Amenability, connected components, and definable actions; E. Hrushovski, K. Krupiński, A. Pillay], we prove that if $T$ is amenable, then $T$ is G-compact, namely Lascar strong types and Kim-Pillay strong types over $\emptyset$ coincide. This extends and essentially generalizes a similar result proved via different methods for $ω$-categorical theories in [Amenability, definable groups, and automorphism groups; K. Krupiński, A. Pillay] . In the special case when amenability is witnessed by $\emptyset$-definable global Keisler measures (which is for example the case for amenable $ω$-categorical theories), we also give a different proof, based on stability in continuous logic. Parallel (but easier) results hold for the notion of extreme amenability.
Chat View PDF

Definable sets containing productsets in expansions of groups

2017-01-26
Uri Andrews , Gabriel Conant , Isaac Goldbring
We consider the question of when sets definable in first-order expansions of groups contain the product of two infinite sets (we refer to this as the property). We first show … We consider the question of when sets definable in first-order expansions of groups contain the product of two infinite sets (we refer to this as the property). We first show that the productset property holds for any definable subset $A$ of an expansion of a discrete amenable group such that $A$ has positive Banach density and the formula $x\cdot y\in A$ is stable. For arbitrary expansions of groups, we consider a version of the productset property, which is characterized in various ways using coheir independence. For stable groups, the productset property is equivalent to this $1$-sided version, and behaves as a notion of largeness for definable sets, which can be characterized by a natural weakening of model-theoretic genericity. Finally, we use recent work on regularity lemmas in distal theories to prove a definable version of the productset property for sets of positive Banach density definable in certain distal expansions of amenable groups.
Chat View PDF

Definable sets containing productsets in expansions of groups

2017-01-01
Uri Andrews , Gabriel Conant , Isaac Goldbring
We consider the question of when sets definable in first-order expansions of groups contain the product of two infinite sets (we refer to this as the "productset property"). We first … We consider the question of when sets definable in first-order expansions of groups contain the product of two infinite sets (we refer to this as the "productset property"). We first show that the productset property holds for any definable subset $A$ of an expansion of a discrete amenable group such that $A$ has positive Banach density and the formula $x\cdot y\in A$ is stable. For arbitrary expansions of groups, we consider a "$1$-sided" version of the productset property, which is characterized in various ways using coheir independence. For stable groups, the productset property is equivalent to this $1$-sided version, and behaves as a notion of largeness for definable sets, which can be characterized by a natural weakening of model-theoretic genericity. Finally, we use recent work on regularity lemmas in distal theories to prove a definable version of the productset property for sets of positive Banach density definable in certain distal expansions of amenable groups.
Chat View PDF

Extremely amenable groups via continuous logic

2014-01-01
Julien Melleray , Todor Tsankov
We establish a characterization of extreme amenability of any Polish group in Fraïssé-theoretic terms in the setting of continuous logic, mirroring a theorem due to Kechris, Pestov and Todorcevic for … We establish a characterization of extreme amenability of any Polish group in Fraïssé-theoretic terms in the setting of continuous logic, mirroring a theorem due to Kechris, Pestov and Todorcevic for closed subgroups of the permutation group of an infinite countable set.
Chat View PDF

Definable sets containing productsets in expansions of groups

2018-11-06
Uri Andrews , Gabriel Conant , Isaac Goldbring
Abstract We consider the question of when sets definable in first-order expansions of groups contain the product of two infinite sets (we refer to this as the “productset property”). We … Abstract We consider the question of when sets definable in first-order expansions of groups contain the product of two infinite sets (we refer to this as the “productset property”). We first show that the productset property holds for any definable subset A of an expansion of a discrete amenable group such that A has positive Banach density and the formula <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mrow> <m:mi>x</m:mi> <m:mo>⋅</m:mo> <m:mi>y</m:mi> </m:mrow> <m:mo>∈</m:mo> <m:mi>A</m:mi> </m:mrow> </m:math> {x\cdot y\in A} is stable. For arbitrary expansions of groups, we consider a “1-sided” version of the productset property, which is characterized in various ways using coheir independence. For stable groups, the productset property is equivalent to this 1-sided version, and behaves as a notion of largeness for definable sets, which can be characterized by a natural weakening of model-theoretic genericity. Finally, we use recent work on regularity lemmas in distal theories to prove a definable version of the productset property for sets of positive Banach density definable in certain distal expansions of amenable groups.
Chat View PDF

Uniform Continuity in Definable Groups

2018-01-01
Alf Onshuus , Luis Suárez
In this paper we study analogues of amenability for topological groups in the context of definable structures. We prove fixed point theorems for such groups. More importantly, we propose definitions … In this paper we study analogues of amenability for topological groups in the context of definable structures. We prove fixed point theorems for such groups. More importantly, we propose definitions for definable actions and continuous functions from definable groups to topological spaces which might prove useful in other contexts.
Chat View PDF

Amenability, extreme amenability, and model-theoretic stability in integral logic

2014-08-16
Karim Khanaki
This paper has three parts. First, we study and characterize amenable and extremely amenable topological semigroups in terms of invariant measures using integral logic. We prove definability of some properties … This paper has three parts. First, we study and characterize amenable and extremely amenable topological semigroups in terms of invariant measures using integral logic. We prove definability of some properties of a topological semigroup such as amenability and the fixed point on compacta property. Second, we define types and develop local stability in the framework of integral logic. For a stable formula $\phi$, we prove definability of all complete $\phi$-types over models and deduce from this the fundamental theorem of stability. Third, we study an important property in measure theory, Talagrand's stability. We point out the connection between Talagrand's stability and dependence property (NIP), and prove a measure theoretic version of definability of types for NIP formulas.
Chat View PDF

Sets containing productsets in stable groups

2017-01-26
Uri Andrews , Gabriel Conant , Isaac Goldbring
We consider the question of when sets definable in first-order expansions of groups contain the product of two infinite sets (we refer to this as the property). We show that … We consider the question of when sets definable in first-order expansions of groups contain the product of two infinite sets (we refer to this as the property). We show that the productset property holds for any definable subset $A$ of an expansion of a discrete amenable group such that $A$ has positive Banach density and the formula $x\cdot y\in A$ is stable. For arbitrary first-order expansions of groups, we consider a version of the productset property, which is characterized in various ways using coheir independence. For stable groups, the productset property is equivalent to this $1$-sided version, and behaves as notion of largeness for definable sets, which can be characterized by a natural weakening of model-theoretic genericity.
Chat View PDF

On definable amenability of definable groups in simple theories (Model theoretic aspects of the notion of independence and dimension)

2018-08-01
Shunsuke Okabe

Amenability, connected components, and definable actions

2019-01-01
Ehud Hrushovski , Krzysztof Krupiński , Anand Pillay
We study amenability of definable and topological groups. Among our main technical tools is an elaboration on and strengthening of the Massicot-Wagner version of the stabilizer theorem, and some results … We study amenability of definable and topological groups. Among our main technical tools is an elaboration on and strengthening of the Massicot-Wagner version of the stabilizer theorem, and some results around measures. As an application we show that if $G$ is an amenable topological group, then the Bohr compactification of $G$ coincides with a certain "weak Bohr compactification" introduced in [24]. Formally, $G^{00}_{topo} = G^{000}_{topo}$. We also prove wide generalizations of this result, implying in particular its extension to a "definable-topological" context, confirming the main conjectures from [24]. We introduce $\bigvee$-definable group topologies on a given $\emptyset$-definable group $G$ (including group topologies induced by type-definable subgroups as well as uniformly definable group topologies), and prove that the existence of a mean on the lattice of closed, type-definable subsets of $G$ implies (under some assumption) that $cl(G^{00}_M) = cl(G^{000}_M)$ for any model $M$. We study the relationship between definability of an action of a definable group on a compact space, weakly almost periodic actions, and stability. We conclude that for any group $G$ definable in a sufficiently saturated structure, every definable action of $G$ on a compact space supports a $G$-invariant probability measure. This gives negative solutions to some questions and conjectures from [22] and [24]. We give an example of a $\emptyset$-definable approximate subgroup $X$ in a saturated extension of the group $\mathbb{F}_2 \times \mathbb{Z}$ in a suitable language for which the $\bigvee$-definable group $H:=\langle X \rangle$ contains no type-definable subgroup of bounded index. This refutes a conjecture by Wagner and shows that the Massicot-Wagner approach to prove that a locally compact "model" exists for each approximate subgroup does not work in general.
Chat View PDF

A fixed-point theorem for definably amenable groups

2017-11-10
Juan Felipe Carmona , Kevin Dávila , Alf Onshuus +1 more
Chat View PDF

A fixed-point theorem for definably amenable groups

2020-09-20
Juan Felipe Carmona , Kevin Dávila , Alf Onshuus +1 more
Chat View PDF

Logic in Finite Structures: Definability, Complexity, and Randomness

2006-01-01
Scott Weinstein

A fixed-point theorem for definably amenable groups

2017-01-01
Juan Felipe Carmona , Kevin Dávila , Alf Onshuus +1 more
We prove an analogue of the fixed-point theorem for the case of definably amenable groups. We prove an analogue of the fixed-point theorem for the case of definably amenable groups.
Chat View PDF

Amenability, connected components, and definable actions

2019-01-09
Ehud Hrushovski , Krzysztof Krupiński , Anand Pillay
We study amenability of definable groups and topological groups, and prove various results, briefly described below. Among our main technical tools, of interest in its own right, is an elaboration … We study amenability of definable groups and topological groups, and prove various results, briefly described below. Among our main technical tools, of interest in its own right, is an elaboration on and strengthening of the Massicot-Wagner version of the stabilizer theorem, and also some results about measures and measure-like functions (which we call means and pre-means). As an application we show that if $G$ is an amenable topological group, then the Bohr compactification of $G$ coincides with a certain ``weak Bohr compactification'' introduced in [24]. In other words, the conclusion says that certain connected components of $G$ coincide: $G^{00}_{topo} = G^{000}_{topo}$. We also prove wide generalizations of this result, implying in particular its extension to a ``definable-topological'' context, confirming the main conjectures from [24]. We also introduce $\bigvee$-definable group topologies on a given $\emptyset$-definable group $G$ (including group topologies induced by type-definable subgroups as well as uniformly definable group topologies), and prove that the existence of a mean on the lattice of closed, type-definable subsets of $G$ implies (under some assumption) that $cl(G^{00}_M) = cl(G^{000}_M)$ for any model $M$. Thirdly, we give an example of a $\emptyset$-definable approximate subgroup $X$ in a saturated extension of the group $\mathbb{F}_2 \times \mathbb{Z}$ in a suitable language (where $\mathbb{F}_2$ is the free group in 2-generators) for which the $\bigvee$-definable group $H:=\langle X \rangle$ contains no type-definable subgroup of bounded index. This refutes a conjecture by Wagner and shows that the Massicot-Wagner approach to prove that a locally compact (and in consequence also Lie) ``model'' exists for each approximate subgroup does not work in general (they proved in [29] that it works for definably amenable approximate subgroups).
Chat View PDF

Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic

2016-01-01
Karim Khanaki
This paper has three parts. First, we study and characterize amenable and extremely amenable topological semigroups in terms of invariant measures using integral logic. We prove definability of some properties … This paper has three parts. First, we study and characterize amenable and extremely amenable topological semigroups in terms of invariant measures using integral logic. We prove definability of some properties of a topological semigroup such as amenabilit
Chat View PDF

Definable closure in randomizations

2014-12-10
Uri Andrews , Isaac Goldbring , H. Jerome Keisler
Chat View PDF

Definable closure in randomizations

2013-04-29
Uri Andrews , Isaac Goldbring , H. Jerome Keisler
The randomization of a complete first order theory T is the complete continuous theory T^R with two sorts, a sort for random elements of models of T, and a sort … The randomization of a complete first order theory T is the complete continuous theory T^R with two sorts, a sort for random elements of models of T, and a sort for events in an underlying probability space. We give necessary and sufficient conditions for an element to be definable over a set of parameters in a model of T^R.
Chat View PDF

Definable closure in randomizations

2013-01-01
Uri Andrews , Isaac Goldbring , H. Jerome Keisler
The randomization of a complete first order theory T is the complete continuous theory T^R with two sorts, a sort for random elements of models of T, and a sort … The randomization of a complete first order theory T is the complete continuous theory T^R with two sorts, a sort for random elements of models of T, and a sort for events in an underlying probability space. We give necessary and sufficient conditions for an element to be definable over a set of parameters in a model of T^R.
Chat View PDF

Amenability, definable groups, and automorphism groups

2019-01-29
Krzysztof Krupiński , Anand Pillay
Chat View PDF

Cited by (0)

References (0)