[论文解读] Linearly dependent and concise subsets of a Segre variety depending on k factors

Edoardo Ballico|arXiv (Cornell University)|Feb 22, 2020

Tensor decomposition and applications参考文献 4被引用 4

一句话总结

本文研究了依赖于 $k$ 个因子的 Segre 流形的线性相关且简洁的子集，重点关注电路（依赖度 $e(S) = 1$ 的等度依赖集合）以及更高阶依赖结构。本文建立了大小为 $s$ 的电路的宽度 $w(S)$ 的上界为 $\binom{s}{2} + s$，并完全分类了大小为 6 的简洁、等度依赖集合，表明它们要么属于具有任意大宽度的特定例子，要么宽度至多为 4，且当宽度为 4 时必有 $Y \cong (\mathbb{P}^1)^4$。

ABSTRACT

We study linearly dependent subsets with prescribed cardinality, $s$, of a multiprojective space. If the set $S$ is a circuit, we give an upper bound on the number of factors of the minimal multiprojective space containing $S$, while if $S$ has higher dependency this may be not true without strong assumptions. We describe the dependent subsets $S$ with $\#S=6$.

研究动机与目标

• 理解 Segre 流形中线性相关且简洁子集的结构，特别是其宽度与依赖阶数的关系。
• 确定对于依赖阶数 $e(S) > 1$ 的等度依赖集合，宽度 $w(S)$ 的上界是否仍成立。
• 对乘积空间 $Y = \mathbb{P}^{n_1} \times \cdots \times \mathbb{P}^{n_k}$ 中大小为 6 的所有简洁、等度依赖子集 $S \subset Y$ 进行分类。
• 刻画包含此类集合的最小乘积空间，特别是当 $w(S) = 4$ 或 $w(S)$ 任意大时的情形。

提出的方法

• 定义 $e(S) = h^1(\mathcal{I}_S(1,\dots,1))$ 以度量线性相关性，其中 $e(S) = 1$ 对应于电路。
• 利用 Grassmann 公式及线性张成子空间的性质，将 $e(S)$ 与 $\langle \nu(S) \rangle$ 在 $\mathbb{P}^r$ 中的余维数联系起来。
• 应用简洁性概念，确保 $w(S)$ 等于包含 $S$ 的最小乘积空间中非平凡因子的数量。
• 通过分析分解 $S = A \cup B$ 且 $\#A = \#B = 3$ 的情形，利用线性张成子空间的无冗余生成与交集性质。
• 利用上同调不变量与基域不变性，将问题约化至代数闭包，同时保持维度与依赖性数据不变。
• 通过分析交集 $E \cap A$、$E \cap B$ 以及关联子空间 $Y'$、$Y''$ 的宽度，进行情形分类，从而导出宽度上界与结构刻画。

实验结果

研究问题

• RQ1 对于大小为 $s$ 的电路 $S$，其最大可能宽度 $w(S)$ 是多少？能否以 $s$ 表示该上界？
• RQ2 宽度上界 $w(S) \leq \binom{s}{2} + s$ 是否可推广至 $e(S) > 1$ 的等度依赖集合？
• RQ3 在 Segre 流形中，大小为 6 的简洁、等度依赖集合 $S$ 的结构受到哪些约束？
• RQ4 此类集合是否可能具有任意大的宽度？若可能，其几何条件是什么？
• RQ5 当 $w(S) = 4$ 时，何时有 $Y \cong (\mathbb{P}^1)^4$ 成立，对于大小为 6 的简洁、等度依赖集合 $S$？

主要发现

• 本文证明：对任意大小为 $s$ 的电路 $S$（即 $e(S) = 1$），其宽度满足 $w(S) \leq \binom{s}{2} + s$，且当 $s \geq 6$ 时等号可取到。
• 当 $e(S) > 1$ 时，该上界在无强假设下不成立；本文构造了 $e(S) > 1$ 且宽度任意大的例子，表明该上界无法推广。
• 所有大小为 6 且满足 $e(S) \geq 2$ 的简洁、等度依赖集合 $S$ 要么属于例 4.1 或 4.2（具有任意大宽度），要么满足 $w(S) \leq 4$。
• 若 $w(S) = 4$，则必有 $Y \cong (\mathbb{P}^1)^4$，且此情况仅在最小乘积空间为 $\mathbb{P}^1$ 的四重积时发生。
• 当 $w(S) \leq 3$ 时，若 $w(S) = 3$，则 $Y \cong \mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$；若 $w(S) = 2$，则 $Y$ 为两因子乘积。
• 分类结果表明，在给定约束下，除已知例子与 $Y \cong (\mathbb{P}^1)^4$ 情形外，不会出现新的配置。