[논문 리뷰] Moduli Spaces of semistable rank 2 co-Higgs bundles over $\mathbb{P}^1 imes \mathbb{P}^1$

Alejandra Vicente Colmenares|arXiv (Cornell University)|2016. 04. 05.

Algebraic Geometry and Number Theory참고 문헌 20인용 수 6

한 줄 요약

이 논문은 $ℝ^1 \times ℝ^1$ 위의 랭크 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$인 경우에만 성립한다. 특정 경우에 대해 명시적인 기하적 기술이 제공되며, $c_1 = -F$, $c_2 = 0$인 경우 랭크 2 안정 co-Higgs 번들의 모듈리 공간과 6차원으로 동형이 되며, 일반적인 $\rho$에 대해 스펙트럴 곡선 대응관계가 존재한다. 이 연구는 co-Higgs 번들 이론을 라만 곡면을 초월하여 복소 표면으로 확장하며, 특히 Enriques–Kodaira 분류의 하단 부분에 해당하는 표면에 초점을 맞춘다.

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$ 값에 대해 이러한 모듈리 공간의 명시적 기하적 기술을 제공하는 것.
• Rayan의 K3 및 일반 유형 표면에 대한 비존재 결과에 따라, 라만 곡면을 초월하여 복소 표면, 특히 Enriques–Kodaira 분류의 하단 부분에 해당하는 표면에서 co-Higgs 번들의 이해를 확장하는 것.
• 특정 분해 유형을 가진 기본 번들의 co-Higgs 번들에 대해 스펙트럴 표면 위의 선다발과의 Hitchin 유형 대응관계를 수립하는 것.

제안 방법

• 표준 극화를 사용하여 $ℝ^1 \times ℝ^1$ 위의 co-Higgs 번들에 대한 반안정성 조건을 정의하고, 대수기하학 및 층 이론적 기법을 통해 차수 조건을 유도한다.
• 존재 정리의 증명은 co-Higgs 필드의 구조와 그 적분 조건인 $\Phi \wedge \Phi = 0$를 분석함으로써 이루어지며, 탄성다발 및 그 대칭곱의 기하학적 성질을 활용한다.
• 명시적 모듈리 공간 기술을 위해 스펙트럴 곡선 기법을 사용하며, Higgs 필드의 행렬식을 통해 $ℝ^1 \times ℝ^1$ 위의 이중 쌍대 덮개인 스펙트럴 표면 $S_\rho$를 구성한다.
• 스펙트럴 사상 $\theta: S_\rho \to \mathbb{P}^1 \times \mathbb{P}^1$을 따라 푸시포워드 및 풀백을 사용하여 스펙트럴 표면 위의 선다발과 co-Higgs 번들 사이의 대응관계를 확립하며, 투영 공식 및 층 코hom올로지 기법을 적용한다.
• $c_1 = -F$, $c_2 = 0$인 경우를 분석하여, 이 모듈리 공간이 $ℝ^1$ 위의 랭크 2 안정 co-Higgs 번들의 알려진 모듈리 공간 $ℝ_{ℝ^1}^{\text{co}}(-1)$과 6차원으로 동형임을 보이며, 4차 스펙트럴 곡선으로의 축소를 통해 분석한다.
• $c_1 = 0$, $c_2 = 0$인 경우, 가능한 기본 번들의 유한한 수의 분류와 그 Higgs 필드를 중심으로 분석하며, 유일하게 반안정 co-Higgs 구조를 가질 수 있는 세 가지 분해된 번들만 존재함을 보인다.

실험 결과

연구 질문

• 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)$는 랭크 2 안정 co-Higgs 번들의 모듈리 공간 $\mathcal{M}_{\mathbb{P}^1}^{\text{co}}(-1)$과 6차원으로 동형이 되는 스무스 다양체이다.
• $c_1 = 0$, $c_2 = 0$인 경우, 반안정 co-Higgs 필드를 지닐 수 있는 분해된 번들로는 $\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$이다.