On the Frobenius Number of Quotients of Numerical Semigroups

Resumen Técnico: Sobre el número de Frobenius de cocientes de semigrupos numéricos

Planteamiento del problema
El artículo aborda la determinación de fórmulas explícitas para el número de Frobenius de cocientes de semigrupos numéricos. Dado un semigrupo numérico $S$ y un entero positivo $p$, el cociente $S/p = \{n \in \mathbb{N} \mid pn \in S\}$ es también un semigrupo numérico. El problema central abierto, previamente señalado en la literatura (por ejemplo, [24, 8, 4]), es encontrar una fórmula de forma cerrada para el número de Frobenius $g(\langle a, b \rangle / p)$ donde $\gcd(a, b) = 1$. Un subcaso específico de particular interés es cuando los generadores son enteros consecutivos, es decir, $S = \langle a, a+1 \rangle$. Aunque existen fórmulas para casos específicos (por ejemplo, $p=2$, $p=5$, o cuando $p$ divide a $a$), una expresión general de forma cerrada sigue siendo esquiva.

Metodología
El autor emplea una combinación de teoría de semigrupos, geometría algebraica y teoría analítica de números para investigar la existencia de fórmulas polinómicas.

1. Estructura y simetría del semigrupo: El artículo utiliza la propiedad de que $\langle a, b \rangle$ es un semigrupo numérico simétrico. Al aplicar un resultado de [28], el número de Frobenius del cociente $g(S/p)$ se expresa en términos del número de Frobenius de $S$ y el elemento mínimo $\omega_p(S)$ en $S$ congruente con $g(S) \pmod p$. Para el caso $S = \langle a, a+1 \rangle$, esto reduce el problema a minimizar una forma lineal $ia + j$ sobre una clase de congruencia específica.
2. Aproximación aritmética y el Teorema de Dirichlet: Para probar teoremas de no existencia, el autor construye secuencias de parámetros $(a, b, p)$ o $(a, p)$ donde el número de Frobenius sigue patrones lineales o cuadráticos específicos. El Lema 4.1 utiliza el teorema de Dirichlet sobre primos en progresiones aritméticas para generar secuencias infinitas de primos $a$ e enteros $b$ con propiedades modulares prescritas y pendientes límite.
3. Geometría algebraica (Densidad de Zariski): El núcleo de las pruebas de no existencia se basa en el concepto de densidad de Zariski. El artículo argumenta que si existiera una relación polinómica $F(a, b, p, g) = 0$, la gráfica del número de Frobenius no sería densa en Zariski. Al demostrar que la gráfica es densa (o que el grado requerido de cualquier tal polinomio crece sin límite con $p$), se refuta la existencia de dicha relación.
4. Análisis de cuasi-polinomios: Para el caso $S = \langle a, a+1 \rangle$, el autor deriva una fórmula exacta por clases de residuos. Esto implica definir funciones específicas $I_p(r)$ y $J_p(r)$ basadas en el residuo de $a$ módulo $p$, demostrando que para un $p$ fijo, el número de Frobenius es un cuasi-polinomio cuadrático.

Contribuciones clave y resultados

El artículo establece tres resultados principales respecto a la naturaleza algebraica del número de Frobenius para estos cocientes:

1. No existencia de fórmulas polinómicas uniformes (Caso general):
   El Teorema 1.2 demuestra que no existe un polinomio no nulo $F \in \mathbb{C}[X_1, X_2, X_3, Y]$ tal que $F(a, b, p, g(\langle a, b \rangle / p)) = 0$ para todas las ternas $(a, b, p)$ válidas. En consecuencia, el número de Frobenius no puede representarse mediante ninguna colección finita de fórmulas polinómicas o racionales que sean uniformes en $a, b$ y $p$. Este resultado se deriva de mostrar que, para un primo $p$ fijo, el número de Frobenius toma $(p-1)/2$ formas lineales distintas dependiendo de la razón $b/a$, y el número de tales formas crece con $p$, excediendo cualquier grado polinómico fijo.

2. Estructura de cuasi-polinomio para generadores consecutivos:
   Para el caso específico $S = \langle a, a+1 \rangle$, el Teorema 1.4 proporciona una fórmula exacta para $G(a, p) = g(\langle a, a+1 \rangle / p)$. La fórmula es:
   $$G(a, p) = \frac{a^2 - (I_p(r) + 1)a - (J_p(r) + 1)}{p}$$
   donde $r = a \pmod p$, e $I_p(r), J_p(r)$ están determinados por un procedimiento de minimización finita sobre residuos. El Teorema 1.4 concluye que, para cualquier $p$ fijo, la función $a \mapsto G(a, p)$ es un cuasi-polinomio cuadrático con un periodo que divide a $p$.

3. No existencia de fórmulas polinómicas (Caso de consecutivos):
   A pesar de la estructura de cuasi-polinomio para un $p$ fijo, el Teorema 1.5 demuestra que ningún polinomio único no nulo $F \in \mathbb{C}[X_1, X_2, X_3]$ satisface $F(a, p, G(a, p)) = 0$ para todos los pares $(a, p)$ donde $a$ y $p$ son primos (o incluso simplemente $p$ es primo y $a > p$). La prueba demuestra que el grado mínimo de una relación polinómica para un $p$ fijo crece linealmente con $p$ (específicamente al menos $\lceil p/2 \rceil$). Dado que un polinomio global debe tener un grado fijo, no puede acomodar los requisitos de grado ilimitado a medida que $p$ varía.

Significado y pretensiones
El artículo posiciona sus hallazgos como una respuesta negativa al problema abierto de encontrar fórmulas de forma cerrada para estos números de Frobenius, inspirado por el trabajo previo de Curtis sobre la no existencia de fórmulas para $g(\langle a, b, c \rangle)$.

• Complejidad algebraica: El principal significado es la demostración de que el número de Frobenius de estos cocientes posee una complejidad algebraica que impide su descripción mediante familias finitas de expresiones polinómicas o racionales independientes de los parámetros.
• Distinción entre lo local y lo global: El artículo destaca un contraste entre el comportamiento local y global. Localmente (para un $p$ fijo), la función se comporta bien (cuasi-polinomio cuadrático). Globalmente (cuando $p$ varía), la función es demasiado compleja para ser capturada por una única relación algebraica.
• El papel de los primos: Los resultados se mantienen incluso bajo la condición restrictiva de que $a$ y $p$ sean primos, utilizando el teorema de Dirichlet para asegurar la densidad de tales casos.
• Clarificación de "no existencia": El autor señala explícitamente que estos resultados no implican que el número de Frobenius sea incomputable. Existen algoritmos y fórmulas explícitas que involucran funciones parte entera, aritmética modular y minimización finita (como se ve en el Teorema 5.3). Los teoremas de no existencia descartan específicamente las fórmulas polinómicas o racionales de grado acotado que sean uniformes en todo el espacio de parámetros.

El artículo concluye que, si bien encontrar fórmulas de forma cerrada para subclases específicas sigue siendo una dirección de investigación válida, el caso general para cocientes de semigrupos numéricos resiste una caracterización algebraica simple.