Power Semigroups and Two Rigidity Theorems for Groups

Technische Zusammenfassung: Potenzialsemigruppen und zwei Starrigkeitstheoreme für Gruppen

Problemstellung
Die Arbeit befasst sich mit dem Isomorphieproblem für Potenzialsemigruppen. Sei $H$ ein Semigruppe, dann bezeichne $P(H)$ die „große Potenzialsemigruppe“ (die Menge aller nichtleeren Teilmengen von $H$ unter der mengentheoretischen Multiplikation) und $P_{fin}(H)$ die „finitäre Potenzialsemigruppe“ (die Menge aller nichtleeren endlichen Teilmengen). Die zentralen untersuchten Fragen sind:

1. Globale Starrigkeit: Wenn $H$ einer bestimmten Klasse von Semigruppen $\mathcal{O}$ angehört und $P(H) \cong P(K)$ für eine Semigruppe $K$ gilt, folgt daraus, dass $K \in \mathcal{O}$ und $H \cong K$?
2. Finitäre Starrigkeit: Ähnlich gilt: Wenn $P_{fin}(H) \cong P_{fin}(K)$, folgt daraus, dass $K \in \mathcal{O}$ und $H \cong K$?

Während bekannt ist, dass die Klasse aller Gruppen global bestimmt ist (d. h. $P(H) \cong P(K) \implies H \cong K$ für Gruppen), ist das Verhalten der finitären Potenzialsemigruppe $P_{fin}(H)$ für unendliche Gruppen weniger verstanden. Die Arbeit konzentriert sich spezifisch auf die Starrigkeit von $P_{fin}(H)$, wenn $H$ eine additive Untergruppe der rationalen Zahlen $\mathbb{Q}$ ist.

Methodik
Die Autoren verwenden eine Kombination aus struktureller Semigruppentheorie, kombinatorischer Zahlentheorie und Diophantischer Geometrie.

• Strukturanalyse von Isomorphismen: In der infinitären Einstellung (Abschnitt 2) analysieren die Autoren globale Isomorphismen $f: P(H) \to P(K)$. Sie führen das Konzept der „einheitsstabilen“ Elemente in Potenzialsemigruppen ein, um zu beweisen, dass jeder globale Isomorphismus zwischen Monoiden auf einen Isomorphismus zwischen deren jeweiligen Einheitsgruppen einschränkt. Dieses strukturelle Resultat ermöglicht es ihnen abzuleiten, dass wenn $H$ eine Gruppe ist und $P(H) \cong P(K)$, dann auch $K$ eine Gruppe sein muss.
• Kombinatorische Verbindungen: In der finitären Einstellung (Abschnitte 3 und 4) stützt sich der Beweis auf den Aufbau einer Verbindung zwischen der Struktur von $P_{fin}(H)$ und der Fibonacci-Folge. Insbesondere beweisen die Autoren, dass die Anzahl der Lösungen $X \in P_{fin}(H)$ der Gleichung $\{0, 1\} + X = \{0, 1, \dots, n\}$ (wobei $H$ ein Element unendlicher Ordnung enthält) genau die $n$-te Fibonacci-Zahl $F_n$ ist.
• Darstellungstheorie und Diophantische Schranken: Die Autoren definieren „indizierte signierte Binärrepräsentationen“ (Summen der Form $\sum 2^{e_i}\epsilon_i$). Sie nutzen ein tiefgreifendes Resultat aus der Diophantischen Geometrie – den Evertse–Schlickewei–Schmidt-Satz über nicht-degenerate Lösungen linearer Gleichungen in multiplikativen Gruppen – um zu zeigen, dass für eine feste Länge $k$ nur endlich viele Fibonacci-Zahlen $F_n$ eine indizierte signierte Binärrepräsentation der Länge höchstens $k$ besitzen.
• Reduktion auf Trivialität: Der Beweis des Haupttheorems erfolgt durch Widerspruch. Unter der Annahme, dass $P_{fin}(H) \cong P_{fin}(K)$ mit $H \le \mathbb{Q}$, etablieren die Autoren zuerst eine strukturelle Zerlegung $K \cong L \times H$, wobei $L$ ein Submonoid mit einer trivialen Einheitsgruppe ist. Sie zeigen dann auf, dass falls $L$ nicht-trivial wäre, die Größe bestimmter Mengen in $P_{fin}(K)$ beschränkt wäre, was zu einem Widerspruch mit den Wachstums-Eigenschaften der Fibonacci-Zahlen und den aus dem Evertse–Schlickewei–Schmidt-Satz abgeleiteten Endlichkeitsergebnissen führt.

