Power Semigroups and Two Rigidity Theorems for Groups

技術的要約：冪半群と群に関する2つの剛性定理

問題設定
本論文は、冪半群の同型問題を取り扱う。半群 $H$ に対し、$P(H)$ を「大きな冪半群」（集合積による非空部分集合の集合）および $P_{fin}(H)$ を「有限冪半群」（非空有限部分集合の集合）とする。調査されている中心的な問いは以下の通りである：

1. 大域的剛性（Global Rigidity）： 半群 $H$ が特定のクラス $\mathcal{O}$ に属する場合、$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）」な要素の概念を導入し、単元群（monoid）の間のあらゆる大域的同型が、それぞれの単位群の間の同型に制限されることを証明する。この構造的結果により、$H$ が群であり $P(H) \cong P(K)$ ならば、$K$ もまた群であるということを導き出すことができる。
• 組合せ論的接続： 有限の設定（セクション3および4）において、証明は $P_{fin}(H)$ の構造とフィボナッチ数列との間の接続を確立することに依拠している。具体的には、無限位の元を含む $H$ において、方程式 $\{0, 1\} + X = \{0, 1, \dots, n\}$ を満たす解 $X \in P_{fin}(H)$ の数は、正確に第 $n$ フィボナッチ数 $F_n$ であることを著者らは証明している。
• 表現論とディオファントス境界： 著者らは「インデックス付き符号付きバイナリ表現」（$\sum 2^{e_i}\epsilon_i$ という形の和）を定義する。「乗法的群における線形方程式の非退化な解」に関するエヴェルス・シュリックワイ・シュミットの定理（Evertse–Schlickewei–Schmidt theorem）というディオファントス幾何学の深い結果を利用して、固定された長さ $k$ に対して、長さが最大 $k$ のインデックス付き符号付きバイナリ表現を持つフィボナッチ数 $F_n$ は有限個であることを示す。
• 自明性への還元： 主定理の証明は背理法によって進められる。$P_{fin}(H) \cong P_{fin}(K)$ かつ $H \le \mathbb{Q}$ であると仮定した場合、著者らはまず、構造的な分裂 $K \cong L \times H$（ここで $L$ は自明な単位群を持つモノイド）を確立する。次に、$L$ が非自明であるならば、$P_{fin}(K)$ における特定の集合のサイズが制限されることを示し、それがフィボナッチ数の成長特性およびエヴェルス・シュリックワイ・シュミットの定理から導かれる有限性の結果と矛盾することを導く。

主要な貢献と結果

1. 定理 1.3（無限的剛性）： 著者らは、$H$ が群であり $K$ が半群であって $P(H) \cong P(K)$ であるならば、$H \cong K$ であることの証明を提供する。これは、モノイド $H$ からモノイド $K$ へのあらゆる大域的同型が、その単位群 $H^\times$ から $K^\times$ への大域的同型に制限されるという、より一般的な結果（定理 2.3）の系として確立される。
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$ に対して、長さが最大 $k$ のインデックス付き符号付きバイナリ表現を持つフィボナッチ数 $F_n$ は有限個であることを証明する。この結果は、エヴェルス・シュリックワイ・シュミットの定理を用いて導出される。

意義と主張
本論文は、無限的な場合よりも「かなり困難」であるとされる、基本となる無限群のクラス（$\mathbb{Q}$ の部分群）に対する有限的同型問題を解決したと主張している。その意義は手法にある。$P_{fin}(H)$ の有限的剛性定理の証明は、乗法的群における線形方程式の理論からの結果であるエヴェルス・シュリックワイ・シュミットの定理の特殊なケースに、「遠回りに」依拠している。これは、冪半群の構造論をディオファントス幾何学の深い結果へと結びつけるものである。

著者らは、有限的なケースの証明は、無限的な結果から直接導くことはできないと明言している。なぜなら、無限モノイドの単位群は必ずしも有限冪半群に属さないため、セクション2で使用された単位元安定性の議論を直接適用することができないからである。

今後の方向性
本論文は、質問 1.2(2)（有限的剛性）がすべての群のクラスに対して肯定的な答えを持つという予想を立てて締めくくっている。著者らは、次の論理的なステップは、現在の結果が $\mathbb{Q}$ の部分群という特定のケースをカバーしていることを踏まえ、自由アーベル群（torsion-free abelian groups）に対して問題を解決することであると示唆している。また、モノイドの有限冪半群の間の同型が、それらの単位群の有限冪半群の間の同型に制限されるかどうかという未解決の問いも提示している。