On numerical semigroups with embedding dimension four

1. Formulação do Problema

O artigo aborda o problema de Frobenius para semigrupos numéricos com dimensão de incorporação quatro ($e(S)=4$).

• Contexto: Para um semigrupo numérico $S = \langle d_0, d_1, d_2, d_3 \rangle$, o número de Frobenius $F(S)$ é o maior inteiro que não pertence a $S$. Embora existam fórmulas explícitas para $e(S)=2$ (fórmula de Sylvester) e vários casos especiais para $e(S)=3$, não existe uma fórmula polinomial geral para $e(S) \ge 3$ (provado ser NP-difícil).
• Objetivo Específico: O autor visa calcular o número de Frobenius, o gênero, os elementos de Betti, apresentações mínimas e graus de catenária para duas famílias específicas de semigrupos:
  1. Semigrupos gerados por quatro quadrados consecutivos: $S = \langle n^2, (n+1)^2, (n+2)^2, (n+3)^2 \rangle$.
  2. Semigrupos gerados por quatro números triangulares consecutivos: $S = \langle \binom{n+1}{2}, \binom{n+2}{2}, \binom{n+3}{2}, \binom{n+4}{2} \rangle$.

2. Metodologia

O núcleo do artigo é um procedimento geométrico para determinar o conjunto de Apéry ($Ap(S, d_0)$) de um semigrupo numérico com dimensão de incorporação quatro. O conjunto de Apéry é crucial porque $F(S) = \max(Ap(S, d_0)) - d_0$ e o gênero $G(S)$ pode ser derivado da soma de seus elementos.

A. Construção Geométrica (Seção 2)

• Representação em Rede: O método visualiza o semigrupo em $\mathbb{R}^3$ usando cubos unitários rotulados por valores $id_1 + jd_2 + kd_3$.
• Relações Mínimas: O autor define "relações mínimas" (por exemplo, $a_{00}d_0 = a_{01}d_1 + a_{02}d_2 + a_{03}d_3$) e constrói pontos específicos em $\mathbb{Z}^3$ baseados nos coeficientes dessas relações.
• Deleção de Regiões: O procedimento envolve a deleção de regiões específicas (ortantes) da coleção inicial de cubos associada a esses pontos.
  • Teorema 2.2: Fornece um algoritmo rigoroso para deletar regiões associadas a relações mínimas e identidades específicas para isolar o conjunto de Apéry.
  • Formas em L: O objetivo é reduzir a coleção restante de cubos a uma forma em L (uma configuração geométrica específica onde cada elemento do conjunto de Apéry rotula exatamente um cubo).
  • Proposição 2.5 e 2.8: Estabelecem condições sob as quais a figura resultante é garantidamente uma forma em L. Isso depende da igualdade dos coeficientes nas relações mínimas ($a_{ii} = b_{ii}$).
• Unicidade: O artigo discute a unicidade dessas formas em L (Proposição 2.10), vinculando-a à estrutura das relações mínimas.

B. Teoria da Fatoração (Seção 3)

Uma vez identificado o conjunto de Apéry (como uma forma em L), o autor o utiliza para calcular invariantes de fatoração:

• Elementos de Betti: Identificados como elementos no conjunto de Apéry que correspondem a "cantos" ou relações específicos na figura geométrica.
• Grau de Catenária ($c(S)$): Calculado analisando as distâncias entre diferentes fatorações dos elementos de Betti.
• Apresentações Mínimas: Construídas usando os conjuntos de fatorações dos elementos de Betti (Teorema 3.2).

3. Contribuições Principais

1. Algoritmo Geométrico Geral: O artigo propõe um procedimento geométrico modificado e generalizável para encontrar o conjunto de Apéry para qualquer semigrupo numérico com dimensão de incorporação quatro, superando limitações de métodos anteriores (como o de Killingbergtrø) que dependiam de propriedades específicas (por exemplo, sequências telescópicas).
2. Fórmulas Explícitas para Famílias Especiais: O autor aplica com sucesso este método para derivar fórmulas polinomiais de forma fechada para os invariantes de semigrupos gerados por quatro quadrados consecutivos e números triangulares.
3. Conexão com Formas em L: O trabalho conecta rigorosamente a forma geométrica do conjunto de Apéry (especificamente a propriedade da forma em L) às propriedades algébricas do semigrupo, como a existência de apresentações mínimas e o cálculo do grau de catenária.

4. Resultados Detalhados

A. Quatro Quadrados Consecutivos ($S = \langle n^2, (n+1)^2, (n+2)^2, (n+3)^2 \rangle$)

Os resultados dependem de $n \pmod{12}$ (e $n \pmod 4$ para casos específicos).

• Número de Frobenius ($F(S)$): Derivado como um polinômio cúbico em $n$ (por exemplo, para $n \equiv 0 \pmod{12}$, $F(S) = \frac{11}{12}n^3 + 4n^2 + \frac{9}{2}n - 2$).
• Gênero ($G(S)$): Derivado como um polinômio cúbico em $n$.
• Grau de Catenária ($c(S)$): Encontrado ser linear em $n$ (por exemplo, $c(S) = \frac{11}{12}n + 2$ para $n \equiv 0 \pmod{12}$).
• Apresentação Mínima: A cardinalidade da apresentação mínima é linear em $n$ (por exemplo, $\frac{1}{3}n + 6$).
• Elementos de Betti: O número de elementos de Betti é calculado explicitamente (por exemplo, $4k+6$ para $n=12k$).

B. Quatro Números Triangulares Consecutivos ($S = \langle \binom{n+1}{2}, \dots, \binom{n+4}{2} \rangle$)

Os resultados dependem de $n \pmod 6$.

• Número de Frobenius: Derivado como um polinômio cúbico em $n$ (por exemplo, para $n \equiv 0 \pmod 6$, $F(S) = \frac{1}{3}n^3 + \frac{11}{6}n^2 + \frac{5}{2}n - 1$).
• Gênero: Derivado como um polinômio cúbico em $n$.
• Grau de Catenária: Linear em $n$ (por exemplo, $c(S) = \frac{2}{3}n + 1$ para $n \equiv 0 \pmod 6$).
• Apresentação Mínima: A cardinalidade é linear em $n$ (por exemplo, $\frac{1}{3}n + 3$).

Nota: O autor utilizou o Mathematica para descoberta de identidades e o pacote numericalsgps do GAP para verificação.

5. Significado e Trabalho Futuro

• Comportamento Assintótico: O artigo discute o comportamento assintótico do número de Frobenius para sequências infinitas de potências. Ele prova que, para $k$ quadrados consecutivos, o número de Frobenius cresce como $O(n^{2 + 2/k})$, o que significa que não pode ser um polinômio quadrático para $k \ge 3$. Isso contrasta com os resultados cúbicos encontrados para $k=4$ neste artigo.
• Generalização: O autor destaca que o método atual depende da condição $a_{ii} = b_{ii}$ (Proposição 2.5). Um problema aberto significativo proposto é estender o procedimento para casos onde $a_{ii}d_i = a_{jj}d_j$ (casos não telescópicos).
• Grau Tame: O artigo identifica o grau tame como um invariante mais complexo que permanece a ser calculado sistematicamente para essas famílias usando a estrutura geométrica desenvolvida.

Em resumo, este artigo fornece um poderoso conjunto de ferramentas geométricas para analisar semigrupos numéricos de dimensão de incorporação quatro, resolvendo com sucesso o problema de Frobenius e invariantes relacionados de fatoração para duas famílias importantes de geradores, e estabelecendo uma estrutura para pesquisas futuras sobre estruturas de semigrupos mais gerais.