数学 > 逻辑
[提交于 2025年7月3日
]
标题: 存在性闭合的保测度的近似树可分群作用
标题: Existentially closed measure-preserving actions of approximately treeable groups
摘要: 给定一个可数群$\Gamma$,令$\mathcal{K}_\Gamma$表示{\pmp }的$\Gamma$的作用类,我们研究当$\mathcal{K}_\Gamma$的模型伴随存在时的条件。 Berenstein、Henson 和 Ibarlucía 表明,当$\Gamma$是一个可数生成元的非交换自由群时,$\mathcal{K}_\Gamma$的模型伴随存在。 我们通过证明当$\Gamma$是一个近似树形群时,$\cal K_\Gamma$的模型伴随存在,从而显著推广了他们的结果。 近似树形群类包含树形群类以及普遍自由群类,即与非交换自由群具有相同全称理论的群类。 我们使用模型伴随存在的开映射特征来证明这一结果;此外,这种开映射特征在模型伴随存在时提供了具体的、遍历论的公理。 我们展示了如何在树形群的情况下简化这些公理,为自由群的模型伴随提供了一种替代的公理化方法,该方法最初由Berenstein、Henson和Ibarlucía利用模型论稳定性理论的技术进行公理化。 在此过程中,我们证明了一个纯粹的遍历论结果,具有独立兴趣,即有限生成的普遍自由群(也称为极限群)具有Kechris的MD性质。 我们还证明了对于具有Kechris的EMD性质的群,其紧致完成作用是存在闭的,而对于没有性质(T)的群,泛在的存在闭作用是弱混合的,推广了Berenstein、Henson和Ibarlucía针对非交换自由群的情况所得出的结果。
文献和引用工具
与本文相关的代码,数据和媒体
alphaXiv (什么是 alphaXiv?)
CatalyzeX 代码查找器 (什么是 CatalyzeX?)
DagsHub (什么是 DagsHub?)
Gotit.pub (什么是 GotitPub?)
Hugging Face (什么是 Huggingface?)
带有代码的论文 (什么是带有代码的论文?)
ScienceCast (什么是 ScienceCast?)
演示
推荐器和搜索工具
arXivLabs:与社区合作伙伴的实验项目
arXivLabs 是一个框架,允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。
与 arXivLabs 合作的个人和组织都接受了我们的价值观,即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观,并且只与遵守这些价值观的合作伙伴合作。
有一个为 arXiv 社区增加价值的项目想法吗? 了解更多关于 arXivLabs 的信息.