On the automorphisms of the power semigroups of a numerical semigroup

1. Enunciato del Problema

Il lavoro indaga la struttura dei gruppi di automorfismi dei semigruppi di potenza derivati da semigruppi numerici.

• Contesto: Sia $H$ un semigruppo numerico (un sotto-semigruppo cofinito degli interi non negativi $\mathbb{N}$ rispetto all'addizione). Il semigruppo di potenza $P(H)$ consiste in tutti i sottoinsiemi non vuoti di $H$ equipaggiati con l'operazione di somma insiemistica $X + Y = \{x + y : x \in X, y \in Y\}$.
• Strutture Specifiche: Gli autori si concentrano su due strutture specifiche:
  1. $P(H)$: Il grande semigruppo di potenza (che coinvolge sia sottoinsiemi finiti che infiniti).
  2. $P_0(H)$: Il grande monoide di potenza ridotto (sottomonoide di $P(H)$ contenente i sottoinsiemi che includono l'elemento identità $0$).
• Domanda Centrale: Qual è il gruppo di automorfismi $\text{Aut}(P(H))$ e $\text{Aut}(P_0(H))$? Nello specifico, queste strutture possiedono automorfismi non banali, o sono "rigide" (ossia, ammettono solo la mappa identità)?

2. Metodologia

Gli autori impiegano un mix di argomenti combinatori e teoria dei semigruppi. Il loro approccio si basa su diversi pilastri metodologici chiave:

• Riduzione dall'Infinitario al Finitario: Una sfida centrale è che $P(H)$ contiene insiemi infiniti, rendendo difficili gli argomenti combinatori standard. Gli autori dimostrano che qualsiasi isomorfismo tra grandi strutture di potenza si restringe a un isomorfismo tra le loro controparti finitarie (sottoinsiemi di insiemi finiti).
  • Teorema 2.3 & 2.5: Dimostrano che per monoidei/semigruppi cancellativi, un isomorfismo $f: P_1(H) \to P_1(K)$ (o $P(H) \to P(K)$) mappa necessariamente insiemi finiti in insiemi finiti. Questo permette loro di sfruttare risultati esistenti sui monoidi di potenza finitari.
• Caratterizzazione Algebrica delle Proprietà Insiemistiche: Convertono proprietà insiemistiche (come l'appartenenza di un elemento) in equazioni algebriche all'interno del semigruppo di potenza.
  • Lemma 3.2: Stabiliscono una condizione per cui $y \in X$ se e solo se $H_y + X = H^*_y + X$, dove $H_y$ e $H^*_y$ sono insiemi idempotenti specifici. Questo permette agli autori di testare l'appartenenza in modo algebrico.
• Fissaggio degli Idempotenti: Utilizzando il fatto che gli automorfismi preservano gli idempotenti, mostrano che se un automorfismo fissa certi insiemi generatori (come i singoletti o gli insiemi $\{0, x\}$), deve fissare tutti gli idempotenti e, di conseguenza, tutti i sottoinsiemi.
• Quozienti di Coniugazione: Per il caso generale di $P(H)$ (dove $0$ potrebbe non essere nell'insieme), utilizzano il concetto di $T$-coniugazione (dove $T$ è l'insieme degli elementi cancellativi). Costruiscono un isomorfismo tra il semigruppo quoziente $P(H)/\sim_T$ e il monoide di potenza ridotto $P_0(\mathbb{N})$, riducendo efficacemente il problema a un caso noto.

3. Contributi Chiave

Il lavoro apporta tre principali contributi teorici:

1. Teoremi di Restrizione (Sezione 2):

   • Dimostrato che gli isomorfismi tra grandi monoidi di potenza ridotti di monoidei cancellativi si restringono a isomorfismi dei loro sottomonoidi finitari (Teorema 2.3).
   • Dimostrato che gli isomorfismi tra grandi semigruppi di potenza di semigruppi commutativi cancellativi si restringono a isomorfismi dei loro sottosmigruppi finitari (Teorema 2.5).
   • Significato: Questo colma il divario tra il caso finitario, ben studiato, e il caso infinitario più complesso, permettendo il trasferimento di risultati di rigidità.

2. Rigidità dei Monoidi di Potenza Ridotti (Sezione 3):

   • Stabilito che per ogni monoide numerico $H$, il gruppo di automorfismi del grande monoide di potenza ridotto $P_0(H)$ è banale (Teorema 3.3).
   • Meccanismo: Hanno mostrato che qualsiasi automorfismo deve fissare insiemi della forma $\{0, x\}$ (tramite il Lemma 3.1) e successivamente fissare tutti gli idempotenti. Utilizzando la caratterizzazione algebrica dell'appartenenza, hanno dimostrato che l'automorfismo deve essere l'identità su tutti i sottoinsiemi.

3. Rigidità dei Semigruppi di Potenza Generali (Sezione 4):

   • Stabilito che per ogni semigruppo numerico $H$, il gruppo di automorfismi del grande semigruppo di potenza $P(H)$ è banale (Teorema 4.3).
   • Meccanismo: Utilizzando la relazione di $T$-coniugazione, hanno mappato il problema su $P_0(\mathbb{N})$. Poiché il gruppo di automorfismi di $P_0(\mathbb{N})$ è banale, l'automorfismo sul quoziente è banale. Combinato con il fatto che gli automorfismi preservano l'elemento minimo di un insieme (Lemma 4.2), hanno dimostrato che l'automorfismo originale deve essere l'identità.

4. Risultati Principali

• Teorema 3.3: $\text{Aut}(P_0(H))$ è il gruppo banale per ogni monoide numerico $H$.
• Teorema 4.3: $\text{Aut}(P(H))$ è il gruppo banale per ogni semigruppo numerico $H$.

Questi risultati si contrappongono ad alcune altre strutture algebriche in cui i semigruppi di potenza hanno grandi gruppi di automorfismi (ad esempio, il gruppo di automorfismi del monoide di potenza finitario di $\mathbb{Z}$ è isomorfo a $C_2 \times D_\infty$). Gli autori mostrano che i semigruppi numerici esibiscono una unica "rigidità" in cui la struttura di potenza non ammette simmetrie non banali.

5. Significato e Direzioni Future

• Novità: Questa è la prima indagine sugli automorfismi dei semigruppi di potenza infinitari (che coinvolgono insiemi infiniti). I lavori precedenti erano largamente confinati ai semigruppi di potenza finitari.
• Impatto Metodologico: Le tecniche sviluppate, in particolare la riduzione dalle strutture infinitarie a quelle finitarie e l'uso dei quozienti di coniugazione, forniscono un kit di strumenti per analizzare i semigruppi di potenza di altre strutture algebriche.
• Congetture: Gli autori propongono due congetture per la ricerca futura:
  1. Congettura 5.1: Gli automorfismi del grande monoide di potenza degli interi $\mathbb{Z}$ sono tutti "interni" (indotti da automorfismi dello stesso $\mathbb{Z}$).
  2. Congettura 5.2: Per ogni monoide cancellativo $H$, ogni automorfismo di $P(H)$ mappa il sottomonoide degli insiemi contenenti l'identità ($P_1(H)$) su se stesso.
• Contesto Più Ampio: Questi risultati approfondiscono la comprensione della relazione tra un semigruppo e il suo semigruppo di potenza, suggerendo che i semigruppi numerici sono strutturalmente "rigidi" in un modo che impedisce al semigruppo di potenza di acquisire nuove simmetrie. Ciò ha implicazioni per la teoria della fattorizzazione e la combinatoria aritmetica, dove i semigruppi di potenza sono frequentemente utilizzati come modelli.