Power Semigroups and Two Rigidity Theorems for Groups

技术摘要：幂半群与群的两类刚性定理

问题陈述
本文探讨了幂半群的同构问题。给定一个半群 $H$，令 $P(H)$ 表示“大幂半群”（即 $H$ 的所有非空子集在集合乘法下的集合），并令 $P_{fin}(H)$ 表示“有限幂半群”（即 $H$ 的所有非空有限子集的集合）。研究的核心问题包括：

1. 全局刚性（Global Rigidity）： 若 $H$ 属于特定的半群类 $\mathcal{O}$，且对于某个半群 $K$，满足 $P(H) \cong P(K)$，是否可以推出 $K \in \mathcal{O}$ 且 $H \cong K$？
2. 有限刚性（Finitary Rigidity）： 类似地，若 $P_{fin}(H) \cong P_{fin}(K)$，是否可以推出 $K \in \mathcal{O}$ 且 $H \cong K$？

虽然已知所有群类是全局确定的（即对于群而言，$P(H) \cong P(K) \implies H \cong K$），但对于无限群而言，有限幂半群 $P_{fin}(H)$ 的行为尚不明确。本文专门针对 $H$ 为有理数 $\mathbb{Q}$ 的加法子群时 $P_{fin}(H)$ 的刚性问题进行研究。

方法论
作者结合了结构半群理论、组合数论和丢番图几何学。

• 同构的结构分析： 在无穷情形下（第 2 节），作者分析了全局同构 $f: P(H) \to P(K)$。他们引入了幂半群中“单位稳定”（unit-stable）元素的概念，用以证明任何单群之间的全局同构都会限制为其各自单位群之间的同构。这一结构性结果使他们能够推导出：若 $H$ 是一个群且 $P(H) \cong P(K)$，则 $K$ 也必然是一个群。
• 组合联系： 在有限情形下（第 3 节和第 4 节），证明依赖于建立 $P_{fin}(H)$ 的结构与斐波那契数列之间的联系。具体而言，作者证明了方程 $\{0, 1\} + X = \{0, 1, \dots, n\}$（其中 $H$ 包含一个无限阶元素）在 $X \in P_{fin}(H)$ 中的解的数量恰好是第 $n$ 个斐波那契数 $F_n$。
• 表示论与丢番图界限： 作者定义了“索引符号二进制表示”（形式为 $\sum 2^{e_i}\epsilon_i$ 的和）。他们利用来自丢番图几何学的深层结果——关于乘法群中线性方程非退化解的 Evertse–Schlickewei–Schmidt 定理——来证明对于任何固定的长度 $k$，仅有有限个斐波那契数 $F_n$ 具有长度至多为 $k$ 的索引符号二进制表示。
• 归约为平凡性： 主定理的证明通过反证法进行。假设 $P_{fin}(H) \cong P_{fin}(K)$ 且 $H \le \mathbb{Q}$，作者首先建立了一个结构分裂 $K \cong L \times H$，其中 $L$ 是一个单位群平凡的子单群。随后他们证明，若 $L$ 非平凡，则 $P_{fin}(K)$ 中某些集合的大小将被限制，从而导致与斐波那契数的增长特性以及由 Evertse–Schlickewei–Schmidt 定理导出的有限性结果之间的矛盾。

主要贡献与结果

1. 定理 1.3（无穷情形刚性）： 作者提供了一个证明，若 $H$ 是一个群且 $K$ 是一个半群，满足 $P(H) \cong P(K)$，则 $H \cong K$。这是作为更一般结果（定理 2.3）的一个推论得出的：每个从单群 $H$ 到单群 $K$ 的全局同构都限制为从其单位群 $H^\times$ 到 $K^\times$ 的全局同构。
2. 定理 1.4（对于 $\mathbb{Q}$ 的子群的有限刚性）： 本文证明，若 $H$ 是有理数 $\mathbb{Q}$ 的一个加法子群，且 $K$ 是一个半群，满足 $P_{fin}(H) \cong P_{fin}(K)$，则 $H \cong K$。这解决了对于同构于 $\mathbb{Q}$ 的子群这一类群的有限刚性问题（这包括 $\mathbb{Z}$、$\mathbb{Q}$ 以及像 $\mathbb{Z}[1/p]$ 这样的群）。
3. 组合引理（命题 3.2）： 本文建立了幂半群与斐波那契数列之间一种新颖的联系，表明在含有无限阶元素的单群中，特定集合加法方程的解的数量由斐波那契数给出。
4. 表示的有限性（引理 3.4）： 作者证明，对于任何固定的 $k$，满足 $F_n$ 具有长度至多为 $k$ 的索引符号二进制表示的 $n$ 只有有限个。该结果源于对 Evertse–Schlickewei–Schmidt 定理的使用。

意义与主张
本文声称解决了基础类无限群（$\mathbb{Q}$ 的子群）的有限同构问题，这一情况被指出比无穷情形“要困难得多”。其意义在于方法论：有限情形刚性定理的证明是以一种“迂回的方式”依赖于 Evertse–Schlickewei–Schmidt 定理的一个特例，而该定理是关于乘法群中线性方程的理论结果。这使得幂半群的结构理论与丢番图几何学中的深层结果建立了联系。

作者明确指出，有限情形的证明无法从无穷情形的结果中直接导出，因为无限单群的单位群未必属于其有限幂半群，这导致无法直接应用第 2 节中所使用的单位稳定性论证。

未来方向
文章最后猜想，问题 1.2(2)（有限刚性）对于所有群类都有正向回答。作者建议，下一步逻辑上的进展是解决无扭传导阿贝尔群的刚性问题，并指出目前的结果仅涵盖了 $\mathbb{Q}$ 的子群这一特定情况。他们还提出了一个开放性问题，即两个单群之间的有限幂半群同构是否必须限制为它们各自单位群的有限幂半群之间的同构。