[论文解读] Completeness of translation-invariant ideals in groups

Тарас Банах, Nadya Lyaskovska|arXiv (Cornell University)|Nov 19, 2009

Advanced Topology and Set Theory参考文献 5被引用 9

一句话总结

本文引入并分析了群中平移不变理想的各种完备性概念，特别关注基于填充指数的完备性及其与拓扑和测度性质的相互作用。主要贡献在于证明：在特定的豪斯多夫、极端连通、完全有界的左不变拓扑下，任意群中极小集的理想与无处稠密集的理想完全一致，并建立了推广不变理想结构的填充完备性理想层级。

ABSTRACT

We introduce and study varions notions of completeness of translation-invariant ideals in groups.

研究动机与目标

• 形式化并研究群中平移不变理想的各种完备性概念——拓扑的、测度论的以及基于填充的。
• 在特定完全有界、左不变、极端连通的拓扑下，将群中极小集的理想表征为无处稠密集的族。
• 研究从平凡理想 {∅} 生成的填充完备性理想层级，尤其在可约群与不可约群中的表现。
• 解决这些理想在 Borel 复杂度和组合结构方面的开放问题，特别是在群 ℤ 中的情况。

提出的方法

• 为群 G 中的子集 A 引入填充指数 $\mathrm{Pack}_n(A)$ 的概念，衡量在某种理想意义下，可无重叠地打包多少个 A 的平移。
• 通过超限归纳法定义 $\mathrm{Pack}_n$-完备化：$\mathcal{I}_\alpha$ 是包含所有满足 $\mathcal{I}_\beta$-填充指数无限（对所有 $\beta < \alpha$）的集合 A 的最小加法族，起始于 $\mathcal{I}_0 = \mathcal{I}$。
• 利用由开集 $U$（在给定的完全有界左不变拓扑 $\tau$ 中）与小集 $A$ 构成的集合 $U \setminus A$ 生成的拓扑 $\tau_s$，将极小集的理想表征为无处稠密集的族。
• 应用 Protasov 关于极端连通完全有界拓扑的结果，证明在这样的拓扑下，极小集的理想等于无处稠密集的理想。
• 建立理想层级 $\mathcal{I}_{<\omega_1} = \bigcup_{\alpha < \omega_1} \mathcal{I}_\alpha$ 作为理想 $\mathcal{I}$ 的 $\mathrm{Pack}_{<\omega}$-完备化，证明其对所有 $n \geq 2$ 均为 $\mathrm{Pack}_n$-完备。
• 分析这些理想在特定群（尤其是 $\mathbb{Z}$ 和包含自由群 $F_2$ 的群）中的行为，以区分可约与不可约情形。

实验结果

研究问题

• RQ1 在 $\mathbb{Z}$ 中，极小集的理想是否等于某个正则完全有界左不变拓扑下的无处稠密集的理想？
• RQ2 在 $\mathbb{Z}$ 中，对 $n \geq 2$，理想 $\mathrm{Pack}_n(\mathcal{I}_0)$ 是否两两不同，且是否不同于 $\mathrm{Pack}_{<\omega}(\mathcal{I}_0)$？
• RQ3 $\mathrm{Pack}_{<\omega}(\mathcal{I}_0) \neq \mathcal{N}$ 是否成立，其中 $\mathcal{N}$ 是绝对零测集的理想？
• RQ4 $\mathrm{Pack}_{<\omega}(\mathcal{I}_0)$ 与 $\mathrm{Pack}_n(\mathcal{I}_0)$（$n \geq 2$）的 Borel 复杂度是多少？它们是否为 coanalytic？
• RQ5 若 $\mathrm{Pack}_{<\omega}(\mathcal{I}_0) \subset \mathcal{S}$（其中 $\mathcal{S}$ 是极小集的理想），是否可推出群 $G$ 是可约的？

主要发现

• 在任意群 $G$ 中，极小集的理想 $\mathcal{S}$ 恰好与特定豪斯多夫、极端连通、完全有界的左不变拓扑 $\tau_s$ 下的无处稠密集的理想一致。
• $\mathrm{Pack}_{<\omega}$-完备化下的平凡理想 $\mathcal{I}_0 = \{\emptyset\}$ 等于 $\mathcal{P}(G)$，当且仅当 $G$ 包含自由群 $F_2$；若 $G$ 是可约的，则其包含于 $\mathcal{S}$ 中。
• 对任意不变理想 $\mathcal{I}$，其 $\mathrm{Pack}_n$-完备化 $\mathrm{Pack}_n(\mathcal{I})$ 等于 $\bigcup_{\alpha < \omega_1} \mathcal{I}_\alpha$，其中 $\mathcal{I}_\alpha$ 通过 $\mathcal{I}_\beta$-填充指数（$\beta < \alpha$）递归定义。
• 对可数群 $G$，极小集的理想 $\mathcal{S}$ 是 Cantor 立方 $\{0,1\}^G$ 中的 $F_{\sigma\delta}$-子集，表明其 Borel 复杂度较低。
• 在群 $\mathbb{Z}$ 中，对 $n \geq 2$，理想 $\mathrm{Pack}_n(\mathcal{I}_0)$ 严格递增且互不相同，且 $\mathrm{Pack}_{<\omega}(\mathcal{I}_0) \neq \mathcal{N}$，其中 $\mathcal{N}$ 是绝对零测集的理想。
• 绝对零测集的理想 $\mathcal{N}$ 是 coanalytic 的；若 $G$ 可数且可约，则 $\mathrm{Pack}_{<\omega}(\mathcal{I}_0)$ 也是 coanalytic 的。