[논문 리뷰] Unstable hyperplanes for Steiner bundles and multidimensional matrices

Vincenzo Ancona, Giorgio Ottaviani|ArXiv.org|1999. 10. 08.

Advanced Topics in Algebra참고 문헌 10인용 수 40

한 줄 요약

이 논문은 경계 형식을 가진 다차원 행렬과 사영 공간 위의 슈타이너 번들의 사이에 대응 관계를 수립하며, 비퇴화된 행렬(초행렬식이 0이 아닌 행렬)이 안정적인 벡터 번들에 대응됨을 증명한다. 핵심 기여는 토렐리 유형 정리이다: 슈타이너 번들이 로그 번들(특히 슈바르츠젠더 번들)임과 동시에 그 불안정한 초평면의 스킴이 정상 교차(normal crossing) 조건을 만족하는 최소 $ 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) $ 를 이용해 슈타이너 번들이 로그 번들 또는 슈바르츠젠더 번들임을 특성화한다.
• 불안정한 초평면의 스킴 $ W(S) $ 가 번들에 대해 동형 사상으로 유일하게 결정됨을 보여, 슈타이너 번들에 대한 토렐리 유형 정리를 증명한다.
• 비퇴화된 3차 텐서에 대한 이산 불변량을 $ \{0, \dots, k_0+2, \infty\} $ 에 값이 있는 것으로 정의하며, 이는 $ W(S) $ 의 길이와 관련된다.

제안 방법

• 초행렬식 $ \det A \neq 0 $, 행렬 $ M_A $ 의 일정한 랭크, 그리고 층 사상 $ f_A $ 의 전사성 간의 동치 관계를 이용하여 행렬과 벡터 번들 간의 연결을 수립한다.
• 경계 형식을 가진 다차원 행렬 이론을 적용하여 $ \mathcal{O} $, $ \mathcal{O}(1) $, 그리고 벡터 공간 $ W $, $ I $ 를 포함하는 정확한 수열을 통해 슈타이너 번들을 정의한다.
• 불안정한 초평면의 위치로 삼는 스킴 $ W(S) = \{ H \in \mathbb{P}^{n\vee} \mid h^0(S^*|_H) \neq 0 \} $ 를 도입하며, 이는 핵심 불변량이 된다.
• 기본 변환과 일파라미터 부분군을 활용하여 대칭군 $ \mathrm{Sym}(S)^0 $ 을 분석하며, 이가 어떤 2차원 공간 $ U $ 에 대해 $ SL(U) $ 에 임베딩됨을 보여준다.
• _bundle의 랭크인 $ k $ 에 대한 귀납법과 대칭군의 리에 분해를 활용하여, $ S $ 가 또는 아닐 때의 경우를 분류한다.
• 리 이론과 $ SL(2) $ 의 해체 가능 및 재구성 가능 부분군의 구조를 적용하여, $ S $ 가 슈바르츠젠더가 아니면 그 대칭군이 아벨이자 유니포텐트임을 보여준다.

실험 결과

연구 질문

• RQ1 경계 형식을 가진 다차원 행렬이 $ SL(V_0) \times \cdots \times SL(V_p) $ 작용 하에서 언제 안정적이며, 그 불안정성은 무엇으로 특징지어지는가?
• RQ2 불안정한 초평면의 스킴 $ W(S) $ 가 사영 공간 $ \mathbb{P}^n $ 위의 슈타이너 번들 $ 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)) $ 이며, 토렐리 정리가 성립한다: $ S $ 는 $ W(S) $ 에 의해 유일하게 결정된다.
• 모든 닫힌 점의 부분집합에 대해 불안정한 초평면의 스킴 $ W(S) $ 는 항상 정상 교차 조건을 만족한다. 이 성질은 토렐리 유형 결과를 강화한다.
• 불안정한 초평면의 스킴 $ W(S) $ 의 연결 성분이 $ SL(2) $ 와 동형이 되는 것은 $ S $ 가 슈바르츠젠더 번들일 때에만 성립한다. 그 외의 경우, 이 성분은 아벨이면서 $ \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) $ 이고, 이 작용은 번들의 구조와 호환된다.