[論文レビュー] Non-Abelian Brill-Noether theory and Fano 3-folds

Shigeru Mukai|ArXiv.org|Apr 15, 1997

Algebraic Geometry and Number Theory参考文献 26被引用数 35

ひとこと要約

この論文は、代数的曲線上の固定決定性を持つランク2ベクトルバンドルに対する非アーベル Brill–Noether理論を展開し、古典的 Brill–Noether多様体を一般化するタイプIIおよびタイプIIIの局所を導入する。特定のこのような局所、特に $M_C(2,K,n)$（$n = (g-1)/2$）が、種数7または9のファノ3次元多様体であることを確立し、さらに、曲線 $C$ を含むK3表面が二重モジュライ構成を用いて再構成可能であり、非アーベルアーベル写像が得られることを示している。

ABSTRACT

A Brill-Noether locus is a subscheme of the moduli of bundles E over a curve C defined by requiring E to have a given number of sections, or homomorphisms from another bundle. There are a number of different types, that can be treated by determinantal methods, with symmetry or skewsymmetry arising from Serre duality. They have many beautiful applications to curves, K3 surfaces and Fano 3-folds.

研究の動機と目的

• 曲線上のラインバンドルから安定ランク2ベクトルバンドル（固定決定性付き）への古典的 Brill–Noether理論の一般化を図ること。
• 条件 $\operatorname{hom}(F,E)$ および $h^0(E)$ によって定義されるタイプIIおよびタイプIIIの非アーベル Brill–Noether局所の幾何学的性質を研究すること。
• これらの局所とファノ3次元多様体との関係を確立し、特定の局所が既知の種数を持つファノ3次元多様体そのものであることを示すこと。
• ベクトルバンドルモジュライを用いた二重モジュライ構成により、K3表面を曲線 $C$ から構成することで、非アーベルアーベル写像を構築すること。
• 古典的双対性を非アーベル設定に拡張し、曲線を含むK3表面をその非アーベルモジュライ空間から回復できることを示すこと。

提案手法

• 固定決定性を持つ安定ランク2バンドルのモジュライ空間 $M_C(2,\xi)$ 内で、$\operatorname{hom}(F,E)$ および $h^0(E)$ に関する条件を用いてタイプIIおよびタイプIIIの非アーベル Brill–Noether局所を定義する。
• 行列式形式を用いて局所を記述する：タイプIII局所は、双対バンドル間の歪対称準同型の小行列式の消失によって定義される。
• 局所が、次元 $\geq n+2$ の重み1自動形式空間を持つ $\operatorname{SU}(2)$-表現をパラメトライズすることを特徴づけ、$S_1(\Gamma,\rho)$ を介して自動形式と関連付ける。
• $T = M_C(2,K,n)$ とおくとき、$C \times T$ 上に普遍ベクトルバンドル $\mathcal{E}$ を構成し、$p \times T$ への制限を用いてクラスファイイング写像 $C \to \widehat{T}$ を定義する。
• $g \equiv 3 \mod 4$ のとき、$T = M_C(2,K,n)$ がK3表面であり、その上での決定線分束が種数 $g$ の極小化を誘導することを示し、元の $C$ を含むK3表面と $\widehat{T} = M_T(2,h_{\det},n)$ が同型であることを示し、二重モジュライ双対性を確立する。
• $g \equiv 1 \mod 4$ の場合、ベクトルバンドルに代えて $\mathbb{P}^1$-バンドルを用いることで、$C$ が $T = M_C(2,K,n)$ 上の $\operatorname{SO}(3)$-バンドルのモジュライ空間に埋め込まれることを示す。

実験結果

リサーチクエスチョン

• RQ1 古典的 Brill–Noether理論は、曲線上のラインバンドルに限らず、ベクトルバンドルのモジュライ空間へ一般化可能か？
• RQ2 タイプIIおよびタイプIIIの非アーベル Brill–Noether局所はファノ3次元多様体を生じるか？ もしそうなら、どのようなものか？
• RQ3 曲線 $C$ を含むK3表面は、$C$ 上のベクトルバンドルのモジュライ空間を用いた二重モジュライ構成によって再構成可能か？
• RQ4 $n = (g-1)/2$ のとき、局所 $M_C(2,K,n)$ の幾何学的およびコhomオロジカル構造は何か？
• RQ5 非アーベルアーベル写像は、K3表面の文脈において、古典的双対性および導来カテゴリとどのように関係するか？

主な発見

• 種数7の曲線 $C$ に対して、局所 $M_C(2,K,3)$ は種数7のファノ3次元多様体であり、既知のファノ3次元多様体が非アーベル Brill–Noether局所として実現される。
• 種数3の曲線上に安定バンドル $F$ が存在するとき、局所 $M_C(2,K:\!3F)$ は種数9のファノ3次元多様体であり、非アーベル Brill–Noether理論によるファノ3次元多様体の第二の構成法を示している。
• $g \equiv 3 \mod 4$ のとき、局所 $M_C(2,K,n)$（$n = (g-1)/2$）はK3表面であり、その上での決定線分束が種数 $g$ の極小化を誘導し、極小化K3表面としての性質を持つ。
• クラスファイイング写像 $C \to \widehat{T} = M_T(2,h_{\det},n)$ は埋め込みであり、$C$ を含むすべてのK3表面は $\widehat{T}$ と同型である。これは、$C$ が二重モジュライ構成によってその含むK3表面を決定することを示している。
• $g \equiv 1 \mod 4$ の場合、普遍ベクトルバンドル $\mathcal{E}$ は局所的にしか存在しないが、$\mathbb{P}^1$-バンドル $\mathbb{P}(\mathcal{E})$ は存在し、K3表面は $T = M_C(2,K,n)$ 上の $\operatorname{SO}(3)$-バンドルのモジュライ空間として回復可能である。
• $S$ および $\widehat{S}$ 上の両方の coherent sheaves の導来カテゴリは同値であり、$g \geq 7$ のとき、双対性 $S \mapsto \widehat{S}$ は位数2の対合である。これは、古典的K3双対性を非アーベル設定に一般化する。