[论文解读] 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

一句话总结

本文確立了關於 $ℝ^1 \times \u211d^1$ 上秩 2 半穩定共希格斯叢模空間非空的必要與充分條件，針對標準極化。本文證明，此類模空間非空當且僅當 $α$ 和 $β$ 同為偶數且 $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$ 時，模空間與 $ℝ^1$ 上模空間的 6 維微同構；以及針對一般 $ρ$ 的譜曲線對應關係。本研究將共希格斯叢的研究推廣至高維複曲面，特別是恩里克斯–科達伊分類的下端情形。

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$.

研究动机与目标

• 確立 $ℝ^1 \times \u211d^1$ 上秩 2 半穩定共希格斯叢模空間 $\mathcal{M}^{\text{co}}(c_1, c_2)$ 非空的陳類 $c_1$ 與 $c_2$ 必要與充分條件。
• 針對特定 $c_1$ 與 $c_2$ 選取，提供這些模空間的明確幾何描述。
• 將共希格斯叢的理解推廣至黎曼曲面以外的領域，聚焦於恩里克斯–科達伊分類下端的複曲面，此方向受 Rayan 對 K3 與一般型曲面之非存在性結果的啟發。
• 建立譜曲面上線叢與具有特定底叢分裂類型之共希格斯叢之間的希金斯型對應關係。

提出的方法

• 利用 $ℝ^1 \times \u211d^1$ 上的標準極化，定義共希格斯叢的半穩定性，並透過代數幾何與層論技術推導陳類的條件。
• 透過分析共希格斯場的結構及其可積性條件 $\Phi \wedge \Phi = 0$，結合切叢及其對稱冪的幾何性質，證明存在性定理。
• 針對明確的模空間描述，採用譜曲線方法，透過赫格斯場的行列式將譜曲面 $S_\rho$ 建構為 $ℝ^1 \times \u211d^1$ 上的二重覆蓋。
• 透過譜映射 $\theta: S_\rho \to \u211d^1 \times \u211d^1$ 的推前與拉回，結合投影公式與層上同調，建立譜曲面上線叢與共希格斯叢之間的對應關係。
• 針對 $c_1 = -F$、$c_2 = 0$ 的情形，透過將其簡化至四次譜曲線，證明模空間微同構於已知的 $ℝ^1$ 上秩 2 穩定共希格斯叢模空間。
• 針對 $c_1 = 0$、$c_2 = 0$ 的情形，分析所有可能底叢的分類及其赫格斯場，顯示僅有三種分裂叢可容許半穩定共希格斯結構。

实验结果

研究问题

• RQ1 對於 $ℝ^1 \times \u211d^1$ 上秩 2 半穩定共希格斯叢模空間 $\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$ 時，模空間的結構為何？哪些分裂叢可容許半穩定共希格斯場？
• RQ4 能否建立譜曲面上線叢與具有特定分裂類型（如 $\mathcal{O}(a,m) \oplus \mathcal{O}(b,m)$）之共希格斯叢之間的希金斯型對應關係？
• RQ5 針對一般 $ρ = (\rho_1, 0, 0)$，譜曲線及其推前與赫格斯場及底叢分解之間的關係為何？

主要发现

• 模空間 $\mathcal{M}^{\text{co}}(c_1, c_2)$ 含非平凡共希格斯場且非空，當且僅當 $α$ 與 $β$ 同為偶數且 $2\gamma \geq \alpha\beta$，或同為奇數且 $2\gamma \geq \alpha\beta - 2$，其中 $c_1 = \alpha C_0 + \beta F$ 且 $c_2 = \gamma$。
• 模空間 $\mathcal{M}^{\text{co}}(-F, 0)$ 為 6 維光滑代數簇，且微同構於 $ℝ^1$ 上秩 2 穩定共希格斯叢模空間 $\mathcal{M}_{\mathbb{P}^1}^{\text{co}}(-1)$（度數為 $-1$）。
• 當 $c_1 = 0$、$c_2 = 0$ 時，僅有三種分裂叢可容許半穩定共希格斯場：$\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)$ 上的赫格斯場自然由 $\operatorname{H}^0(\mathcal{O}(4,0))$ 參數化，而 $\mathcal{O}(0,1) \oplus \mathcal{O}(0,-1)$ 上的赫格斯場則由 $\operatorname{H}^0(\mathcal{O}(0,4))$ 參數化。
• 當 $\rho = (\rho_1, 0, 0)$ 且 $ρ_1$ 為一般時，存在希金斯對應：譜曲面 $S_\rho = X_{\rho_1} \times \mathbb{P}^1$ 上的線叢對應於底叢為 $\mathcal{O}(a,m) \oplus \mathcal{O}(b,m)$ 且赫格斯場 $\Phi = \Phi_1 \in \operatorname{H}^0(\operatorname{End}_0 E \otimes \mathcal{O}(2,0))$ 的共希格斯叢。
• 譜曲面 $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$。