[논문 리뷰] Vector bundles on Symmetric product of curves

D. S. Nagaraj|arXiv (Cornell University)|2017. 02. 17.

Algebraic Geometry and Number Theory참고 문헌 2인용 수 3

한 줄 요약

이 논문은 매끄럽고 사영인 곡선 $C$ 의 대칭적 곱 $C_n$ 에서의 벡터 번들의 성질을 연구하며, $C_n \times C$ 에서의 유니버설 효과적 딜로이드 $\Delta_n \subset C_n \times C$ 를 통한 구조 $\mathcal{F}_n(E)$ 의 구성에 초점을 맞춘다. 이는 $\mathcal{F}_2(L)$ 가 $L = \mathcal{O}_C(\pm x)$ 가 아닐 경우 $C_2$ 에서 안정적임을 보이며, 곡선의 기하학적 종수 $g \geq 2$ 인 안정된 번들에 대해 $\mathcal{F}_n(E_1) \cong \mathcal{F}_n(E_2)$ 이면 $E_1 \cong E_2$ 임을 증명한다. 이 결과는 표면의 Hilbert 스킴으로까지 확장된다.

ABSTRACT

This is a survey article on recent results on vector bundles on symmetric product of non-singular projective curves.

연구 동기 및 목표

• 유니버설 딜로이드를 통한 대칭적 곡선의 곱 위에서 구성된 벡터 번들의 안정성 및 단사성 성질을 조사한다.
• 벡터 번들 $E$ 가 안정적일 경우 $\mathcal{F}_n(E)$ 가 $C_n$ 에서도 안정적인지, 그리고 $\mathcal{F}_n(E_1) \cong \mathcal{F}_n(E_2)$ 이면 $E_1 \cong E_2$ 임을 증명할 수 있는지 확인한다.
• 표면의 Hilbert 스킴에 대해 유사한 구성 방식을 통해 $\mathcal{F}_n(E)$ 의 결과를 일반화한다.
• 안정성과 단사성이 항상 성립하지 않는 반례를 제시하고, 이러한 성질이 성립하는 조건을 규명한다.

제안 방법

• 유니버설 효과적 딜로이드 $\Delta_n \subset C_n \times C$ 에 대해 $\mathcal{F}_n(E) = q_*(p_2^*E|_{\Delta_n})$ 를 구성한다.
• 차수 $n$ 의 유한 사상 $q: \Delta_n \to C_n$ 을 이용해 $\mathcal{F}_n(E)$ 가 랭크 $n \cdot \text{rank}(E)$ 인 벡터 번들임을 보장한다.
• 편재적 야곱션 $x + C_{n-1}$ 을 근거로 기울기 $\mu_H(V) = \text{degree}_H(V)/\text{rank}(V)$ 를 사용해 안정성 분석을 수행한다.
• Riemann-Roch 및 코homological 기법을 적용하여, $p^*\mathcal{O}_{\mathbb{P}^1}(2) \otimes q^*\mathcal{O}_{\mathbb{P}^2}(1)$ 의 절편의 영점의 위치를 통해 $\mathbb{P}^2$ 에서 $\mathcal{F}_2(\mathcal{O}_{\mathbb{P}^1}(m))$ 를 계산한다.
• 이미 알려진 결과들인 [BN1], [BN2], [BP], [BN3] 을 활용하여 기하학적 종수 $g \geq 2$ 인 경우 안정된 번들에 대해 $\mathcal{F}_n$ 의 단사성을 확립한다.
• 표면의 Hilbert 스킴 $\text{Hilb}_n(S)$ 에 대해 $\mathcal{F}_n(E)$ 와 유사하게 $\mathcal{H}_n(E)$ 를 정의함으로써 구성의 일반화를 수행한다.

실험 결과

연구 질문

• RQ1 곡선 $C$ 에서의 벡터 번들 $E$ 가 안정적일 경우, $C_n$ 에서의 $\mathcal{F}_n(E)$ 도 안정적인가?
• RQ2 $C_n$ 에서 $\mathcal{F}_n(E_1) \cong \mathcal{F}_n(E_2)$ 이면, $C$ 에서 $E_1 \cong E_2$ 임이 보장되는가?
• RQ3 어떤 조건에서 $C$ 의 선 번들 $L$ 에 대해 $\mathcal{F}_2(L)$ 가 안정적인가?
• RQ4 $\mathcal{F}_n(E)$ 의 단사성 결과를 표면과 같은 고차원 다양체로 확장할 수 있는가?
• RQ5 Harder-Narasimhan 분해는 $\mathcal{F}_n$ 의 단사성에 어떤 영향을 미치는가?

주요 결과

• $C$ 가 매끄럽고 비자명한 선 번들 $L$ 을 가질 경우, $\mathcal{F}_2(L)$ 는 $C_2$ 에서 반안정적이다.
• $L \cong \mathcal{O}_C(\pm x)$ 인 경우를 제외하고는 $\mathcal{F}_2(L)$ 는 $C_2$ 에서 안정적이다.
• $C = \mathbb{P}^1$ 일 경우, $\mathcal{F}_2(\mathcal{O}_{\mathbb{P}^1}(1)) \cong \mathcal{O}_{\mathbb{P}^2} \oplus \mathcal{O}_{\mathbb{P}^2}$, $\mathcal{F}_2(\mathcal{O}_{\mathbb{P}^1}(-1)) \cong \mathcal{O}_{\mathbb{P}^2}(-1)^{\oplus 2}$, 그리고 $\mathcal{F}_2(\mathcal{O}_{\mathbb{P}^1}) \cong \mathcal{O}_{\mathbb{P}^2} \oplus \mathcal{O}_{\mathbb{P}^2}(-1)$ 이다.
• $\mathbb{P}^1$ 에서 비동형인 번들 $E$ 와 $F$ 가 존재하여, 예를 들어 $\mathcal{O}_{\mathbb{P}^1}^{\oplus 2m}$ 과 $\mathcal{O}_{\mathbb{P}^1}(1)^{\oplus m} \oplus \mathcal{O}_{\mathbb{P}^1}(-1)^{\oplus m}$ 이며, 이 경우 $\mathcal{F}_2(E) \cong \mathcal{F}_2(F)$ 임을 보여, 일반적으로 단사성이 성립하지 않음을 시사한다.
• 기하학적 종수 $g \geq 2$ 인 곡선 $C$ 에서의 안정된 번들 $E_1, E_2$ 에 대해, $C_n$ 에서 $\mathcal{F}_n(E_1) \cong \mathcal{F}_n(E_2)$ 이면 $C$ 에서 $E_1 \cong E_2$ 이다.
• 결과는 표면으로까지 확장된다: $\text{Hilb}_n(S)$ 에서 $\mathcal{H}_n(E_1) \cong \mathcal{H}_n(E_2)$ 이면, $S$ 에서 $E_1 \cong E_2$ 이다.