[논문 리뷰] An ampleness criterion for rank 2 vector bundles on surfaces

Arnaud Beauville|arXiv (Cornell University)|2018. 06. 01.

Geometry and complex manifolds참고 문헌 1인용 수 1

한 줄 요약

이 논문은 매끄럽고 사영적인 표면 위의 전적으로 생성된 랭크 2 벡터(bundle)의 충분성 기준을 수립한다: 네로-세베 군이 벡터 번들의 첫 번째 체른 클래스로 생성되고, 번들이 적어도 네 개의 전역 절단을 가지면, 그 번들은 또는 암묵적으로 선다발과 그 결정의 직합으로 분해된다. 이 결과는 라자르펠트-무카이 번들, P³ 안의 직선의 계열, 그리고 암묵적으로 코탄제이언트 번들이 암묵적인 표면에 적용된다.

ABSTRACT

We observe that the proof of the Bogomolov stable restriction theorem can be adapted to give an ampleness criterion for globally generated rank 2 vector bundles on certain surfaces. This applies to the Lazarsfeld-Mukai bundles, to congruences of lines in P^3, and possibly to the construction of surfaces with ample cotangent bundle (help welcome!).

연구 동기 및 목표

• 매끄럽고 사영적인 표면 위의 전적으로 생성된 랭크 2 벡터 번들의 암묵성에 대한 충분조건을 수립하기 위해.
• 이 기준을 라자르펠트-무카이 번들 및 P³ 안의 직선의 계열과 같은 특수 기하 대상에 적용하기 위해.
• 암묵적인 코탄제이언트 번지를 가진 표면의 새로운 예를 구성할 수 있는지 탐색하기 위해.
• 네로-세베 군과 전적으로 생성 조건이 암묵성 결정에 미치는 역할을 명확히 하기 위해.

제안 방법

• 벡터 번들의 전적으로 생성성과 전역 절단의 4차원 부분공간을 이용하여 자명한 번들에서 벡터 번들로의 전성 사상(-surjection)을 구성하기 위해.
• 핵 번들의 체른 클래스를 분석하고, H¹(det(E)⁻¹)의 소멸 조건 하에서 c₁²(E) > c₂(E)인 보조정리를 적용하기 위해.
• 지제커의 보조정리를 적용하여 E → OC로의 전성 사상이 존재하는 곡선 C를 도출하고, 핵 번들의 필터링을 얻기 위해.
• 보고몰로프의 정리를 사용하여 핵 번들을 선다발과 토션 층의 직합으로 분해하고, 체른 클래스를 분석하여 부등식을 유도하기 위해.
• H¹(det(E)⁻¹)의 소멸 조건을 이용하여 핵 번들의 쌍대가 분해된다는 것을 도출하고, h⁰(E) ≥ 4일 경우 E가 분해 가능하지 않다면 모순을 이끌어내기 위해.
• 특수한 경우에 기준을 적용하기 위해: 라자르펠트-무카이 번들, P³ 안의 직선의 계열, 그리고 표면의 코탄제이언트 번들.

실험 결과

연구 질문

• RQ1 어떤 조건에서 매끄럽고 사영적인 표면 위의 전적으로 생성된 랭크 2 벡터 번들이 암묵적인가?
• RQ2 벡터 번들의 첫 번째 체른 클래스의 구조와 전역 절단의 차원만으로도 랭크 2 번들의 암묵성이 결정될 수 있는가?
• RQ3 N¹(S) = Z·c₁(E) 조건이 암묵성 기준에서 필수적인 역할을 하는가?
• RQ4 이 기준을 사용하여 암묵적인 코탄제이언트 번지를 가진 새로운 표면의 예를 구성할 수 있는가?
• RQ5 벡터 번들이 암묵적이 아니라 OS ⊕ det(E)로 분해된다는 것이 기하학적으로 어떤 의미를 갖는가?

주요 결과

• S가 매끄럽고 사영적인 표면이고, E가 전적으로 생성된 랭크 2 벡터 번들이며, h⁰(E) ≥ 4, N¹(S) = Z·c₁(E)이면, E는 암묵적이거나 OS ⊕ det(E)와 동형이다.
• 핵심 기술 단계는 H¹(S, det(E)⁻¹) = 0 조건 하에서 c₁²(E) > c₂(E)임을 보여주는 보조정리이다.
• 라자르펠트-무카이 번들에 대해서는, H¹(S, OS) = 0, N¹(S) = Z·[C], 그리고 NC ⊗ L⁻¹이 전적으로 생성되고 비자명한 경우에 암묵성 기준이 적용된다.
• P³ 안의 직선의 계열의 경우, S ⊂ G(1,3)가 차수 >1이고 N¹(S)가 OG(1)의 제한에 의해 생성되면, E는 암묵적이므로 S는 기본점이 없다.
• 기준에 따르면, P⁴ 안의 호로크스-맘포드 아벨 표면이 그라스만이안으로 옮겨질 때, 기본점이 없는 표면을 얻는다.
• 코탄제이언트 번지 Ω¹_S에 대해서는, 만약 그것이 전적으로 생성되고, q(S) ≥ 4이며, N¹(S) = Z·[K_S]이면, Ω¹_S는 암묵적이다. 그러나 모든 가정을 만족하는 명시적 예는 아직 알려져 있지 않다.