[논문 리뷰] Moduli of rank 4 symplectic bundles over a curve of genus 2

George H. Hitching|ArXiv.org|2005. 09. 02.

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

한 줄 요약

이 논문은 종수 2 곡선 위의 계량 4의 단일형식 벡터 다발의 모듈리 공간 $\mathcal{M}_2$ 의 일반적으로 유한한 커버를 구성한다. 이 커버는 랭크 2, 디그리 -1인 다발 $E$ 에 따라 인덱싱된 5차원 사영 공간 $\mathbb{P}^5_E$ 의 가중족을 사용한다. 핵심 결과는 이 커버의 차수(도수)가 24임을 보여주며, 이는 $\mathcal{M}_2$ 의 기하적 매개변수화를 제공하고, 그로 인해 $\mathcal{M}_2$ 의 코다이라 차원이 $-\infty$ 임을 암시한다. 이 구성은 단일형식 확장과 벡터 다발 위의 단일형식 구조에 대한 코homological 기준에 기반한다.

ABSTRACT

Let X be a complex projective curve which is smooth and irreducible of genus 2. The moduli space M_2 of semistable symplectic vector bundles of rank 4 over X is a variety of dimension 10. After assembling some results on vector bundles of rank 2 and odd degree over X, we construct a generically finite cover of M_2 by a family of 5-dimensional projective spaces, and outline some applications.

연구 동기 및 목표

• 종수 2 곡선 위의 계량 4의 단일형식 다발의 모듈리 공간 $\mathcal{M}_2$ 에 대한 기하적 매개변수화를 구성하는 것.
• 기존에 알려진 $\mathcal{M}_1$ 의 기술(즉, $\mathbb{P}H^1(X, L^{-2})$ 를 통한 기술)을 랭크 4의 경우로 확장하는 것.
• 홀수 디그리의 랭크 2 다발의 단일형식 확장을 분석하여 $\mathcal{M}_2$ 의 구조를 이해하는 것.
• 구축된 커버를 통해 $\mathcal{M}_2$ 가 유니루드이자 코다이라 차원이 $-\infty$ 임을 증명하는 것.
• $\mathcal{M}_2$ 에서의 딜레르티드 라인 번들의 기저 위치와 쟈이오르를 연구하기 위한 프레임워크를 제공하는 것.

제안 방법

• 벡터 다발 확장 $0 \to E \to W \to E^* \to 0$ 이 단일형식 구조를 가질 조건은 그 확장 클래스가 $H^1(X, \mathrm{Sym}^2 E)$ 에 속할 때라는 기준을 사용한다.
• 계량 2, 디그리 -1인 다발들의 모듈리 공간인 $\mathcal{U}_X(2, -1)$ 에 따라 인덱싱된 5차원 사영 공간의 가중족 $\mathbb{P}^5_E \cong \mathbb{P}H^1(X, \mathrm{Sym}^2 E)$ 를 구성한다.
• 단일형식 확장 구성법을 사용하여 이 가중족의 전체 공간 $\mathbb{B}$ 에서 모듈리 공간 $\mathcal{M}_2$ 로의 사상 $\Phi: \mathbb{B} \to \mathcal{M}_2$ 를 정의한다.
• 코homological 및 안정성 추론을 적용하여 사상 $\Phi$ 가 도수 24의 일반적으로 유한한 사상임을 보인다.
• 일반적인 단일형식 다발은 디그리 -1인 라그랑주 부분다발을 유한하게만 가지므로, 이는 유한한 섬기기를 보장한다.
• $\mathbb{B}$ 가 유니루드임과 $\Phi$ 가 전사임을 이용하여 $\mathcal{M}_2$ 도 역시 유니루드이자 코다이라 차원이 $-\infty$ 임을 유추한다.

실험 결과

연구 질문

• RQ1 종수 2 곡선 위의 랭크 4 단일형식 다발의 모듈리 공간 $\mathcal{M}_2$ 는 사영 공간의 가중족을 통해 매개변수화될 수 있는가?
• RQ2 랭크 2 다발의 디그리 -1에 대한 단일형식 확장을 통해 구축된 일반적으로 유한한 커버 $\Phi: \mathbb{B} \to \mathcal{M}_2$ 의 도수는 얼마인가?
• RQ3 이러한 커버의 존재가 $\mathcal{M}_2$ 가 유니루드이자 코다이라 차원이 $-\infty$ 임을 암시하는가?
• RQ4 모듈리 공간 $\mathcal{M}_2$ 에서의 딜레르티드 라인 번들의 기저 위치는 커버링 가중족의 기하학과 어떻게 관련되는가?
• RQ5 이러한 구성은 유사한 단일형식 확장을 고려함으로써, 특히 짝수 종수의 곡선으로 높은 종수의 경우로 일반화될 수 있는가?

주요 결과

• 종수 2 곡선 위의 계량 4의 단일형식 다발의 모듈리 공간 $\mathcal{M}_2$ 는 차원 10인 사영다양체이다.
• 모듈리 공간 $\mathcal{U}_X(2, -1)$ 에 따라 인덱싱된 5차원 사영 공간 $\mathbb{P}^5_E$ 의 가중족에서 유도된 일반적으로 유한한 사상 $\Phi: \mathbb{B} \to \mathcal{M}_2$ 가 존재하며, 이 사상은 일반적으로 도수 24이다.
• 도수 24 는 일반적인 단일형식 다발이 정확히 24개의 서로 다른 디그리 -1 라그랑주 부분다발을 가짐을 반영한다.
• 사상 $\Phi$ 는 전사적이며 일반적으로 유한하며, $\mathbb{B}$ 가 유니루드이므로 $\mathcal{M}_2$ 도 역시 유니루드이자 코다이라 차원이 $-\infty$ 임을 유도한다.
• 이 구성은 $\mathcal{M}_2$ 에서의 딜레르티드 라인 번들의 기저 위치를 연구하는 데 도구를 제공하며, 이는 $4\Theta$ 다발의 지지부와 관련된다.
• 이 방법은 랭크 2 다발의 디그리 $1-g$ 를 고려함으로써, 특히 짝수 종수의 곡선으로의 일반화 가능성을 암시한다.