On numerical semigroups with embedding dimension four

1. Enunciato del Problema

Il lavoro affronta il problema di Frobenius per semigruppi numerici con dimensione di immersione quattro ($e(S)=4$).

• Contesto: Per un semigruppo numerico $S = \langle d_0, d_1, d_2, d_3 \rangle$, il numero di Frobenius $F(S)$ è il più grande intero non appartenente a $S$. Sebbene esistano formule esplicite per $e(S)=2$ (formula di Sylvester) e vari casi speciali per $e(S)=3$, non esiste una formula polinomiale generale per $e(S) \ge 3$ (dimostrato essere NP-hard).
• Obiettivo Specifico: L'autore mira a calcolare il numero di Frobenius, il genere, gli elementi di Betti, le presentazioni minime e i gradi di catenaria per due famiglie specifiche di semigruppi:
  1. Semigruppi generati da quattro quadrati consecutivi: $S = \langle n^2, (n+1)^2, (n+2)^2, (n+3)^2 \rangle$.
  2. Semigruppi generati da quattro numeri triangolari consecutivi: $S = \langle \binom{n+1}{2}, \binom{n+2}{2}, \binom{n+3}{2}, \binom{n+4}{2} \rangle$.

2. Metodologia

Il cuore del lavoro è una procedura geometrica per determinare l'insieme di Apéry ($Ap(S, d_0)$) di un semigruppo numerico con dimensione di immersione quattro. L'insieme di Apéry è cruciale poiché $F(S) = \max(Ap(S, d_0)) - d_0$ e il genere $G(S)$ può essere derivato dalla somma dei suoi elementi.

A. Costruzione Geometrica (Sezione 2)

• Rappresentazione Reticolare: Il metodo visualizza il semigruppo in $\mathbb{R}^3$ utilizzando cubi unitari etichettati con valori $id_1 + jd_2 + kd_3$.
• Relazioni Minime: L'autore definisce "relazioni minime" (ad esempio, $a_{00}d_0 = a_{01}d_1 + a_{02}d_2 + a_{03}d_3$) e costruisce punti specifici in $\mathbb{Z}^3$ basati sui coefficienti di queste relazioni.
• Rimozione di Regioni: La procedura prevede la rimozione di regioni specifiche (ortanti) dalla collezione iniziale di cubi associati a questi punti.
  • Teorema 2.2: Fornisce un algoritmo rigoroso per rimuovere le regioni associate alle relazioni minime e a identità specifiche per isolare l'insieme di Apéry.
  • Forme a L: L'obiettivo è ridurre la collezione rimanente di cubi a una forma a L (una configurazione geometrica specifica in cui ogni elemento dell'insieme di Apéry etichetta esattamente un cubo).
  • Proposizione 2.5 e 2.8: Stabiliscono le condizioni in cui la figura risultante è garantita essere una forma a L. Ciò dipende dall'uguaglianza dei coefficienti nelle relazioni minime ($a_{ii} = b_{ii}$).
• Unicità: Il lavoro discute l'unicità di queste forme a L (Proposizione 2.10), collegandola alla struttura delle relazioni minime.

B. Teoria della Fattorizzazione (Sezione 3)

Una volta identificato l'insieme di Apéry (come forma a L), l'autore lo utilizza per calcolare invarianti di fattorizzazione:

• Elementi di Betti: Identificati come elementi nell'insieme di Apéry che corrispondono a specifici "angoli" o relazioni nella figura geometrica.
• Grado di Catenaria ($c(S)$): Calcolato analizzando le distanze tra diverse fattorizzazioni degli elementi di Betti.
• Presentazioni Minime: Costruite utilizzando gli insiemi di fattorizzazioni degli elementi di Betti (Teorema 3.2).

3. Contributi Chiave

