On numerical semigroups with embedding dimension four

1. Énoncé du problème

Le papier aborde le problème de Frobenius pour les semi-groupes numériques de dimension d'embedding quatre ($e(S)=4$).

• Contexte : Pour un semi-groupe numérique $S = \langle d_0, d_1, d_2, d_3 \rangle$, le nombre de Frobenius $F(S)$ est le plus grand entier n'appartenant pas à $S$. Bien que des formules explicites existent pour $e(S)=2$ (formule de Sylvester) et divers cas particuliers pour $e(S)=3$, aucune formule polynomiale générale n'existe pour $e(S) \ge 3$ (prouvé comme étant NP-difficile).
• Objectif spécifique : L'auteur vise à calculer le nombre de Frobenius, le genre, les éléments de Betti, les présentations minimales et les degrés de caténaire pour deux familles spécifiques de semi-groupes :
  1. Les semi-groupes générés par quatre carrés consécutifs : $S = \langle n^2, (n+1)^2, (n+2)^2, (n+3)^2 \rangle$.
  2. Les semi-groupes générés par quatre nombres triangulaires consécutifs : $S = \langle \binom{n+1}{2}, \binom{n+2}{2}, \binom{n+3}{2}, \binom{n+4}{2} \rangle$.

2. Méthodologie

Le cœur du papier est une procédure géométrique pour déterminer l'ensemble d'Apéry ($Ap(S, d_0)$) d'un semi-groupe numérique de dimension d'embedding quatre. L'ensemble d'Apéry est crucial car $F(S) = \max(Ap(S, d_0)) - d_0$ et le genre $G(S)$ peut être déduit de la somme de ses éléments.

A. Construction géométrique (Section 2)

• Représentation par réseau : La méthode visualise le semi-groupe dans $\mathbb{R}^3$ en utilisant des cubes unitaires étiquetés par des valeurs $id_1 + jd_2 + kd_3$.
• Relations minimales : L'auteur définit des « relations minimales » (par exemple, $a_{00}d_0 = a_{01}d_1 + a_{02}d_2 + a_{03}d_3$) et construit des points spécifiques dans $\mathbb{Z}^3$ basés sur les coefficients de ces relations.
• Suppression de régions : La procédure consiste à supprimer des régions spécifiques (orthants) de la collection initiale de cubes associée à ces points.
  • Théorème 2.2 : Fournit un algorithme rigoureux pour supprimer les régions associées aux relations minimales et à des identités spécifiques afin d'isoler l'ensemble d'Apéry.
  • Formes en L : L'objectif est de réduire la collection restante de cubes à une forme en L (une configuration géométrique spécifique où chaque élément de l'ensemble d'Apéry étiquette exactement un cube).
  • Propositions 2.5 et 2.8 : Établissent les conditions sous lesquelles la figure résultante est garantie d'être une forme en L. Cela repose sur l'égalité des coefficients dans les relations minimales ($a_{ii} = b_{ii}$).
• Unicité : Le papier discute de l'unicité de ces formes en L (Proposition 2.10), la reliant à la structure des relations minimales.

B. Théorie de la factorisation (Section 3)

Une fois l'ensemble d'Apéry (en tant que forme en L) identifié, l'auteur l'utilise pour calculer les invariants de factorisation :

• Éléments de Betti : Identifiés comme les éléments de l'ensemble d'Apéry qui correspondent à des « coins » ou des relations spécifiques dans la figure géométrique.
• Degré de caténaire ($c(S)$) : Calculé en analysant les distances entre les différentes factorisations des éléments de Betti.
• Présentations minimales : Construites à l'aide des ensembles de factorisations des éléments de Betti (Théorème 3.2).

3. Contributions clés

