Polynomials of minimal border rank

기술 요약: 최소 경계 랭크(Minimal Border Rank)를 갖는 다항식

문제 정의
본 논문은 $n$개의 변수와 차수 $d$를 갖는 제차 다항식(homogeneous polynomials)의 최소 경계 랭크 분류 문제를 다룬다. 다항식 $f$의 와링 랭크(Waring rank)는 $f$를 $d$차 선형 형식들의 $r$개 합으로 표현할 수 있는 최소한의 수 $r$을 의미한다. 경계 랭크(border rank)는 $\text{brk}(f)$로 표기하며, 이는 $f$가 와링 랭크가 $r$인 다항식들의 집합의 자리스키 폐포(Zariski closure)에 속하게 하는 최소한의 $r$을 의미한다. 다항식은 선형 좌표 변환 후에 $n$개보다 적은 변수로 표현될 수 없을 때 "간결하다(concise)"고 한다. 간결한 다항식은 반드시 경계 랭크가 $n$ 이상이어야 하므로, 이 하한을 달성하는 다항식들을 "최소 경계 랭크"를 갖는다고 한다.

$n \leq 5$인 경우의 최소 경계 랭크 다항식은 Landsberg와 Teitler [LT10]에 의해 이미 분류되었으나, 저자들은 이 분류에 부정확함이 있음을 지적한다. 또한, $n \geq 6$인 경우와 특정 저차수($d < n-1$) 사례에서의 거동은 불완전하거나 불분명한 상태로 남아 있었다. 본 논문의 목적은 $d \geq n-1$ 조건 하에서 $n \leq 7$ (그리고 $n=8, 9$에 대한 부분적 확장)에 대한 교정 및 확장된 분류를 제공하는 것이다.

방법론
저자들은 최소 경계 랭크 다항식과 특정 대수적 구조, 구체적으로는 매끄러운 고렌슈타인 대수(smoothable Gorenstein algebras) 사이의 대응 관계를 확립한다. 방법론은 세 가지 핵심적인 이론적 기둥에 의존한다:

1. 경계 랭크와 매끄러운 랭크(Smoothable Rank): [BB14]를 바탕으로, 저자들은 $d \geq r-1$일 때 다항식이 경계 랭크 $r$을 갖는 것이 베로네제 다양체(Veronese variety)에 임베딩된 차수 $r$의 매끄러운 스킴(smoothable scheme)의 선형 스팬(linear span) 안에 존재할 필요충분조건임을 활용한다.
2. 카쿠스 아폴라리티(Cactus Apolarity)와 고렌슈타인 대수: 정리 3.11( [JJ26]의 대칭 버전인 카쿠스 아폴라리티 레마)은 간결한 텐서 중 매끄러운 랭크가 최소인 것들이 정확히 고렌슈타인 대수의 평가 텐서(evaluation tensors)라는 것을 기술한다. 구체적으로, 간결한 텐서 $f \in S^d V$가 대칭 경계 랭크 $n$ ($\dim V = n$)을 갖는 것은 $f$가 $n$차원 매끄러운 고렌슈타인 대수 $A$의 평가 텐서 $\mu^{(d-1)}_A$와 동치일 필요충분조건이다.
3. 센트로이드(Centroids)와 대수 복구: 비동형 대수와 비동치 다항식 사이의 일대일 대응을 보장하기 위해, 저자들은 텐서의 센트로이드 개념을 사용한다. 명제 3.13은 대수 $A$의 곱셈 텐서의 센트로이드가 $A$ 자체와 동형임을 보여준다($d \geq 3$일 때). 이를 통해 다항식으로부터 대수를 복구할 수 있다.

저자들은 Casnati [Cas10]가 제공한 차수 7까지의 유한 차원 대수 분류를 활용한다. 저자들은 국소 고렌슈타인 대수의 반복 곱셈 텐서(iterated multiplication tensor, 즉 평가 텐서)를 계산하기 위한 알고리즘(Algorithm 4.3)을 개발하였으며, 이 알고리즘은 Macaulay2로 구현되었다.

