Power Semigroups and Two Rigidity Theorems for Groups

Sintesi Tecnica: Semigruppi di Potenza e due Teoremi di Rigidità per i Gruppi

Enunciato del Problema
Il saggio affronta il problema dell'isomorfismo per i semigruppi di potenza. Dato un semigruppo $H$, si indichi con $P(H)$ il "grande semigruppo di potenza" (l'insieme di tutti i sottoinsiemi non vuoti di $H$ sotto la moltiplicazione insiemistica) e con $P_{fin}(H)$ il "semigruppo di potenza finitaria" (l'insieme di tutti i sottoinsiemi finiti non vuoti di $H$). Le questioni centrali investigate sono:

1. Rigidità Globale: Se $H$ appartiene a una specifica classe di semigruppi $\mathcal{O}$ e $P(H) \cong P(K)$ per un certo semigruppo $K$, ne consegue che $K \in \mathcal{O}$ e $H \cong K$?
2. Rigidità Finitaria: Similmente, se $P_{fin}(H) \cong P_{fin}(K)$, ne consegue che $K \in \mathcal{O}$ e $H \cong K$?

Sebbene sia noto che la classe di tutti i gruppi sia globalmente determinata (ovvero $P(H) \cong P(K) \implies H \cong K$ per i gruppi), il comportamento del semigruppo di potenza finitaria $P_{fin}(H)$ per i gruppi infiniti è meno compreso. Il saggio prende di mira specificamente la rigidità di $P_{fin}(H)$ quando $H$ è un sottogruppo additivo dei numeri razionali $\mathbb{Q}$.

Metodologia
Gli autori impiegano una combinazione di teoria strutturale dei semigruppi, teoria dei numeri combinatoria e geometria diofantica.

• Analisi Strutturale degli Isomorfismi: Nell'ambito infinitario (Sezione 2), gli autori analizzano gli isomorfismi globali $f: P(H) \to P(K)$. Essi introducono il concetto di elementi "unit-stable" (stabili rispetto all'unità) nei semigruppi di potenza per dimostrare che ogni isomorfismo globale tra monoidi si restringe a un isomorfismo tra i rispettivi gruppi unità. Questo risultato strutturale permette loro di dedurre che, se $H$ è un gruppo e $P(H) \cong P(K)$, allora anche $K$ deve essere un gruppo.
• Connessioni Combinatorie: Nell'ambito finitario (Sezioni 3 e 4), la dimostrazione si basa sull'instaurare una connessione tra la struttura di $P_{fin}(H)$ e la successione di Fibonacci. Nello specifico, gli autori dimostrano che il numero di soluzioni $X \in P_{fin}(H)$ all'equazione $\{0, 1\} + X = \{0, 1, \dots, n\}$ (dove $H$ contiene un elemento di ordine infinito) è esattamente l' $n$-esimo numero di Fibonacci, $F_n$.
• Teoria delle Rappresentazioni e Limiti Diofantici: Gli autori definiscono "rappresentazioni binarie segnate indicizzate" (somme della forma $\sum 2^{e_i}\epsilon_i$). Utilizzano un risultato profondo della geometria diofantica — il teorema di Evertse–Schlickewei–Schmidt sulle soluzioni non degenerate di equazioni lineari in gruppi moltiplicativi — per dimostrare che, per ogni lunghezza $k$ fissata, solo un numero finito di numeri di Fibonacci $F_n$ ammette una rappresentazione binaria segnata indicizzata di lunghezza al massimo $k$.
• Riduzione alla Trivialità: La dimostrazione del teorema principale procede per contraddizione. Assumendo $P_{fin}(H) \cong P_{fin}(K)$ dove $H \le \mathbb{Q}$, gli autori stabiliscono innanzitutto una scissione strutturale $K \cong L \times H$, dove $L$ è un submonoidi con un gruppo unità banale. Successivamente dimostrano che, se $L$ fosse non banale, la dimensione di certi insiemi in $P_{fin}(K)$ sarebbe limitata, portando a una contraddizione con le proprietà di crescita dei numeri di Fibonacci e con i risultati di finitezza derivati dal teorema di Evertse–Schlickewei–Schmidt.

Contributi Chiave e Risultati

1. Teorema 1.3 (Rigidità Infinitaria): Gli autori forniscono una dimostrazione che, se $H$ è un gruppo e $K$ è un semigruppo tale che $P(H) \cong P(K)$, allora $H \cong K$. Ciò è stabilito come corollario di un risultato più generale (Teorema 2.3): ogni isomorfismo globale da un monoido $H$ a un monoido $K$ si restringe a un isomorfismo globale dal gruppo unità $H^\times$ al gruppo unità $K^\times$.
2. Teorema 1.4 (Rigidità Finitaria per i Sottogruppi di $\mathbb{Q}$): Il saggio dimostra che, se $H$ è un sottogruppo additivo dei numeri razionali $\mathbb{Q}$ e $K$ è un semigruppo tale che $P_{fin}(H) \cong P_{fin}(K)$, allora $H \cong K$. Questo risolve il problema della rigidità finitaria per la classe dei gruppi isomorfi a sottogruppi di $\mathbb{Q}$ (che include $\mathbb{Z}$, $\mathbb{Q}$ e gruppi come $\mathbb{Z}[1/p]$).
3. Lemma Combinatorio (Proposizione 3.2): Il saggio stabilisce un inedito legame tra i semigruppi di potenza e la successione di Fibonacci, mostrando che il numero di soluzioni a una specifica equazione di addizione insiemistica in un monoido con un elemento di ordine infinito è dato dai numeri di Fibonacci.
4. Finitezza delle Rappresentazioni (Lemma 3.4): Gli autori dimostrano che, per ogni $k$ fissato, esiste un numero finito di $n$ tali che il numero di Fibonacci $F_n$ abbia una rappresentazione binaria segnata indicizzata di lunghezza al massimo $k$. Questo risultato è derivato dal teorema di Evertse–Schlickewei–Schmidt.

Significatività e Rivendicazioni
Il saggio sostiene di aver risolto il problema dell'isomorfismo finitario per una classe fondamentale di gruppi infiniti (sottogruppi di $\mathbb{Q}$), un caso annotato come "notevolmente più difficile" rispetto al caso infinitario. La significatività risiede nella metodologia: la dimostrazione del teorema di rigidità finitaria si basa, in modo "circolare", su un caso speciale del teorema di Evertse–Schlickewei–Schmidt, un risultato della teoria delle equazioni lineari in gruppi moltiplicativi. Ciò connette la teoria strutturale dei semigruppi di potenza con i profondi risultati della geometria diofantica.

Gli autori dichiarano esplicitamente che la dimostrazione per il caso finitario non può essere derivata dai risultati infinitari perché il gruppo unità di un monoido infinito non deve necessariamente appartenere al semigruppo di potenza finitaria, impedendo l'applicazione diretta degli argomenti di stabilità dell'unità utilizzati nella Sezione 2.

Direzioni Future
Il saggio conclude ipotizzando che la Questione 1.2(2) (rigidità finitaria) abbia una risposta positiva per la classe di tutti i gruppi. Gli autori suggeriscono che il passo logico successivo sia risolvere la questione per i gruppi abeliani privi di torsione, osservando che il loro risultato attuale copre il caso specifico dei sottogruppi di $\mathbb{Q}$. Pongono inoltre una questione aperta riguardante se un isomorfismo tra semigruppi di potenza finiti di monoidi debba restringersi a un isomorfismo tra i rispettivi semigruppi di potenza finiti dei loro gruppi unità.