Polynomials of minimal border rank

Resumo Técnico: Polinômios de Rank de Borda Mínimo

Enunciado do Problema
O artigo aborda a classificação de polinômios homogêneos de rank de borda mínimo em $n$ variáveis e grau $d$. O rank de Waring de um polinômio $f$ é o número mínimo $r$ tal que $f$ pode ser escrito como uma soma de $r$ potências de ordem $d$ de formas lineares. O rank de borda, denotado por $\text{brk}(f)$, é o mínimo $r$ tal que $f$ pertence ao fechamento de Zariski do conjunto de polinômios com rank de Waring $r$. Um polinômio é "conciso" se não puder ser expresso em menos de $n$ variáveis após uma mudança de coordenadas linear. Como um polinômio conciso deve ter rank de borda pelo menos $n$, aqueles que atingem esse limite inferior são ditos possuir "rank de borda mínimo".

Embora os polinômios de rank de borda mínimo para $n \leq 5$ tenham sido previamente classificados por Landsberg e Teitler [LT10], os autores observam que essa classificação contém imprecisões. Além disso, o comportamento desses polinômios para $n \geq 6$ e casos específicos de baixo grau ($d < n-1$) permaneceu incompleto ou incerto. O objetivo do artigo é fornecer uma classificação corrigida e estendida para $n \leq 7$ (e parcialmente para $n=8,9$) sob a condição $d \geq n-1$.

Metodologia
Os autores estabelecem uma correspondência entre polinômios de rank de borda mínimo e estruturas algébricas específicas, especificamente álgebras de Gorenstein suavizáveis. A metodologia baseia-se em três pilares teóricos fundamentais:

1. Rank de Borda e Rank Suavizável: Baseando-se em [BB14], os autores utilizam o fato de que, para $d \geq r-1$, um polinômio tem rank de borda $r$ se, e somente se, ele reside no espaço linear de um esquema suavizável de grau $r$ imerso na variedade de Veronese.
2. Apolaridade Cactus e Álgebras de Gorenstein: O Teorema 3.11 (uma versão simétrica do lema de apolaridade cactus de [JJ26]) afirma que tensores concisos de rank suavizável mínimo são precisamente os tensores de avaliação de álgebras de Gorenstein. Especificamente, um tensor conciso $f \in S^d V$ tem rank de borda simétrico $n$ (onde $\dim V = n$) se, e somente se, $f$ é equivalente ao tensor de avaliação $\mu^{(d-1)}_A$ de uma álgebra de Gorenstein suavizável de dimensão $n$.
3. Centroides e Recuperação da Álgebra: Para garantir uma correspondência um-para-um entre álgebras não isomórficas e polinômios não equivalentes, os autores empregam o conceito de centroide de um tensor. A Proposição 3.13 demonstra que, para $d \geq 3$, o centroide do tensor de multiplicação de uma álgebra $A$ é isomorfo à própria álgebra $A$. Isso permite a recuperação da álgebra a partir do polinômio.

Os autores utilizam a classificação de álgebras de dimensão finita até dimensão 7 fornecida por Casnati [Cas10]. Eles desenvolvem um algoritmo (Algoritmo 4.3) para computar o tensor de multiplicação iterada (tensor de avaliação) para uma dada álgebra de Gorenstein local. Este algoritmo é implementado em Macaulay2.

Contribuições Principais e Resultados

• Classificação para $n \leq 7$: Combinando a correspondência entre polinômios de rank de borda mínimo e álgebras de Gorenstein suavizáveis com a classificação em [Cas10], os autores classificam todos os polinômios de rank de borda mínimo em $n \leq 7$ variáveis para $d \geq \max\{3, n-1\}$. Os resultados são apresentados na Tabela 1, listando os ideais das álgebras de Gorenstein e as formas polinomiais correspondentes.
• Correção de Trabalho Prévio: Os autores aplicam seu algoritmo de verificação baseado em centroide à classificação em [LT10, Teorema 10.4] (para $n=4$). Eles demonstram que dois polinômios listados ali não satisfazem as condições necessárias (especificamente, falham no teste de dimensão do centroide ou não são concisos), corrigindo assim a literatura existente.
• Famílias Infinitas para $n \geq 8$: O artigo estabelece que, para $n \geq 8$, existem infinitas álgebras de Gorenstein não isomórficas e suavizáveis. Consequentemente, para qualquer $n \geq 8$ e $d \geq 3$, existem infinitos polinômios não equivalentes de rank de borda mínimo. Os autores fornecem uma família infinita explícita de tais polinômios em 8 variáveis derivada das álgebras apolares de cúbicas planas (Exemplo 4.10).
• Verificação Algorítmica: O artigo fornece um algoritmo prático (Proposição 4.13) para verificar se um dado polinômio conciso possui rank de borda mínimo. O teste verifica se o polinômio é 1-genérico (via um determinante Hessiano não nulo) e se a dimensão de seu centroide é pelo menos $n$.
• Tratamento de Baixos Graus: Os autores observam que, para os casos onde $d < n-1$ (por exemplo, $S^3 \mathbb{C}^5$), a correspondência com álgebras suavizáveis falha porque o rank de borda e o rank suavizável podem diferir. Eles identificam que polinômios adicionais de rank de borda mínimo existem nesses regimes (como o caso específico em Observação 4.7) e deixam a classificação completa desses casos restantes para trabalhos futuros.

Significância e Alegações
O artigo afirma resolver a classificação de polinômios de rank de borda mínimo para $n \leq 7$ (com exceção de casos específicos de baixo grau onde os ranks de borda e suavizável divergem) ao reduzir o problema geométrico à classificação algébrica de álgebras de Gorenstein.

Os autores enfatizam que sua abordagem corrige imprecisões no trabalho seminal de Landsberg e Teitler [LT10] e estende a classificação para $n=6$ e $n=7$. Além disso, destacam um resultado contraintuitivo sobre contagens de dimensão: embora se possa esperar um número finito de polinômios de rank de borda mínimo para um $n$ e $d$ fixos, a existência de infinitas famílias de álgebras de Gorenstein para $n \geq 8$ implica um número infinito de polinômios de rank de borda mínimo não equivalentes.

O trabalho é apoiado por material suplementar contendo código Macaulay2 que implementa o cálculo de tensores de avaliação a partir de álgebras de Gorenstein e a verificação de rank de borda mínimo para polinômios específicos. Os autores declaram explicitamente que a classificação para os casos restantes onde $d < n-1$ (especificamente $S^3 \mathbb{C}^5, S^3 \mathbb{C}^6, S^4 \mathbb{C}^6, S^3 \mathbb{C}^7, S^4 \mathbb{C}^7, S^5 \mathbb{C}^7$) é deixada para pesquisas futuras.