On numerical semigroups with embedding dimension four

1. Probleemstelling

Het artikel behandelt het Frobenius-probleem voor numerieke semigruppen met inbeddingsdimension vier ($e(S)=4$).

• Context: Voor een numerieke semigrup $S = \langle d_0, d_1, d_2, d_3 \rangle$ is het Frobenius-getal $F(S)$ het grootste gehele getal dat niet in $S$ voorkomt. Hoewel expliciete formules bestaan voor $e(S)=2$ (de formule van Sylvester) en diverse speciale gevallen voor $e(S)=3$, bestaat er geen algemene polynoomformule voor $e(S) \ge 3$ (bewezen als NP-moeilijk).
• Specifiek Doel: De auteur beoogt het Frobenius-getal, het genus, de Betti-elementen, minimale presentaties en catenarygraden te berekenen voor twee specifieke families van semigruppen:
  1. Semigruppen gegenereerd door vier opeenvolgende kwadraten: $S = \langle n^2, (n+1)^2, (n+2)^2, (n+3)^2 \rangle$.
  2. Semigruppen gegenereerd door vier opeenvolgende driehoeksgetallen: $S = \langle \binom{n+1}{2}, \binom{n+2}{2}, \binom{n+3}{2}, \binom{n+4}{2} \rangle$.

2. Methodologie

De kern van het artikel is een geometrische procedure om de Apéry-verzameling ($Ap(S, d_0)$) van een numerieke semigrup met inbeddingsdimension vier te bepalen. De Apéry-verzameling is cruciaal omdat $F(S) = \max(Ap(S, d_0)) - d_0$ en het genus $G(S)$ kan worden afgeleid uit de som van de elementen ervan.

A. Geometrische Constructie (Sectie 2)

• Roosterrepresentatie: De methode visualiseert de semigrup in $\mathbb{R}^3$ met behulp van eenheidscubes gelabeld met waarden $id_1 + jd_2 + kd_3$.
• Minimale Relaties: De auteur definieert "minimale relaties" (bijvoorbeeld $a_{00}d_0 = a_{01}d_1 + a_{02}d_2 + a_{03}d_3$) en construeert specifieke punten in $\mathbb{Z}^3$ op basis van de coëfficiënten van deze relaties.
• Regio-Verwijdering: De procedure omvat het verwijderen van specifieke regio's (orthanten) uit de initiële verzameling cubes die geassocieerd zijn met deze punten.
  • Stelling 2.2: Biedt een rigoureus algoritme voor het verwijderen van regio's geassocieerd met minimale relaties en specifieke identiteiten om de Apéry-verzameling te isoleren.
  • L-vormen: Het doel is om de overgebleven verzameling cubes te reduceren tot een L-vorm (een specifieke geometrische configuratie waarbij elk element van de Apéry-verzameling precies één cube labelt).
  • Propositie 2.5 & 2.8: Stellen voorwaarden vast waaronder het resulterende figuur gegarandeerd een L-vorm is. Dit berust op de gelijkheid van coëfficiënten in minimale relaties ($a_{ii} = b_{ii}$).
• Uniciteit: Het artikel bespreekt de uniciteit van deze L-vormen (Propositie 2.10), en koppelt dit aan de structuur van de minimale relaties.

B. Factorisatietheorie (Sectie 3)

Zodra de Apéry-verzameling (als een L-vorm) is geïdentificeerd, gebruikt de auteur deze om factorisatie-invarianten te berekenen:

• Betti-elementen: Geïdentificeerd als elementen in de Apéry-verzameling die corresponderen met specifieke "hoeken" of relaties in het geometrische figuur.
• Catenarygraad ($c(S)$): Berekend door de afstanden tussen verschillende factorisaties van de Betti-elementen te analyseren.
• Minimale Presentaties: Geconstrueerd met behulp van de verzamelingen van factorisaties van de Betti-elementen (Stelling 3.2).

3. Belangrijkste Bijdragen

