[論文レビュー] On the Alexander-Hirschowitz Theorem

Maria Chiara Brambilla, Giorgio Ottaviani|ArXiv.org|Jan 15, 2007

Tensor decomposition and applications参考文献 17被引用数 4

ひとこと要約

本稿は、アレクサンダー＝ヒルシュヴィッツの定理の自己完結的で簡略化された証明を提示する。この定理は、一般の $k$ 個の二重点が $\mathbb{P}^n$ に与えられたとき、それらが次数 $d$ の斉次多項式に独立な条件を課す条件を特定するもので、有名な例外のリストを含む。証明はテラチーニの補題と微分ホラスメソッドに基礎を置き、特に立方の場合（$d=3$）に新たな簡略化を施しており、問題の解決に至るまでの歴史的概要も包括的に提供する。

ABSTRACT

The Alexander-Hirschowitz theorem says that a general collection of $k$ double points in ${\bf P}^n$ imposes independent conditions on homogeneous polynomials of degree $d$ with a well known list of exceptions. Alexander and Hirschowitz completed its proof in 1995, solving a long standing classical problem, connected with the Waring problem for polynomials. We expose a self-contained proof based mainly on previous works by Terracini, Hirschowitz, Alexander and Chandler, with a few simplifications. We claim originality only in the case $d=3$, where our proof is shorter. We end with an account of the history of the work on this problem.

研究の動機と目的

• 代数幾何学における古典的問題、すなわち高次交差多様体の次元に関する問題を解決する、自己完結的かつアクセス可能なアレクサンダー＝ヒルシュヴィッツの定理の証明を提供すること。
• アレクサンダーとヒルシュヴィッツによるオリジナルの証明を簡素化・明確化すること。特に、$d=3$ の立方の場合の議論を簡潔に整理し、既存の処理よりも短いと主張すること。
• パラティーニとテラチーニによる初期の予想から、1995年にアレクサンダーとヒルシュヴィッツが最終的に解決したまでの、問題の歴史的発展を統合し、提示すること。
• 二重点を持つ線型系統の条件とヴェロネーゼ埋め込みの高次交差多様体の期待される次元との等価性を確立すること。
• 特に $d=3$ の臨界ケースにおいて、退化技術、0次元的スキーム、および微分ホラスメソッドが問題の解決に果たす役割を強調すること。

提案手法

• ヴェロネーゼ多様体の接空間および多重点付き線型系統の挙動に関するテラチーニの2つの基本補題を用いる。
• アレクサンダーとヒルシュヴィッツが開発した、微分ホラスメソッドを適用し、帰納的退化議論によって線型系統の次元を制御する。
• 曲線的スキームへの退化と0次元的スキームの使用を用いて、線型系統が独立な条件を課さない理由を分析する。
• チャンドラの曲線的スキーム補題（補題6.1）を $d \geq 4$ の場合に簡略化のための道具として用い、$d=3$ の場合については新たな簡略化を施した詳細な取り扱いを行う。
• 半連続性とヴェロネーゼ埋め込み $V^{d,n} \subset \mathbb{P}^m$ の構造を用い、$I_X(d)$ の期待される余次元と $\sigma_k(V^{d,n})$ の次元との関係を結ぶ。
• 斉次多項式と対称テンソルの双対性、および自然なペアリング $S^dV \otimes S^dV^\vee \to \mathbb{K}$ を用い、二重点における消失条件を定義する。

実験結果

リサーチクエスチョン

• RQ1 一般の $k$ 個の二重点が $\mathbb{P}^n$ に与えられたとき、それらが次数 $d$ の斉次多項式の空間に独立な条件を課すのはどのような条件下か？
• RQ2 なぜ例外的なケース——例えば $n=2, d=4, k=5$ あるいは $n=4, d=3, k=7$ ——が期待される余次元を満たさないのか？
• RQ3 微分ホラスメソッドをどのように体系的に適用することで、ヴェロネーゼ埋め込みの高次交差多様体の期待される次元を証明できるか？
• RQ4 現代の技法と洞察を用いることで、特に $d=3$ の場合に、アレクサンダー＝ヒルシュヴィッツの定理の証明をどの程度簡略化できるか？
• RQ5 例えばヴェロネーゼ表面を平面に退化させるような、組合せ論的またはトロピカル幾何学的技法を、より高次元のヴェロネーゼ多様体へ一般化できる範囲はどの程度か？

主な発見

• アレクサンダー＝ヒルシュヴィッツの定理は、すべての $k$ と $d$ に対して、期待される余次元 $\min\left((n+1)k, \binom{n+d}{n}\right)$ を満たすが、5つの特定の例外ケースを除く。
• 例外ケースは以下の通りである：$d=2$, $2 \leq k \leq n$；$n=2$, $d=4$, $k=5$；$n=3$, $d=4$, $k=9$；$n=4$, $d=3$, $k=7$；$n=4$, $d=4$, $k=14$。
• $d=3$ の場合、著者らは従来の処理よりも著しく短く洗練された証明を提示しており、本稿の主要な原稿的貢献である。
• 代数閉体の標数0の上で、二重点における1次微分の消失条件という線型系統の条件と、$k$-交差多様体 $\sigma_k(V^{d,n})$ の期待される次元との等価性が厳密に確立されている。
• 証明は $\operatorname{char}(\mathbb{K}) = 0$ の場合に有効であり、この仮定のもとで、理想論的表現と交差多様体表現の2つの定式化の等価性が成り立つ。
• 本研究は、ヴェロネーゼ多様体 $V^{d,n}$ が、問題の複雑さにもかかわらず、すべての高次交差多様体の次元が完全に把握されている少数の多様体クラスの1つであることを確認している。