[論文レビュー] Apolarity, border rank and multigraded Hilbert scheme

Weronika Buczyńska, Jarosław Buczyński|arXiv (Cornell University)|Oct 4, 2019

Tensor decomposition and applications被引用数 1

ひとこと要約

本稿は、滑らかなトーリック多様体上のボーダーランクに対して一般化されたアポラリティ理論を導入し、古典的なアポラリティを多重次数付き設定へと拡張する。ボーダーランク版の冪和の多様体（ボーダーVSP）を定義し、多重次数付きヒルベルト汎関数の既約成分を用いてボーダーランクを一様に解析し、行列積テンソルのようなテンソルに対する新たな下界を提供する。

ABSTRACT

We introduce an elementary method to study the border rank of polynomials and tensors, analogous to the apolarity lemma. This can be used to describe the border rank of all cases uniformly, including those very special ones that resisted a systematic approach. We also define a border rank version of the variety of sums of powers and analyse its usefulness in studying tensors and polynomials with large symmetries. In particular, it can be applied to provide lower bounds for the border rank of some very interesting tensors, such as the matrix multiplication tensor. We work in a general setting, where the base variety is not necessarily a Segre or Veronese variety, but an arbitrary smooth toric projective variety. A critical ingredient of our work is an irreducible component of a multigraded Hilbert scheme related to the toric variety in question.

研究の動機と目的

• 古典的なセグレ＝ヴェロネーゼ設定を超えた、多項式およびテンソルのボーダーランクを計算する体系的な手法の開発。
• 多重次数付き多項式環とイデアルを用いて、ボーダーランクへのアポラリティ補題の拡張。
• 対称的および部分的に対称的なテンソルのボーダーランク版の冪和の多様体（ボーダーVSP）の定義と研究。
• トーリック多様体に関連する既約成分を通じて、多重次数付きヒルベルト汎関数がボーダーランクを特徴付ける役割を分析。
• 行列積テンソルのような高次対称性を持つテンソルのボーダーランクに対する新たな下界の提供。

提案手法

• トーリック多様体 X = Pa × Pb × Pc × ... の因子に対応する多重次数を持つ多重次数付き多項式環 S[X] を用いる。
• F に作用する定数係数の微分作用素のなす annihilator 理想 Ann(F) ⊂ S[X] を定義する。
• ボーダー・アポラリティ条件を導入：F がボーダーランク ≤ r であることは、X 内の r 個の一般な点のイデアル I が Ann(F) に含まれることと同値である。
• 固定された多重次数を持つ X のゼロ次元部分スキームをパラメトライズする多重次数付きヒルベルト汎関数 Hilb^hr_S の枠組みで作業する。
• Slipr,X を、一般に一般化された位置にある r 点を定義する飽和的かつ既約なイデアルを一般に持つ、Hilb^hr_S の唯一の既約成分として特定する。
• Slipr,X の幾何学的性質とボーダーVSPとの関係を用いて、代数的および幾何的制約を介してボーダーランクの下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてアポラリティ理論が、セグレまたはヴェロネーゼ多様体に限らない任意の滑らかなトーリック多様体上でのボーダーランクの計算に一般化できるか？
• RQ2 多重次数付きヒルベルト汎関数は、ボーダーランクおよびその幾何的不変量を特徴付ける上で果たす役割は何か？
• RQ3 ボーダーVSPを用いて、対称的および部分的に対称的なテンソルのボーダーランクに対する非自明な下界を導出可能か？
• RQ4 多重次数付きヒルベルト汎関数における極限イデアルは、ゼロ次元スキームの滑らか化可能性および飽和性の性質とどのように関係するか？
• RQ5 ボーダー・アポラリティ法は、ボーダーランクとボーダー・カクタス・ランクの区別にどの程度有効か？

主な発見

• 本稿は、ボーダー・アポラリティ基準を確立した：テンソル F がボーダーランク ≤ r であることは、X 内の r 個の一般な点のイデアルが Ann(F) に含まれることと同値であり、古典的アポラリティ補題を一般化する。
• 多重次数付きヒルベルト汎関数の既約成分 Slipr,X は、一般に一般な位置にある r 点スキームをパラメトライズし、一般に飽和的かつ既約なファイバーを持つ唯一の成分である。
• ボーダーVSP(F, r) は、F を含むスパンを持つ r 点スキームの集合の閉包として定義され、ボーダーランクおよびその対称性を研究するための幾何的道具を提供する。
• 本手法により、行列積テンソルおよび他の高次対称性を持つテンソルのボーダーランクに対する新たな下界が得られた。
• 著者らは、平坦なイデアル族における飽和ファイバーの集合がザリスキ開集合であることを示し、ヒルベルト汎関数の成分の幾何的性質を証明する際に用いられる基礎的結果を提示した。
• 理論は任意の代数的閉体上に拡張可能であり、ザリスキ開性により、可算体ですら「非常に一般」な条件が空でないことが保証される。