[論文レビュー] Unstable hyperplanes for Steiner bundles and multidimensional matrices

Vincenzo Ancona, Giorgio Ottaviani|ArXiv.org|Oct 8, 1999

Advanced Topics in Algebra参考文献 10被引用数 40

ひとこと要約

本稿は、境界形式の多次元行列と射影空間上のスティーナー束の間の対応関係を確立し、非退化行列（超行列式が消えないもの）が安定なベクトル束に対応することを証明する。主な貢献は、Torelli型定理である：スティーナー束が対数的（特にSchwarzenberger束）であるための必要十分条件は、その不安定超平面のスキームが一般位置に $ n+k+1 $ 個以上の点を含むことであり、このような束はそのスキームによって一意に決定される。

ABSTRACT

We study some properties of the natural action of $SL(V_0) imes... imes SL(V_p)$ on nondegenerate multidimensional complex matrices $A\in¶(V_0\otimes...\otimes V_p)$ of boundary format(in the sense of Gelfand, Kapranov and Zelevinsky); in particular we characterize the non stable ones,as the matrices which are in the orbit of a "triangular" matrix, and the matrices with a stabilizer containing $\C^*$, as those which are in the orbit of a "diagonal" matrix. For $p=2$ it turns out that a non degenerate matrix $A\in¶(V_0\otimes V_1\otimes V_2)$ detects a Steiner bundle $S_A$ (in the sense of Dolgachev and Kapranov) on the projective space $¶^{n}, n = dim (V_2)-1$. As a consequence we prove that the symmetry group of a Steiner bundle is contained in SL(2) and that the SL(2)-invariant Steiner bundles are exactly the bundles introduced by Schwarzenberger [Schw], which correspond to "identity" matrices. We can characterize the points of the moduli space of Steiner bundles which are stable for the action of $Aut(¶^n)$, answering in the first nontrivial case a question posed by Simpson. In the opposite direction we obtain some results about Steiner bundles which imply properties of matrices. For example the number of unstable hyperplanes of $S_A$ (counting multiplicities) produces an interesting discrete invariant of $A$, which can take the values $0, 1, 2, ... ,\dim~V_0+1$ or $ \infty$; the $\infty$ case occurs if and only if $S_A$ is Schwarzenberger (and $A$ is an identity). Finally, the Gale transform for Steiner bundles introduced by Dolgachev and Kapranov under the classical name of association can be understood in this setting as the transposition operator on multidimensional matrices.

研究の動機と目的

• SL(V_0) \times \cdots \times SL(V_p) の作用の下での境界形式の多次元行列の不変量および安定性を調査すること。
• 射影空間 $ \mathbb{P}^n $ 上のスティーナー束のモジュライ空間を研究し、特にその対称性群と幾何的性質を明らかにすること。
• 不安定超平面のスキーム $ W(S) $ を用いて、スティーナー束がいつ対数的またはSchwarzenberger束であるかを特徴づけること。
• 不安定超平面のスキーム $ W(S) $ が束を同型を除いて一意に決定することを示すことにより、スティーナー束に対するTorelli型定理を証明すること。
• 非退化3次テンソルの離散的不変量を、値域 $ \{0, \dots, k_0+2, \infty\} $ にとることを確立し、$ W(S) $ の長さと関連付けること。

提案手法

• 超行列式 $ \det A \neq 0 $、行列 $ M_A $ の定秩、および層の準同型 $ f_A $ の全射性の3つが同値であることを利用して、行列とベクトル束を結びつける。
• 境界形式の多次元行列の理論を用いて、$ \mathcal{O} $、$ \mathcal{O}(1) $、およびベクトル空間 $ W $、$ I $ を含む完全列によってスティーナー束を定義する。
• 不安定超平面の集合を表すスキーム $ W(S) = \{ H \in \mathbb{P}^{n\vee} \mid h^0(S^*|_H) \neq 0 \} $ を導入し、これが主要な不変量となる。
• 基本変換と1パラメータ部分群を用いて、対称性群 $ \mathrm{Sym}(S)^0 $ を分析し、ある2次元空間 $ U $ に対して $ SL(U) $ に埋め込まれることを示す。
• バンドルのランク $ k $ についての帰納法と、対称性群のLevi分解を用いて、$ S $ がSchwarzenberger束であるか否かのケースを分類する。
• Lie理論と $ SL(2) $ の可解および再帰的部分群の構造を用いて、$ S $ がSchwarzenberger束でない場合、その対称性群はアーベル的かつユニポテンツであることを示す。

実験結果

リサーチクエスチョン

• RQ1 境界形式の多次元行列が $ SL(V_0) \times \cdots \times SL(V_p) $ の作用の下でいつ安定するか、またその不安定性はどのように特徴づけられるか？
• RQ2 スティーナー束 $ S $ on $ \mathbb{P}^n $ の幾何的性質と同型類が、不安定超平面のスキーム $ W(S) $ によってどのように決定されるか？
• RQ3 スティーナー束 $ S \in \mathcal{S}_{n,k} $ がいつ対数的束 $ \Omega(\log \mathcal{H}) $ と同型になるか？
• RQ4 対称性群 $ \mathrm{Sym}(S)^0 $ の連結成分の構造は何か？また、$ SL(2) $ および束の型とどのように関係するか？
• RQ5 $ SL(V_2) \times \cdots \times SL(V_p) $ の作用がスティーナー束のモジュライ空間に与える離散的不変量は何か？また、それらは $ W(S) $ とどのように関連するか？

主な発見

• スティーナー束 $ S \in \mathcal{S}_{n,k} $ が対数的（すなわち $ \Omega(\log W(S)) $ と同型）であるための必要十分条件は、$ W(S) $ が一般位置に少なくとも $ n+k+1 $ 個の閉点を含むことである。
• もし $ W(S) $ が一般位置に正確に $ n+k+1 $ 個の点を含むならば、$ S \simeq \Omega(\log W(S)) $ であり、Torelli定理が成り立つ：$ S $ は $ W(S) $ によって一意に決定される。
• 任意の閉点部分集合について、不安定超平面のスキーム $ W(S) $ は常に一般位置を満たすという性質があり、これはTorelli型結果を強化する。
• 対称性群 $ \mathrm{Sym}(S)^0 $ の連結成分が $ SL(2) $ に同型であることと、$ S $ がSchwarzenberger束であることとは同値である。そうでない場合は、アーベル的で $ \mathbb{C} $ または $ \mathbb{C}^* $ に同型である。
• 非退化3次テンソルの離散的不変量（$ \mathbb{P}(V_0 \otimes V_1 \otimes V_2) $ に値をとる）は、$ W(S) $ の長さによって定義され、値域 $ \{0, \dots, k_0+2, \infty\} $ を取り、$ SL(V_2) $ の作用で不変である。
• 対称性群 $ \mathrm{Sym}(S)^0 $ は2次元空間 $ U $ に対して $ SL(U) $ に埋め込まれ、$ \mathbb{P}^n \simeq \mathbb{P}(S^n U) $ であり、作用は束の構造と整合的である。