1. Algemeen Geometrisch Algoritme: Het artikel stelt een gewijzigde, generaliseerbare geometrische procedure voor om de Apéry-verzameling te vinden voor elke numerieke semigrup met inbeddingsdimension vier, waarmee beperkingen van eerdere methoden (zoals die van Killingbergtrø) worden overwonnen die afhankelijk waren van specifieke eigenschappen (bijvoorbeeld telescopische sequenties).
2. Expliciete Formules voor Speciale Families: De auteur past deze methode succesvol toe om gesloten-vorm polynoomformules af te leiden voor de invarianten van semigruppen gegenereerd door vier opeenvolgende kwadraten en driehoeksgetallen.
3. Verbinding met L-vormen: Het werk koppelt op rigoureuze wijze de geometrische vorm van de Apéry-verzameling (specifiek de L-vorm-eigenschap) aan de algebraïsche eigenschappen van de semigrup, zoals het bestaan van minimale presentaties en de berekening van de catenarygraad.

4. Gedetailleerde Resultaten

A. Vier Opeenvolgende Kwadraten ($S = \langle n^2, (n+1)^2, (n+2)^2, (n+3)^2 \rangle$)

De resultaten zijn afhankelijk van $n \pmod{12}$ (en $n \pmod 4$ voor specifieke gevallen).

• Frobenius-getal ($F(S)$): Afgeleid als een kubisch polynoom in $n$ (bijvoorbeeld voor $n \equiv 0 \pmod{12}$, $F(S) = \frac{11}{12}n^3 + 4n^2 + \frac{9}{2}n - 2$).
• Genus ($G(S)$): Afgeleid als een kubisch polynoom in $n$.
• Catenarygraad ($c(S)$): Bevonden als lineair in $n$ (bijvoorbeeld $c(S) = \frac{11}{12}n + 2$ voor $n \equiv 0 \pmod{12}$).
• Minimale Presentatie: De kardinaliteit van de minimale presentatie is lineair in $n$ (bijvoorbeeld $\frac{1}{3}n + 6$).
• Betti-elementen: Het aantal Betti-elementen is expliciet berekend (bijvoorbeeld $4k+6$ voor $n=12k$).

B. Vier Opeenvolgende Driehoeksgetallen ($S = \langle \binom{n+1}{2}, \dots, \binom{n+4}{2} \rangle$)

De resultaten zijn afhankelijk van $n \pmod 6$.

• Frobenius-getal: Afgeleid als een kubisch polynoom in $n$ (bijvoorbeeld voor $n \equiv 0 \pmod 6$, $F(S) = \frac{1}{3}n^3 + \frac{11}{6}n^2 + \frac{5}{2}n - 1$).
• Genus: Afgeleid als een kubisch polynoom in $n$.
• Catenarygraad: Lineair in $n$ (bijvoorbeeld $c(S) = \frac{2}{3}n + 1$ voor $n \equiv 0 \pmod 6$).
• Minimale Presentatie: Kardinaliteit is lineair in $n$ (bijvoorbeeld $\frac{1}{3}n + 3$).

Opmerking: De auteur gebruikte Mathematica voor het ontdekken van identiteiten en het GAP-pakket numericalsgps voor verificatie.

5. Betekenis en Toekomstig Werk

• Asymptotisch Gedrag: Het artikel bespreekt het asymptotisch gedrag van het Frobenius-getal voor oneindige sequenties van machten. Het bewijst dat voor $k$ opeenvolgende kwadraten, het Frobenius-getal groeit als $O(n^{2 + 2/k})$, wat betekent dat het geen kwadratisch polynoom kan zijn voor $k \ge 3$. Dit contrasteert met de kubische resultaten die in dit artikel worden gevonden voor $k=4$.
• Generalisatie: De auteur benadrukt dat de huidige methode afhankelijk is van de voorwaarde $a_{ii} = b_{ii}$ (Propositie 2.5). Een significant open probleem dat wordt voorgesteld, is het uitbreiden van de procedure naar gevallen waar $a_{ii}d_i = a_{jj}d_j$ (niet-telescopische gevallen).
• Tamheidgraad: Het artikel identificeert de tamheidgraad als een complexere invariant die systematisch moet worden berekend voor deze families met behulp van het ontwikkelde geometrische kader.

Kortom, dit artikel biedt een krachtige geometrische toolkit voor het analyseren van numerieke semigruppen met inbeddingsdimension vier, lost succesvol het Frobenius-probleem en gerelateerde factorisatie-invarianten op voor twee belangrijke families van generatoren, en vestigt een kader voor toekomstig onderzoek naar meer algemene semigrupstructuren.