[論文レビュー] On the ideals and singularities of secant varieties of Segre varieties

J. M. Landsberg, Jerzy Weyman|ArXiv.org|Jan 18, 2006

Polynomial and algebraic computation参考文献 4被引用数 7

ひとこと要約

本稿は、射影空間の直積のセグレ埋め込みの接続多様体の定義方程式を決定し、3つの場合に焦点を当てる：$σ_k(\mathbb{P}^1 \times \mathbb{P}^n \times \mathbb{P}^m)$、$\sigma_2(\mathbb{P}^n \times \mathbb{P}^m \times \mathbb{P}^p \times \mathbb{P}^r)$、および $\sigma_3(\mathbb{P}^n \times \mathbb{P}^m \times \mathbb{P}^p)$。これらの多様体が算術的にコhen＝マカウレー的で、正規かつ有理的特異点を持つことを証明する。部分空間多様体と表現論を用いて基本的ケースに還元し、その後、分解を計算することで、イデアル生成と正規性を確認する。

ABSTRACT

We find generators for the ideals of secant varieties of Segre varieties in several the cases including the Garcia-Stillmann-Ssturmfels conjecture for four factors and prove results about their singularities.

研究の動機と目的

• 特定の低ランクケースにおけるセグレ多様体の接続多様体の定義イデアルを同定すること。
• これらの接続多様体が正規で、有理的特異点または算術的にコhen＝マカウレー的であることを確立すること。
• 次元が接続ランクによって有界である場合、部分空間多様体を用いて一般問題を基本的ケースに還元すること。
• 表現論と等変な分解を用いて生成元を同定し、イデアルへの属するかを検証すること。
• 定義イデアルが非特異的であることを確認し、計算代数ツールを用いて最小自由分解を計算すること。

提案手法

• 接続多様体のイデアル構造を簡素化するために、補助的多様体として部分空間多様体 $Sub_{b_1,\dots,b_n}$ を用いる。
• 部分空間多様体のイデアルを生成する不変部分空間を特定するため、表現論を適用する。
• すべての $j$ に対して $\dim A_j = r$ となる基本的ケースに還元する。これは $SL(A_1) \times \cdots \times SL(A_n)$ による不変性を用いる。
• 平坦化技術を用いて、高次の接続多様体をより小さい積の既知の行列式イデアルに関連付ける。
• Macaulay2 を用いて最小自由分解を計算し、コディメンジョンとコhen＝マカウレー性を確認する。
• 生成多項式の微分（例：ストラッセンの式）を分析することで、集合論的およびスキーム論的生成を確認する。

実験結果

リサーチクエスチョン

• RQ1 すべての $k,n,m$ に対して、$\sigma_k(\mathbb{P}^1 \times \mathbb{P}^n \times \mathbb{P}^m)$ の定義方程式は何か？
• RQ2 $\sigma_2(\mathbb{P}^n \times \mathbb{P}^m \times \mathbb{P}^p \times \mathbb{P}^r)$ は算術的にコhen＝マカウレー的で、正規かつ有理的特異点を持つか？
• RQ3 $\sigma_3(\mathbb{P}^n \times \mathbb{P}^m \times \mathbb{P}^p)$ の定義イデアルの構造は何か？また、それは非特異的か？
• RQ4 分解の各既約成分は、接続多様体の表現論的構造をどのように反映しているか？
• RQ5 イデアルの最小自由分解を明示的に計算できるか？また、期待されるコディメンジョンとコhen＝マカウレー性を確認できるか？

主な発見

• イデアル $\sigma_k(\mathbb{P}^1 \times \mathbb{P}^n \times \mathbb{P}^m)$ は、最初の部が $k+1$ 以下であるような分割に対応する不変 $SL$-モジュールによって生成され、多様体は正規で有理的特異点を持つ。
• イデアル $\sigma_2(\mathbb{P}^n \times \mathbb{P}^m \times \mathbb{P}^p \times \mathbb{P}^r)$ は算術的にコhen＝マカウレー的で、正規かつ有理的特異点を持つ。
• $\sigma_3(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^2)$ に対して、定義イデアルはストラッセンの多項式によって生成され、分解の項は各因子において重みが6以下で抑えられている。
• $\sigma_3(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^2)$ の $\mathbb{A}/I$ の最小自由分解は明示的に計算され、$G_6 = \mathfrak{S}[(5,5,5)(5,5,5)(5,5,5)] \oplus \mathfrak{S}[(6,3,3)(4,4,4)(4,4,4)]$ であることが判明し、コディメンジョン6を確認した。
• 一般点における生成多項式の微分は、余接空間を張り、イデアルが非特異的で、スキーム論的に接続多様体を定義することを証明した。
• 等変分解構造により、分解内のすべての既約成分の最高重量が6以下であることが確認され、期待されるコディメンジョンと整合的である。