[논문 리뷰] On the cohomology of rank two vector bundles on P2 and a theorem of Chiantini and Valabrega

Philippe Ellia|arXiv (Cornell University)|2019. 01. 03.

Homotopy and Cohomology in Algebraic Topology참고 문헌 4인용 수 5

한 줄 요약

이 논문은 ℙ² 상의 정규화된 랭크 두 벡터 번들의 분해 조건을 h¹(E(-1)) = 0일 때이고 오직 그 때에만 성립함을 증명하며, ℙ³에서 Chiantini와 Valabrega의 정리에 대응하는 날카로운 코homological 기준을 제시한다. 또한 모든 정수 k에 대해 h¹(E(k)) ≤ h¹(E(-1))임을 증명하고, h¹(E(-1)) ≤ 4인 모든 이러한 번들을 분류하며, Serre의 구성과 코homological 제약 조건을 통해 안정적이고 비안정적인 경우를 식별한다.

ABSTRACT

We show that a normalized rank two vector bundle, E, on P2 splits if and only if h1(E(-1)) = 0. Using this fact we give another proof of a theorem of Chiantini and Valabrega. Finally we describe the normalized bundles with h1(E(-1)) <= 4.

연구 동기 및 목표

• ℙ² 상의 정규화된 랭크 두 벡터 번들의 분해를 위한 코homological 기준을 설정함으로써, ℙ³에서 Chiantini-Valabrega 정리와 유사하게 만들기.
• 모든 정수 k에 대해 h¹(E(k)) ≤ h¹(E(-1))임을 증명하여, E(-1)이 모든 티프트 중에서 최대의 첫 번째 코homology를 가짐을 보임.
• h¹(E(-1)) ≤ 4인 모든 정규화된, 분해 불가능한 랭크 두 벡터 번들을 Serre의 구성과 코homological 불변량을 사용하여 분류함.
• ℙ² 결과로부터 ℙ³에서의 Chiantini-Valabrega 정리를 유도함으로써, 코homological 한계의 보다 광범위한 적용 가능성을 보임.

제안 방법

• 영차원 부분스킴의 아이디얼 층의 확장으로서 분해 불가능한 랭크 두 번들을 실현하기 위해 Serre의 구성 사용.
• Euler 특성 χ(E(k))를 계산하고 h¹(E(k))와 관련지기 위해 Riemann-Roch 정리 적용.
• Grauert-Mülich 정리를 사용해 일반적인 직선에 대한 E의 제약을 분석하여, k ≤ -1일 때 h¹(E(k))가 감소하지 않음을 보임.
• Serre의 대칭성과 안정성 조건을 활용하여, 안정한 번들에 대해 h¹(E(-1)) > 0임을 증명함으로써 분해 기준을 입증함.
• h⁰(E(r)) ≠ 0가 되는 최소 티프트 r을 분석하여 번들을 그들의 영점 스킴 Z와 그 차수 c₂(E(r))에 따라 분류함.
• h¹(E(-1)) ≤ 4인 경우에 대해 H⁰*(E)의 명시적 해체를 구성함. 특히 r = 2이고 deg Z = 6이 이차 곡선에 포함되지 않을 경우를 다룸.

실험 결과

연구 질문

• RQ1 정규화된 랭크 두 벡터 번들 E가 ℙ²에서 분해되는 것은 h¹(E(-1)) = 0일 때이고 오직 그 때에만 성립하는가? 이 조건은 최적의 코homological 조건인가?
• RQ2 모든 ℙ² 상의 정규화된 랭크 두 번들에 대해, 모든 정수 k에 대해 h¹(E(k)) ≤ h¹(E(-1))이라는 코homological 한계를 통일적으로 확립할 수 있는가?
• RQ3 h¹(E(-1)) ≤ 4인 모든 정규화된, 분해 불가능한 랭크 두 벡터 번들의 완전한 분류는 무엇인가?
• RQ4 Chiantini-Valabrega 정리가 ℙ³에서 ℙ² 결과의 결과로 회복될 수 있는가?
• RQ5 h¹(E(-1)) ≤ 4인 번들에 대해 H⁰*(E)의 가능한 해체는 무엇이며, 이는 영점 스킴 Z의 기하학과 어떻게 관련되는가?

주요 결과

• 정규화된 랭크 두 벡터 번들 E가 ℙ²에서 분해되는 것은 h¹(E(-1)) = 0일 때이고 오직 그 때에만 성립하며, 이 조건은 날카로운 조건이다: E = Ω(1)일 때, 모든 k ≠ -1에 대해 h¹(E(k)) = 0이지만, E는 분해 불가능하다.
• 모든 ℙ² 상의 정규화된 랭크 두 번들 E에 대해, 모든 정수 k에 대해 h¹(E(k)) ≤ h¹(E(-1))이 성립하며, 안정한 경우에만 등호가 성립하는 것은 h¹(E(-1)) = 0일 때뿐이다.
• h¹(E(-1)) ≤ 4인 모든 정규화된, 분해 불가능한 번들은 다음과 같이 분류된다: h⁰(E(k)) ≠ 0가 되는 최소 k에 대해 r = min{k | h⁰(E(k)) ≠ 0}로 정의된 영차원 부분스킴 Z의 차수 c₂(E(r))를 갖는다.
• h¹(E(-1)) = 1일 경우, E(r)는 단일 점에서 영이 되며, E는 0 → 𝒪(−b−1) → 𝒪(−a) ⊕ 2𝒪(−b) → E → 0 형태의 해체를 갖는다. 여기서 a ≤ b이다.
• h¹(E(-1)) = 2일 경우, E(r)는 차수 2의 부분스킴에서 영이 되거나, 안정한 경우 c₁ = 0, c₂ = 2, r = 1일 때는 직선에 포함되지 않는 차수 3의 부분스킴에서 영이 된다.
• h¹(E(-1)) ≤ 4인 모든 이러한 번들에 대해 H⁰*(E)의 해체가 완전히 기술되었으며, 특히 r = 2이고 deg Z = 6가 이차 곡선에 포함되지 않을 경우, 0 → 3𝒪(−4) → 4𝒪(−3) → 𝒪_Z → 0 형태의 해체를 갖는다.