On numerical semigroups with embedding dimension four

Aquí presento un resumen técnico detallado del artículo "On numerical semigroups with embedding dimension four" de Kazimierz Chomicz.

1. Planteamiento del Problema

El artículo aborda el problema de Frobenius para semigrupos numéricos con dimensión de incrustación cuatro ($e(S)=4$).

• Contexto: Para un semigrupo numérico $S = \langle d_0, d_1, d_2, d_3 \rangle$, el número de Frobenius $F(S)$ es el entero más grande que no pertenece a $S$. Aunque existen fórmulas explícitas para $e(S)=2$ (fórmula de Sylvester) y varios casos especiales para $e(S)=3$, no existe una fórmula polinómica general para $e(S) \ge 3$ (demostrado como NP-difícil).
• Objetivo Específico: El autor pretende calcular el número de Frobenius, el género, los elementos de Betti, las presentaciones mínimas y los grados de catenaria para dos familias específicas de semigrupos:
  1. Semigrupos generados por cuatro cuadrados consecutivos: $S = \langle n^2, (n+1)^2, (n+2)^2, (n+3)^2 \rangle$.
  2. Semigrupos generados por cuatro números triangulares consecutivos: $S = \langle \binom{n+1}{2}, \binom{n+2}{2}, \binom{n+3}{2}, \binom{n+4}{2} \rangle$.

2. Metodología

El núcleo del artículo es un procedimiento geométrico para determinar el conjunto de Apéry ($Ap(S, d_0)$) de un semigrupo numérico con dimensión de incrustación cuatro. El conjunto de Apéry es crucial porque $F(S) = \max(Ap(S, d_0)) - d_0$ y el género $G(S)$ puede derivarse de la suma de sus elementos.

A. Construcción Geométrica (Sección 2)

• Representación de Retículo: El método visualiza el semigrupo en $\mathbb{R}^3$ utilizando cubos unitarios etiquetados por valores $id_1 + jd_2 + kd_3$.
• Relaciones Mínimas: El autor define "relaciones mínimas" (por ejemplo, $a_{00}d_0 = a_{01}d_1 + a_{02}d_2 + a_{03}d_3$) y construye puntos específicos en $\mathbb{Z}^3$ basados en los coeficientes de estas relaciones.
• Eliminación de Regiones: El procedimiento implica eliminar regiones específicas (ortantes) de la colección inicial de cubos asociada a estos puntos.
  • Teorema 2.2: Proporciona un algoritmo riguroso para eliminar regiones asociadas a relaciones mínimas e identidades específicas para aislar el conjunto de Apéry.
  • Formas en L: El objetivo es reducir la colección restante de cubos a una forma en L (una configuración geométrica específica donde cada elemento del conjunto de Apéry etiqueta exactamente un cubo).
  • Proposición 2.5 y 2.8: Establecen las condiciones bajo las cuales la figura resultante está garantizada para ser una forma en L. Esto depende de la igualdad de coeficientes en las relaciones mínimas ($a_{ii} = b_{ii}$).
• Unicidad: El artículo discute la unicidad de estas formas en L (Proposición 2.10), vinculándola a la estructura de las relaciones mínimas.

B. Teoría de Factorización (Sección 3)

Una vez identificado el conjunto de Apéry (como una forma en L), el autor lo utiliza para calcular invariantes de factorización:

• Elementos de Betti: Identificados como elementos en el conjunto de Apéry que corresponden a "esquinas" o relaciones específicas en la figura geométrica.
• Grado de Catenaria ($c(S)$): Calculado analizando las distancias entre diferentes factorizaciones de los elementos de Betti.
• Presentaciones Mínimas: Construidas utilizando los conjuntos de factorizaciones de los elementos de Betti (Teorema 3.2).

3. Contribuciones Clave