1. Algoritmo Geometrico Generale: Il lavoro propone una procedura geometrica modificata e generalizzabile per trovare l'insieme di Apéry per qualsiasi semigruppo numerico con dimensione di immersione quattro, superando i limiti dei metodi precedenti (come quello di Killingbergtrø) che si basavano su proprietà specifiche (ad esempio, sequenze telescopiche).
2. Formule Esplicite per Famiglie Speciali: L'autore applica con successo questo metodo per derivare formule polinomiali in forma chiusa per gli invarianti dei semigruppi generati da quattro quadrati consecutivi e numeri triangolari.
3. Connessione con le Forme a L: Il lavoro collega rigorosamente la forma geometrica dell'insieme di Apéry (in particolare la proprietà della forma a L) alle proprietà algebriche del semigruppo, come l'esistenza di presentazioni minime e il calcolo del grado di catenaria.

4. Risultati Dettagliati

A. Quattro Quadrati Consecutivi ($S = \langle n^2, (n+1)^2, (n+2)^2, (n+3)^2 \rangle$)

I risultati dipendono da $n \pmod{12}$ (e da $n \pmod 4$ per casi specifici).

• Numero di Frobenius ($F(S)$): Derivato come un polinomio cubico in $n$ (ad esempio, per $n \equiv 0 \pmod{12}$, $F(S) = \frac{11}{12}n^3 + 4n^2 + \frac{9}{2}n - 2$).
• Genere ($G(S)$): Derivato come un polinomio cubico in $n$.
• Grado di Catenaria ($c(S)$): Risultato lineare in $n$ (ad esempio, $c(S) = \frac{11}{12}n + 2$ per $n \equiv 0 \pmod{12}$).
• Presentazione Minima: La cardinalità della presentazione minima è lineare in $n$ (ad esempio, $\frac{1}{3}n + 6$).
• Elementi di Betti: Il numero di elementi di Betti è calcolato esplicitamente (ad esempio, $4k+6$ per $n=12k$).

B. Quattro Numeri Triangolari Consecutivi ($S = \langle \binom{n+1}{2}, \dots, \binom{n+4}{2} \rangle$)

I risultati dipendono da $n \pmod 6$.

• Numero di Frobenius: Derivato come un polinomio cubico in $n$ (ad esempio, per $n \equiv 0 \pmod 6$, $F(S) = \frac{1}{3}n^3 + \frac{11}{6}n^2 + \frac{5}{2}n - 1$).
• Genere: Derivato come un polinomio cubico in $n$.
• Grado di Catenaria: Lineare in $n$ (ad esempio, $c(S) = \frac{2}{3}n + 1$ per $n \equiv 0 \pmod 6$).
• Presentazione Minima: La cardinalità è lineare in $n$ (ad esempio, $\frac{1}{3}n + 3$).

Nota: L'autore ha utilizzato Mathematica per la scoperta di identità e il pacchetto GAP numericalsgps per la verifica.

5. Significato e Lavori Futuri

• Comportamento Asintotico: Il lavoro discute il comportamento asintotico del numero di Frobenius per sequenze infinite di potenze. Dimostra che per $k$ quadrati consecutivi, il numero di Frobenius cresce come $O(n^{2 + 2/k})$, il che significa che non può essere un polinomio quadratico per $k \ge 3$. Ciò contrasta con i risultati cubici trovati per $k=4$ in questo lavoro.
• Generalizzazione: L'autore evidenzia che il metodo attuale si basa sulla condizione $a_{ii} = b_{ii}$ (Proposizione 2.5). Un significativo problema aperto proposto è estendere la procedura ai casi in cui $a_{ii}d_i = a_{jj}d_j$ (casi non telescopici).
• Grado di Tamezza: Il lavoro identifica il grado di tamezza come un invariante più complesso che rimane da calcolare sistematicamente per queste famiglie utilizzando il framework geometrico sviluppato.

In sintesi, questo lavoro fornisce un potente toolkit geometrico per l'analisi dei semigruppi numerici di dimensione di immersione quattro, risolvendo con successo il problema di Frobenius e gli invarianti di fattorizzazione correlati per due importanti famiglie di generatori, e stabilendo un quadro per future ricerche su strutture di semigruppi più generali.