[논문 리뷰] On the Waring rank of binary forms: The binomial formula and a dihedral cover of rank two forms

Laura Brustenga i Moncusí, Shreedevi K. Masuti|arXiv (Cornell University)|2019. 01. 24.

Tensor decomposition and applications참고 문헌 31인용 수 5

한 줄 요약

이 논문은 이항 이항식의 Waring 랭크에 대한 명시적 공식을 Sylvester의 알고리즘과 apolarity 이론을 사용하여 ℂ에서 유도하고, 정확히 $inom{d-1}{2}$개의 서로 다른 선형형식 세 개의 배수이면서 Waring 랭크가 2인 이항형식이 존재함을 증명한다. 이 결과는 이황형 덮개 구조와 비선형 다변수의 기하학적 분석을 통해 확립된다.

ABSTRACT

Waring problem for forms is important and classical in mathematics. It has been widely investigated because of its wide applications in several areas. In this paper, we consider the Waring problem for binary forms with complex coefficients. Firstly, we give an explicit formula for the Waring rank of any binary binomial and several examples to illustrating it. Secondly, we prove that, up to scalar multiplication, there are exactly $\binom{d-1}{2}$ binary forms of degree $d$ with Waring rank two and multiple of three fixed distinct linear forms.

연구 동기 및 목표

• Sylvester의 알고리즘과 apolarity 이론을 사용하여 ℂ[x,y] 내의 임의의 이항 이항식에 대한 명시적 Waring 랭크 공식을 유도하기.
• 세 개의 고정된 서로 다른 선형형식의 배수이면서 Waring 랭크가 2인 모든 이항형식을 스칼라 곱에 대해 분류하기.
• 이러한 랭크 2 형식의 집합에 대한 이황형 덮개를 구성하고, 이황군 작용 하에서의 궤도 구조를 분석하기.
• 이러한 형식의 기하학적 구조를 합리적 정규 곡선의 비선형 다변수와 연결하고, 교차가 획득되는 경우에 Bézout 정리를 적용하기.
• 구축된 덮개를 이용하여 실계수 이항형식의 Waring 랭크와 실 Waring 랭크 사이의 격차를 탐색하기.

제안 방법

• 이항 이항식 $F$의 아폴로지드 아이디얼 $F^\perp$ 내에서 최소 차수의 다항식을 식별함으로써 Sylvester의 알고리즘을 적용하고, 아이디얼 전체를 계산하지 않음.
• 몫환 $T/F^\perp$의 Hilbert 함수를 사용하여 찾은 다항식이 $F^\perp$ 내에서 최소 차수임을 확인함으로써 Waring 랭크를 결정함.
• 근의 대칭성을 이용하여 세 개의 고정된 선형형식 $l_1,l_2,l_3$의 배수이면서 랭크가 2인 형식의 집합에 대한 이황형 덮개를 구성함.
• 이황군 작용 하에서 덮개의 서로 다른 궤도 수가 $\binom{d-1}{2}$임을 증명함으로써 이러한 형식의 수를 확정함.
• Teracini의 보조정리를 사용하여 합리적 정규 곡선의 두 번째 비선형 다변수 $\overline{\Sigma}$의 접공간을 매개변수화함.
• 선형 부분공간(형식이 $l_1l_2l_3$의 배수인 경우)과 $\overline{\Sigma}$의 교차가 획득되는 경우에 Bézout 정리를 적용하여, 고전적 대수기하학을 통해 수를 확인함.

실험 결과

연구 질문

• RQ1 ℂ[x,y] 내의 임의의 이항 이항식에 대한 명시적 Waring 랭크는 무엇인가?
• RQ2 스칼라 곱에 대해 고려할 때, Waring 랭크가 2이면서 세 개의 고정된 서로 다른 선형형식의 배수인 degree $d$의 이항형식은 몇 개인가?
• RQ3 세 개의 고정된 서로 다른 선형형식의 배수이면서 랭크가 2인 형식의 집합의 기하학적 구조는 무엇이며, 대칭성은 이 집합에 어떻게 작용하는가?
• RQ4 이황형 덮개는 ℙS_d 내의 합리적 정규 곡선의 비선형 다변수와 어떻게 관련되어 있는가?
• RQ5 실계수 이항형식의 degree $d$에 대해 Waring 랭크와 실 Waring 랭크 사이의 최대 격차는 얼마인가?

주요 결과

• ℂ[x,y] 내의 임의의 이항 이항식에 대한 Waring 랭크는 Sylvester의 알고리즘과 apolarity 이론을 통해 유도된 명시적 공식으로 주어진다.
• 스칼라 곱에 대해 고려할 때, Waring 랭크가 2이면서 세 개의 고정된 서로 다른 선형형식의 배수인 degree $d$의 이항형식은 정확히 $\binom{d-1}{2}$개 존재한다.
• 이러한 랭크 2 형식의 집합에 대한 이황형 덮개는 이황군 작용 하에서 정확히 $\binom{d-1}{2}$개의 서로 다른 궤도를 가진다.
• 형식이 $l_1l_2l_3$의 배수인 선형 부분공간과 합리적 정규 곡선의 두 번째 비선형 다변수 $\overline{\Sigma}$의 교차는 획득되고, 그 차수는 $\binom{d-1}{2}$이며, 이는 Bézout 정리를 통해 수를 확인한다.
• 구축된 이황형 덮개는 Waring 랭크와 실 Waring 랭크 사이의 격차가 최대인 모든 실계수 이항형식을 기하학적으로 기술하는 프레임워크를 제공한다.
• 고전적 대수기하학을 사용한 두 번째 증명이 확립되었으며, 이는 codimension-3 선형 부분공간이 $\overline{\Sigma}$와 획득되며, Bézout 정리를 통해 동일한 수를 얻는다.