[논문 리뷰] Globally generated vector bundles with $c_1 = 5$ on $\mathbb{P}^3$

Cristian Anghel, Iustin Coandă외 1명|arXiv (Cornell University)|2018. 05. 29.

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

한 줄 요약

이 논문은 $\mathbb{P}^3$ 상에서 $c_1 = 5$인 전역적으로 생성된 벡터(bundle)를 분류하며, 문제를 $c_1(F) = -1$이고 $2 \leq c_2(F) \leq 4$인 안정적 랭크 3 벡터(bundle) $F$로 줄이며, $F(2)$가 전역적으로 생성됨을 조건으로 한다. 핵심 결과는 $(c_2, c_3) = (12, 0)$ 및 $(13, 5)$를 제외한 모든 경우에 대해 이러한 벡터(bundle)의 완전한 분류를 내놓으며, 명시적인 모나드 기술과 가닥의 구조를 제공한다.

ABSTRACT

We provide a classification of globally generated vector bundles with $c_1 = 5$ on the projective 3-space. The classification is complete (except for one case) but not as detailed as the corresponding classification in the case $c_1 = 4$ from our paper [Memoirs A.M.S., Vol. 253, No. 1209 (2018), also arXiv:1305.3464]. We determine, at least, the pairs of integers $(a , b)$ for which there exist globally generated vector bundles on the projective 3-space with Chern classes $c_1 = 5$, $c_2 = a$, $c_3 = b$ (except for the case $(12 , 0)$ and the complementary case $(13 , 5)$ which remain undecided), we describe the Horrocks monads of these vector bundles and we organize them into several families with irreducible bases. We use some of the results from our paper [arXiv:1502.05553] (for which we give, however, a direct self-contained proof in one of the appendices of the present paper) to reduce the problem to the classification of stable rank 3 vector bundles $F$ with $c_1(F) = -1$, $2 \leq c_2(F) \leq 4$, having the property that $F(2)$ is globally generated. We use, then, the spectrum of such a bundle to get the necessary cohomological information. Some of the constructions appearing in the present paper are used (and reproduced, for the reader's convenience) in another paper of ours [arXiv:1711.06060] in which we provide an alternative to Chang and Ran's proof of the unirationality of the moduli spaces of curves of degree at most 13 from [Invent. Math. 76 (1984), 41--54].

연구 동기 및 목표

• 표준적 코homological 소멸 조건과 안정성 가정 하에 $\mathbb{P}^3$ 상에서 $c_1 = 5$인 전역적으로 생성된 벡터(bundle)를 분류하는 것.
• 분류 문제를 $c_1(F) = -1$이고 $2 \leq c_2(F) \leq 4$인 안정적 랭크 3 벡터(bundle) $F$로 줄이며, $F(2)$가 전역적으로 생성됨을 조건으로 하는 것.
• 이러한 벡터(bundle)가 존재하는 모든 $(c_2, c_3)$ 쌍을 특정하지만, $(12, 0)$ 및 $(13, 5)$의 경우를 제외하는 것.
• 이 벡터(bundle)의 Horrocks 모나드를 기술하고, 기저가 기약인 가닥으로 조직하는 것.

제안 방법

• $r-3$개의 일반적인 전역 섹션을 통한 축소를 통해 랭크-$r$ 벡터(bundle)를 랭크 3 벡터(bundle) $E'$로 줄이며, 이후 정규화하여 $F := E'(-2)$로 정의하고 $c_1(F) = -1$이 되도록 하는 것.
• Okonek, Spindler, Coandă가 개발한 안정적 랭크 3 벡터(bundle)의 스펙트럼에서 유도된 코homological 자료를 적용하는 것.
• Serre의 확장 방법과 인스턴턴 및 연관 이론에 관한 보조 결과를 활용하여 벡터(bundle)의 구조를 분석하는 것.
• Horrocks 모나드 구성 방법을 사용하여 벡터(bundle)의 코homological 및 기하학적 성질을 기술하는 것.
• 연관 곡선의 이상층의 모나드 구조를 유도하기 위해 liaison 하에 대한 Ferrand의 결과를 적용하는 것.
• 부록에서 $\mathrm{H}^0(E(-2)) \neq 0$인 벡터(bundle)의 구조에 관한 핵심 결과에 대해 자가 포함된 증명을 제공하는 것.

실험 결과

연구 질문

• RQ1 인간적으로 분해 불가능한 전역적으로 생성된 벡터(bundle)로서 $c_1 = 5$인 $\mathbb{P}^3$ 상에서의 $c_2$와 $c_3$ 쌍 $(c_2, c_3)$ 중 어떤 것이 나타나는가?
• RQ2 이러한 벡터(bundle)의 Horrocks 모나드의 구조는 무엇이며, 기저가 기약인 가닥으로 어떻게 조직될 수 있는가?
• RQ3 분류 문제는 어떻게 $c_1(F) = -1$이고 $2 \leq c_2(F) \leq 4$이며 $F(2)$가 전역적으로 생성되는 안정적 랭크 3 벡터(bundle) $F$의 연구로 줄일 수 있는가?
• RQ4 $\mathrm{H}^0(E(-2)) = 0$ 조건이 분류를 단순화하는 데 어떤 역할을 하는가?
• RQ5 분류에서 아직 해결되지 않은 경우는 무엇이며, 그 이유는 무엇인가?

주요 결과

• 모든 $(c_2, c_3)$ 쌍에 대해 $c_2 \leq 12$인 경우를 제외하고는 분류가 완전히 이루어졌으며, $(12, 0)$과 그 보완 사례인 $(13, 5)$는 여전히 열려 있다.
• $c_2 = 8$, $c_3 = 0$인 경우, 벡터(bundle)는 $c_1(G) = -1$, $c_2(G) = 2$, $\mathrm{H}^i(G^\vee) = 0$ ($i = 0,1$)인 안정적 랭크 2 벡터(bundle) $G$에 대해 $G(3)$과 동형이다.
• 벡터(bundle)의 Horrocks 모나드는 명시적으로 기술되었으며, 기저가 기약인 가닥으로 조직되었다.
• 논문은 $\mathrm{H}^0(E(-2)) \neq 0$인 벡터(bundle)의 구조에 대해 자가 포함된 증명을 제공하며, 이러한 벡터(bundle)가 분해 가능하거나 $G(3)$과 동형임을 확인한다.
• 분류 결과는 $c_1 = -1$이고 $c_2 \in \{2,3,4\}$인 안정적 랭크 3 벡터(bundle)의 스펙트럼과 $F(2)$가 전역적으로 생성됨을 조건으로 한다.
• 결과는 다른 연구에서 활용되어 데기 수가 13 이하인 곡선의 모듈리 공간의 유리성에 대한 별도의 증명을 제공한다.