[论文解读] 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

一句话总结

本文为光滑射影环簇上的边界秩引入了一种广义的对偶性理论，将经典对偶性推广至多 gradings 设置。它定义了边界秩版本的幂和簇（边界 VSP），并利用多 gradings 希尔伯特概形的不可约分支统一分析边界秩，为张量（如矩阵乘法张量）提供了新的下界。

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.

研究动机与目标

• 开发一种系统方法，用于计算超出经典 Segre-Veronese 设置的多项式与张量的边界秩。
• 通过多 gradings 多项式环与理想，将对偶性引理推广至边界秩。
• 为对称与部分对称张量定义并研究边界秩版本的幂和簇（边界 VSP）。
• 分析多 gradings 希尔伯特概形在通过与射影环簇相关的不可约分支刻画边界秩中的作用。
• 为高度对称张量（如矩阵乘法张量）提供边界秩的新下界。

提出的方法

• 使用多 gradings 多项式环 S[X]，其多度与射影环簇 X = Pa × Pb × Pc × ... 的因子相对应。
• 将 F 的零化理想 Ann(F) ⊂ S[X] 定义为在 F 上消失的常系数微分算子集合。
• 引入边界对偶性条件：当且仅当 X 中 r 个一般点的理想 I 包含于 Ann(F) 时，F 具有边界秩 ≤ r。
• 在参数化 X 上具有固定多度的零维子概形的多 gradings 希尔伯特概形 Hilb^hr_S 内工作。
• 将 Slipr,X 识别为 Hilb^hr_S 的唯一不可约分支，其一般成员为定义 r 个一般位置点的饱和、约化理想。
• 利用 Slipr,X 的几何性质及其与边界 VSP 的关系，通过代数与几何约束推导边界秩的下界。

实验结果

研究问题

• RQ1 如何将对偶性理论推广至任意光滑射影环簇上的边界秩计算，而不仅限于 Segre 或 Veronese 簇？
• RQ2 多 gradings 希尔伯特概形在刻画边界秩及其几何不变量中起什么作用？
• RQ3 边界 VSP 是否可用于推导对称与部分对称张量边界秩的非平凡下界？
• RQ4 多 gradings 希尔伯特概形中极限理想如何与零维概形的光滑化与饱和性相关？
• RQ5 边界对偶性方法在多大程度上可区分边界秩与边界仙人掌秩？

主要发现

• 本文建立了边界对偶性准则：张量 F 具有边界秩 ≤ r 当且仅当 X 中 r 个一般点的理想包含于 Ann(F)，从而推广了经典对偶性引理。
• 多 gradings 希尔伯特概形的不可约分支 Slipr,X 参数化处于一般位置的 r 点概形，且是唯一具有饱和、约化一般纤维的分支。
• 边界 VSP(F, r) 定义为所有其张量包含 F 的 r 点概形的闭包，为研究边界秩及其对称性提供了几何工具。
• 该方法为矩阵乘法张量及其他高度对称张量的边界秩提供了新下界。
• 作者证明了在平坦理想族中，饱和纤维的集合是 Zariski 开集，这是证明希尔伯特概形分支几何性质的基础性结果。
• 该理论可推广至任意代数闭基域，Zariski 开性确保即使在可数域上，'非常一般'条件仍保持非空。