[논문 리뷰] Vector bundles on curves and theta functions

Arnaud Beauville|ArXiv.org|2005. 02. 09.

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

한 줄 요약

이 논문은 곡선 C 위의 랭크 r인 정 determinant를 가진 벡터(bundle)의 모듈리 공간에서 아벨 다양체 J의 선형계 |rΘ|로의 θ-사상에 대해 연구하며, 이 사상이 결정선다발에 의해 정의되는 자연스러운 사상과 일치함을 규명한다. 주요 기여는 r=2일 때와 g=2,3 또는 C가 일반적인 경우 r=3일 때 θ-사상이 사상임(따라서 유한하고 일반적으로 단사임)을 증명함으로써 오랫동안 남아있던 기저집합과 그 행동에 대한 질문들을 해결한 것이다.

ABSTRACT

This is a (short) survey lecture on the "theta map" from the moduli space of SL_r bundles on a curve C to the projective space of r-th order theta functions on JC . Some recent results and a few open problems about that map are discussed.

연구 동기 및 목표

• 랭크 r인 정 determinant를 가진 벡터(bundle)의 모듈리 공간에서 아벨 다양체 J의 선형계 |rΘ|로의 θ-사상 θ: M_r → |rΘ|의 구조와 성질을 이해하는 것.
• θ-사상이 사상임을 판단하는 것, 즉 기저집합이 공집임을 판단하는 것. 이는 M_r의 기하학을 이해하는 데 핵심적이다.
• 특히 r=2 및 r=3일 때 낮은 랭크와 종수에서의 사상의 행동을 분석하고, 유한성 및 단사성 성질을 확립하는 것.
• θ-다발의 존재와 벡터(bundle)의 안정성 간의 관계를 탐색하며, 이와 고전적 대수기하학 문제와 연관짓는 것.

제안 방법

• M_r 위의 결정선다발 L에 의해 정의되는 사상 φ_L: M_r → |L|*와의 동형사상 |L|* ≅ |rΘ|을 이용해 θ-사상 θ: M_r → |rΘ|를 식별한다.
• 리만-로흐 정리와 코homological 기준을 사용하여, 벡터(bundle) E가 J^{g-1} 내에 θ-다발 Θ_E ⊂ J^{g-1}을 가질 조건를 특성화한다.
• J[r]의 r- torsion 부분군의 작용을 M_r 및 |rΘ|에 적용하여 θ가 J[r]-equivariant임을 보이고, 이를 통해 그 이미지와 섬유 분석에 기여한다.
• 퇴화 기법과 종수 g인 노드를 가진 유리 곡선으로의 환원을 사용하여, r=3 및 일반적인 C일 때 기저집합이 공집임을 증명한다.
• Θ_E ⊃ Θ 조건을 프로젝션 공간 내 선형계에 대한 기하적 조건으로 변환하며, P^5 내에서 교차하는 2-평면의 가중치를 분류한 Morin의 분류를 활용한다.
• Verlinde 공식을 적용하여 θ가 사상일 경우의 차수를 계산하고, 탄성공간 분석을 통해 단사성 여부를 조사한다.

실험 결과

연구 질문

• RQ1 θ-사상 θ: M_r → |rΘ|는 모든 r 및 g에 대해 사상인가, 아니면 특수한 경우에만 그러한가?
• RQ2 M_r 위의 결정선다발의 기저집합은 무엇이며, 언제 공집인가?
• RQ3 비-초타원 곡선에 대해 θ-사상은 일반적으로 단사적인가, 그리고 초타원 곡선에 대해서는 두 개의 원소로 사라지는가?
• RQ4 θ-다발의 존재는 벡터(bundle)의 안정성을 의미하는가?
• RQ5 θ-사상의 차수는 계산되거나 추정될 수 있는가, 특히 높은 종수일 경우에 대해?

주요 결과

• r=2일 때, r=3 및 g=2 또는 3일 때, 그리고 C가 일반적인 경우 r=3일 때, θ-사상 θ: M_r → |rΘ|는 사상임(즉, 기저집합이 공집임)임이 Raynaud에 의해 증명되었다.
• r=3 및 종수 3일 때, θ-사상은 유한 사상이며, P^5 내의 2-평면 가중치의 기하학적 분류를 통해 Θ_E ⊃ Θ를 만족하는 안정 벡터(bundle) E의 전체 목록이 결정되었다.
• θ는 J[r]-equivariant이며, 그 이미지는 J[r]의 작용에 대해 불변하므로, 섬유 및 단사성 분석에 기여한다.
• Θ_E ⊃ Θ 조건은 기하학적으로 P^5 내에서 모두 교차하는 2-평면의 가중치에 대응하며, 이러한 가중치는 Morin에 의해 세 가지 선형형태와 세 가지 기하형태로 분류된다.
• F ∈ M_2일 때 θ의 Θ + Θ_F 위의 섬유가 {O_C ⊕ F}임을 보여, θ가 차수 1일 가능성이 있으나, 단사성은 아직 증명되지 않았다.
• θ의 차수는 g에 따라 지수적으로 증가할 것으로 예상되나, 명시적 공식은 알려져 있지 않으며, Verlinde 공식은 θ가 사상일 경우의 차수를 제공한다.