[논문 리뷰] A stratification of the moduli space of vector bundles on curves

L. Brambila‐Paz, Herbert Lange|arXiv (Cornell University)|1997. 08. 18.

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

한 줄 요약

이 논문은 매끄러운 프로젝티브 곡선 위의 안정 벡터(bundle)의 모듈리 공간을 정의함으로써 분할을 제안한다. $ s_k(E) = k\cdot \deg E - r\cdot \max \deg F $, 여기서 $ F $ 는 질량 $ k $ 의 부분_bundle를 뜻한다. $ g \geq \frac{r+1}{2} $ 일 때, $ \mathcal{M}^0(r,d,k,s) $ 분할이 비어 있지 않음을 증명하고, 그 차원을 명시적으로 계산한다. 이는 $ s $ 가 $ k(r-k)(g-1) $ 이하이냐 이상이냐에 따라 달라진다.

ABSTRACT

Let $E$ be a vector bundle of rank $r\geq 2$ on a smooth projective curve $C$ of genus $g \geq 2$ over an algebraically closed field $K$ of arbitrary characteristic. For any integer with $1\le k\le r-1$ we define $${\se}_k(E):=k°E-r\max°F.$$ where the maximum is taken over all subbundles $F$ of rank $k$ of $E$. The ${s}_k$ gives a stratification of the moduli space ${\cal M}(r,d)$ of stable vector bundles of rank $r$ and degree on $d$ on $C$ into locally closed subsets ${\calM}(r,d,k,s)$ according to the value of $s$ and $k$. There is a component ${\cal M}^0(r,d,k,s)$ of ${\cal M}(r,d,k,s)$ distinguish by the fact that a general $E\in {\cal M}^0(r,d,k,s)$ admits a stable subbundle $F$ such that $E/F$ is also stable. We prove: {\it For $g\ge \frac{r+1}{2}$ and $0

연구 동기 및 목표

• 매끄러운 프로젝티브 곡선의 곡선의 종수 $ g \geq 2 $ 에서 안정 벡터 번들의 모듈리 공간 $ \mathcal{M}(r,d) $ 의 구조를 이해하는 것.
• 벡터 번들의 최대 부분_bundle 차수를 측정하는 불변량 $ s_k(E) $ 를 기반으로 $ \mathcal{M}(r,d) $ 에 새로운 분할을 정의하고 분석하는 것.
• $ \mathcal{M}^0(r,d,k,s) $ 분할의 비어 있지 않음과 차원을 결정하는 것. 여기서 일반적인 번들이 안정 부분_bundle와 안정 몫을 갖는다.
• $ s $ 가 $ k(r-k)(g-1) $ 와 비교하여 어떤 값인가에 따라 정확한 차원 공식을 유도하는 것.

제안 방법

• 모든 질량 $ k $ 의 부분_bundle $ F $ 를 고려하여 $ s_k(E) = k \cdot \deg E - r \cdot \max \deg F $ 를 정의한다.
• 불변량 $ s_k(E) $ 를 사용하여 $ \mathcal{M}(r,d) $ 를 국소적으로 닫힌 부분집합 $ \mathcal{M}(r,d,k,s) $ 로 분할한다.
• 열린 성분 $ \mathcal{M}^0(r,d,k,s) $ 에 집중한다. 이는 질량 $ k $ 의 안정 부분_bundle $ F $ 를 가지며, 몫 $ E/F $ 도 안정인 번들의 집합이다.
• 특히 임의의 특성의 대수적으로 닫힌 체 위에서 대수기하학과 벡터 번들 이론의 기법을 적용한다.
• 차원 이론과 안정성 조건을 사용하여 $ \mathcal{M}^0(r,d,k,s) $ 의 차원을 두 경우에 대해 계산한다: $ s < k(r-k)(g-1) $ 와 $ s \geq k(r-k)(g-1) $.
• 번들의 질량과 차수, 곡선의 종수 $ g $ 를 사용하여 차원 공식을 도출한다.

실험 결과

연구 질문

• RQ1 $ \mathcal{M}^0(r,d,k,s) $ 분할이 모듈리 공간 $ \mathcal{M}(r,d) $ 에서 비어 있지 않은가? 어떤 $ s $ 값에 대해 비어 있지 않은가?
• RQ2 $ \mathcal{M}^0(r,d,k,s) $ 분할의 차원은 무엇이며, $ s $ 가 $ k(r-k)(g-1) $ 와 비교하여 어떤 값인가에 따라 달라지는가?
• RQ3 $ \mathcal{M}^0(r,d,k,s) $ 의 일반적인 번지가 안정 부분_bundle와 안정 몫을 갖는 조건은 무엇인가?
• RQ4 불변량 $ s_k(E) $ 는 곡선 위의 벡터 번들의 모듈리 공간의 기하학적 구조를 어떻게 반영하는가?

주요 결과

• $ g \geq \frac{r+1}{2} $ 이고 $ 0 < s \leq k(r-k)(g-1) + (r+1) $ 일 때, 분할 $ \mathcal{M}^0(r,d,k,s) $ 는 비어 있지 않다.
• $ s < k(r-k)(g-1) $ 일 때, $ \mathcal{M}^0(r,d,k,s) $ 의 차원은 $ (r^2 + k^2 - rk)(g-1) + s - 1 $ 이다.
• $ s \geq k(r-k)(g-1) $ 일 때, $ \mathcal{M}^0(r,d,k,s) $ 의 차원은 $ r^2(g-1) + 1 $ 이다.
• $ \mathcal{M}^0(r,d,k,s) $ 는 질량 $ k $ 의 안정 부분_bundle $ F $ 가 존재하고, $ E/F $ 도 안정인 조건으로 특징지어진다.
• $ s_k(E) $ 는 $ k $ 와 $ s $ 를 인덱스로 하는 국소적으로 닫힌 부분집합으로 $ \mathcal{M}(r,d) $ 를 잘 정의된 분할을 제공한다.
• 차원 공식은 $ s \equiv kd \mod r $ 조건을 만족할 때 유효하며, 이는 불변량의 정수성을 보장한다.