[論文レビュー] A remark on subbundles of symplectic and orthogonal vector bundles over curves

George H. Hitching|ArXiv.org|Jul 19, 2004

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

ひとこと要約

この論文は、複素曲面上のシンプレクティックまたは直交ベクトル bundle のランク $ 2n $ の部分 bundle のランク $ n $ の部分 bundle が等方的であるかどうかを判定する基準を、主部と層の準同型を用いて提示する。等方的であるための必要十分条件として、シンプレクティックな場合は主部が対称、直交的な場合は反対称であることが示され、層写像のグラフを通じた幾何的特徴づけが得られる。

ABSTRACT

We review the notions of symplectic and orthogonal vector bundles over curves, and the connection between principal parts and extensions of vector bundles. We give a criterion for a certain extension of rank 2n to be symplectic or orthogonal. We then describe almost all of its rank n vector subbundles using graphs of sheaf homomorphisms, and give criteria for the isotropy of these subbundles.

研究の動機と目的

• 複素曲線上のシンプレクティックおよび直交ベクトル bundle の等方的部分 bundle を特徴づけること。
• ランク $ 2n $ のシンプレクティックまたは直交 bundle のランク $ n $ の部分 bundle が等方的であるための幾何的基準を提供すること。
• 拡張データから生じる主部の対称性に関する性質と等方的条件を関連させること。
• 得られた結果をシンプレクティック bundle のモジュライ空間および拡張空間に応用すること。

提案手法

• ベクトル bundle の拡張と $ H^1(X, \operatorname{Hom}(F,E)) $ のコホロジー類との対応関係を用い、拡張を主部によってモデル化する。
• 部分 bundle を $ \beta \in \operatorname{Rat}(\operatorname{Hom}(\operatorname{Hom}(E,L), E)) $ の形の層準同型のグラフとして表現し、拡張データと結びつける。
• 部分 bundle を拡張内に含める主部 $ q = p - \overline{\beta} $ を導入する。ここで $ p $ は拡張クラスである。
• 部分 bundle が等方的であるための必要十分条件として、$ q $ がシンプレクティックな場合に対称、直交的な場合に反対称であること、を転置写像とコホロロジー的条件を用いて証明する。
• 拡張クラスを主部によって実現するために、$ \underline{\operatorname{Rat}} $ および $ \underline{\operatorname{Prin}} $ 層のフラスケット性に依拠する。
• シンプレクティックおよび直交の両ケースに適用可能であり、$ \beta $ に対する対称または反対称条件を通じて類似した基準が得られる。

実験結果

リサーチクエスチョン

• RQ1 ランク $ n $ の部分 bundle が、曲線上のランク $ 2n $ のシンプレクティックまたは直交ベクトル bundle に含まれるとき、いつ等方的であるか？
• RQ2 主部と層の準同型を用いて、このような部分 bundle の等方的性をどのように特徴づけられるか？
• RQ3 拡張クラスにどのような条件が満たされると、部分 bundle がラグランジュ的（最大等方的）であるか？
• RQ4 シンプレクティックおよび直交的拡張における、対称または反対称な主部は、部分 bundle の等方的性とどのように関係するか？

主な発見

• ランク $ 2n $ のシンプレクティック bundle $ W $ の部分 bundle $ G \subset W $ が等方的であるための必要十分条件は、関連する主部 $ q $ が対称であることである。
• 直交 bundle の場合、部分 bundle が等方的であるための必要十分条件は、$ q $ が反対称であることである。
• シンプレクティックな場合、等方的条件は $ {}^{t}\beta - \beta = \alpha $ と同値であり、ここで $ \alpha $ は定義される対称形式である。
• この基準はラグランジュ的部分 bundle に限らず、すべてのランク $ n $ の部分 bundle に適用可能であり、$ q $ の対称性による完全な特徴づけが得られる。
• この結果は、特に拡張空間を用いた被覆の構成を通じて、シンプレクティック bundle のモジュライ空間の解析に応用されている。
• $ h^0(X, \operatorname{Hom}(F,E)) = 0 $ の場合でも、この方法は有効であり、拡張 bundle の安定性を保証する。