[論文レビュー] Stability of the Poincaré bundle

V. Balaji, L. Brambila Paz+1 more|ArXiv.org|Jun 15, 1995

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

ひとこと要約

本稿は、滑らかな射影的曲線 $C$（ genus $g \geq 2$）と、ランク $n$ および固定された行列式 $ξ$ の安定なバンドルのモジュライ空間 $M_\xi$ の積上のポアンカレバンドルの安定性を、任意の極化に関して確立する。さらに、そのポアンカレバンドルを含むモジュライ空間の連結成分が、$C$ のジュリアンに同型であることを証明し、代数幾何学におけるモジュライ空間の構造的結果を深く示している。

ABSTRACT

Let $C$ be a nonsingular projective curve of genus $g\ge2$ defined over the complex numbers, and let $M_ξ$ denote the moduli space of stable bundles of rank $n$ and determinant $ξ$ on $C$, where $ξ$ is a line bundle of degree $d$ on $C$ and $n$ and $d$ are coprime. It is shown that the universal bundle $\cu_ξ$ on $C imes M_ξ$ is stable with respect to any polarisation on $C imes M_ξ$. It is shown further that the connected component of the moduli space of $\cu_ξ$ containing $\cu_ξ$ is isomorphic to the Jacobian of $C$.

研究の動機と目的

• $C \times M_\xi$ 上の普遍ポアンカレバンドル $\mathcal{U}_\xi$ が任意の極化に関して安定であることを確立すること。
• ポアンカレバンドル $\mathcal{U}_\xi$ のモジュライ空間の構造を調査すること。
• $\mathcal{U}_\xi$ を含む $\mathcal{U}_\xi$ のモジュライ空間の連結成分を特定すること。
• その連結成分を代数幾何学の古典的対象、特に $C$ のジュリアンと関連付けること。
• 曲線上のベクトルバンドルのモジュライ空間の幾何学における基礎的結果を提供すること。

提案手法

• 特に極化に関して $G$-安定性の概念を用いた、射影的代数多様体上の安定バンドルの理論。
• ファイバー積上の普遍バンドルの安定性の基準を適用し、$n$ と $d$ の互いに素なランクおよび次数の条件を活用する。
• 安定バンドルのモジュライ空間の理論を用い、$n$ と $d$ が互いに素であるとき $M_\xi$ が鋭いモジュライ空間として構成されることを含む。
• ファイバーへの制限および変形における挙動を介して、$C \times M_\xi$ 上の普遍バンドル $\mathcal{U}_\xi$ を分析する。
• $M_\xi$ が次元 $n^2(g-1)+1$ の滑らかで連結な多様体であるという事実を用いて、$\mathcal{U}_\xi$ の幾何を分析する。
• 変形理論および行列式ラインバンドルの理論の結果を応用し、$\mathcal{U}_\xi$ のモジュライ空間の連結成分を研究する。

実験結果

リサーチクエスチョン

• RQ1 $C \times M_\xi$ 上の普遍ポアンカレバンドル $\mathcal{U}_\xi$ は、積多様体上の任意の極化に関して安定か？
• RQ2 $\mathcal{U}_\xi$ のモジュライ空間の連結成分の構造は何か？ その成分は $\mathcal{U}_\xi$ を含む。
• RQ3 その連結成分は曲線 $C$ のジュリアンとどのように関係するか？
• RQ4 $C \times M_\xi$ 上のすべての可能な極化に関して、$\mathcal{U}_\xi$ の安定性は成立するか？
• RQ5 $\mathcal{U}_\xi$ のモジュライ空間は、$C$ のジュリアンなどの古典的代数的対象と関連づけられるか？

主な発見

• $C \times M_\xi$ 上のポアンカレバンドル $\mathcal{U}_\xi$ は、積多様体上の任意の極化に関して安定である。
• $\mathcal{U}_\xi$ を含む $\mathcal{U}_\xi$ のモジュライ空間の連結成分は、曲線 $C$ のジュリアン $J(C)$ に同型である。
• バンドルのランク $n$ と次数 $d$ が互いに素であるという仮定のもとで、この同型が成り立つ。この仮定により、鋭いモジュライ空間 $M_\xi$ の存在が保証される。
• $\mathcal{U}_\xi$ の安定性は、$C \times M_\xi$ 上の極化の選択に依存しない。これは強い構造的結果である。
• この結果は、普遍バンドルがモジュライ空間 $M_\xi$ および曲線 $C$ の幾何から安定性を引き継ぐことを確認し、自然な同型を通じてジュリアンと結びつける。
• 本稿は、$\mathcal{U}_\xi$ のモジュライ的挙動を完全に記述し、そのモジュライ成分が形式的な対象ではなく、よく知られた幾何的多様体であることを示している。