On the Frobenius Number of Quotients of Numerical Semigroups

Sintesi Tecnica: Sul Numero di Frobenius dei Quozienti di Semigruppi Numerici

Enunciato del Problema
Il saggio affronta la determinazione di formule esplicite per il numero di Frobenius dei quozienti di semigruppi numerici. Dato un semigruppo numerico $S$ e un intero positivo $p$, il quoziente $S/p = \{n \in \mathbb{N} \mid pn \in S\}$ è anch'esso un semigruppo numerico. Il problema aperto centrale, precedentemente segnalato in letteratura (ad es. [24, 8, 4]), è trovare una formula in forma chiusa per il numero di Frobenius $g(\langle a, b \rangle / p)$ dove $\gcd(a, b) = 1$. Un sottocaso specifico di particolare interesse è quando i generatori sono interi consecutivi, ovvero $S = \langle a, a+1 \rangle$. Sebbene esistano formule per casi specifici (ad es. $p=2$, $p=5$, o quando $p$ divide $a$), una formula generale in forma chiusa rimane elusiva.

Metodologia
L'autore impiega una combinazione di teoria dei semigruppi, geometria algebrica e teoria analitica dei numeri per investigare l'esistenza di formule polinomiali.

1. Struttura del Semigruppo e Simmetria: Il saggio utilizza la proprietà che $\langle a, b \rangle$ è un semigruppo numerico simmetrico. Applicando un risultato da [28], il numero di Frobenius del quoziente $g(S/p)$ è espresso in termini del numero di Frobenius di $S$ e del minimo elemento $\omega_p(S)$ in $S$ congruente a $g(S) \pmod p$. Per il caso $S = \langle a, a+1 \rangle$, ciò si riduce alla minimizzazione di una forma lineare $ia + j$ su una specifica classe di congruenza.
2. Approssimazione Aritmetica e Teorema di Dirichlet: Per dimostrare teoremi di non esistenza, l'autore costruisce sequenze di parametri $(a, b, p)$ o $(a, p)$ dove il numero di Frobenius segue specifici schemi lineari o quadratici. Il Lemma 4.1 utilizza il teorema di Dirichlet sui primi in progressioni aritmetiche per generare infinite sequenze di primi $a$ e interi $b$ con proprietà modulari prescritte e pendenze limite.
3. Geometria Algebrica (Densità di Zariski): Il nucleo delle dimostrazioni di non esistenza si basa sul concetto di densità di Zariski. Il saggio argomenta che se una relazione polinomiale $F(a, b, p, g) = 0$ esistesse, il grafico del numero di Frobenius non sarebbe denso di Zariski. Dimostrando che il grafico è denso (o che il grado richiesto di qualsiasi tale polinomio cresce illimitatamente con $p$), l'esistenza di tale relazione viene confutata.
4. Analisi dei Quasi-polinomi: Per il caso $S = \langle a, a+1 \rangle$, l'autore deriva una formula esatta per classe di residuo. Ciò comporta la definizione di funzioni specifiche $I_p(r)$ e $J_p(r)$ basate sul residuo di $a$ modulo $p$, dimostrando che per un $p$ fissato, il numero di Frobenius è un quasi-polinomio quadratico.

Contributi Chiave e Risultati

Il saggio stabilisce tre risultati principali riguardanti la natura algebrica del numero di Frobenius per questi quozienti:

1. Non esistenza di Formule Polinomiali Uniformi (Caso Generale):
   Il Teorema 1.2 dimostra che non esiste un polinomio non nullo $F \in \mathbb{C}[X_1, X_2, X_3, Y]$ tale che $F(a, b, p, g(\langle a, b \rangle / p)) = 0$ per tutte le triple $(a, b, p)$ valide. Di conseguenza, il numero di Frobenius non può essere rappresentato da alcuna collezione finita di formule polinomiali o razionali che siano uniformi in $a, b$ e $p$. Questo risultato è derivato dal fatto che, per un primo $p$ fissato, il numero di Frobenius assume $(p-1)/2$ forme lineari distinte a seconda del rapporto $b/a$, e il numero di tali forme cresce con $p$, superando qualsiasi grado polinomiale fissato.

2. Struttura di Quasi-polinomio per Generatori Consecutivi:
   Per il caso specifico $S = \langle a, a+1 \rangle$, il Teorema 1.4 fornisce una formula esatta per $G(a, p) = g(\langle a, a+1 \rangle / p)$. La formula è:
   $$G(a, p) = \frac{a^2 - (I_p(r) + 1)a - (J_p(r) + 1)}{p}$$
   dove $r = a \pmod p$, e $I_p(r), J_p(r)$ sono determinati da una procedura di minimizzazione finita su residui. Il Teorema 1.4 conclude che, per ogni $p$ fissato, la funzione $a \mapsto G(a, p)$ è un quasi-polinomio quadratico con un periodo che divide $p$.

3. Non esistenza di Formule Polinomiali (Caso Consecutivo):
   Nonostante la struttura quasi-polinomiale per un $p$ fissato, il Teorema 1.5 dimostra che nessun singolo polinomio non nullo $F \in \mathbb{C}[X_1, X_2, X_3]$ soddisfa $F(a, p, G(a, p)) = 0$ per tutte le coppie $(a, p)$ dove $a$ e $p$ sono primi (o anche solo $p$ è primo e $a > p$). La prova dimostra che il grado minimo di una relazione polinomiale per un $p$ fissato cresce linearmente con $p$ (specificamente almeno $\lceil p/2 \rceil$). Poiché un polinomio globale deve avere un grado fissato, esso non può accomodare i requisiti di grado illimitato al variare di $p$.

Significato e Rivendicazioni
Il saggio pone i suoi risultati come una risposta negativa al problema aperto della ricerca di formule in forma chiusa per questi numeri di Frobenius, ispirandosi al precedente lavoro di Curtis sulla non esistenza di formule per $g(\langle a, b, c \rangle)$.

• Complessità Algebrica: Il significato primario è la dimostrazione che il numero di Frobenius di questi quozienti possiede una complessità algebrica che preclude la descrizione tramite famiglie finite di espressioni polinomiali o razionali indipendenti dai parametri.
• Distinzione tra Locale e Globale: Il saggio evidenzia un contrasto tra comportamento locale e globale. Localmente (per $p$ fisso), la funzione è ben comportata (quasi-polinomio quadratico). Globalmente (mentre $p$ varia), la funzione è troppo complessa per essere catturata da una singola relazione algebrica.
• Ruolo dei Primi: I risultati valgono anche sotto la condizione restrittiva che $a$ e $p$ siano primi, utilizzando il teorema di Dirichlet per garantire la densità di tali casi.
• Chiarimento di "Non Esistenza": L'autore nota esplicitamente che questi risultati non implicano che il numero di Frobenius sia inconoscibile. Esistono algoritmi ed espressioni esplicite che coinvolgono funzioni floor, aritmetica modulare e minimizzazione finita (come visto nel Teorema 5.3). I teoremi di non esistenza escludono specificamente formule polinomiali o razionali di grado limitato che siano uniformi attraverso lo spazio dei parametri.

Il saggio conclude che, sebbene la ricerca di formule in forma chiusa per sottoclassi specifiche rimanga una direzione di ricerca valida, il caso generale per i quozienti di semigruppi numerici resiste a una semplice caratterizzazione algebrica.