Resumo Técnico: Sistemas de Resultantes Pequenos via Combinações Lineares

Enunciado do Problema

O artigo aborda o problema da construção de sistemas de resultantes para um sistema de $s$ polinômios homogêneos de grau $d$ em $n$ variáveis. Um sistema de resultantes é definido como um conjunto finito de polinômios nos coeficientes das formas de entrada tal que seu desaparecimento simultâneo caracteriza a existência de uma solução comum não nula no espaço projetivo $\mathbb{P}^{n-1}$.

Embora existam construções clássicas, elas frequentemente resultam em sistemas de resultantes com um número excessivamente grande de polinômios. Esses métodos tradicionais baseiam-se tipicamente em:

1. Computar menores máximos de grandes matrizes de coeficientes (ex: matrizes de Sylvester generalizadas ou de Macaulay).
2. Extrair coeficientes da expansão de resultantes de combinações lineares genéricas das formas de entrada.

Para sistemas onde $s > n$, a variedade de resultante tem codimensão $s - n + 1 > 1$, exigindo múltiplos polinômios para defini-la setorialmente. Os autores visam construir sistemas de resultantes com cardinalidade pequena, buscando especificamente limites que sejam polinomiais em $s$ e $d$ (para $n$ fixo), em vez de exponenciais.

Metodologia

Os autores desenvolvem novas construções baseadas na avaliação de resultantes clássicas (especificamente a resultante de Macaulay para sistemas quadrados) em combinações lineares específicas das formas de entrada, em vez de combinações genéricas ou menores máximos de grandes matrizes.

O núcleo do arcabouço teórico baseia-se em:

• Quotientes GIT Projetivos: Os autores utilizam o quotiente da Teoria de Invariantes Geométricos (GIT) do espaço de $s$-uplas de formas pela ação de $SL(n)$. Eles estabelecem que a dimensão desse espaço de quotiente dita o número mínimo de resultantes necessárias para separar o lócus de sistemas com soluções comuns daquele sem soluções.
• Teorema de Perron: Eles empregam o teorema de Perron, que garante que, para um sistema sem solução comum, existe uma combinação linear genérica das formas que também não possui solução comum. Isso permite a redução do problema ao desaparecimento de resultantes de subsistemas quadrados.
• Argumentos de Gaveta na Teoria de Interseção: Para a construção de sistemas de resultantes "perfurados" (onde assume-se que os polinômios de entrada são não nulos), os autores utilizam argumentos combinatórios envolvendo os graus de variedades e as propriedades de matrizes de Vandermonde para garantir que um número suficiente de combinações lineares desapareça sobre uma raiz comum.

Contribuições Principais e Resultados

1. Existência de Sistemas de Resultantes Pequenos (Caso Geral)

O principal resultado (Teorema 1.5) prova a existência de um sistema de resultantes com cardinalidade:
$$\binom{d+n-1}{n-1}s - n^2 + 1$$
Este sistema consiste em resultantes de $n$ combinações lineares das formas de entrada, onde os coeficientes dessas combinações lineares são extraídos de um conjunto genérico de matrizes $H \subset K^{n \times s}$.

• Significância: Esta é a primeira vez que se conhece um sistema de resultantes para $n > 2$ que não é exponencialmente grande em $s$ ou $d$. Para $n$ fixo, a cardinalidade é $\Theta(s d^{n-1})$.
• Caso Linear ($d=1$): Quando $d=1$, o sistema reduz-se a $sn - n^2 + 1$ polinômios. Isso fornece uma nova descrição da variedade determinante de matrizes $s \times n$ de posto deficiente, melhorando os limites anteriores e oferecendo uma definição setorial usando determinantes de produtos $\det(\Lambda_i C)$.

2. Sistemas Bivariados ($n=2$)

Para o caso específico de polinômios homogêneos bivariados, os autores demonstram que sua construção produz um sistema de resultantes de cardinalidade $(d+1)s - 3$ (Corolário 1.7).

• Comparação: Isso iguala o limite inferior conhecido de Lyubeznik até um fator de 2. Melhora significativamente os limites superiores anteriores de $O(s^2 d)$ (Encarnación) e $O(s d^2)$ (Orsinger/Kakié).

3. Sistemas de Resultantes Perfurados

O artigo introduz o conceito de sistemas de resultantes perfurados, que são válidos sob a premissa de que todos os polinômios de entrada são não nulos (ex: coeficientes líderes não nulos).

• Caso Bivariado (Teorema 1.8): Os autores constroem um sistema de resultantes perfurado explícito de cardinalidade $(s-2)d + 1$. A construção utiliza resultantes de Sylvester de uma combinação linear dos primeiros $s-1$ polinômios contra o $s$-ésimo polinômio, com coeficientes escolhidos como escalares distintos (ex: números naturais). Isso remove a necessidade de matrizes genéricas.
• Caso Geral (Teorema 1.9): Para $n > 2$, eles constroem um sistema de resultantes perfurado explícito com cardinalidade $O(s^{n-1} d^{n(n-1)/2})$. Embora maior que o limite de existência geral, permanece polinomial em $s$ e $d$ para $n$ fixo.

Significância e Alegações

O artigo afirma fechar a lacuna entre os limites inferiores conhecidos e os limites superiores para o tamanho de sistemas de resultantes, particularmente para sistemas bivariados.

• Eficiência: Os sistemas construídos são significativamente menores do que aqueles derivados de menores máximos de matrizes de coeficientes ou expansões genéricas de resultantes.
• Insight Teórico: O trabalho conecta o tamanho dos sistemas de resultantes à dimensão do quotiente GIT projetivo, fornecendo uma justificativa geométrica para os limites derivados.
• Explicitude: Enquanto o teorema de existência geral depende de matrizes genéricas, os sistemas perfurados oferecem construções totalmente explícitas que não requerem a seleção de pontos genéricos, tornando-os potencialmente mais práticos para aplicações específicas onde entradas não nulas são garantidas.

Os autores observam que construir uma tupla explícita de matrizes para o caso geral (Teorema 1.5) permanece um problema em aberto. O artigo não propõe aplicações experimentais ou implementações de software específicas, mas foca nos fundamentos algébricos e geométricos para reduzir a complexidade da construção de sistemas de resultantes.