1. Algoritmo Geométrico General: El artículo propone un procedimiento geométrico modificado y generalizable para encontrar el conjunto de Apéry para cualquier semigrupo numérico con dimensión de incrustación cuatro, superando las limitaciones de métodos anteriores (como el de Killingbergtrø) que dependían de propiedades específicas (por ejemplo, secuencias telescópicas).
2. Fórmulas Explícitas para Familias Especiales: El autor aplica exitosamente este método para derivar fórmulas polinómicas cerradas para los invariantes de semigrupos generados por cuatro cuadrados consecutivos y números triangulares.
3. Conexión con Formas en L: El trabajo conecta rigurosamente la forma geométrica del conjunto de Apéry (específicamente la propiedad de forma en L) con las propiedades algebraicas del semigrupo, como la existencia de presentaciones mínimas y el cálculo del grado de catenaria.

4. Resultados Detallados

A. Cuatro Cuadrados Consecutivos ($S = \langle n^2, (n+1)^2, (n+2)^2, (n+3)^2 \rangle$)

Los resultados dependen de $n \pmod{12}$ (y $n \pmod 4$ para casos específicos).

• Número de Frobenius ($F(S)$): Derivado como un polinomio cúbico en $n$ (por ejemplo, para $n \equiv 0 \pmod{12}$, $F(S) = \frac{11}{12}n^3 + 4n^2 + \frac{9}{2}n - 2$).
• Género ($G(S)$): Derivado como un polinomio cúbico en $n$.
• Grado de Catenaria ($c(S)$): Encontrado como lineal en $n$ (por ejemplo, $c(S) = \frac{11}{12}n + 2$ para $n \equiv 0 \pmod{12}$).
• Presentación Mínima: La cardinalidad de la presentación mínima es lineal en $n$ (por ejemplo, $\frac{1}{3}n + 6$).
• Elementos de Betti: El número de elementos de Betti se calcula explícitamente (por ejemplo, $4k+6$ para $n=12k$).

B. Cuatro Números Triangulares Consecutivos ($S = \langle \binom{n+1}{2}, \dots, \binom{n+4}{2} \rangle$)

Los resultados dependen de $n \pmod 6$.

• Número de Frobenius: Derivado como un polinomio cúbico en $n$ (por ejemplo, para $n \equiv 0 \pmod 6$, $F(S) = \frac{1}{3}n^3 + \frac{11}{6}n^2 + \frac{5}{2}n - 1$).
• Género: Derivado como un polinomio cúbico en $n$.
• Grado de Catenaria: Lineal en $n$ (por ejemplo, $c(S) = \frac{2}{3}n + 1$ para $n \equiv 0 \pmod 6$).
• Presentación Mínima: La cardinalidad es lineal en $n$ (por ejemplo, $\frac{1}{3}n + 3$).

Nota: El autor utilizó Mathematica para el descubrimiento de identidades y el paquete numericalsgps de GAP para la verificación.

5. Significado y Trabajo Futuro

• Comportamiento Asintótico: El artículo discute el comportamiento asintótico del número de Frobenius para secuencias infinitas de potencias. Demuestra que para $k$ cuadrados consecutivos, el número de Frobenius crece como $O(n^{2 + 2/k})$, lo que significa que no puede ser un polinomio cuadrático para $k \ge 3$. Esto contrasta con los resultados cúbicos encontrados para $k=4$ en este artículo.
• Generalización: El autor destaca que el método actual depende de la condición $a_{ii} = b_{ii}$ (Proposición 2.5). Un problema abierto significativo propuesto es extender el procedimiento a casos donde $a_{ii}d_i = a_{jj}d_j$ (casos no telescópicos).
• Grado Tame: El artículo identifica el grado tame como un invariante más complejo que permanece por calcularse sistemáticamente para estas familias utilizando el marco geométrico desarrollado.

En resumen, este artículo proporciona un potente conjunto de herramientas geométricas para analizar semigrupos numéricos de dimensión de incrustación cuatro, resolviendo con éxito el problema de Frobenius y los invariantes de factorización relacionados para dos familias importantes de generadores, y estableciendo un marco para futuras investigaciones sobre estructuras de semigrupos más generales.