[논문 리뷰] Holomorphic vector bundles on non-algebraic surfaces

Andrei Teleman, Matei Toma|arXiv (Cornell University)|2002. 01. 24.

Geometry and complex manifolds참고 문헌 7인용 수 5

한 줄 요약

이 논문은 비대수적 표면 위의 헬름홀로픽 벡터 번들의 존재 문제를 해결하며, 비대수적 K3 표면 위의 랭크 2 번들 및 알려진 클래스 VII 표면 위의 임의의 랭크 번들에 대해, 그들의 첫 번째 차우 클래스가 네론-세버리 그룹에 속하고, 그들의 디스크riminant이 m(r,a) 불변량을 포함하는 특정 부등식을 만족할 때에만 헬름홀로픽 구조가 존재함을 증명한다. 증명은 도널드슨 이론, 변형 이론, 4-다양체 위의 인스턴턴 모듈리 공간의 성질을 통합한다.

ABSTRACT

The existence problem for holomorphic structures on vector bundles over non-algebraic surfaces is in general still open. We solve this problem in the case of rank 2 vector bundles over K3 surfaces and in the case of vector bundles of arbitrary rank over all known surfaces of class VII. Our methods, which are based on Donaldson theory and deformation theory, can be used to solve the existence problem of holomorphic vector bundles on further classes of non-algebraic surfaces.

연구 동기 및 목표

• 비대수적 표면 위의 복소 벡터 번들의 헬름홀로픽 구조 존재 문제라는 오랜 열린 문제를 해결하기 위해.
• 비대수적 K3 표면 위의 랭크 2 번들에 대한 헬름홀로픽 구조 존재를 위한 정확한 위상수학적 및 코homological 기준을 설정하기 위해.
• 모든 알려진 클래스 VII 표면(예: b2=0 또는 유리 곡선을 포함하는 표면 포함)에 대해 임의의 랭크 번들에 대한 존재 기준을 확장하기 위해.
• 헬름홀로픽 구조 존재가 위상 불변량(c1, Δ)과 m(r,a) 불변량에 의해 결정됨을 보여주며, 특히 비대수적 표면의 맥락에서 이를 규명하기 위해.
• 클래스 VII 표면에서 일반 헬름홀로픽 구조와 동일한 조건 하에 분해 가능(filtrable) 헬름홀로픽 구조가 존재함을 보이며, 블로운 홉프 표면으로의 변형 이론적 축소를 통해 이를 증명하기 위해.

제안 방법

• PU(2)-번들에 관련된 다항식 불변량 qP(X)의 비영성 분석을 통해 랭크 2 번들 위의 헬름홀로픽 구조 존재를 탐지하는 도널드슨 이론의 활용.
• 특히 아티야 수열과 코homology 군 H^i(X, Σ)을 통한 클래스 VII 표면 위의 벡터 번들 위의 헬름홀로픽 구조 모듈리 공간 분석을 위한 변형 이론의 적용.
• 비대수적 표면에서 비음수인 불변량 m(r,a)의 정의 — NS(X)에 속하는 클래스 a에 대한 유리 분해에 대한 하한(infimum)을 통한 정의.
• 유리 곡선을 포함하는 클래스 VII 표면 위의 존재 문제를, 소수 변형과 P_r 성질의 사용을 통해 블로운 홉프 표면의 경우로 축소하기.
• 블로운 업 과정에서의 차우 클래스의 풀백을 이용하여, 다양한 표면 간에 Δ(E) − m(r, c1(E))를 비교함으로써, 적절한 수정에 대해 이 값이 단조증가함을 증명.
• 클래스 VII 표면에서 H^2(X, End(E)) = 0 과 H^2(X, Θ_X) = 0 이라는 사실을 활용하여 변형 공간의 매끄러움과 변형 사상의 하향성(submersivity)을 보장함.

실험 결과

연구 질문

• RQ1 비대수적 K3 표면 위의 랭크 2 복소 벡터 번들에 대해, 어떤 조건에서 헬름홀로픽 구조가 존재하는가?
• RQ2 모든 알려진 클래스 VII 표면 위의 임의의 랭크 번들에 대해, 헬름홀로픽 구조 존재 여부를 위상 불변량으로 특징지을 수 있는가?
• RQ3 m(r,a) 불변량이 비대수적 표면 위의 헬름홀로픽 구조 존재에 대해 어느 정도 제어하는가?
• RQ4 도널드슨 불변량 qP(X)의 비영성은 랭크 2 번들의 헬름홀로픽 구조 존재와 어떻게 관련되는가?
• RQ5 클래스 VII 표면에서 헬름홀로픽 구조 존재는 분해 가능 헬름홀로픽 구조 존재와 동치인가?

주요 결과

• 비대수적 K3 표면 X 위의 랭크 2 번들 E에 대해, E는 c1(E) ∈ NS(X) 이고 Δ(E) ≥ min(6, m(2, c1(E)))일 때에만 헬름홀로픽 구조를 가진다. 다만 a(X) = 0, Δ(E) = 4, c1(E) ∈ 2NS(X) 인 경우는 헬름홀로픽 구조가 존재하지 않는다.
• 비대수적 K3 표면 위의 랭크 2 번들에 대해, E는 c1(E) ∈ NS(X) 이고 Δ(E) ≥ m(2, c1(E))일 때에만 분해 가능 헬름홀로픽 구조를 가진다.
• 모든 알려진 클래스 VII 표면(예: b2=0 또는 유리 곡선을 포함하는 표면 포함)에서, 랭크 r 번들 E는 c1(E) ∈ NS(X) 이고 Δ(E) ≥ m(r, c1(E))일 때에만 헬름홀로픽 구조를 가진다.
• 클래스 VII 표면에서 헬름홀로픽 구조 존재는 분해 가능 헬름홀로픽 구조 존재와 동치이며, 이는 블로운 홉프 표면으로의 변형과 P_r 성질의 사용을 통해 보여진다.
• 비대수적 표면에 대해 불변량 m(r,a)는 음수가 아닌 정수이며, 주어진 차우 클래스 a에 대해 헬름홀로픽 구조 존재를 위한 최소 디스크림inant를 정량화한다.
• 증명은 Δ(E) − m(r, c1(E))의 값이 적절한 수정에 대해 비감소함을 보이며, 이는 문제를 최소 모델과 기존 사례로 축소하는 데 기여한다.