[論文レビュー] On the third secant variety

Jarosław Buczyński, J. M. Landsberg|arXiv (Cornell University)|Nov 29, 2011

Tensor decomposition and applications被引用数 4

ひとこと要約

本稿は、境界ランクが3以下のテンソルの正規形およびランクを完全に分類し、特にセグレ埋め込みの3番目のセカント多様体を焦点としている。σ₃(Seg(ℙA×ℙB×ℙC))の特異点集合は、余次元が2以上であることが示され、コミヌスキュル多様体における極限三secant平面の点に4種類の異なるタイプが存在することを特定し、それぞれのタイプについて明示的な幾何学的・代数的特徴づけがなされている。

ABSTRACT

We determine normal forms and ranks of tensors of border rank at most three. We present a differential-geometric analysis of limits of secant planes in a more general context. In particular there are at most four types of points on limiting trisecant planes for cominuscule varieties such as Grassmannians. We also show the singular locus of the first two secant varieties of all triple Segre products has codimension at least two.

研究の動機と目的

• 境界ランクが3以下のテンソルの正規形およびランクを分類すること、特にセグレ多様体の3番目のセカント多様体の文脈において。
• 一般の設定においてセカント平面の極限の幾何学的性質を分析すること、特にグラスマン多様体を含むコミヌスキュル多様体に対して。
• 小次元のテンソル空間におけるσ₃(Seg(ℙA×ℙB×ℙC))の特異点集合の構造と余次元を特定すること。
• 三secant平面およびその極限の微分幾何的解析を提供し、セカント多様体および接多様体に関する結果を拡張すること。
• 境界ランクが小さいテンソルの可能なランクについて未解決の問題を解消すること、これは境界ランクのテストは十分に行われているものの、ランクの理解が不十分であるため。

提案手法

• セグレ多様体上のσ₃(X)∖σ₂(X)の点における正規形分類を用い、4つのタイプに区別する：(i) ランク1テンソルの和、(ii) 接ベクトルとランク1テンソルの和、(iii) 曲線上の2つの接ベクトルの和、(iv) 直線上の2点における接ベクトルの和。
• 微分幾何的技法を用いてセカント平面の極限を研究し、特に接ベクトルおよびその極限の振る舞いをセカント多様体の文脈で分析する。
• パラメトライゼーション φ: W → ℙ(A⊗B⊗C) の接写像を用いて、点における微分の像を計算し、それがフルランクであることを示し、一般点における滑らかさを証明する。
• 接写像の像の次元を明示的に計算し、生成子間の線形従属関係を用いて、σ₃(Seg(ℙA×ℙB×ℙC))の特異点集合の次元を分析する。
• 2×2小行列式およびスライス行列を用いて、三つ組 (a₁,a₂,a₃), (b₁,b₂,b₃), (c₁,c₂,c₃) を順序およびスケーリングの意味で再構成し、逆像が6つの成分を持つことを示す。
• 理論的および計算的結果に基づき、さまざまなテンソル空間におけるσ₃の次元および特異点集合の次元の上界を要約した表（表2）を構築する。

実験結果

リサーチクエスチョン

• RQ1 境界ランクが3以下のテンソルの可能な正規形およびランクは何か、特にセグレ埋め込みの3番目のセカント多様体において。
• RQ2 グラスマン多様体を含むコミヌスキュル多様体において、極限三secant平面の極限はどのように振る舞い、このような極限平面に現れる異なるタイプの点はいくつあるか。
• RQ3 A, B, C のさまざまな次元に対して、σ₃(Seg(ℙA×ℙB×ℙC))の特異点集合の余次元は何か。
• RQ4 セグレ積の接多様体を用いて、第二セカント多様体の滑らかさを特徴づけることは可能か、そしてこれは特異点集合にどのような含意を持つのか。
• RQ5 σ₃(X)∖σ₂(X)内の異なるタイプの点は、位相的におよび幾何学的にどのように関係しているか—特に、それらの余次元および閉包関係は何か。

主な発見

• すべてのA, B, C の次元に対して、σ₃(Seg(ℙA×ℙB×ℙC))の特異点集合の余次元は2以上である。特に、1つの因子が ℂ³ で他が次元3以上の場合、余次元はちょうど2である。
• X = Seg(ℙA₁×⋯×ℙAₙ) に対して、σ₃(X)∖σ₂(X)には正確に4種類の点のタイプが存在し、タイプ(i)〜(iv)はランク1テンソルおよび接ベクトルの異なる幾何的配置に対応する。
• タイプ(i)、すなわち3つのランク1テンソルの和である点は、σ₃(X)∖σ₂(X)のザリスキ開部分集合を含み、この多様体において一般である。
• タイプ(ii)の点はσ₃(X)において余次元1、タイプ(iii)は余次元2、タイプ(iv)は余次元4であり、タイプ(iv)はタイプ(iii)の閉包に含まれる。
• n=2 の場合、σ₃(Seg(ℙA₁×ℙA₂))∖σ₂(Seg(ℙA₁×ℙA₂))のすべての点はタイプ(i)であるため、高次のセカント構造が崩壊する特別なケースである。
• 一般点におけるパラメトライゼーション写像 φ による逆像は6つの成分を持ち、それぞれ (ℂ*)⁷ に同型である。これは、離散的モノドロミーを伴う6:1被覆であることを示している。