[논문 리뷰] Rank two globally generated vector bundles with c_1 \leq 5

Ludovica Chiodera, Philippe Ellia|arXiv (Cornell University)|2011. 11. 24.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 18

한 줄 요약

이 논문은 $n \geq 3$ 이고 $c_1 \leq 5$ 인 프로젝티브 공간 $\mathbb{P}^n$ 상의 전역적으로 생성된 랭크 두 벡터 번들의 분류를 수행한다. $n \geq 4$ 인 경우, 이러한 모든 번들은 선다발들의 직합으로 분해된다. $n = 3$ 인 경우, 분해 불가능한 번들은 특정 채르 수 $c_1 \in \{2,4,5\}$, $c_2 \in \{2,5,6,7,8,8,10,12\}$ 에서만 존재하며, $(c_1,c_2) = (5,12)$ 경우는 여전히 미해결 상태이다. 이 분류는 연관 이론과 라이앙스 및 안정성 조건을 통한 코homological 제약 조건에 기반한다.

ABSTRACT

We classify rank two globally generated vector bundles on P^n, n > 2, with c_1 \leq 5. The classification is complete but for one case (n = 3, c_1 = 5, c_2 = 12)

연구 동기 및 목표

• $n \geq 3$ 이고 $c_1 \leq 5$ 인 $\mathbb{P}^n$ 상의 전역적으로 생성된 랭크 두 벡터 번들의 분류를 수행한다.
• 이러한 번들 중에서 분해 불가능한 것들이 존재하는 조건과 그 조건을 규명한다.
• $\mathbb{P}^3$ 에서 $(c_1, c_2) = (5, 12)$ 인 경우의 존재 문제를 해결한다. 이는 아직 미해결 상태이다.
• $n \geq 4$ 인 경우 완전한 분류를 확립하여, 이러한 모든 번들이 반드시 직합이 되어야 한다는 것을 보여준다.
• 일반 섹션의 영점 집합이 되는 곡선의 특성에 대해 연관 이론과 캐논리컬 조건을 통해 기술한다.

제안 방법

• 분해 불가능한 $E$ 에 대해 정확한 세부 $0 \to \mathcal{O} \to E \to \mathcal{I}_C(c_1) \to 0$ 를 사용하며, 여기서 $C$ 는 $\omega_C(4 - c_1) \simeq \mathcal{O}_C$ 를 만족하는 매끄러운 곡선이다.
• 완전 교차를 통해 두 표면의 교차를 이용하여 영점 집합 곡선 $C$ 와 다른 곡선 $Y$ 를 연관 이론으로 연결한다.
• 안정한 번들에 대해 가능한 $c_2$ 값들을 제한하기 위해 Schwarzenberger 조건 $c_2(c_2 + 2) \equiv 0 \pmod{12}$ 을 적용한다.
• 코homological 소멸성과 $\mathcal{I}_C(c_1)$ 의 기본점 자유 조건을 사용하여 존재 조건을 제약한다.
• 서로소 직선 또는 원을 이용한 연관 이론을 통한 예제 구축을 통해 주어진 $c_1, c_2$ 를 갖는 전역적으로 생성된 번들을 생성한다.
• 특히 $c_1 = 5$ 인 경우의 정규화된 번들 및 안정성 분석을 통해 일부 경우에서 비분해된 번들이 존재하지 않음을 배제한다.

실험 결과

연구 질문

• RQ1 $n \geq 4$ 인 경우, $c_1 \leq 5$ 인 전역적으로 생성된 랭크 두 벡터 번들 중에서 분해 불가능한 것이 존재하는가?
• RQ2 $c_1 \leq 5$ 이고 $c_1 = 5$ 인 $\mathbb{P}^3$ 에서, $(c_1, c_2)$ 쌍 중에서 분해 불가능한 전역적으로 생성된 랭크 두 벡터 번들을 지닌 것은 무엇인가?
• RQ3 $\mathbb{P}^3$ 에서 $c_1 = 5$, $c_2 = 12$ 인 전역적으로 생성된 랭크 두 벡터 번들이 존재하는가?
• RQ4 일반 섹션의 영점 집합 곡선 $C$ 에 대한 기하적 제약 조건은 무엇인가?
• RQ5 이러한 번들의 존재 여부는 코homological 또는 연관 이론 기반 기준을 통해 결정될 수 있는가?

주요 결과

• $n \geq 4$ 인 경우, $c_1 \leq 5$ 인 전역적으로 생성된 랭크 두 벡터 번들 모두 두 선다발의 직합으로 분해된다.
• $\mathbb{P}^3$ 에서는 분해 불가능한 전역적으로 생성된 랭크 두 번들들이 $c_1 \in \{2,4,5\}$ 이고 특정한 $c_2$ 값인 $(2,2)$, $(4,5)$, $(4,6)$, $(4,7)$, $(4,8)$, $(5,8)$, $(5,10)$, $(5,12)$ 에서만 존재한다.
• $c_1 = 4$, $c_2 = 8$ 인 경우, 영점 집합 곡선 $C$ 는 기약이거나 두 개의 서로소 매끄러운 원의 분리합집합일 수 있다.
• $c_1 = 5$, $c_2 = 8$ 또는 $10$ 인 경우, 이러한 번들은 $s$ 개의 서로소 직선($s=2,3$) 을 $s$ 개의 서로소 원으로 연관 이론을 통해 구축함으로써 존재함을 보였다.
• $(c_1, c_2) = (5,12)$ 경우는 여전히 해결되지 않았다: degree 13, genus 10 인 곡선 $X$ 에 대해 $\omega_X(-1)$ 이 기본점 자유 조건을 만족하는 것은 확인되었지만, 조건 $h^0(\mathcal{I}_X(5)) \geq 3$ 는 검증되지 못했다.
• Horrocks-Mumford 번들은 $c_1 = 5$, $c_2 = 6$ 인 경우 후보에서 배제되었는데, 이는 전역적으로 생성되지 않기 때문이다. 또한 $c_2 = 4$ 는 Schwarzenberger 조건에 의해 배제된다.