[論文レビュー] 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$ 個の因子に依存するセグレ多様体の線形従属的かつ短縮可能な部分集合を調査し、$e(S) = 1$ である回路（等しい従属性を持つ集合）および高次従属構造に注目する。サイズ $s$ の回路について、幅 $w(S)$ に対する上界 $inom{s}{2} + s$ を確立し、サイズ 6 の短縮可能で等しい従属性を持つ集合を完全に分類する。その結果、幅が任意に大きく取り得る特定の例に属するか、幅が 4 以下であることが判明し、幅が 4 の場合は $Y cong (b{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$.

研究の動機と目的

• 線形従属的かつ短縮可能な部分集合の構造を、その幅と従属次数に関して理解すること。
• 回路（$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$ が回路に対応することを示す。
• グラスマンの公式および線形包のコドメインに関する性質を用いて、$e(S)$ を $\mathbb{P}^r$ 内の $\langle \nu(S) \rangle$ のコドメインに関連付ける。
• 短縮性の概念を用い、$w(S)$ が $S$ を含む最小の多重射影空間における非自明な因子の数に等しいことを保証する。
• 線形包の冗長性のない生成および交差性の性質を用いて、$S = A \cup B$ かつ $\#A = \#B = 3$ となる分解を分析する。
• コhomological 不変量および基底体の不変性を用い、代数的閉包に還元し、次元および従属データを保持する。
• 交差 $E \cap A$、$E \cap B$ および関連部分空間 $Y'$、$Y''$ の幅に関するケース解析を通じて、幅の上限および構造的特徴づけに至る。

実験結果

リサーチクエスチョン

• RQ1 サイズ $s$ の回路 $S$ に対して、最大の幅 $w(S)$ は何か？ そして、$s$ の関数として上界が得られるか？
• RQ2 $e(S) > 1$ の場合に、$w(S) \leq \binom{s}{2} + s$ の幅の上限は、強力な仮定がなければ成り立つか？
• RQ3 サイズ 6 の短縮可能で等しい従属性を持つ集合 $S$ に課される構造的制約は何か？
• RQ4 このような集合が任意に大きな幅を取り得るか？ もし可能であれば、どのような幾何的条件下で成立するか？
• RQ5 サイズ 6 の短縮可能で等しい従属性を持つ $S$ に対して、$w(S) = 4$ ならば $Y \cong (\mathbb{P}^1)^4$ が成り立つか？

主な発見

• 本稿は、任意の回路 $S$（つまり $e(S) = 1$）に対して、$w(S) \leq \binom{s}{2} + s$ が成り立つことを証明し、$s \geq 6$ の場合に等号が達成可能であることを示した。
• $e(S) > 1$ の場合、強い仮定がなければこの上限は成り立たない。本稿では、$e(S) > 1$ かつ $w(S)$ が任意に大きな例を構成し、この上限が一般化されないことを示した。
• サイズ 6 で $e(S) \geq 2$ であるすべての短縮可能で等しい従属性を持つ集合 $S$ は、例 4.1 や 4.2 に属するもの（任意に大きな幅をとる）か、$w(S) \leq 4$ を満たすものに限られる。
• 幅が 4 の場合、$Y \cong (\mathbb{P}^1)^4$ が成り立ち、これは最小の多重射影空間が $\mathbb{P}^1$ の 4 重積である場合にのみ成立する。
• 幅が 3 未満の場合、$w(S) = 3$ ならば $Y \cong \mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ が成り立ち、$w(S) = 2$ の場合はそれ以外である。
• 分類により、与えられた制約のもとで、既知の例および $Y \cong (\mathbb{P}^1)^4$ の場合を除き、新たな構造は生じないことが示された。