Polynomials of minimal border rank

Technische Samenvatting: Polynomen met Minimale Grens-rang

Probleemstelling
Het artikel behandelt de classificatie van homogene polynomen met minimale grens-rang (border rank) in $n$ variabelen en graad $d$. De Waring-rang van een polynoom $f$ is het minimale aantal $r$ waarvoor $f$ geschreven kan worden als een som van $r$ $d$-de machten van lineaire vormen. De grens-rang, aangeduid als $\text{brk}(f)$, is de minimale $r$ waarvoor $f$ ligt in de Zariski-sluiting van de verzameling polynomen met Waring-rang $r$. Een polynoom is "concise" (beknopt) als deze niet uitgedrukt kan worden in minder dan $n$ variabelen na een lineaire coördinatentransformatie. Aangezien een concise polynoom een grens-rang van minstens $n$ moet hebben, worden degenen die deze ondergrens bereiken, gezegd een "minimale grens-rang" te hebben.

Hoewel minimal border rank polynomen voor $n \leq 5$ eerder werden geclassificeerd door Landsberg en Teitler [LT10], merken de auteurs op dat deze classificatie onnauwkeurigheden bevat. Bovendien bleef het gedrag van deze polynomen voor $n \geq 6$ en specifieke lage graden ($d < n-1$) incompleet of onduidelijk. Het doel van het artikel is om een gecorrigeerde en uitgebreide classificatie te bieden voor $n \leq 7$ (en gedeeltelijk voor $n=8,9$) onder de voorwaarde $d \geq n-1$.

Methodologie
De auteurs leggen een correspondentie vast tussen minimal border rank polynomen en specifieke algebraïsche structuren, in het bijzonder smoothable Gorenstein-algebra's. De methodologie rust op drie belangrijke theoretische pijlers:

1. Grens-rang en Smoothable Rang: Voortbouwend op [BB14], maken de auteurs gebruik van het feit dat voor $d \geq r-1$, een polynoom een grens-rang $r$ heeft als en slechts als deze ligt in de lineaire span van een graad $r$ smoothable schema ingebed in de Veronese-variëteit.
2. Cactus Apolariteit en Gorenstein-algebra's: Stelling 3.11 (een symmetrische versie van de cactus apolariteitslemma uit [JJ26]) stelt dat concise tensoren van minimale smoothable rang precies de evaluatietensoren zijn van Gorensteina-algebra's. Specifiek heeft een concise tensor $f \in S^d V$ een symmetrische grens-rang $n$ (waarbij $\dim V = n$) als en slechts als $f$ equivalent is aan de evaluatietensor $\mu^{(d-1)}_A$ van een smoothable $n$-dimensionale Gorenstein-algebra $A$.
3. Centroids en Algebra-herstel: Om een één-op-één correspondentie tussen niet-isomorfe algebra's en niet-equivalente polynomen te waarborgen, gebruiken de auteurs het concept van de centroid van een tensor. Propositie 3.13 laat zien dat voor $d \geq 3$, de centroid van de multiplicatietensor van een algebra $A$ isomorf is aan $A$ zelf. Dit maakt het herstel van de algebra uit de polynoom mogelijk.

De auteurs maken gebruik van de classificatie van einddimensionale algebra's tot dimensie 7 zoals verstrekt door Casnati [Cas10]. Zij ontwikkelen een algoritme (Algoritme 4.3) om de geïtereerde multiplicatietensor (evaluatietensor) voor een gegeven lokale Gorenstein-algebra te berekenen. Dit algoritme is geïmplementeerd in Macaulay2.

Belangrijkste Bijdragen en Resultaten

• Classificatie voor $n \leq 7$: Door de correspondentie tussen minimal border rank polynomen en smoothable Gorenstein-algebra's te combineren met de classificatie in [Cas10], classificeren de auteurs alle minimal border rank polynomen in $n \leq 7$ variabelen voor $d \geq \max\{3, n-1\}$. De resultaten worden gepresente of in Tabel 1, waarin de idealen van de Gorenstein-algebra's en de bijbehorende polynoomvormen worden vermeld.
• Correctie van Voorgaand Werk: De auteurs passen hun centroid-gebaseerde verificatiealgoritme toe op de classificatie in [LT10, Stelling 10.4] (voor $n=4$). Zij tonen aan dat twee polynomen die daar worden vermeld niet voldoen aan de noodzakelijke voorwaarden (specifiek falen zij de centroid-dimensietest of zijn zij niet concise), waarmee zij de bestaande literatuur corrigeren.
• Oneindige Families voor $n \geq 8$: Het artikel stelt vast dat er voor $n \geq 8$ oneindig veel niet-isomorfe smoothable Gorenstein-algebra's zijn. Bijgevolg bestaan er voor elke $n \geq 8$ en $d \geq 3$ oneindig veel niet-equivalente polynomen met minimale grens-rang. De auteurs bieden een expliciete oneindige familie van dergelijke polynomen in 8 variabelen die afgeleid is van de apolaire algebra's van planaire cubics (Voorbeeld 4.10).
• Algoritmische Verificatie: Het artikel biedt een praktisch algoritme (Propositie 4.13) om te verifiëren of een gegeven concise polynoom een minimale grens-rang heeft. De test controleert of de polynoom 1-generiek is (via een niet-verdwijnende Hessian determinant) en of de dimensie van de centroid ten minste $n$ is.
• Afhandeling van Lage Graden: De auteurs merken op dat voor gevallen waar $d < n-1$ (bijv. $S^3 \mathbb{C}^5$), de correspondentie met smoothable algebra's wegvalt omdat grens-rang en smoothable rang kunnen verschillen. Zij identificeren dat er aanvullende minimal border rank polynomen bestaan in deze regimes (bijv. het specifieke geval in Opmerking 4.7) en laten de volledige classificatie van deze resterende gevallen over aan toekomstig onderzoek.

Betekenis en Claims
Het artikel beweert de classificatie van minimal border rank polynomen voor $n \leq 7$ op te lossen (met uitzondering van specifieke lage-graadgevallen waar smoothable en grens-rang uiteenlopen) door het geometrische probleem te reduceren tot de algebraïsche classificatie van Gorenstein-algebra's.

De auteurs benadrukken dat hun aanpak de onnauwkeurigheden in het baanbrekende werk van Landsberg en Teitler [LT10] corrigeert en de classificatie uitbreidt naar $n=6$ en $n=7$. Bovendien wijzen zij op een contra-intuïtief resultaat met betrekking tot dimensietellingen: hoewel men een eindig aantal minimal border rank polynomen voor vaste $n$ en $d$ zou verwachten, impliceert het bestaan van oneindige families van Gorenstein-algebra's voor $n \geq 8$ een oneindig aantal niet-equivalente minimal border rank polynomen.

Het werk wordt ondersteund door aanvullend materiaal met Macaulay2-code die de berekening van evaluatietensoren van Gorenstein-algebra's implementeert en de verificatie van minimale grens-rang voor specifieke polynomen. De auteurs verklaren expliciet dat de classificatie voor de resterende gevallen waar $d < n-1$ (specifiek $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$) wordt overgelaten aan toekomstig onderzoek.