[論文レビュー] Moduli Spaces of semistable rank 2 co-Higgs bundles over $\mathbb{P}^1 imes \mathbb{P}^1$

Alejandra Vicente Colmenares|arXiv (Cornell University)|Apr 5, 2016

Algebraic Geometry and Number Theory参考文献 20被引用数 6

ひとこと要約

本稿は、$\mathbb{P}^1 \times \u005c mathbb{P}^1$ 上のランク 2 の半安定な co-Higgs バンドルのモジュライ空間の空でないための必要十分条件を確立する。標準的極化に関して、このようなモジュライ空間が空でないのは、$\alpha$ と $\beta$ がともに偶数で $2\gamma \geq \alpha\beta$、または両方が奇数で $2\gamma \geq \alpha\beta - 2$ のときである。ここで $c_1 = \alpha C_0 + \beta F$ および $c_2 = \gamma$ である。特定のケースについて明示的な記述が与えられ、$c_1 = -F$, $c_2 = 0$ の場合に $\ mathbb{P}^1$ 上のモジュライ空間への 6 次元の同型が得られ、一般の $\rho$ に対してはスペクトル曲線の対応関係が提示される。本研究は、特に Enriques–Kodaira 分類の下位側に位置する複素曲面への co-Higgs バンドルの研究を拡張する。

ABSTRACT

It has been observed, by S. Rayan, that the complex projective surfaces that potentially admit non-trivial examples of semistable co-Higgs bundles must be found at the lower end of the Enriques-Kodaira classification. Motivated by this remark, it is natural to study the geometry of these objects over $\mathbb{P}^1 imes \mathbb{P}^1$. In this paper, we present necessary and sufficient conditions on the Chern classes $c_1,c_2$ of a bundle that guarantee the non-emptiness of the moduli space $\mathcal{M^{ ext{co}}}(c_1,c_2)$ of rank 2 semistable co-Higgs bundles over $\mathbb{P}^1 imes \mathbb{P}^1$ (we do this with respect to the standard polarization). We also give an explicit description of the moduli spaces for certain choices of $c_1$ and $c_2$.

研究の動機と目的

• ランク 2 の半安定 co-Higgs バンドルのモジュライ空間 $\mathcal{M}^{\text{co}}(c_1, c_2)$ が空でないための、$c_1$ と $c_2$ のチャーン類に関する必要十分条件を特定すること。
• 特定の $c_1$ と $c_2$ の選択に対して、これらのモジュライ空間の明示的な幾何的記述を提供すること。
• K3 表面や一般型の表面に対して Rayan が得た非存在結果に示唆されたように、リーマン面を超えて、Enriques–Kodaira 分類の下位側に位置する複素曲面における co-Higgs バンドルの理解を拡張すること。
• 特定の分解型をもつ底辺バンドルを持つ co-Higgs バンドルと、スペクトル曲面のラインバンドルとの間で、Hitchin 型の対応関係を確立すること。

提案手法

• $\ mathbb{P}^1 \times \u005c mathbb{P}^1$ 上の標準的極化を用いて、co-Higgs バンドルの半安定性を定義し、代数的幾何学および層論的技法を用いてチャーン類に関する条件を導出する。
• 存在定理は、co-Higgs フィールドの構造とその可積分性条件 $\Phi \wedge \Phi = 0$ の分析を通じて証明され、接バンドルおよびその対称冪の幾何を活用する。
• 明示的なモジュライ空間の記述には、スペクトル曲線法が用いられ、Higgs フィールドの行列式を用いて $\ mathbb{P}^1 \times \u005c mathbb{P}^1$ 上の二重被覆としてスペクトル曲面 $S_\rho$ を構成する。
• スペクトル写像 $\theta: S_\rho \to \mathbb{P}^1 \times \mathbb{P}^1$ 沿いの押し出しと引き戻しを用いて、スペクトル曲面上のラインバンドルと co-Higgs バンドルとの間の対応関係を確立する。この際、射影公式と層コホモロジーを用いる。
• 特定のケース $c_1 = -F$, $c_2 = 0$ については、モジュライ空間が既知の $\ mathbb{P}^1$ 上のランク 2 の安定な co-Higgs バンドルのモジュライ空間と同型であることを示し、4 次のスペクトル曲線への還元を用いる。
• $c_1 = 0$, $c_2 = 0$ の場合、可能な底辺バンドルの有限個の分類とそれらの Higgs フィールドの分析を行い、半安定な co-Higgs 構造を持つのは 3 つの分解型バンドルに限ることを示す。

