arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2009.03080math.GRmath.DS
收藏

关于全群中稠密全能自由子群

On dense totipotent free subgroups in full groups

Alessandro Carderi, Damien Gaboriau, François Le Maître

AI总结:

本文研究自由群的全能遍历保测度作用,证明任意代价小于 r 的等价关系可由自由群 F_r 的全能作用实现且像在全群中稠密,并引入 evanescence 性质刻画代价为 1。

摘要:

我们研究自由群的保测度(p.m.p.)非自由作用及其相关的不变随机子群(IRS)。可数群 Gamma 的完美核是其子群空间中无孤立点的最大闭子空间。我们引入 Gamma 的全能遍历保测度作用类:这类作用中几乎每个点稳定子在完美核中具有稠密共轭类。等价地,相关 IRS 的支撑集尽可能大,即等于整个完美核。我们证明,每个代价为 $<r$ 的遍历保测度等价关系 R 都可以由自由群 F_r(r 个生成元)的一个全能作用之轨道实现,且该作用在全群 [R] 中的像稠密。我们解释了为何这些作用没有极小模型。这也提供了 F_r 的一族两两轨道不等价的连续统个不变随机子群,其所有支撑集都等于整个无限指标子群空间。我们因此引入全群拓扑生成对的一个性质(称为 evanescence),并建立其存在的通有性结果。我们证明它们的存在刻画了代价为 1。

英文摘要:

We study probability measure preserving (p.m.p.) non-free actions of free groups and the associated IRS's. The perfect kernel of a countable group Gamma is the largest closed subspace of the space of subgroups of Gamma without isolated points. We introduce the class of totipotent ergodic p.m.p. actions of Gamma: those for which almost every point-stabilizer has dense conjugacy class in the perfect kernel. Equivalently, the support of the associated IRS is as large as possible, namely it is equal to the whole perfect kernel. We prove that every ergodic p.m.p. equivalence relation R of cost $<r$ can be realized by the orbits of an action of the free group F_r on r generators that is totipotent and such that the image in the full group [R] is dense. We explain why these actions have no minimal models.This also provides a continuum of pairwise orbit inequivalent invariant random subgroups of F_r, all of whose supports are equal to the whole space of infinite index subgroups. We are led to introduce a property of topologically generating pairs for full groups (we call evanescence) and establish a genericity result about their existence. We show that their existence characterizes cost 1.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