주요 기여 및 결과

• $n \leq 7$에 대한 분류: 최소 경계 랭크 다항식과 매끄러운 고렌슈타인 대수 사이의 대응 관계를 [Cas10]의 분류와 결합함으로써, 저자들은 $d \geq \max\{3, n-1\}$인 $n \leq 7$ 변수의 모든 최소 경계 랭크 다항식을 분류하였다. 결과는 고렌슈타인 대수의 아이디얼(ideal)과 그에 대응하는 다항식 형태를 나열한 표 1에 제시되어 있다.
• 기존 연구의 교정: 저자들은 센트로이드 기반 검증 알고리즘을 [LT10, 정리 10.4] (for $n=4$)의 분류에 적용하였다. 저자들은 그곳에 나열된 두 다항식이 필요한 조건(구체적으로 센트로이드 차원 테스트를 통과하지 못하거나 간결하지 않음)을 만족하지 못함을 입증하여 기존 문헌을 교정하였다.
• $n \geq 8$을 위한 무한 가족(Infinite Families): 저자들은 $n \geq 8$인 경우, 서로 비동형인 매끄러운 고렌슈타인 대수가 무한히 존재함을 확립하였다. 결과적으로, 임의의 $n \geq 8$ 및 $d \geq 3$에 대하여, 서로 비동치인 최소 경계 랭크 다항식이 무한히 존재한다. 저자들은 평면 3차 곡선(plane cubics)의 아폴라 대수로부터 유도된 8개 변수의 명시적인 무한 가족을 예시 4.10에서 제공한다.
• 알고리즘적 검증: 본 논문은 주어진 간결한 다항식이 최소 경계 랭크를 갖는지 검증하는 실용적인 알고리즘(명제 4.13)을 제공한다. 이 테스트는 다항식이 1-제네릭(1-generic)인지(비영 헤시안 행렬식(non-vanishing Hessian determinant)을 통해 확인)와 센트로이드의 차원이 $n$ 이상인지를 확인한다.
• 저차수 처리: 저자들은 $d < n-1$인 경우(예: $S^3 \mathbb{C}^5$), 매끄러운 대수와의 대응 관계가 깨지기 때문에(경계 랭크와 매끄러운 랭크가 다를 수 있음) 이 점을 언급한다. 저자들은 이러한 영역에서 추가적인 최소 경계 랭크 다항식이 존재함을 식별하였으며(예: Remark 4.7의 특정 사례), 이 나머지 사례들에 대한 완전한 분류는 향후 연구 과제로 남겨두었다.

의의 및 주장
본 논문은 기하학적 문제를 고렌슈타인 대수의 대수적 분류로 환원함으로써 $n \leq 7$에 대한 최소 경계 랭크 다항식의 분류를 해결했다고 주장한다(매끄러운 랭크와 경계 랭크가 갈라지는 특정 저차수 사례 제외).

저자들은 자신들의 접근 방식이 Landsberg와 Teitler [LT10]의 독창적인 연구에 나타난 부정확성을 바로잡고, 분류를 $n=6$ 및 $n=7$까지 확장했음을 강조한다. 또한, 차원 계산에 관한 반직관적인 결과를 강조한다. 즉, 고정된 $n$과 $d$에 대해 유한한 수의 최소 경계 랭크 다항식이 있을 것으로 예상할 수 있으나, $n \geq 8$에서 고렌슈타인 대수의 무한한 존재는 무한히 많은 비동치 최소 경계 랭크 다항식이 존재함을 의미한다.

이 연구는 고렌슈타인 대수로부터 평가 텐서를 계산하고 특정 다항식의 최소 경계 랭크를 검증하는 기능을 구현한 Macaulay2 코드를 포함한 보충 자료에 의해 뒷받침된다. 저자들은 $d < n-1$인 나머지 경우들($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$)에 대한 분류는 향후 연구를 위해 남겨두었다고 명시적으로 밝히고 있다.