[論文レビュー] Vector Bundles over Elliptic Fibrations

Robert Friedman, John W. Morgan+1 more|ArXiv.org|Sep 26, 1997

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

ひとこと要約

本稿は、2つの補完的技法であるスペクトル被覆と固定バンドルの拡張を用いて、楕円被覆上に安定な正則ベクトルバンドルを構成する。各ファイバー上で決定的が自明であるベクトルバンドルの有効な安定性境界を確立し、$ H_t = H_0 + tf $ という正則な除数に対して、$ t \geq \frac{n^3}{4}c_2(V) $ のとき安定性が成り立つことを示す。ここで $ f $ はファイバー類である。

ABSTRACT

This paper gives various methods for constructing vector bundles over elliptic curves and more generally over families of elliptic curves. We construct universal families over generalized elliptic curves via spectral cover methods and also by extensions, and then give a relative version of the construction in families. We give various examples and make Chern class computations.

研究の動機と目的

• ファイバー上で決定的が自明であるような楕円被覆 $ \pi: Z \to B $ 上の安定な正則ベクトルバンドルを構成すること。
• スペクトル被覆と拡張の2つの構成法を統合し、$ SL_n(\mathbb{C}) $-バンドルのモジュライを理解する包括的な枠組みを構築すること。
• 正則な除数 $ H_t = H_0 + tf $ に対して、このようなバンドルの有効な安定性基準を確立すること、特に $ t \geq \frac{n^3}{4}c_2(V) $ の場合を対象とする。
• ファイバー上の正則半安定バンドルが、$ B $ 上の $ \mathbb{P}^{n-1} $-バンドルの有理的切断に対応することを示し、そのグローバルな性質を特徴づけること。
• 楕円曲線からの結果を、モジュライ空間とスペクトルデータを用いてファミリーに一般化し、$ F $-理論およびカーバイ-ヤウ幾何学への応用を含む。

提案手法

• ファイバー上で決定的が自明な $ SL_n(\mathbb{C}) $-バンドルの $ S $-同値類をパラメトライズする、$ B $ 上の $ \mathbb{P}^{n-1} $-バンドルに同型な粗モジュライ空間 $ \mathcal{M}_{Z/B} \cong \mathbb{P}^{n-1} $-バンドルを構成する。
• スペクトル被覆の構成を用いる：$ Z $ 上のランク $ n $ バンドル $ V $ は、$ T \to B $ への有限被覆上のラインバンドルの押し出しとして得られる。ここで $ T $ は $ V $ に関連するスペクトル被覆である。
• $ \mathbb{P}^{n-1} \times E $ 上のタウトロジカルバンドル $ U $ を、スペクトル被覆 $ T \times E $ 上のピオンカーレラインバンドルの押し出しとして構成し、すべての正則半安定バンドルをファイバーへの制限として実現する。
• 拡張理論を用いる：非分裂拡張 $ 0 \to W_d^\vee \to V \to W_{n-d} \to 0 $ としてバンドルを構成する。ここで $ W_d $ はランク $ d $ で $ \det W_d \cong \mathcal{O}_E(p_0) $ を満たす一意な安定バンドルである。
• このような拡張の空間は $ \mathbb{P}^{n-1} $ に同型であり、モジュライ空間への誘導写像が同型であることを示す。
• ボゴモロフの不等式とホッジ指数定理を適用し、判別式 $ D^2 $ の上限を導出し、安定性の閾値 $ t_0 = \frac{n^3}{4}c_2(V) $ を得る。

実験結果

リサーチクエスチョン

• RQ1 決定的が自明なベクトルバンドルを、楕円被覆上ですべてのファイバーに対して体系的にどのように構成できるか？
• RQ2 バンドルのスペクトル被覆と、変化する正則な除数に対する安定性性質との間にはどのような関係があるか？
• RQ3 ファイバー化された楕円表面上の半安定 $ SL_n(\mathbb{C}) $-バンドルのモジュライ空間は、幾何的構成によって一様に記述可能か？
• RQ4 与えられたバンドル $ V $ に対して $ c_2(V) $ が固定されているとき、$ H_t = H_0 + tf $ が $ H_t $-安定性を保証するための $ t $ の鋭い境界は何か？
• RQ5 拡張理論的構成とスペクトル被覆構成は、$ \mathbb{P}^{n-1} \times E $ 上の普遍バンドルの文脈でどのように関係しているか？

主な発見

• ランク $ n $ のベクトルバンドル $ V $ が楕円被覆 $ Z \to B $ 上に存在し、ファイバー上で決定的が自明で、スペクトル被覆が非可約であるとき、すべての $ t \geq \frac{n^3}{4}c_2(V) $ に対して $ H_t $-安定である。
• ファイバー上で決定的が自明な半安定 $ SL_n(\mathbb{C}) $-バンドルの $ S $-同値類のモジュライ空間 $ \mathcal{M}_{Z/B} $ は、$ B $ 上の $ \mathbb{P}^{n-1} $-バンドルに同型である。
• スペクトル被覆 $ T \times E $ 上のピオンカーレラインバンドルの押し出しとして構成された $ \mathbb{P}^{n-1} \times E $ 上のタウトロジカルバンドル $ U $ は、$ E $ 上のすべての正則半安定バンドルをファイバーへの制限として実現する。
• 拡張理論的構成により、$ \mathbb{P}^{n-1} \times E $ 上に普遍バンドルが得られ、拡張空間からモジュライ空間への誘導写像は同型である。
• ボゴモロフの不等式とホッジ指数定理を用いて、$ D^2 \geq -\frac{n^3}{2}c_2(V) $ の境界が導かれる。この不等式は安定性閾値を証明するために不可欠である。
• 基底 $ B $ が高次元の場合、判別式 $ B(W) $ が整数ではなくコホモロジー類となるため、この方法では有効な境界を得ることができない。ただしランク2の場合を除く。