On complete intersection projective closures of monomial curves

Resumo Técnico: Fechamentos Projetivos de Interseção Completa de Curvas Monomiais

Enunciado do Problema
Este artigo investiga as condições sob as quais o fechamento projetivo de uma curva monomial afim é uma interseção completa. Embora a propriedade de interseção completa para curvas monomiais afins seja bem estabelecida, o comportamento de seus fechamentos projetivos permanece menos compreendido. A dificuldade central surge porque a homogeneização do ideal toric definidor de uma curva afim pode aumentar o número mínimo de geradores e alterar a estrutura das equações definidoras. Consequentemente, uma curva monomial afim ser uma interseção completa é uma condição necessária, mas não suficiente, para que seu fechamento projetivo compartilhe essa propriedade. O artigo foca especificamente em curvas monomiais no espaço afim quadridimensional ($n=4$), visando fornecer uma caracterização completa e explícita de quando seus fechamentos projetivos são interseções completas e quando são Cohen–Macaulay aritmeticamente.

Metodologia
A análise baseia-se na classificação estrutural dos conjuntos geradores binomiais mínimos para o ideal toric afim $I(\mathbf{a})$ de uma curva monomial $C(\mathbf{a})$ em $\mathbb{A}^4$. O autor utiliza a ordem reversa lexicográfica de grau e técnicas de bases de Gröbner para analisar o ideal homogeneizado $I_h(\mathbf{a})$.

Etapas metodológicas principais incluem:

1. Classificação Estrutural: Aproveitando o Teorema 2.3, o conjunto gerador mínimo de $I(\mathbf{a})$ é categorizado em três casos distintos baseados nas relações entre os inteiros $c_i$ (os menores inteiros positivos tais que $c_i a_i \in \sum_{j \neq i} \mathbb{N}a_j$).
2. Análise de Base de Gröbner: Para cada caso estrutural, o artigo constrói conjuntos específicos de binômios e verifica se eles formam uma base de Gröbner para $I(\mathbf{a})$ e, subsequentemente, para $I_h(\mathbf{a})$.
3. Análise de Monômio Inicial: O artigo aplica o critério de Buchberger e propriedades de monômios iniciais. Especificamente, utiliza o fato de que, se os monômios iniciais de um conjunto de geradores forem coprimos dois a dois, o conjunto forma uma base de Gröbner.
4. Caracterização de Cohen–Macaulay Aritmeticamente (ACM): O artigo emprega critérios da literatura existente (especificamente [6, Teorema 2.2]) que vinculam a propriedade ACM à não divisibilidade de monômios iniciais por variáveis específicas (tipicamente $x_4$ ou $x_1$, dependendo da ordenação).

Contribuições Principais e Resultados

O artigo fornece condições necessárias e suficientes para que o fechamento projetivo $C(\mathbf{a}) \subset \mathbb{P}^4$ seja uma interseção completa e/ou Cohen–Macaulay aritmeticamente, dividido pelos três casos estruturais do ideal afim:

• Caso 1: O ideal afim é gerado por $\{x_2^{c_2} - x_1^{c_1}, x_3^{c_3} - x_4^{c_4}, x_1^{d_1}x_2^{d_2} - x_3^{d_3}x_4^{d_4}\}$.

  • Interseção Completa: Os Teoremas 2.4 e 2.6 estabelecem que $I_h(\mathbf{a})$ é uma interseção completa se $d_2=c_2, d_3=c_3$ ou se $d_2=0, d_3=c_3$.
  • Propriedade ACM: Os Teoremas 2.7, 2.9, 2.10 e 2.12 fornecem desigualdades explícitas envolvendo os expoentes $c_i$ e $d_i$ que são necessárias e suficientes para que a curva seja Cohen–Macaulay aritmeticamente.
  • Corolário: Os Corolários 2.8 e 2.13 demonstram que, em subcasos específicos, a propriedade ACM é equivalente à propriedade de interseção completa.

• Caso 2: O ideal afim é gerado por $\{x_2^{c_2} - x_1^{c_1}, x_3^{c_3} - x_1^{c_1}, x_4^{c_4} - x_1^{d_1}x_2^{d_2}x_3^{d_3}\}$.

  • Interseção Completa: Os Teoremas 3.1, 3.8 e 3.12 fornecem critérios baseados nos tamanhos relativos dos expoentes (por exemplo, $d_2=c_2$ e $d_3=c_3$) e propriedades de fatoração dos inteiros $c_i a_i$.
  • Propriedade ACM: Os Teoremas 3.3 e 3.6 caracterizam a propriedade ACM em subcasos onde $d_2 < c_2$ ou $d_3 < c_3$.
  • Famílias Infinitas: A Proposição 3.11 constrói famílias infinitas de curvas monomiais onde o fechamento projetivo é Cohen–Macaulay aritmeticamente, mas o ideal toric homogêneo não é uma interseção completa e possui um número arbitrariamente grande de geradores mínimos ($2n+2$). Isso demonstra explicitamente que a propriedade ACM não implica a propriedade de interseção completa.

• Caso 3: O ideal afim é gerado por $\{x_2^{c_2} - x_1^{c_1}, x_3^{c_3} - x_1^{b_1}x_2^{b_2}, x_4^{c_4} - x_1^{d_1}x_2^{d_2}x_3^{d_3}\}$.

  • Interseção Completa: Os Teoremas 4.1, 4.3, 4.5, 4.7, 4.11 e 4.13 derivam critérios explícitos. Estas condições frequentemente envolvem a existência de fatorações específicas dos inteiros $c_3 a_3$ e $c_4 a_4$ em combinações lineares da sequência $\mathbf{a}$, sujeitas a restrições sobre a soma dos coeficientes.
  • Subcasos: Os resultados distinguem entre cenários onde $a_1$ é o elemento máximo, $a_3$ é o máximo, ou $a_4$ é o máximo, e subdividem ainda mais com base nas relações entre $c_3, b_1, b_2$ e $c_4, d_1, d_2, d_3$.

Significância e Alegações
O artigo alega fornecer a primeira caracterização completa e explícita da propriedade de interseção completa para fechamentos projetivos de curvas monomiais afins de interseção completa no espaço afim quadridimensional. Trabalhos anteriores (por exemplo, [1], [2]) abordaram apenas famílias específicas ou casos simpliciais, deixando uma lacuna na classificação geral.

O autor enfatiza que a abordagem combina uma análise detalhada dos geradores com técnicas de bases de Gröbner para resolver as mudanças estruturais induzidas pela homogeneização. Um achado significativo é a construção de famílias onde o fechamento projetivo é Cohen–Macaulay aritmeticamente, mas falha em ser uma interseção completa, destacando a independência dessas duas propriedades algébricas no cenário projetivo.

O artigo reconhece que, embora uma caracterização completa para a propriedade Cohen–Macaulay aritmeticamente seja alcançada no Caso 1 e parcialmente no Caso 2, a caracterização completa para os Casos 2 e 3 permanece um problema em aberto. Os resultados são apresentados como critérios explícitos expressos em termos dos geradores binomiais mínimos do ideal toric afim, oferecendo uma ferramenta concreta para determinar as propriedades geométricas e algébricas dessas curvas.