[論文レビュー] Automorphisms of moduli spaces of vector bundles over a curve

Indranil Biswas, Tomás L. Gómez+1 more|arXiv (Cornell University)|Feb 14, 2012

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

ひとこと要約

本論文は、種数 $ g \geq 4 $ の滑らかな複素射影曲線上の安定ベクトル bundle のモジュライ空間の自己同型群の構造について、簡略化された証明を提供する。自己同型は、曲線の自己同型、線分束によるテンソル積、および $ r \mid 2\deg(\Lambda) $ のときの双対化に起因する。証明は、ヘッケ変換や最小有理曲線を避けて、ヒッチンの特異判別式とノルム的コーンバンドルに依拠する。

ABSTRACT

Let X be an irreducible smooth complex projective curve of genus g at least 4. Let M(r,Λ) be the moduli space of stable vector bundles over X or rank r and fixed determinant Λ, of degree d. We give a new proof of the fact that the automorphism group of M(r,Λ) is generated by automorphisms of the curve X, tensorization with suitable line bundles, and, if r divides 2d, also dualization of vector bundles.

研究の動機と目的

• 種数 $ g \geq 4 $ の曲線 $ X $ 上のランク $ r $、固定決定 $ \Lambda $ の安定ベクトルバンドルのモジュライ空間 $ M(r,\Lambda) $ の自己同型群構造の洗練された証明を提供すること。
• 従来の証明で用いられる複雑な道具（ヘッケ変換や最小有理曲線）に依存しないようにすること。
• ヒッチンの特異判別式とノルム的コーンバンドルの幾何から直接的に自己同型を再構成すること。
• 低種数の場合の特別な取り扱いを避けて、すべての $ g \geq 4 $ に対して一様に結果を拡張すること。
• モジュライ空間が曲線とランクを決定することを示す、トーリの型定理を確立すること。

提案手法

• ヒッチン写像とその判別式（特異なスペクトル曲線の集合）を用いて、モジュライ空間の幾何を分析する。
• ヒッチン判別式からノルム的コーンバンドルを再構成し、これは一般の安定バンドルの自己同型データを符号化する。
• $ \operatorname{End}_0 E $ のリー代数構造を適用して、$ \operatorname{PGL}_r $-バンドルにおける構造群の還元を通じて可能な自己同型を分類する。
• $ 1 \to \mathbb{C}^* \to \operatorname{GL}_r \to \operatorname{PGL}_r \to 1 $ の短完全列を用いて還元を分類し、同型 $ E' \cong E \otimes L $ または $ E' \cong E^\vee \otimes L $ を得る。
• $ \operatorname{Aut}(M(r,\Lambda)) \to \operatorname{Aut}(\overline{M}(r,\Lambda)) $ が同型であることを、滑らかな部分が $ M(r,\Lambda) $ であり、線分束がコhomological同型により拡張可能であることから利用する。
• $ \operatorname{Pic}(M(r,\Lambda)) \cong \mathbb{Z} $ における作用の自明性を活用して、$ M(r,\Lambda) $ の自己同型がコンパクト化されたモジュライ空間へ拡張可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 種数 $ g \geq 4 $ の曲線上の安定ベクトルバンドルのモジュライ空間 $ M(r,\Lambda) $ の完全な自己同型群は何か？
• RQ2 自己同型群は、ヘッケ変換や最小有理曲線に依存せずに記述可能か？
• RQ3 ヒッチンの特異判別式の幾何は、$ M(r,\Lambda) $ の自己同型構造をどのように符号化するか？
• RQ4 どのような条件下で、バンドルの双対化が $ M(r,\Lambda) $ の自己同型として現れるか？
• RQ5 $ M(r,\Lambda) $ は、元の曲線 $ X $ とランク $ r $ をどの程度まで決定するか？

主な発見

• モジュライ空間 $ M(r,\Lambda) $ の自己同型群は、曲線の自己同型 $ \sigma $ による引き戻し、$ L^r \otimes \sigma^*\Lambda \cong \Lambda $ を満たす線分束 $ L $ によるテンソル積、および $ r \mid 2\deg(\Lambda) $ のときの双対化によって生成される。
• 証明は、最小有理曲線やヘッケ変換を避け、ヒッチンの特異判別式とノルム的コーンバンドルに依拠する。
• コンパクト化されたモジュライ空間 $ \overline{M}(r,\Lambda) $ の自己同型群は、$ M(r,\Lambda) $ のそれと一致する。これは、線分束の拡張とコhomological同型による。
• 一般の安定バンドル $ E $ に対して、$ M(r,\Lambda) $ の任意の自己同型は、ある次数条件を満たす $ L $ について、同型 $ E' \cong E \otimes L $ または $ E' \cong E^\vee \otimes L $ を誘導する。
• トーリの型定理が成り立つ：$ M_X(r,\Lambda) \cong M_{X'}(r',\Lambda') $ ならば、$ X \cong X' $ かつ $ r = r' $ である。これは、モジュライ空間が曲線とランクを分類することを示す。
• この結果は、シンプレクティックバンドルのモジュライ空間など、他のモジュライ空間へも一般化可能であり、この手法の広範な適用可能性を示唆している。