実験結果

リサーチクエスチョン

• RQ1 ランク 2 の半安定 co-Higgs バンドルのモジュライ空間 $\mathcal{M}^{\text{co}}(c_1, c_2)$ が空でないための、$c_1 = \alpha C_0 + \beta F$ および $c_2 = \gamma$ のチャーン類に関する必要十分条件は何か？
• RQ2 特定の $c_1$ と $c_2$、例えば $c_1 = -F$, $c_2 = 0$ の場合に、モジュライ空間 $\mathcal{M}^{\text{co}}(c_1, c_2)$ をどのように明示的に記述できるか？
• RQ3 $c_1 = 0$, $c_2 = 0$ のとき、モジュライ空間の構造はどのようなものか。また、どの分解型バンドルが半安定な co-Higgs フィールドを許容するか？
• RQ4 特定の分解型、例えば $\mathcal{O}(a,m) \oplus \mathcal{O}(b,m)$ を持つ co-Higgs バンドルと、スペクトル曲面上のラインバンドルとの間で、Hitchin 型の対応関係を確立できるか？
• RQ5 一般の $\rho = (\rho_1, 0, 0)$ の場合、スペクトル曲線とその押し出しは、Higgs フィールドと底辺バンドルの分解構造とどのように関係するか？

主な発見

• モジュライ空間 $\mathcal{M}^{\text{co}}(c_1, c_2)$ が非自明な co-Higgs フィールドを持つ非空であるための必要十分条件は、$c_1 = \alpha C_0 + \beta F$, $c_2 = \gamma$ として、$\alpha$ と $\beta$ がともに偶数で $2\gamma \geq \alpha\beta$、または両方が奇数で $2\gamma \geq \alpha\beta - 2$ のときである。
• モジュライ空間 $\mathcal{M}^{\text{co}}(-F, 0)$ は、6 次元の滑らかな多様体であり、$\ mathbb{P}^1$ 上のランク 2 の安定な co-Higgs バンドルで次数 $-1$ のモジュライ空間 $\mathcal{M}_{\mathbb{P}^1}^{\text{co}}(-1)$ に同型である。
• $c_1 = 0$, $c_2 = 0$ の場合、半安定な co-Higgs フィールドを許容するのは 3 つの分解型バンドルに限る：$\mathcal{O} \oplus \mathcal{O}$, $\mathcal{O}(1,0) \oplus \mathcal{O}(-1,0)$, および $\mathcal{O}(0,1) \oplus \mathcal{O}(0,-1)$。
• $\mathcal{O}(1,0) \oplus \mathcal{O}(-1,0)$ 上の Higgs フィールドは自然に $\operatorname{H}^0(\mathcal{O}(4,0))$ でパラメトライズされ、同様に $\mathcal{O}(0,1) \oplus \mathcal{O}(0,-1)$ 上の Higgs フィールドは $\operatorname{H}^0(\mathcal{O}(0,4))$ でパラメトライズされる。
• $\rho = (\rho_1, 0, 0)$ で $\rho_1$ が一般のとき、Hitchin 対応が成立する：スペクトル曲面 $S_\rho = X_{\rho_1} \times \mathbb{P}^1$ 上のラインバンドルは、底辺バンドルが $\mathcal{O}(a,m) \oplus \mathcal{O}(b,m)$ で Higgs フィールド $\Phi = \Phi_1 \in \operatorname{H}^0(\operatorname{End}_0 E \otimes \mathcal{O}(2,0))$ を持つ co-Higgs バンドルに対応する。
• スペクトル曲面 $S_\rho$ は $X_{\rho_1} \times \mathbb{P}^1$ に分解され、ここで $X_{\rho_1}$ は楕円曲線であり、射影 $\theta: S_\rho \to \mathbb{P}^1 \times \mathbb{P}^1$ は $\pi \times \operatorname{Id}_{\mathbb{P}^1}$ で与えられ、$\pi: X_{\rho_1} \to \mathbb{P}^1$ である。