Polynomials of minimal border rank

Résumé technique : Polynômes de rang de bord minimal

Énoncé du problème
L'article traite de la classification des polynômes homogènes de rang de bord minimal en $n$ variables et de degré $d$. Le rang de Waring d'un polynôme $f$ est le nombre minimal $r$ tel que $f$ puisse être écrit comme une somme de $r$ puissances $d$-ièmes de formes linéaires. Le rang de bord, noté $\text{brk}(f)$, est le minimal $r$ tel que $f$ appartienne à la clôture de Zariski de l'ensemble des polynômes de rang de Waring $r$. Un polynôme est dit « concis » s'il ne peut pas être exprimé avec moins de $n$ variables après un changement de coordonnées linéaire. Puisqu'un polynôme concis doit avoir un rang de bord au moins égal à $n$, ceux qui atteignent cette borne inférieure sont dits avoir un « rang de bord minimal ».

Bien que les polynômes de rang de bord minimal pour $n \leq 5$ aient été classifiés par Landsberg et Teitler [LT10], les auteurs notent que cette classification contient des inexactitudes. De plus, le comportement de ces polynômes pour $n \geq 6$ et pour certains cas de bas degrés spécifiques ($d < n-1$) restait incomplet ou incertain. L'article vise à fournir une classification corrigée et étendue pour $n \leq 7$ (et partiellement pour $n=8, 9$) sous la condition $d \geq n-1$.

Méthodologie
Les auteurs établissent une correspondance entre les polynômes de rang de bord minimal et des structures algébriques spécifiques, plus précisément des algèbres de Gorenstein lissables. La méthodologie repose sur trois piliers théoriques clés :

1. Rang de bord et rang lissable : En s'appuyant sur [BB14], les auteurs utilisent le fait que pour $d \geq r-1$, un polynôme a un rang de bord $r$ si et seulement s'il appartient à l'espace linéaire d'un schéma lissable de degré $r$ plongé dans la variété de Veronese.
2. Apolarité de cactus et algèbres de Gorenstein : Le théorème 3.11 (une version symétrique du lemme d'apolarité de cactus de [JJ26]) stipule que les tenseurs concis de rang lissable minimal sont précisément les tenseurs d'évaluation d'algèbres de Gorenstein. Plus précisément, un tenseur concis $f \in S^d V$ a un rang de bord symétrique $n$ (où $\dim V = n$) si et seulement si $f$ est équivalent au tenseur d'évaluation $\mu^{(d-1)}_A$ d'une algèbre de Gorenstein lissable de dimension $n$.
3. Centroïdes et récupération d'algèbres : Pour assurer une correspondance biunivoque entre les algèbres non isomorphes et les polynômes non équivalents, les auteurs emploient le concept de centroïde d'un tenseur. La proposition 3.13 démontre que pour $d \geq 3$, le centroïde du tenseur de multiplication d'une algèbre $A$ est isomorphe à l'algèbre $A$ elle-même. Cela permet la récupération de l'algèbre à partir du polynôme.

Les auteurs exploitent la classification des algèbres de dimension finie jusqu'à la dimension 7 fournie par Casnati [Cas10]. Ils développent un algorithme (Algorithme 4.3) pour calculer le tenseur de multiplication itéré (tenseur d'évaluation) pour une algèbre de Gorenstein locale donnée. Cet algorithme est implémenté dans Macaulay2.

Contributions clés et résultats

• Classification pour $n \leq 7$ : En combinant la correspondance entre les polynômes de rang de bord minimal et les algèbres de Gorenstein lissables avec la classification de [Cas10], les auteurs classifient tous les polynômes de rang de bord minimal en $n \leq 7$ variables pour $d \geq \max\{3, n-1\}$. Les résultats sont présentés dans le Tableau 1, listant les idéaux des algèbres de Gorenstein et les formes polynomiales correspondantes.
• Correction des travaux antérieurs : Les auteurs appliquent leur algorithme de vérification basé sur le centroïde à la classification de [LT10, Théorème 10.4] (pour $n=4$). Ils démontrent que deux polynômes listés là ne satisfont pas les conditions nécessaires (spécifiquement, ils échouent au test de dimension du centroïde ou ne sont pas concis), corrigeant ainsi la littérature existante.
• Familles infinies pour $n \geq 8$ : L'article établit que pour $n \geq 8$, il existe une infinité d'algèbres de Gorenstein lissables non isomorphes. Par conséquent, pour tout $n \geq 8$ et $d \geq 3$, il existe une infinité de polynômes non équivalents de rang de bord minimal. Les auteurs fournissent une famille infinie explicite de tels polynômes en 8 variables dérivée des algèbres apolaires de cubiques planes (Exemple 4.10).
• Vérification algorithmique : L'article fournit un algorithme pratique (Proposition 4.13) pour vérifier si un polynôme concis possède un rang de bord minimal. Le test vérifie si le polynôme est 1-générique (via un déterminant hessien non nul) et si la dimension de son centroïde est au moins $n$.
• Gestion des bas degrés : Les auteurs notent que pour les cas où $d < n-1$ (par exemple, $S^3 \mathbb{C}^5$), la correspondance avec les algèbres lissables se brise car le rang de bord et le rang lissable peuvent différer. Ils identifient que des polynômes de rang de bord minimal supplémentaires existent dans ces régimes (par exemple, le cas spécifique dans la Remarque 4.7) et laissent la classification complète de ces cas restants pour des travaux futurs.

Signification et affirmations
L'article affirme résoudre la classification des polynômes de rang de bord minimal pour $n \leq 7$ (à l'exception de cas spécifiques de bas degrés où les rangs lissable et de bord divergent) en réduisant le problème géométrique à la classification algébrique des algèbres de Gorenstein.

Les auteurs soulignent que leur approche corrige les inexactitudes du travail séminal de Landsberg et Teitler [LT10] et étend la classification à $n=6$ et $n=7$. De plus, ils mettent en évidence un résultat contre-intuitif concernant les décomptes de dimension : alors que l'on pourrait s'attendre à un nombre fini de polynômes de rang de bord minimal pour un $n$ et un $d$ fixés, l'existence de familles infinies d'algèbres de Gorenstein pour $n \geq 8$ implique un nombre infini de polynômes de rang de bord minimal non équivalents.

Le travail est soutenu par un matériel supplémentaire contenant du code Macaulay2 qui implémente le calcul des tenseurs d'évaluation à partir des algèbres de Gorenstein et la vérification du rang de bord minimal pour des polynômes spécifiques. Les auteurs déclarent explicitement que la classification pour les cas restants où $d < n-1$ (spécifiquement $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$) est laissée à la recherche future.