[論文レビュー] Non-Defectivity of Grassmannians of planes

Hirotachi Abo, Giorgio Ottaviani+1 more|ArXiv.org|Jan 17, 2009

Coding theory and cryptography参考文献 14被引用数 5

ひとこと要約

本稿は、射影空間内の2次元平面のグラスマンニアンが、大多数のセカント多様体に対して非退化であることを確立している。具体的には、$σ_s(Gr(2,n))$ が期待される次元を持つことを証明しており、$s \leq s_0(n)$ および $s_1(n) \leq s$ の場合に成り立つ。ここで $s_0(n)$ と $s_1(n)$ はともに $n^2/18$ に漸近的に近づく。主な結果は、$∫^3 \mathbb{C}^{n+1}$ 内の一般の歪対称テンソルの典型的ランクが漸近的に $n^2/18$ であると示したことである。これはテンソルランク理論における長年の漸近的上限を解消するものである。

ABSTRACT

Let $Gr(k,n)$ be the Plücker embedding of the Grassmann variety of projective $k$-planes in $¶n$. For a projective variety $X$, let $σ_s(X)$ denote the variety of its $s-1$ secant planes. More precisely, $σ_s(X)$ denotes the Zariski closure of the union of linear spans of $s$-tuples of points lying on $X$. We exhibit two functions $s_0(n)\le s_1(n)$ such that $σ_s(Gr(2,n))$ has the expected dimension whenever $n\geq 9$ and either $s\le s_0(n)$ or $s_1(n)\le s$. Both $s_0(n)$ and $s_1(n)$ are asymptotic to $\frac{n^2}{18}$. This yields, asymptotically, the typical rank of an element of $\wedge^{3} 1pt {\mathbb C}^{n+1}$. Finally, we classify all defective $σ_s(Gr(k,n))$ for $s\le 6$ and provide geometric arguments underlying each defective case.

研究の動機と目的

• 一般の歪対称テンソル $∫^3 \mathbb{C}^{n+1}$ の漸近的典型的ランクを特定すること。これは $\sigma_s(Gr(2,n)) = \mathbb{P}^N$ となる最小の $s$ に相当する。
• $\sigma_s(Gr(2,n))$ がほとんどの $s$ に対して期待される次元を持つことを確立すること。ただし、有限個の退化ケースを除く。
• $s \leq 6$ および $k \geq 2$ の場合に、すべての退化するセカント多様体 $\sigma_s(Gr(k,n))$ を分類し、それぞれのケースに対して幾何的説明を与えること。
• $\sigma_3(Gr(2,6))$ を明示的な代数的記述により与えること。具体的には、$SL(7)$-不変多項式 $P_7$ を用いて、$\det(\phi_\omega) = 2[P_7(\omega)]^3$ を満たす7次多項式として記述すること。

提案手法

• Plücker埋め込みを用いて、$Gr(2,n)$ を $\mathbb{P}^N$ に埋め込み、$N = \binom{n+1}{3} - 1$ として射影的多様体として実現し、点を分解可能3次テンソルと同一視する。
• セカント多様体の構成 $\sigma_s(X)$ を、$X$ 上の $s$ 個の点の線形包の和集合のザリスキ閉包として定義し、期待される次元 $s[(k+1)(n-k)+1] - 1$ と比較する。
• $\omega \in \u222B^3 \mathbb{C}^7$ に対して、収縮作用素 $\phi_\omega: \u222B^2 \mathbb{C}^7 \to \u222B^5 \mathbb{C}^7$ を用い、7次不変多項式 $P_7$ を用いて $\det(\phi_\omega) = 2[P_7(\omega)]^3$ を示す。
• $\u222B^3 \mathbb{C}^7$ 上の $SL(7)$-軌道を分析し、退化の分類を行い、$\phi_\omega$ のランク条件を用いて $\sigma_s(Gr(2,6))$ の構造を特定する。
• 既知のステイナー三重系に関する結果と表現論を用いて、典型的ランク $\underline{R}(2,n)$ の上限を導出する。
• 計算代数と幾何的議論を併用し、$Gr(2,6)$ が退化的であり、$\sigma_3(Gr(2,6))$ が7次超曲面であることを確認するとともに、$Gr(3,7)$ と $Gr(2,8)$ が同様に退化的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 一般の歪対称テンソル $∫^3 \mathbb{C}^{n+1}$ の漸近的典型的ランクは何か？
• RQ2 $\sigma_s(Gr(2,n))$ が退化するのはどの $s$ の値か。その幾何的根拠は何か？
• RQ3 セカント多様体 $\sigma_3(Gr(2,6))$ は代数的不変量により明示的に記述可能か。その次数と定義方程式は何か？
• RQ4 $k \geq 2$ の場合に、退化するグラスマンニアン $Gr(k,n)$ は有限個に限るのか。完全に分類可能か？
• RQ5 収縮作用素 $\phi_\omega$ のランクは、$\omega$ がセカント多様体に属するかどうかとどのように関係するか？

主な発見

• 一般の歪対称テンソル $∫^3 \mathbb{C}^{n+1}$ の典型的ランク $\underline{R}(2,n)$ は漸近的に $n^2/18$ に一致し、鋭い漸近的上限が解消された。
• $\sigma_s(Gr(2,n))$ は $s \leq s_0(n)$ および $s_1(n) \leq s$ の場合に期待される次元を持つ。ここで $s_0(n)$ と $s_1(n)$ はともに $n^2/18$ に漸近的に近づく。
• 多様体 $\sigma_3(Gr(2,6))$ は7次超曲面であり、$SL(7)$-不変多項式 $P_7$ を用いて $\det(\phi_\omega) = 2[P_7(\omega)]^3$ を満たす。
• $\sigma_2(Gr(2,6))$ のイデアルは、共変量 $C_4$ に対応する28個の3次式によって生成され、その集合的定義方程式は $\phi_\omega$ の $13 \times 13$ ミニマルによって与えられる。
• $\sigma_3(Gr(2,6))$ の特異点集合は次元30の軌道であり、$\mathrm{Sing}(\sigma_2(Gr(2,6))) = Gr(2,6)$ である。これはセカント多様体の幾何的構造を確認するものである。
• すべての $s \leq 6$ の退化する $\sigma_s(Gr(k,n))$ は分類済みである：$Gr(2,6)$、$Gr(3,7)$、$Gr(2,8)$ であり、$Gr(2,8) \cong Gr(5,8)$ は双対性により成り立つ。