Wesentliche Beiträge und Ergebnisse

1. Theorem 1.3 (Infinitäre Starrigkeit): Die Autoren liefern einen Beweis dafür, dass wenn $H$ eine Gruppe ist und $K$ eine Semigruppe ist, sodass $P(H) \cong P(K)$, dann $H \cong K$. Dies wird als Korollar eines allgemeineren Resultats (Theorem 2.3) etabliert: Jeder globale Isomorphismus von einem Monoid $H$ zu einem Monoid $K$ beschränkt sich auf einen globalen Isomorphismus von der Einheitsgruppe $H^\times$ zu $K^\times$.
2. Theorem 1.4 (Finitäre Starrigkeit für Untergruppen von $\mathbb{Q}$): Die Arbeit beweist, dass wenn $H$ eine additive Untergruppe der rationalen Zahlen $\mathbb{Q}$ ist und $K$ eine Semigruppe ist, sodass $P_{fin}(H) \cong P_{fin}(K)$, dann $H \cong K$. Dies löst das Problem der finitären Starrigkeit für die Klasse der Gruppen, die isomorph zu Untergruppen von $\mathbb{Q}$ sind (was $\mathbb{Z}$, $\mathbb{Q}$ und Gruppen wie $\mathbb{Z}[1/p]$ einschließt).
3. Kombinatorisches Lemma (Proposition 3.2): Die Arbeit stellt eine neuartige Verbindung zwischen Potenzialsemigruppen und der Fibonacci-Folge her, indem sie zeigt, dass die Anzahl der Lösungen zu einer spezifischen mengentheoretischen Additionsgleichung in einem Monoid mit einem Element unendlicher Ordnung durch Fibonacci-Zahlen gegeben ist.
4. Endlichkeit von Repräsentationen (Lemma 3.4): Die Autoren beweisen, dass für ein festes $k$ es nur endlich viele $n$ gibt, so dass die Fibonacci-Zahl $F_n$ eine indizierte signierte Binärrepräsentation der Länge höchstens $k$ besitzt. Dieses Resultat wird aus dem Evertse–Schlickewei–Schmidt-Satz abgeleitet.

Bedeutung und Behauptungen
Die Arbeit behauptet, das Problem der finitären Isomorphie für eine fundamentale Klasse unendlicher Gruppen (Untergruppen von $\mathbb{Q}$) gelöst zu haben, ein Fall, der als „erheblich schwieriger“ als der infinitäre Fall bezeichnet wurde. Die Bedeutung liegt in der Methodik: Der Beweis des finitären Starrigkeitstheorems beruht auf eine „umständliche“ Weise auf einem Spezialfall des Evertse–Schlickewei–Schmidt-Satzes, eines Resultats aus der Theorie linearer Gleichungen in multiplikativen Gruppen. Dies verbindet die strukturelle Theorie von Potenzialsemigruppen mit tiefen Resultaten der Diophantischen Geometrie.

Die Autoren stellen explizit fest, dass der Beweis für den finitären Fall nicht aus den infinitären Resultaten abgeleitet werden kann, da die Einheitsgruppe eines unendlichen Monoids nicht notwendigerweise in der finitären Potenzialsemigruppe enthalten sein muss, was die direkte Anwendung der in Abschnitt 2 verwendeten Argumente zur Einheitsstabilität verhindert.

Zukünftige Richtungen
Die Arbeit schließt mit der Vermutung, dass Frage 1.2(2) (finitäre Starrigkeit) für die Klasse aller Gruppen eine positive Antwort hat. Die Autoren legen nahe, dass der nächste logische Schritt darin besteht, die Frage für torsionsfreie abelsche Gruppen zu klären, wobei sie anmerken, dass ihr aktuelles Resultat den spezifischen Fall der Untergruppen von $\mathbb{Q}$ abdeckt. Sie werfen zudem die offene Frage auf, ob ein Isomorphismus zwischen finitären Potenzialsemigruppen von Monoiden auf einen Isomorphismus zwischen den finitären Potenzialsemigruppen ihrer Einheitsgruppen beschränkt sein muss.