[論文レビュー] Holomorphic principal bundles over elliptic curves

Robert Friedman, John W. Morgan|ArXiv.org|Nov 22, 1998

Algebraic Geometry and Number Theory参考文献 12被引用数 55

ひとこと要約

この論文は、再帰的代数群 $G$ に対して、楕円曲線上の正則主 $G$-バンドルを分類し、$G = Sp(2n)$ または $SO(2n)$ の場合に、半安定 $G$-バンドルの $S$-同値類のモジュライ空間が射影空間であることを確立している。また、自己同型群やシンプレクティック形式・対称形式の明示的記述も行っている。これらの結果は、アティヤのベクトルバンドル分類を一般化し、F理論コンパクト化における $G$-バンドルの研究の基盤を築く。

ABSTRACT

In this paper, the first of a series of three, we classify holomorphic principal G-bundles over an elliptic curve, where G is a reductive group. We also study the local and global properties of the moduli space of semistable G-bundles. We identify canonical representatives for each S-equivalence class of semistable G-bundles, and study their automorphism groups.

研究の動機と目的

• 再帰的代数群 $G$ に対して、滑らかな楕円曲線 $E$ 上の正則主 $G$-バンドルを分類し、アティヤのベクトルバンドル分類を拡張すること。
• 特にシミプレクティック群および正規直交群に対して、半安定 $G$-バンドルの $S$-同値類のモジュライ空間の構造を確立すること。
• $\mathcal{O}_E(p_0)$ に値をとる非退化な対称形式および交代形式が $G$-バンドルに存在するか、その分類を解析すること。これは自己同型群を理解する上で重要である。
• F理論／ヘテロティック双対性の研究において $G = E_6, E_7, E_8$ が関連することを踏まえ、楕円曲線上の $G$-バンドルを研究することで、基礎的結果を提供すること。
• 特に普遍バンドルの構成に失敗する既存手法の限界を克服するため、後続論文で新しい変形論的アプローチを導入すること。

提案手法

• $G$-バンドルに対して $\mathbb{P}^1$ 上でグロテンディークの構造群のカルタン部分群への還元定理を用い、楕円曲線に適応すること。
• 線分束 $I$ とランク2の分解不能バンドル $W_2(q)$ への分解 $I \otimes W_2(q)$ を用いた正則 $G$-バンドルの分類。
• 固定された形式 $R_0$ を持つ $W_2(q)$ を用い、非退化な双線形形式（対称または交代）の問題を線分束 $I$ 上の形式への還元すること。
• コンフォーマル自己同型群の計算において、$\operatorname{Aut}^{\mathbb{C}^*Q}(V) \cong \mathbb{C}^* \times_{\mathbb{Z}/2\mathbb{Z}} \operatorname{Aut}^{Q_0}(I)$ を用い、$Q_0$ を $I$ 上に誘導される形式とする。
• ナラシムハン＝セシャドリの定理とラマナサンの安定性理論を用い、平坦バンドルと無限小表現との関係を、特に $G = SL_n(\mathbb{C})$ の場合に結びつけること。
• 偶奇性に応じて、対称形式または交代形式を用いて、モジュライ空間を $\mathbb{P}^{(n-1)/2}$ または $\mathbb{P}^{n/2}$ として構成すること。

実験結果

リサーチクエスチョン

• RQ1 再帰的 $G$ に対して、楕円曲線上の半安定 $G$-バンドルの $S$-同値類のモジュライ空間の構造はいかなるものか？
• RQ2 正則 $G$-バンドルが $\mathcal{O}_E(p_0)$ に値をとる非退化な対称形式または交代形式を持つのはいつか？
• RQ3 特にコンフォーマル自己同型に関して、その自己同型群は形式の種別および群 $G$ にどのように依存するか？
• RQ4 このような形式の存在と、$Spin(2n)$ のような中心拡大へのバンドルの引き上げとの関係は何か？
• RQ5 楕円曲線上の $G$-バンドルの分類は、弦理論における F理論／ヘテロティック双対性を理解するためにどのように利用できるか？

主な発見

• $G = Sp(2n)$ の場合、$n$ が奇数のときは $S$-同値類のモジュライ空間が $\mathbb{P}^{(n-1)/2}$ に同型であり、$n$ が偶数のときは $\mathbb{P}^{n/2}$ に同型である。
• $G = SO(2n)$ の場合、$n$ の偶奇に応じてモジュライ空間は $\mathbb{P}^{(n-1)/2}$ または $\mathbb{P}^{n/2}$ に同型であり、$n$ が奇数のときはバンドルが $SO(2n)$ に引き上がらない。
• $q \neq -q$ のとき、$I \otimes W_2(q)$ のスカラーを除いたコンフォーマル自己同型群は $\mathbb{C}^* / \{\pm \operatorname{Id}\}$ に同型である。$q = p_0$ のとき、$\mathbb{C}^* \rtimes \mathbb{Z}/2\mathbb{Z}$ に同型である。
• $q = -q$ だが $q \neq p_0$ のとき、$I \otimes W_2(q)$ の自己同型群はアーベル群であるが、自然なシンプレクティック形式を持つ $W_2(q) \oplus W_2(q)$ の場合、自己同型群は $GL_2(\mathbb{C})$ であり、非アーベル群である。
• 非退化な交代形式が $W_2(q) \oplus W_2(-q)$ に存在するのは、$q = p_0$ かつ $d$ が奇数のとき、または $q = -q$ かつ $d$ が偶数のときに限る。
• $Spin(2n)/({\mathbb{Z}}/2{\mathbb{Z}})$-バンドルのモジュライ空間は重み付き射影空間 $\mathbb{P}(1,1,1,2,2,\dots,2)$ に同型であり、対称形式の場合は非アーベル自己同型構造を示している。