[論文レビュー] Semistability criterion for parabolic vector bundles on curves

Indranil Biswas, Ajneet Dhillon|arXiv (Cornell University)|Mar 7, 2011

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

ひとこと要約

この論文は、有理数の重みをもつ曲線上のパラボリックベクトル束について、コhomologyの消滅を用いた半安定性の特徴づけを確立する。パラボリック束が半安定であるための必要十分条件は、その基になるテンソル積のすべての次数におけるコhomologyが消えるような別のパラボリック束が存在することである。主な進展は、先行研究における非標準的な補助束を、より単純で標準的な自明な直線束に置き換えたことである。これにより、通常のベクトル束に対するFaltingsの基準が一般化され、より洗練された形の基準が得られた。

ABSTRACT

We give a cohomological criterion for a parabolic vector bundle on a curve to be semistable. It says that a parabolic vector bundle $E$ with rational parabolic weights is semistable if and only if there is another parabolic vector bundle $F$ with rational parabolic weights such that the cohomologies of the vector bundle underlying the para- bolic tensor product $E \otimes F$ vanish. This criterion generalizes the known semistability criterion of Faltings for vector bundles on curves and significantly improves the result in [Bis07].

研究の動機と目的

• 通常のベクトル束に対するFaltingsのコhomological半安定性基準をパラボリック設定に一般化すること。
• 従来の基準で必要とされていた非標準的な補助パラボリック束を、自明な直線束に置き換えることにより、その必要性を排除すること。
• 有理数のパラボリック重みをもつパラボリックベクトル束の半安定性に対する、より明確で標準的な基準を提供すること。
• パラボリック束の半安定性と、あるパラボリック束とのテンソル積のすべての次数におけるコhomologyの消滅との同値性を確立すること。
• ルートスタックおよびスタック論的技法を用いて、基準を体系的かつ幾何学的に導出すること。

提案手法

• 著者たちは、ルートスタックを用いてパラボリックベクトル束をガロア被覆上のG-線形化されたベクトル束として実現し、スタック論的コhomologicalツールの適用を可能にする。
• 重みが(1/r)ℤに値をとるパラボリック束のテンソルカテゴリを定義し、X上のパラボリック束とX_{D,r}上のベクトル束との間の同値性を確立する。
• Lerayスペクトル系列と、特徴標数0における押し出し写像の完全性を用いて、コhomologyの消滅基準をルートスタックから基底曲線に移行する。
• 商スタック[Y/G]上の半安定G-線形化束がX上の半安定パラボリック束に下方に降下することを、証明の根幹に据える。
• ℙ¹に1つのパラボリック点をもつ場合、基になる束を直線束の直和に分解することで、直接的に結果を証明する。
• 一般の場合では、ガロア被覆Y上のFaltingsの基準を用いて、コhomologyが消えるG-可換束を構成し、それが必要なパラボリック束に下方に降下することを示す。

実験結果

リサーチクエスチョン

• RQ1 有理数のパラボリック重みをもつパラボリックベクトル束のコhomological半安定性基準を、通常のベクトル束に対するFaltingsの基準に一般化できるか？
• RQ2 従来の基準で使われていた非標準的な補助束を、自明な直線束のような標準的なものに置き換えることは可能か？
• RQ3 ルートスタックの理論は、パラボリック束を被覆上のG-可換束に翻訳するのにどのように寄与するか？
• RQ4 パラボリック設定において、テンソル積のコhomologyの消滅が半安定性を保証するための条件は何か？
• RQ5 パラボリック束の半安定性は、その双対パラボリック束が存在して、それらのテンソル積にコhomologyが存在しないことによって、純粋に特徴づけられるか？

主な発見

• 有理数のパラボリック重みをもつ曲線X上のパラボリックベクトル束E_*は、H^i(X, (E_* ⊗ F_*)₀) = 0 がすべてのiについて成り立つようなパラボリックベクトル束F_*が存在するとき、かつそのときに限り半安定である。
• 基準における補助束F_*は、自明なパラボリック構造をもつ自明な直線束O_Xとして選べるため、基準が著しく単純化される。
• 証明は、X上のパラボリック束とルートスタックX_{D,r}上のベクトル束との同値性に依存しており、これによりスタック論的コhomologyツールが利用可能になる。
• パラボリック束の半安定性は、ガロア被覆Y → X上のその対応するG-線形化束の半安定性と同値である。
• 特徴標数0におけるπ_*の完全性により、π: X_{D,r} → Xの押し出しに沿ってコhomologyの消滅基準が保たれる。
• 非標準的な補助束に依存しないことにより、従来の基準に比べて、より内因的かつ幾何学的に自然な基準が得られた。