[논문 리뷰] Rational families of vector bundles on curves, I

Ana-Maria Castravet|ArXiv.org|2003. 02. 12.

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

한 줄 요약

이 논문은 종수 g ≥ 2인 곡선 C 위의 랭크 2 안정 벡터(bundle)의 고정된 딜레르민도 1인 경우의 모듈리 공간 M에서의 유리 곡선을 연구한다. 선형 계량의 확장과 스카이스커퍼 층을 이용하여 차수 k인 유리 곡선의 공간에서 두 개의 기약 성분을 식별한다: 일반 곡선이 큰 k에 대해 매우 자유로운 '좋은' 성분과 일반 곡선이 특정 접선(bundle) 분해를 갖는 '거의 좋은' 성분. 두 성분의 최대 유리 연결 분할은 모두 야코비안 J(C)이다.

ABSTRACT

Let C be a smooth complex projective curve of genus at least 2 and let M be the moduli space of rank 2, stable vector bundles on C, with fixed determinant of degree 1. For any k>1, we find two irreducible components of the space of rational curves of degree k on M. One component, which we call the nice component has the property that the general element is a very free curve if k is sufficiently large. The other component has the general element a free curve. Both components have the expected dimension and their maximal rationally connected fibration is the Jacobian of the curve C.

연구 동기 및 목표

• 종수 g ≥ 2인 곡선 위에서 랭크 2 안정 벡터(bundle)의 고정된 딜레르민도 1을 갖는 모듈리 공간 M에서의 차수 k인 유리 곡선의 기약 성분을 분류하는 것.
• 이 성분들의 차원과 기하적 성질(예: 자유성, 매우 자유성 등)을 결정하는 것.
• 각 성분의 최대 유리 연결(MRC) 분할을 식별하고, 이것이 야코비안 J(C)임을 보이는 것.
• 큰 k에 대해 '좋은' 성분의 일반 곡선이 매우 자유로움을 보여, 해당 성분 내에서 강한 유리 연결성을 나타내는 것.

제안 방법

• 홀수 k = 2e + 1일 때, deg(L) = -e인 확장 0 → L → E → L⁻¹⊗ξ → 0을 이용하여 유리 곡선을 구성한다.
• 짝수 k일 때는 D ∈ Sym^e(C)이면서 det(ξ(-D))를 갖는 E에 대해 확장 0 → E → E′ → O_D → 0을 이용한다.
• 프로젝트브 스페이스 P(V_L) 또는 P(V_{D,E})에서 M로의 관련 유리 사상이 코드미니멀 ≥2인 지역을 제외한 곳에서 정의됨을 분석한다.
• 변형 이론과 기본점이 없는 펜슬 기법을 적용하여 행렬식 사상의 상사성(onto)을 증명함으로써 원하는 유리 곡선의 존재를 보장한다.
• 적절히 선택된 선형 계량에 대해 H¹(L⊗M⁻¹(-p)) = 0임을 이용하여 짝수 차수의 경우 행렬식 사상의 상사성을 확보한다.
• 직접 합의 선형 계량을 안정 벡터(bundle)로 변형함으로써 특수화와 성질의 열림을 이용해 일반 경우를 증명한다.

실험 결과

연구 질문

• RQ1 모듈리 공간 M에서의 차수 k인 유리 곡선에 대한 Hom_k(P¹, M)의 기약 성분은 무엇인가요?
• RQ2 이 성분들의 차원은 무엇이며, 기대되는 차원 2k + 3g - 3을 갖는가요?
• RQ3 각 성분의 일반 유리 곡선이 자유 또는 매우 자유가 되는 조건은 무엇인가요?
• RQ4 각 성분의 최대 유리 연결(MRC) 분할은 무엇인가요?
• RQ5 곡선 C의 기하학, 특히 그 야코비안 J(C)는 M 위의 유리 곡선의 구조와 어떻게 관련이 있나요?

주요 결과

• 모든 k ≥ 1에 대해, 기대되는 차원 2k + 3g - 3을 갖는 Hom_k(P¹, M)의 기약 성분 M이 존재하며, 일반 점에서 차단되지 않는다.
• '좋은' 성분 M의 MRC 분할은 M ⇢ J(C)인 유리 사상이며, 종수 2인 경우 k = 2를 제외한 모든 k에 대해 전형적이다.
• 큰 k에 대해 '좋은' 성분의 일반 유리 곡선은 매우 자유로움을 보이며, 이는 해당 성분 내에서 강한 유리 연결성을 나타낸다.
• '거의 좋은' 성분은 f: P¹ → M의 형태를 가지며, 이는 M 위의 직선 위로 k:1 사상이며, f*TM ≅ O^g ⊕ A를 만족한다. 여기서 A는 P¹ 위의 양의 벡터(bundle)이다.
• 종수 2인 경우, M은 P⁵ 내의 두 개의 이차 곡면의 완전 교차이며, 모든 k ≥ 1에 대해 두 성분이 존재하며, 동일한 MRC 분할 J(C)를 갖는다.
• 짝수 차수의 '좋은' 성분에서의 매우 자유성의 한계는 초기의 6g - 6을 초월하여, 홀수 차수의 자유 곡선으로부터의 비가역 곡선의 변형을 통해 향상되었다.