[論文レビュー] 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)|Jan 24, 2019

Tensor decomposition and applications参考文献 31被引用数 5

ひとこと要約

本稿では、Sylvesterのアルゴリズムと双対理論を用いて、複素数体上での二項型のWaringランクについて明示的な公式を導出し、3つの固定された相異なる一次形式の積であるような、Waringランクが2であるような次数$d$の二項型形式が、スカラー倍を除いてちょうど$ olinebreak[4]\binom{d-1}{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のアルゴリズムと双対理論を用いて、ℂ[x,y] 内の任意の二項型形式のWaringランクについて明示的な公式を導出すること。
• スカラー倍を除いて、3つの固定された相異なる一次形式の積であるような、次数$d$のWaringランクが2のすべての二項型形式を分類すること。
• 3つの固定された一次形式$l_1,l_2,l_3$の積で割り切れるランク2形式の集合に対して、二面体被覆を構成し、その二面体群作用における軌道構造を解析すること。
• これらの形式の幾何的構造を有理曲線の接続多様体と関連づけ、横断的交差の議論にBézoutの定理を適用すること。
• 構築された被覆を用いて、実係数二項型形式のWaringランクと実Waringランクの差の最大値を調べること。

提案手法

• 二項型形式$F$の双対イデアル$F^\perp$に属する最小次数の形式を特定することでSylvesterのアルゴリズムを適用し、イデアルの完全な計算を避ける。
• 商環$T/F^\perp$のHilbert関数を用いて、得られた形式が$F^\perp$における最小次数であることを検証し、これによりWaringランクを特定する。
• 根の対称性を用いて、3つの固定された一次形式$l_1,l_2,l_3$の積で割り切れるランク2形式の集合に対する二面体被覆を構成する。
• 二面体群作用における被覆上の異なる軌道の数が$ olinebreak[4]\binom{d-1}{2}$であることを証明し、このような形式の個数を確立する。
• Teraciniの補題を用いて、有理曲線の第二接続多様体$\overline{\Sigma}$の接空間をパラメトライズする。
• 一次形式の積で割り切れる形式の線型部分空間と$\overline{\Sigma}$の横断的交差にBézoutの定理を適用し、古典的代数幾何学的手法により個数を確認する。

実験結果

リサーチクエスチョン

• RQ1 ℂ[x,y] 内の任意の二項型形式の明示的Waringランクは何か？
• RQ2 スカラー倍を除いて、3つの固定された相異なる一次形式の積で割り切れるような、次数$d$のWaringランクが2の二項型形式はいくつあるか？
• RQ3 3つの固定された一次形式の積で割り切れるランク2形式の集合の幾何的構造は何か？ そして、その構造にどのように対称性が作用するか？
• RQ4 二面体被覆は、ℙS_d 内の有理曲線の接続多様体とどのように関係するか？
• RQ5 実係数二項型形式の次数$d$について、Waringランクと実Waringランクの最大差は何か？

主な発見

• ℂ[x,y] 内の任意の二項型形式のWaringランクは、Sylvesterのアルゴリズムと双対理論を用いて導出された明示的公式により与えられる。
• スカラー倍を除いて、3つの固定された相異なる一次形式の積で割り切れるような、次数$d$のWaringランクが2の二項型形式はちょうど$ olinebreak[4]\binom{d-1}{2}$個存在する。
• このようなランク2形式の集合に対する二面体被覆は、二面体群作用においてちょうど$ olinebreak[4]\binom{d-1}{2}$個の異なる軌道を持つ。
• 一次形式の積で割り切れる形式の線型部分空間と、有理曲線の第二接続多様体$\overline{\Sigma}$の交差は横断的であり、次数$ olinebreak[4]\binom{d-1}{2}$である。これはBézoutの定理により、個数の確認がなされている。
• 構築された二面体被覆は、Waringランクと実Waringランクの差が最大であるすべての実二項型形式を記述する幾何的枠組みを提供する。
• 古典的代数幾何学的手法により、第二の証明も確立された：codimension3の線型部分空間は$\overline{\Sigma}$と横断的に交わるため、Bézoutの定理により同じ個数が得られる。