On the automorphisms of the power semigroups of a numerical semigroup

Aquí se presenta un resumen técnico detallado del artículo "On the Automorphisms of the Power Semigroups of a Numerical Semigroup" de Salvatore Tringali y Kerou Wen.

1. Planteamiento del Problema

El artículo investiga la estructura de los grupos de automorfismos de los semigrupos de potencias derivados de semigrupos numéricos.

• Contexto: Sea $H$ un semigrupo numérico (un subsemigrupo cofinito de los enteros no negativos $\mathbb{N}$ bajo la suma). El semigrupo de potencias $P(H)$ consiste en todos los subconjuntos no vacíos de $H$ equipados con la operación de suma de conjuntos $X + Y = \{x + y : x \in X, y \in Y\}$.
• Estructuras Específicas: Los autores se centran en dos estructuras específicas:
  1. $P(H)$: El gran semigrupo de potencias (que involucra tanto subconjuntos finitos como infinitos).
  2. $P_0(H)$: El monoide grande de potencias reducido (submonoide de $P(H)$ que contiene los subconjuntos que incluyen el elemento identidad $0$).
• Pregunta Central: ¿Cuál es el grupo de automorfismos $\text{Aut}(P(H))$ y $\text{Aut}(P_0(H))$? Específicamente, ¿poseen estas estructuras automorfismos no triviales, o son "rígidas" (es decir, ¿admiten únicamente el mapa identidad)?

2. Metodología

Los autores emplean una combinación de argumentos combinatorios y teoría de semigrupos. Su enfoque se basa en varios pilares metodológicos clave:

• Reducción de Infinitario a Finitario: Un desafío central es que $P(H)$ contiene conjuntos infinitos, lo que dificulta los argumentos combinatorios estándar. Los autores demuestran que cualquier isomorfismo entre estructuras grandes de potencias se restringe a un isomorfismo entre sus contrapartes finitarias (subconjuntos de conjuntos finitos).
  • Teorema 2.3 y 2.5: Demuestran que para monoides/semigrupos cancelativos, un isomorfismo $f: P_1(H) \to P_1(K)$ (o $P(H) \to P(K)$) necesariamente mapea conjuntos finitos a conjuntos finitos. Esto les permite aprovechar resultados existentes sobre monoides de potencias finitarios.
• Caracterización Algebraica de Propiedades de Conjuntos: Convierten propiedades de teoría de conjuntos (como la pertenencia de elementos) en ecuaciones algebraicas dentro del semigrupo de potencias.
  • Lema 3.2: Establecen una condición donde $y \in X$ si y solo si $H_y + X = H^*_y + X$, donde $H_y$ y $H^*_y$ son conjuntos idempotentes específicos. Esto permite a los autores probar la pertenencia algebraicamente.
• Fijación de Idempotentes: Utilizando el hecho de que los automorfismos preservan los idempotentes, muestran que si un automorfismo fija ciertos conjuntos generadores (como singletons o conjuntos $\{0, x\}$), debe fijar todos los idempotentes y, en consecuencia, todos los subconjuntos.
• Cocientes de Conjugación: Para el caso general de $P(H)$ (donde $0$ podría no estar en el conjunto), utilizan el concepto de $T$-conjugación (donde $T$ es el conjunto de elementos cancelativos). Construyen un isomorfismo entre el semigrupo cociente $P(H)/\sim_T$ y el monoide de potencias reducido $P_0(\mathbb{N})$, reduciendo efectivamente el problema a un caso conocido.

3. Contribuciones Clave

El artículo hace tres contribuciones teóricas principales:

1. Teoremas de Restricción (Sección 2):

   • Demostraron que los isomorfismos entre monoides grandes de potencias reducidos de monoides cancelativos se restringen a isomorfismos de sus submonoides finitarios (Teorema 2.3).
   • Demostraron que los isomorfismos entre semigrupos grandes de potencias de semigrupos conmutativos cancelativos se restringen a isomorfismos de sus subsemigrupos finitarios (Teorema 2.5).
   • Significado: Esto cierra la brecha entre el caso finitario bien estudiado y el caso infinitario más complejo, permitiendo la transferencia de resultados de rigidez.

2. Rigidez de Monoides de Potencias Reducidos (Sección 3):

   • Establecieron que para cualquier monoide numérico $H$, el grupo de automorfismos del monoide grande de potencias reducido $P_0(H)$ es trivial (Teorema 3.3).
   • Mecanismo: Mostraron que cualquier automorfismo debe fijar conjuntos de la forma $\{0, x\}$ (mediante el Lema 3.1) y posteriormente fijar todos los idempotentes. Utilizando la caracterización algebraica de la pertenencia, demostraron que el automorfismo debe ser la identidad sobre todos los subconjuntos.

3. Rigidez de Semigrupos de Potencias Generales (Sección 4):

   • Establecieron que para cualquier semigrupo numérico $H$, el grupo de automorfismos del semigrupo grande de potencias $P(H)$ es trivial (Teorema 4.3).
   • Mecanismo: Mediante el uso de la relación de $T$-conjugación, mapearon el problema a $P_0(\mathbb{N})$. Dado que el grupo de automorfismos de $P_0(\mathbb{N})$ es trivial, el automorfismo en el cociente es trivial. Combinado con el hecho de que los automorfismos preservan el elemento mínimo de un conjunto (Lema 4.2), demostraron que el automorfismo original debe ser la identidad.

4. Resultados Principales

• Teorema 3.3: $\text{Aut}(P_0(H))$ es el grupo trivial para todo monoide numérico $H$.
• Teorema 4.3: $\text{Aut}(P(H))$ es el grupo trivial para todo semigrupo numérico $H$.

Estos resultados contrastan con otras estructuras algebraicas donde los semigrupos de potencias tienen grandes grupos de automorfismos (por ejemplo, el grupo de automorfismos del monoide de potencias finitario de $\mathbb{Z}$ es isomorfo a $C_2 \times D_\infty$). Los autores muestran que los semigrupos numéricos exhiben una única "rigidez" donde la estructura de potencias no admite simetrías no triviales.

5. Significado y Direcciones Futuras

• Novedad: Esta es la primera investigación sobre los automorfismos de semigrupos de potencias infinitarios (que involucran conjuntos infinitos). El trabajo anterior se confinaba en gran medida a semigrupos de potencias finitarios.
• Impacto Metodológico: Las técnicas desarrolladas, particularmente la reducción de estructuras infinitarias a finitarias y el uso de cocientes de conjugación, proporcionan un conjunto de herramientas para analizar semigrupos de potencias de otras estructuras algebraicas.
• Conjeturas: Los autores proponen dos conjeturas para futuras investigaciones:
  1. Conjetura 5.1: Los automorfismos del monoide grande de potencias de los enteros $\mathbb{Z}$ son todos "internos" (inducidos por automorfismos del propio $\mathbb{Z}$).
  2. Conjetura 5.2: Para cualquier monoide cancelativo $H$, todo automorfismo de $P(H)$ mapea el submonoide de conjuntos que contienen la identidad ($P_1(H)$) a sí mismo.
• Contexto Amplio: Estos resultados profundizan en la comprensión de la relación entre un semigrupo y su semigrupo de potencias, sugiriendo que los semigrupos numéricos son estructuralmente "rígidos" de una manera que impide que el semigrupo de potencias adquiera nuevas simetrías. Esto tiene implicaciones para la teoría de factorización y la combinatoria aritmética, donde los semigrupos de potencias se utilizan frecuentemente como modelos.