1. Algorithme géométrique général : Le papier propose une procédure géométrique modifiée et généralisable pour trouver l'ensemble d'Apéry pour n'importe quel semi-groupe numérique de dimension d'embedding quatre, surmontant les limitations des méthodes précédentes (comme celle de Killingbergtrø) qui reposaient sur des propriétés spécifiques (par exemple, les suites télescopiques).
2. Formules explicites pour des familles spéciales : L'auteur applique avec succès cette méthode pour dériver des formules polynomiales fermées pour les invariants des semi-groupes générés par quatre carrés consécutifs et des nombres triangulaires.
3. Lien avec les formes en L : Le travail relie rigoureusement la forme géométrique de l'ensemble d'Apéry (spécifiquement la propriété de forme en L) aux propriétés algébriques du semi-groupe, telles que l'existence de présentations minimales et le calcul du degré de caténaire.

4. Résultats détaillés

A. Quatre carrés consécutifs ($S = \langle n^2, (n+1)^2, (n+2)^2, (n+3)^2 \rangle$)

Les résultats dépendent de $n \pmod{12}$ (et de $n \pmod 4$ pour des cas spécifiques).

• Nombre de Frobenius ($F(S)$) : Déduit comme un polynôme cubique en $n$ (par exemple, pour $n \equiv 0 \pmod{12}$, $F(S) = \frac{11}{12}n^3 + 4n^2 + \frac{9}{2}n - 2$).
• Genre ($G(S)$) : Déduit comme un polynôme cubique en $n$.
• Degré de caténaire ($c(S)$) : Trouvé linéaire en $n$ (par exemple, $c(S) = \frac{11}{12}n + 2$ pour $n \equiv 0 \pmod{12}$).
• Présentation minimale : Le cardinal de la présentation minimale est linéaire en $n$ (par exemple, $\frac{1}{3}n + 6$).
• Éléments de Betti : Le nombre d'éléments de Betti est explicitement calculé (par exemple, $4k+6$ pour $n=12k$).

B. Quatre nombres triangulaires consécutifs ($S = \langle \binom{n+1}{2}, \dots, \binom{n+4}{2} \rangle$)

Les résultats dépendent de $n \pmod 6$.

• Nombre de Frobenius : Déduit comme un polynôme cubique en $n$ (par exemple, pour $n \equiv 0 \pmod 6$, $F(S) = \frac{1}{3}n^3 + \frac{11}{6}n^2 + \frac{5}{2}n - 1$).
• Genre : Déduit comme un polynôme cubique en $n$.
• Degré de caténaire : Linéaire en $n$ (par exemple, $c(S) = \frac{2}{3}n + 1$ pour $n \equiv 0 \pmod 6$).
• Présentation minimale : Le cardinal est linéaire en $n$ (par exemple, $\frac{1}{3}n + 3$).

Note : L'auteur a utilisé Mathematica pour la découverte d'identités et le package GAP numericalsgps pour la vérification.

5. Importance et travaux futurs

• Comportement asymptotique : Le papier discute du comportement asymptotique du nombre de Frobenius pour des suites infinies de puissances. Il prouve que pour $k$ carrés consécutifs, le nombre de Frobenius croît comme $O(n^{2 + 2/k})$, ce qui signifie qu'il ne peut pas être un polynôme quadratique pour $k \ge 3$. Cela contraste avec les résultats cubiques trouvés pour $k=4$ dans ce papier.
• Généralisation : L'auteur souligne que la méthode actuelle repose sur la condition $a_{ii} = b_{ii}$ (Proposition 2.5). Un problème ouvert majeur proposé est d'étendre la procédure aux cas où $a_{ii}d_i = a_{jj}d_j$ (cas non télescopiques).
• Degré de sauvagerie : Le papier identifie le degré de sauvagerie comme un invariant plus complexe qui reste à calculer systématiquement pour ces familles en utilisant le cadre géométrique développé.

En résumé, ce papier fournit une puissante boîte à outils géométrique pour l'analyse des semi-groupes numériques de dimension d'embedding quatre, résolvant avec succès le problème de Frobenius et les invariants de factorisation connexes pour deux familles importantes de générateurs, et établissant un cadre pour des recherches futures sur des structures de semi-groupes plus générales.