On the Frobenius Number of Quotients of Numerical Semigroups

Resumo Técnico: Sobre o Número de Frobenius de Quocientes de Semigrupos Numéricos

Enunciado do Problema
O artigo aborda a determinação de fórmulas explícitas para o número de Frobenius de quocientes de semigrupos numéricos. Dado um semigrupo numérico $S$ e um inteiro positivo $p$, o quociente $S/p = \{n \in \mathbb{N} \mid pn \in S\}$ também é um semigrupo numérico. O problema central em aberto, previamente observado na literatura (ex.: [24, 8, 4]), é encontrar uma fórmula de forma fechada para o número de Frobenius $g(\langle a, b \rangle / p)$ onde $\gcd(a, b) = 1$. Um subcaso específico de particular interesse é quando os geradores formam inteiros consecutivos, isto é, $S = \langle a, a+1 \rangle$. Embora existam fórmulas para casos específicos (ex.: $p=2$, $p=5$, ou quando $p$ divide $a$), uma expressão de forma fechada geral permanece elusiva.

Metodologia
O autor emprega uma combinação de teoria de semigrupos, geometria algébrica e teoria analítica dos números para investigar a existência de fórmulas polinomiais.

1. Estrutura do Semigrupo e Simetria: O artigo utiliza a propriedade de que $\langle a, b \rangle$ é um semigrupo numérico simétrico. Ao aplicar um resultado de [28], o número de Frobenius do quociente $g(S/p)$ é expresso em termos do número de Frobenius de $S$ e do menor elemento $\omega_p(S)$ em $S$ congruente a $g(S) \pmod p$. Para o caso $S = \langle a, a+1 \rangle$, isso se reduz à minimização de uma forma linear $ia + j$ sobre uma classe de congruência específica.
2. Aproximação Aritmética e Teorema de Dirichlet: Para provar teoremas de não existência, o autor constrói sequências de parâmetros $(a, b, p)$ ou $(a, p)$ onde o número de Frobenius segue padrões lineares ou quadráticos específicos. O Lema 4.1 utiliza o teorema de Dirichlet sobre primos em progressões aritméticas para gerar sequências infinitas de primos $a$ e inteiros $b$ com propriedades modulares prescritas e inclinações limites.
3. Geometria Algébrica (Densidade de Zariski): O núcleo das provas de não existência baseia-se no conceito de densidade de Zariski. O artigo argumenta que, se uma relação polinomial $F(a, b, p, g) = 0$ existisse, o gráfico do número de Frobenius não seria denso em Zariski. Ao mostrar que o gráfico é denso (ou que o grau necessário de qualquer tal polinômio cresce ilimitadamente com $p$), a existência de tal relação é refutada.
4. Análise de Quase-polinômios: Para o caso $S = \langle a, a+1 \rangle$, o autor deriva uma fórmula exata de classe de resíduo. Isso envolve a definição de funções específicas $I_p(r)$ e $J_p(r)$ baseadas no resíduo de $a$ módulo $p$, demonstrando que, para um $p$ fixo, o número de Frobenius é um quase-polinômio quadrático.

Contribuições Principais e Resultados

O artigo estabelece três resultados principais relativos à natureza algébrica do número de Frobenius para esses quocientes:

1. Não existência de Fórmulas Polinomiais Uniformes (Caso Geral):
   O Teorema 1.2 prova que não existe um polinômio não 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 todos os trios válidos $(a, b, p)$. Consequentemente, o número de Frobenius não pode ser representado por qualquer coleção finita de fórmulas polinomiais ou racionais que sejam uniformes em $a, b$ e $p$. Este resultado é derivado ao mostrar que, para um primo $p$ fixo, o número de Frobenius assume $(p-1)/2$ formas lineares distintas dependendo da razão $b/a$, e o número de tais formas cresce com $p$, excedendo qualquer grau polinomial fixo.

2. Estrutura de Quase-polinômio para Geradores Consecutivos:
   Para o caso específico $S = \langle a, a+1 \rangle$, o Teorema 1.4 fornece uma fórmula exata para $G(a, p) = g(\langle a, a+1 \rangle / p)$. A fórmula é:
   $$G(a, p) = \frac{a^2 - (I_p(r) + 1)a - (J_p(r) + 1)}{p}$$
   onde $r = a \pmod p$, e $I_p(r), J_p(r)$ são determinados por um procedimento de minimização finita sobre resíduos. O Teorema 1.4 conclui que, para qualquer $p$ fixo, a função $a \mapsto G(a, p)$ é um quase-polinômio quadrático com um período que divide $p$.

3. Não existência de Fórmulas Polinomiais (Caso Consecutivo):
   Apesar da estrutura de quase-polinômio para $p$ fixo, o Teorema 1.5 prova que nenhum polinômio único não nulo $F \in \mathbb{C}[X_1, X_2, X_3]$ satisfaz $F(a, p, G(a, p)) = 0$ para todos os pares $(a, p)$ onde $a$ e $p$ são primos (ou mesmo apenas $p$ é primo e $a > p$). A prova demonstra que o grau mínimo de uma relação polinomial para um $p$ fixo cresce linearmente com $p$ (especificamente, pelo menos $\lceil p/2 \rceil$). Como um polinômio global deve ter um grau fixo, ele não pode acomodar os requisitos de grau ilimitado conforme $p$ varia.

Significância e Alegações
O artigo posiciona suas descobertas como uma resposta negativa ao problema em aberto de encontrar fórmulas de forma fechada para esses números de Frobenius, inspirado pelo trabalho anterior de Curtis sobre a não existência de fórmulas para $g(\langle a, b, c \rangle)$.

• Complexidade Algébrica: A principal significância é a demonstração de que o número de Frobenius desses quocientes possui uma complexidade algébrica que impede a descrição por famílias finitas de expressões polinomiais ou racionais independentes dos parâmetros.
• Distinção entre Local e Global: O artigo destaca um contraste entre o comportamento local e global. Localmente (para $p$ fixo), a função é bem comportada (quase-polinômio quadrático). Globalmente (conforme $p$ varia), a função é complexa demais para ser capturada por uma única relação algébrica.
• Papel dos Primos: Os resultados mantêm-se mesmo sob a condição restritiva de que $a$ e $p$ sejam primos, utilizando o teorema de Dirichlet para garantir a densidade de tais casos.
• Clarificação de "Não Existência": O autor nota explicitamente que estes resultados não implicam que o número de Frobenius seja incomputável. Algoritmos e fórmulas explícitas envolvendo funções piso (floor), aritmética modular e minimização finita (como visto no Teorema 5.3) existem. Os teoremas de não existência especificamente excluem fórmulas polinomiais ou racionais de grau limitado que sejam uniformes através do espaço de parâmetros.

O artigo conclui que, embora encontrar fórmulas de forma fechada para subclasses específicas continue sendo uma direção de pesquisa válida, o caso geral para quocientes de semigrupos numéricos resiste a uma caracterização algébrica simples.