[论文解读] Unstable hyperplanes for Steiner bundles and multidimensional matrices

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

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

一句话总结

本文建立了边界格式多维矩阵与射影空间上Steiner丛之间的对应关系，证明了非退化矩阵（超行列式非零）对应于稳定向量丛。关键贡献是一个Torelli型定理：当且仅当不稳定超平面的概形包含至少 $ n+k+1 $ 个处于一般位置的点时，Steiner丛为对数丛（具体而言，为Schwarzenberger丛），且此类丛由该概形唯一确定。

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 $ 上Steiner丛的模空间，特别是其对称群与几何性质。
• 利用不稳定超平面的概形 $ W(S) $，刻画Steiner丛为对数丛或Schwarzenberger丛的条件。
• 通过证明不稳定超平面的概形 $ W(S) $ 唯一确定丛的同构类，建立Steiner丛的Torelli型定理。
• 为取值于 $ \{0, \dots, k_0+2, \infty\} $ 的非退化3阶张量建立一个离散不变量，该不变量与 $ W(S) $ 的长度相关。

提出的方法

• 利用超行列式非零 $ \det A \neq 0 $、矩阵 $ M_A $ 的常秩以及层态射 $ f_A $ 的满射性之间的等价性，将矩阵与向量丛联系起来。
• 应用边界格式多维矩阵的理论，通过涉及 $ \mathcal{O} $、$ \mathcal{O}(1) $ 及向量空间 $ W $、$ I $ 的正合列来定义Steiner丛。
• 引入概形 $ W(S) = \{ H \in \mathbb{P}^{n\vee} \mid h^0(S^*|_H) \neq 0 \} $ 作为不稳定超平面的集合，该概形作为关键不变量。
• 使用初等变换与一维参数子群分析对称群 $ \mathrm{Sym}(S)^0 $，证明其可嵌入某个二维空间 $ U $ 的 $ SL(U) $ 中。
• 对丛的秩 $ k $ 进行归纳，并利用对称群的Levi分解，分类判断 $ S $ 是否为Schwarzenberger丛。
• 应用李理论及 $ SL(2) $ 的可解与半单子群结构，证明若 $ S $ 不是Schwarzenberger丛，则其对称群为阿贝尔且幂零。

实验结果

研究问题

• RQ1 在 $ SL(V_0) \times \cdots \times SL(V_p) $ 作用下，边界格式多维矩阵何时稳定？其不稳定性由何特征刻画？
• RQ2 Steiner丛 $ S $ 在 $ \mathbb{P}^n $ 上的几何结构与同构类如何由其不稳定超平面概形 $ W(S) $ 确定？
• RQ3 在何种条件下，Steiner丛 $ 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) $ 作用下，Steiner丛模空间上产生哪些离散不变量？它们与 $ W(S) $ 有何关联？

主要发现

• 当且仅当 $ W(S) $ 包含至少 $ n+k+1 $ 个处于一般位置的闭点时，Steiner丛 $ S \in \mathcal{S}_{n,k} $ 为对数丛（即同构于 $ \Omega(\log W(S)) $）。
• 若 $ 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}^* $。
• 取值于 $ \{0, \dots, k_0+2, \infty\} $ 的非退化3阶张量的离散不变量，由 $ W(S) $ 的长度定义，且在 $ SL(V_2) $ 作用下保持不变。
• 对称群 $ \mathrm{Sym}(S)^0 $ 可嵌入某个二维空间 $ U $ 的 $ SL(U) $ 中，满足 $ \mathbb{P}^n \simeq \mathbb{P}(S^n U) $，且该作用与丛的结构相容。