当前位置: X-MOL 学术Math. Logic Q. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Automorphism invariant measures and weakly generic automorphisms
Mathematical Logic Quarterly ( IF 0.3 ) Pub Date : 2022-08-27 , DOI: 10.1002/malq.202100044
Gábor Sági 1, 2
Affiliation  

Let A$\mathcal {A}$ be a countable ℵ0-homogeneous structure. The primary motivation of this work is to study different amenability properties of (subgroups of) the automorphism group Aut(A)$\operatorname{Aut}(\mathcal {A})$ of A$\mathcal {A}$; the secondary motivation is to study the existence of weakly generic automorphisms of A$\mathcal {A}$. Among others, we present sufficient conditions implying the existence of automorphism invariant probability measures on certain subsets of A and of Aut(A)$\operatorname{Aut}(\mathcal {A})$; we also present sufficient conditions implying that the theory of A$\mathcal {A}$ is amenable. More concretely, we show that if the set of locally finite automorphisms of A$\mathcal {A}$ is dense (in particular, if A$\mathcal {A}$ has weakly generic tuples of automorphisms of arbitrary finite length), then there exists a finitely additive probability measure μ on the subsets of A$\mathcal {A}$ definable with parameters such that μ is invariant under Aut(A)$\operatorname{Aut}(\mathcal {A})$. Moreover, if A$\mathcal {A}$ is saturated and the set of its locally finite automorphisms is dense (in particular, if A$\mathcal {A}$ is saturated and has weak generics), then the theory of A$\mathcal {A}$ is amenable.

中文翻译:

自同构不变测度和弱泛型自同构

一个$\数学{A}$是一个可数的 ℵ 0 -齐次结构。这项工作的主要动机是研究自同构群(子群)的不同顺应性性质自动(一个)$\operatorname{Aut}(\mathcal {A})$一个$\数学{A}$; 第二个动机是研究弱泛型自同构的存在一个$\数学{A}$. 除其他外,我们提出了充分条件,暗示在A的某些子集上存在自同构不变概率测度和自动(一个)$\operatorname{Aut}(\mathcal {A})$; 我们还提出了充分条件,暗示一个$\数学{A}$是顺从的。更具体地说,我们证明了如果一个$\数学{A}$是稠密的(特别是,如果一个$\数学{A}$具有任意有限长度的自同构的弱泛型元组),那么在一个$\数学{A}$可以用参数定义,使得 μ 在下是不变的自动(一个)$\operatorname{Aut}(\mathcal {A})$. 此外,如果一个$\数学{A}$是饱和的,并且它的局部有限自同构集是稠密的(特别是,如果一个$\数学{A}$是饱和的并且具有弱泛型),那么理论一个$\数学{A}$是顺从的。
更新日期:2022-08-27
down
wechat
bug