[논문 리뷰] Remark on a conjecture of Mukai

Arnaud Beauville|ArXiv.org|2006. 10. 17.

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

한 줄 요약

이 논문은 일반 곡선 C 위의 랭크 2 벡터(bundle) E에 대해 Mukai의 추측을 증명한다. 이는 det E = K_C인 경우 μ_E의 곱셈 사상의 단사성을 다루며, h⁰(E) ≤ 6일 때 μ_E가 단사적임을 보인다. 증명은 브릴-노에르 이론과 그레마누언으로의 사상 이미지에 대한 기하적 제약 조건을 사용한다. 랭크 ≤6인 커널 텐서의 존재는 브릴-노에르 일반 곡선에서 선다발 코homology 경계와 모순된다.

ABSTRACT

Let C be a general curve. Mukai asked whether for every stable rank 2 vector bundle E on C with det(E) = K, the multiplication map Sym^2 H^0(C,E) --> H^0(C, Sym^2 E) is injective. We observe that this holds when h^0(E) < 7 .

연구 동기 및 목표

• 일반 곡선에서 det E = K_C인 안정 랭크 2 벡터 번들의 곱셈 사상 μ_E의 단사성에 대한 Mukai의 추측을 증명하기 위해.
• n ≤ 6일 때, 이러한 번들의 모듈리 공간에서의 분할 M_K^n의 매끄러움성과 올바른 codimension을 확립하기 위해.
• 브릴-노에르 이론의 유사성으로 랭크 2 번들의 일반화를 확장하여, 곡선의 종수 g ≤ 9에 대해 추측이 성립함을 보여주기 위해.
• h⁰(E) ≤ 6의 경계가 날카로운지 확인하기 위해, 고종수 곡선에서 h⁰(E) ≥ 7인 반례를 구성함으로써.
• 저랭크 커널 텐서가 그레마누언 GO(2,n)로의 사상 이미지에 가하는 기하적 제약 조건을 분석하기 위해.

제안 방법

• 고종수 곡선에서 모든 부분선다발 L이 대칭 제곱 사상 μ_L의 단사성을 만족하는 조건 (⋆)을 사용하며, 이는 일반적으로 고종수 곡선에서 성립한다.
• μ_E(τ) = 0인 0이 아닌 커널 텐서 τ ∈ S²H⁰(E)의 존재를 가정하고, τ를 절단들의 제곱의 합으로 분해함으로써 랭크 n ≥ 7의 조건을 이끌어냄.
• 절단들에 의해 정의된 사상 φ: P_C(F) → P^{n−1}을 실현하며, 그 이미지는 X₁² + ... + X_n² = 0로 정의되는 매끄러운 쌍곡면 Q에 포함된다.
• 관련된 사상 γ: C → G(2,n)를 올바른 그레마누언 GO(2,n)를 통해 인수분해함. 이는 등방성 2차원 평면을 매개한다.
• n ≤ 6일 때, O_G(1)이 GO(2,n)로 제약될 때 두 개의 전역 생성 선다발의 합으로 분해되며, 이는 K_C의 분해를 이끌어냄.
• 브릴-노에르 이론을 통해 모순을 유도함: 분해는 h⁰(L) ≥ 2 및 deg L ≤ g+1인 선다발 L의 존재를 암시하며, 이는 브릴-노에르 일반 곡선에서 곱셈 사상의 단사성 위반을 야기한다.

실험 결과

연구 질문

• RQ1 h⁰(E) ≤ 6일 때, det E = K_C인 안정 랭크 2 벡터 번들의 곱셈 사상 μ_E: S²H⁰(E) → H⁰(S²E)가 여전히 단사적인가?
• RQ2 n ≤ 6일 때, 이러한 번들의 모듈리 공간 M_K^n이 M에서 codimension ½n(n+1)을 가지며 매끄러운가?
• RQ3 Mukai의 추측은 종수 g ≤ 9인 곡선에 대해 유효한가? 이는 μ_E의 단사성에 의해 유도되는가?
• RQ4 추가 가정 없이도 h⁰(E) ≤ 6의 경계를 향상시킬 수 있는가? 아니면 h⁰(E) ≥ 7에 대한 반례가 존재하는가?
• RQ5 랭크 7인 커널 텐서가 존재할 경우, 올바른 그레마누언 GO(2,n)의 구조와 관련하여 어떤 기하적 장애물이 발생하는가?

주요 결과

• det E = K_C 및 h⁰(E) ≤ 6인 모든 안정 랭크 2 벡터 번들의 경우, 추측이 성립하며 μ_E의 단사성이 입증된다.
• n ≤ 6일 때, 모듈리 공간 M_K^n은 M에서 codimension ½n(n+1)을 가지며 매끄럽다. 이는 브릴-노에르 이론의 일반화된 해석을 확인한다.
• 모든 종수 g ≤ 9인 곡선에 대해 Mukai의 추측이 검증되었으며, h⁰(E) ≤ g/2 + 2의 경계에 따라 이 범위 내에서 h⁰(E) ≤ 6이기 때문이다.
• 각 s ≥ 5에 대해, 종수 g = 2s인 브릴-노에르 일반 곡선 C와 det E = K_C인 안정 번들 E가 존재하며, Ker μ_E는 랭크 7인 텐서를 포함한다.
• h⁰(E) ≤ 6를 초월하여 결과를 확장하는 데서 발생하는 장애는 n ≥ 7일 때 Pic(G(2,n)) → Pic(GO(2,n))가 동형이 되기 때문이며, 이는 분해 증명의 기반을 무너뜨린다.
• 종수 g = 2s 및 h⁰(E) = s+2일 때, μ_E의 커널 차원은 ≥ s−4이며, 구성된 반례에서 모든 0이 아닌 원소는 정확히 랭크 7을 가진다.