[論文レビュー] Resolutions of homogeneous bundles on P^2

Giorgio Ottaviani, Elena Rubei|ArXiv.org|Jan 28, 2004

Algebraic Geometry and Number Theory参考文献 5被引用数 3

ひとこと要約

本稿は、最小自由分解を通じて、$ℚ^2$ 上の同次ベクトル束の完全分類を提供する。$SL(V)$-表現および $SL(V)$-不変写像がこのような分解に現れる条件を特定し、主要な貢献は、同次束 $E$ に対して最小自由分解 $0 \to A \to B \to E \to 0$ が存在するための必要十分条件を示すものである。その条件は、表現係数上の誘導写像 $M(\alpha)$ が単射であり、対角成分上でゼロであることである。これにより、所定の対称性を持つ単射行列を用いたパラメトライゼーションが可能になる。

ABSTRACT

In this paper we characterize minimal free resolutions of homogeneous bundles on P^2. Besides we study stability and simplicity of homogeneous bundles on P^2 by means of their minimal free resolutions; in particular we give a criterion to see when a homogeneous bundle is simple by means of its minimal free resolution in the case the first bundle of the resolution is irreducible.

研究の動機と目的

• 直接的にパラボリック部分群の表現を用いるのを避けて、$ℚ^2$ 上の同次ベクトル束をその最小自由分解により分類すること。
• このような分解に現れる $SL(V)$-表現 $A_q$, $B_q$ および $SL(V)$-不変写像の特徴を付与すること。
• 所定の対称性を持つ単射行列を用いて、表現係数のパラメトライゼーションを通じて同次ベクトル束をパラメトライズすること。
• クーヴィー表現および Rohmfeld の基準を用いて、正則基本同次ベクトル束の単純性および安定性を調べること。

提案手法

• 最小自由分解の形 $0 \to \bigoplus_q \mathcal{O}(-q) \otimes_{\mathbb{C}} A_q \to \bigoplus_q \mathcal{O}(-q) \otimes_{\mathbb{C}} B_q \to E \to 0$ を用い、ここで $A_q, B_q$ は $SL(V)$-表現である。
• Schur関手とラインバンドル間の $SL(V)$-不変写像 $\gamma$ から係数写像を抽出する写像 $M(\gamma)$ の定義。
• Pieriの公式および Schur関手の性質を用いて、$V$ の対称冪間の $SL(V)$-不変写像の存在および消滅を分析する。
• クーヴィー表現および部分表現の技法を用いて部分束を分析し、半安定性に Rohnfeld の基準を適用する。
• 写像 $\varphi_{\rho,p}$ を用いた具体的な例の構成。これらはスカラー倍を除き一意であり、$\rho \geq p' \geq p$ に対して合成性質 $\varphi_{\rho,p} = \varphi_{\rho,p'} \circ \varphi_{p',p}$ を満たす。
• ファイバーごとの解析および線形従属の議論を用いて、分解写像 $\alpha$ の単射性の必要十分条件として $M(\alpha)$ の単射性を示す。

実験結果

リサーチクエスチョン

• RQ1 同次ベクトル束の最小自由分解に現れる $SL(V)$-表現および $SL(V)$-不変写像はどれか？
• RQ2 分解 $0 \to A \to B \to E \to 0$ が同次束を定義するための、係数写像 $M(\alpha)$ に課される条件は何か？
• RQ3 正則基本同次ベクトル束が $ℚ^2$ 上で単純または安定であるのはいつか？
• RQ4 クーヴィー表現を用いて、部分束を特徴づけ、同次ベクトル束の安定性をテストするにはどうすればよいか？
• RQ5 すべての同次ベクトル束の集合は、所定の対称性を持つ単射行列を用いた表現係数によってパラメトライズ可能か？

主な発見

• 同次ベクトル束 $E$ に対して最小自由分解 $0 \to A \to B \to E \to 0$ が存在するための必要十分条件は、すべての $c \in \mathbb{Z}$, $q, \tilde{p} \in \mathbb{N}$ に対して、$\dim(\bigoplus_{p \geq \tilde{p}} A_{c+p}^{p,q}) \leq \dim(\bigoplus_{\rho > \tilde{p}} B_{c+\rho}^{\rho,q})$ が成り立つことである。
• $SL(V)$-不変写像 $\alpha: A \to B$ が同次ベクトル束の最小自由分解を誘導するための必要十分条件は、すべての $p,q,r$ に対して $M(\alpha_{p,q,r}) = 0$ であり、すべての $q,r$ に対して $M(\alpha_{q,r})$ が単射であることである。
• 写像 $0 \to S^{p,q}V \otimes \mathcal{O}(-s) \xrightarrow{\varphi} S^{p+s,q}V \otimes \mathcal{O} \to E \to 0$ で定義される最も単純な正則基本同次ベクトル束は、$p \geq q$, $s \in \mathbb{N}$ で、$\varphi$ が非ゼロかつ $SL(V)$-不変であるとき、安定である。
• 正則基本同次ベクトル束 $E$ が単純であるための必要十分条件は、分解が $0 \to S^{p,q}V \otimes \mathcal{O}(-s) \xrightarrow{\varphi} W \otimes \mathcal{O} \to E \to 0$ の形をしており、$W \subset S^{p,q}V \otimes S^sV$ が $SL(V)$-部分加群であり、$\varphi$ のすべての成分が非ゼロの $SL(V)$-不変写像であり、かつ $M(\alpha)$-単射性条件を満たしていることである。
• $M(\alpha)$ が単射であることは、元の写像 $\alpha$ が単射であることと同値である。これはファイバーごとの解析および係数の線形従属の議論により示される。
• Pieriの公式および双対性を用いて、$S^{\lambda_1,\dots,\lambda_n}V$ に非ゼロの元 $y$ が存在し、すべての $SL(V)$-不変写像 $\varphi$ に対して $\varphi(y) = 0$ となることが示された。ここで $\varphi$ は形 $S^{\lambda_1,\dots,\lambda_n}V(t) \to S^{\lambda_1+s_1,\dots,\lambda_n+s_n}V(t + s_1 + \cdots + s_n)$ のものであり、$s_2 + \cdots + s_n > 0$ である。