[论文解读] Compact Invariant Random Subgroups

Tal Cohen, Helge Glöckner+2 more|arXiv (Cornell University)|Mar 17, 2026

advanced mathematical theories被引用 0

一句话总结

论文分析在 lcsc 群中支持在紧子群上的遍及不变随机子群（IRS），在许多类别中它们位于紧法子群或相关的 radical 之内；还为通过 polycompact 与 elliptic radical、以及 tdlc 群中的 Levi 子群来定位紧 IRS 构建了一般框架。

ABSTRACT

We study ergodic invariant random subgroups that give full measure to the subset of compact subgroups. We show that in real Lie groups, compactly generated $p$-adic Lie groups, locally compact hyperbolic groups and infinitely ended groups they are always contained in a compact normal subgroup. In general $p$-adic Lie groups, we show they are contained in the locally elliptic radical. In totally disconnected locally compact groups, we show they are contained in the intersection of all Levi subgroups of inner automorphisms.

研究动机与目标

• 激励并分类局部紧二段可数（lcsc）群的紧不变随机子群（IRSs）；理解其法闭包接近紧性程度。
• 识别在不同群类中控制紧 IRS 的结构性屏障（polycompact radical、局部椭圆 radical，以及 Levi 子群）。
• 为实 Lie 群、p-adic Lie 群、局部紧双曲群、无限多端群以及全离散群建立强 containment 结果。
• 将紧 IRS 与椭圆元素及 Willis 的 Levi 理论联系起来，以获得普遍的包含结果。
• 提供示例与开放问题，说明包含性结果的极限。

提出的方法

• 将紧 IRS 嵌入 Chabauty 空间并使用遍历分解将问题化为遍历分量的处理。
• 利用法闭包和包含引理将 IRS 与紧法子群或 radical（polycompact/elliptic）联系起来。
• 发展并应用李理论工具（Gleason–Yamabe、紧子群的共轭类可数性等）以推导包含性。
• 在 tdlc 情况下，构造一个对共轭不变、支撑在椭圆元素上的测度，并应用 Poincaré 循环性将其与 Levi 子群（Willis AZ(G)）联系起来。
• 利用 p-adic Lie 群的结构结果（lev(G) 中的开 polycompact radical）以及代数群的 B(G) 与椭圆元素，推导包含性结果。
• 提供明确示例（如 G_eta）以说明局限性并提出开放性问题。

实验结果

研究问题

• RQ1 一个 lcsc 群的紧 IRS 的法闭包在多大程度上必须是紧的，或包含在自然 radical 中？
• RQ2 在实 Lie 群、p-adic Lie 群、局部紧双曲群以及无限多端群中，紧 IRS 是否必然存在于紧法子群中？
• RQ3 哪些结构性 radical（polycompact、局部椭圆）和 Levi 子群控制更广义 lcsc 群中紧 IRS 的位置？
• RQ4 在 tdlc 群中，通过椭圆元素与 Levi 子群的方法是否能给出紧 IRS 的普遍包含结果？
• RQ5 一般 lcsc 群中，包含于紧法子群或 radical 的限制和反例有哪些？

主要发现

• 对于实 Lie 群，所有紧的遍历 IRS 具有紧法闭包。
• 对于 p-adic Lie 群，紧 IRS 落在局部椭圆 radical 内；在紧生成（compactly generated）情形或代数情形下，紧遍历 IRS 也是紧的。
• 对于紧生成的 lcsc 群若为双曲或具有无限多端，紧 IRS 含于 polycompact radical，而该 radical 本身是紧的。
• 在完全不相干的局部紧离散群中，任意紧 IRS 的法闭包包含于 inner 自同构的所有 Levi 子群的交集（近似中心 AZ(G)）。
• 在 tdlc 情况下，紧 IRS 的法闭包包含在 lev(G) 中，且在某些条件下进一步包含在紧法子群或在商群后成为有限法子群。
• 论文给出一个明确示例，表明紧 IRS 可能产生非紧的法闭包，从而凸显某些包含性结果的尖锐性。