[論文レビュー] Four lectures on secant varieties

E. Carlini, N. Grieve+1 more|arXiv (Cornell University)|Sep 17, 2013

Tensor decomposition and applications被引用数 4

ひとこと要約

この論文は代数幾何学における高次接続多様体について包括的な紹介を提供し、基礎的概念、ワーリング問題への応用、多項式分解との関係に焦点を当てる。テルラチーニの補題やアポラリティ理論といった重要な道具を提示し、明示的な例題、演習問題および解答を含む。研究者にとって接続多様体およびその代数幾何学的応用、テンソル分解分野への入門に自立的かつ包括的なリソースを提供する。

ABSTRACT

This paper is based on the first author's lectures at the 2012 University of Regina Workshop "Connections Between Algebra and Geometry". Its aim is to provide an introduction to the theory of higher secant varieties and their applications. Several references and solved exercises are also included.

研究の動機と目的

• 分野に初めて入門する研究者を対象に、高次接続多様体の基礎的導入を提供すること。
• 接続多様体と古典的問題（ワーリング問題や多項式分解など）との関係を明らかにすること。
• 接続多様体を分析するための主要な道具（テルラチーニの補題やアポラリティ理論）を提示すること。
• 解かれた演習問題と参考文献を提供し、接続多様体およびその応用分野におけるさらなる研究を支援すること。
• 古典的代数幾何学と現代のテンソル分解、信号処理、代数統計の応用を橋渡しすること。

提案手法

• 可約でない多様体 $ X \subset \mathbb{P}^N $ に対する $ s $-次接続多様体 $ \sigma_s(X) $ を、$ s $-次接続線型空間の和集合のザリスキ閉包として定義する。
• 一般点における接空間の張る空間を分析することで、テルラチーニの補題を用いて接続多様体の次元を計算する。
• アポラリティの補題を通じて、形式と点の集合の間の annihilator を介した双対性を導入し、アポラリティ理論を提示する。
• ヒルベルト関数およびゼロ次元スキームを用いて、ワーリング分解と接続多様体の識別可能性を分析する。
• 特にワーリング問題や多項式ランク分解に関して、中心的な例としてヴェロネーゼ多様体を分析する。
• 記号的および数値的代数幾何のツールを用いて、接続多様体の定義方程式および次数を研究し、計算ソフトウェアへの参照を併記する。

実験結果

リサーチクエスチョン

• RQ1 与えられた多様体 $ X $ に対して、$ s $-次接続多様体 $ \sigma_s(X) $ の次元は何か。特にヴェロネーゼ多様体やシグレ・ヴェロネーゼ多様体に関しては？
• RQ2 一般の点が $ X $ 上の $ s $ 個の点の和として一意に表されるのはいつか。すなわち、$ \sigma_s(X) $ が一般に識別可能（generically identifiable）となるのはいつか？
• RQ3 $ n $ 変数の同次多項式がすべて $ d $ 乗の線形形式の和として書ける最小の $ s $ は何か？
• RQ4 どのようにして $ \sigma_s(X) $ の定義方程式を計算できるか。また、これらの多様体の次数は何か？
• RQ5 接続多様体の構造的性質（例えば、コーエン・マカウル性や欠損性）は何か？

主な発見

• アレクサンダー＝ヒルシュヴィッツの定理は、一般形式に関してワーリング問題を解決する：$ \sigma_s(\nu_d(\mathbb{P}^n)) $ は有限個の例外を除き、期待される次元を持つ。
• テルラチーニの補題は、$ X $ 上の一般の $ s $ 点における接空間の張る空間を分析することにより、$ \sigma_s(X) $ の次元を計算する手法を提供する。
• アポラリティ理論は、同次多項式とゼロ次元スキームの間の双対性を確立し、線形代数を用いたワーリング分解の研究を可能にする。
• ヴェロネーゼ多様体に関しては、$ \sigma_s(\nu_d(\mathbb{P}^n)) $ は多くの場合、一般に識別可能であるが、既知の例外ケースを除く。
• 本論文は、接続多様体の理論における主要な未解決問題（例えば、接続多様体の定義方程式の計算や、コーエン・マカウル性の同定）を特定する。
• 著者らは、さらなる研究を支援するための参考文献リストおよびソフトウェアツール（記号的計算および数値的代数幾何パッケージなど）を提供する。