[논문 리뷰] Birational maps of moduli of Brill-Noether pairs

David C. Butler|ArXiv.org|1997. 05. 07.

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

한 줄 요약

이 논문은 일반 곡선 $ C $, $ \frac{1}{\alpha} \gg 0 $, 및 $ g \geq n^2 - 1 $ 인 조건 하에, $ G_{\alpha}(n,d,n+1) $ 에서 $ G_{\alpha}(1,d,n+1) $ 로의 명시적 비유리 사상( birational map )을 구축한다. 주요 기여는 이중 스펜(span) 구성에 의해 유도되는 비유리 동형사상으로, 질량(rank) $ n $ 이고 $ n+1 $ 개의 절단을 가지는 안정 쌍을 질량 1 이고 $ n+1 $ 개의 절단을 가지는 안정 쌍으로 매핑하며, 이러한 모듈리 공간 간의 비유리 동치성에 관한 보다 광범위한 추측을 지지한다.

ABSTRACT

Let $C$ be a smooth projective irreducible curve of genus $g$. And let $G_α(n,d,l)$ be the moduli space of $α$ stable pairs of a vector bundle of $ ank n, °d$ and a subspace of $H^0(C,E)$ of $\dim = l $. We find an explicit birational map from $G_α (n, d, n+1)$ to $G_α (1, d, n+1)$ for $C$ general, $1/α\gg 0$ and $g \ge n^2-1$. Because of this and other examples, we conjecture $G_α (a, d, a+z)$ maps birationally to $G_α (z, d, a+z)$ for $1/ α\gg 0$ and $C$ general with $g>2$.

연구 동기 및 목표

• 다른 질량이지만 동일한 절단 수를 가지는 브릴리-노에르 쌍의 모듈리 공간 간 비유리 동형사상 수립.
• 일반 곡선 및 작은 $ \alpha $ 에 대해 $ G_{\alpha}(a,d,a+z) $ 가 $ G_{\alpha}(z,d,a+z) $ 와 비유리 동치인지 조사.
• 이중 스펜 구성에서의 안정성 문제를 $ \alpha $-안정 쌍과 일반 곡선으로 제한함으로써 해결.
• 고정된 절단 차원을 가진 $ \alpha $-안정 쌍의 설정으로 기존의 브릴리-노에르 위치에 대한 결과를 확장.

제안 방법

• 이중 스펜 사상 사용: $ V \subseteq H^0(C,E) $ 인 쌍 $ (E,V) $ 에 대해, 평가 사상 $ V \otimes \mathcal{O}_C \to E $ 의 핵으로 $ M_V $ 를 구성하고, $ (M_V^*, V^*) $ 로 매핑.
• $ \alpha $-안정성 조건을 적용하며, $ \frac{1}{\alpha} \gg 0 $ 이므로 일반 조건 하에 $ (E,V) $ 의 $ \alpha $-안정성이 그 이중 스펜의 $ \alpha $-안정성으로 이어진다.
• 이중 스펜 사상이 $ \alpha $-안정 스펜 쌍의 집합인 $ S_\alpha(n,d,n+1) $ 과 $ S_\alpha(1,d,n+1) $ 간의 비유리 대칭 변환으로 기능함을 이용.
• 일반 곡선 및 $ g \geq n^2 - 1 $ 인 경우, 일반 $ \alpha $-안정 쌍이 $ G_\alpha(n,d,n+1) $ 에서 스펜된다는 사실에 기반하여 이중 스펜 구성이 가능함.
• $ d > 4 $ 인 경우 높은 차수의 범렬에 대해 원소 변환(점에서의 원시 변환)을 사용하여 구성의 확장을 도모하고, 모듈리 공간의 비어있지 않음을 증명.
• Lange와 Narasimhan의 원시 변환에 대한 안정성 결과를 적용하여 변환된 범렬이 여전히 $ \alpha $-안정임을 보장.

실험 결과

연구 질문

• RQ1 일반 곡선 및 충분히 작은 $ \alpha $ 에 대해 $ G_{\alpha}(n,d,n+1) $ 와 $ G_{\alpha}(1,d,n+1) $ 간에 비유리 사상이 존재하는가?
• RQ2 이중 스펜 사상이 $ \alpha $-안정 스펜 쌍의 수준에서 언제 동형사상이 되는가?
• RQ3 일반적으로 $ \frac{1}{\alpha} \gg 0 $ 인 경우 $ G_{\alpha}(a,d,a+z) $ 와 $ G_{\alpha}(z,d,a+z) $ 간의 비유리 동치성이 성립하는가?
• RQ4 곡선의 종수와 절단 차원은 모듈리 공간의 비유리 유형을 결정하는 데 어떤 역할을 하는가?
• RQ5 이중 스펜 구성이 불안정성으로 인해 실패하는 경우는 언제이며, 이러한 실패는 어떻게 방지할 수 있는가?

주요 결과

• 일반 곡선 $ C $ 의 종수 $ g \geq n^2 - 1 $ 이고 $ \frac{1}{\alpha} \gg 0 $ 인 조건 하에, 감소된 모듈리 공간 $ S_\alpha(n,d,n+1)_{\text{red}} $ 과 $ S_\alpha(1,d,n+1)_{\text{red}} $ 간에 비유리 동형사상이 존재한다.
• 제시된 조건 하에 이중 스펜 사상은 $ G_{\alpha}(n,d,n+1) $ 와 $ G_{\alpha}(1,d,n+1) $ 간의 비유리 동치성을 유도하며, 역 사상은 평가 시퀀스의 핵의 쌍대화에 의해 주어진다.
• 이 성공은 일반 $ \alpha $-안정 쌍이 $ G_\alpha(n,d,n+1) $ 에서 스펜되어 있기에 이중 스펜 사상이 밀도가 높은 열린 부분집합에서 잘 정의되고 역으로 가능함을 보장하기 때문이다.
• 특히 $ n=2 $ 인 경우, $ W^3_{2,d} $ 의 알려진 기하학적 기하학적 성질(기하학적 기하학적 성질)인 기하학적 기하학적 성질(기하학적 기하학적 성질)에 기반해 더 강력한 동형사상 진술이 가능하다.
• 원소 변환(원시 변환)을 사용하여 $ d \geq 5 $ 인 경우 $ G_\alpha(2,d,3) $ 가 비어있지 않음을 보이고, 주요 정리의 차원 계산이 적용 가능하다.
• 논문은 $ \rho(g,n,n,d) < 0 $ 이면 $ W^n_{n,d} = \emptyset $ 임을 증명하여, 일반 곡선 가정 하에 특정 브릴리-노에르 위치의 비존재 결과를 제시한다.