Polynomials of minimal border rank

Resumen Técnico: Polinomios de Rango de Borde Mínimo

Planteamiento del Problema
El artículo aborda la clasificación de polinomios homogéneos de rango de borde mínimo en $n$ variables y grado $d$. El rango de Waring de un polinomio $f$ es el número mínimo $r$ tal que $f$ puede escribirse como una suma de $r$ potencias $d$-ésimas de formas lineales. El rango de borde, denotado como $\text{brk}(f)$, es el mínimo $r$ tal que $f$ pertenece al cierre de Zariski del conjunto de polinomios con rango de Waring $r$. Un polinomio es "conciso" si no puede expresarse en menos de $n$ variables tras un cambio de coordenadas lineal. Dado que un polinomio conciso debe tener un rango de borde al menos $n$, aquellos que alcanzan este límite inferior se denominan de "rango de borde mínimo".

Aunque la clasificación de los polinomios de rango de borde mínimo para $n \leq 5$ fue realizada previamente por Landsberg y Teitler [LT10], los autores señalan que dicha clasificación contiene imprecisiones. Además, el comportamiento de estos polinomios para $n \geq 6$ y casos específicos de bajo grado ($d < n-1$) permanecía incompleto o poco claro. El objetivo del artículo es proporcionar una clasificación corregida y extendida para $n \leq 7$ (y parcialmente para $n=8,9$) bajo la condición $d \geq n-1$.

Metodología
Los autores establecen una correspondencia entre los polinomios de rango de borde mínimo y estructuras algebraicas específicas, concretamente las álgebras de Gorenstein suavizables. La metodología se basa en tres pilares teóricos clave:

1. Rango de Borde y Rango de Suavización: Basándose en [BB14], los autores utilizan el hecho de que para $d \geq r-1$, un polinomio tiene rango de borde $r$ si y solo si pertenece al espacio lineal de un esquema suavizable de grado $r$ embebido en la variedad de Veronese.
2. Apolaridad de Cactus y Álgebras de Gorenstein: El Teorema 3.11 (una versión simétrica del lema de apolaridad de cactus de [JJ26]) establece que los tensores concisos de rango suavizable mínimo son precisamente los tensores de evaluación de álgebras de Gorenstein. Específicamente, un tensor conciso $f \in S^d V$ tiene rango de borde simétrico $n$ (donde $\dim V = n$) si y solo si $f$ es equivalente al tensor de evaluación $\mu^{(d-1)}_A$ de un álgebra de Gorenstein de dimensión $n$ que sea suavizable.
3. Centroides y Recuperación de Álgebras: Para asegurar una correspondencia biunívoca entre álgebras no isomorfas y polinomios no equivalentes, los autores emplean el concepto del centroide de un tensor. La Proposición 3.13 demuestra que para $d \geq 3$, el centroide del tensor de multiplicación de un álgebra $A$ es isomorfo al propio $A$. Esto permite la recuperación del álgebra a partir del polinomio.

Los autores aprovechan la clasificación de álgebras de dimensión finita hasta dimensión 7 proporcionada por Casnati [Cas10]. Desarrollan un algoritmo (Algoritmo 4.3) para computar el tensor de multiplicación iterado (tensor de evaluación) para un álgebra de Gorenstein local dada. Este algoritmo está implementado en Macaulay2.

Contribuciones Clave y Resultados

• Clasificación para $n \leq 7$: Combinando la correspondencia entre polinomios de rango de borde mínimo y álgebras de Gorenstein suavizables con la clasificación en [Cas10], los autores clasifican todos los polinomios de rango de borde mínimo en $n \leq 7$ variables para $d \geq \max\{3, n-1\}$. Los resultados se presentan en la Tabla 1, enumerando los ideales de las álgebras de Gorenstein y sus correspondientes formas polinómicas.
• Corrección de Trabajo Previo: Los autores aplican su algoritmo de verificación basado en el centroide a la clasificación en [LT10, Teorema 10.4] (para $n=4$). Demuestran que dos polinomios listados allí no satisfacen las condiciones necesarias (específicamente, fallan la prueba de dimensión del centroide o no son concisos), corrigiendo así la literatura existente.
• Familias Infinitas para $n \geq 8$: El artículo establece que para $n \geq 8$, existen infinitas álgebras de Gorenstein suavizables no isomorfas. En consecuencia, para cualquier $n \geq 8$ y $d \geq 3$, existen infinitos polinomios no equivalentes de rango de borde mínimo. Los autores proporcionan una familia infinita explícita de tales polinomios en 8 variables derivada de las álgebras apolares de cúbicas planas (Ejemplo 4.10).
• Verificación Algorítmica: El artículo proporciona un algoritmo práctico (Proposición 4.13) para verificar si un polinomio conciso dado tiene rango de borde mínimo. La prueba comprueba si el polinomio es 1-genérico (mediante un determinante de Hessiano no nulo) y si la dimensión de su centroide es al menos $n$.
• Tratamiento de Bajos Grados: Los autores señalan que para los casos donde $d < n-1$ (por ejemplo, $S^3 \mathbb{C}^5$), la correspondencia con las álgebras suavizables se rompe porque el rango de borde y el rango de suavización pueden diferir. Identifican que existen polinomios adicionales de rango de borde mínimo en estos regímenes (por ejemplo, el caso específico en la Observación 4.7) y dejan la clasificación completa de estos casos restantes para trabajos futuros.

Significado y Reivindicaciones
El artículo afirma resolver la clasificación de los polinomios de rango de borde mínimo para $n \leq 7$ (con la excepción de casos específicos de bajo grado donde los rangos de borde y de suavización divergen) reduciendo el problema geomético a la clasificación algebraica de las álgebras de Gorenstein.

Los autores enfatizan que su enfoque corrige las imprecisiones del trabajo seminal de Landsberg y Teitler [LT10] y extiende la clasificación a $n=6$ y $n=7$. Además, destacan un resultado contraintuitivo respecto a los conteos de dimensión: mientras que uno podría esperar un número finito de polinomios de rango de borde mínimo para un $n$ y $d$ fijos, la existencia de familias infinitas de álgebras de Gorenstein para $n \geq 8$ implica un número infinito de polinomios de rango de borde mínimo no equivalentes.

El trabajo cuenta con material suplementario que contiene código de Macaulay2 que implementa el cómputo de los tensores de evaluación a partir de álgebras de Gorenstein y la verificación del rango de borde mínimo para polinomios específicos. Los autores declaran explícitamente que la clasificación para los casos restantes donde $d < n-1$ (específicamente $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$) queda reservada para investigaciones futuras.