[논문 리뷰] Generalized theta linear series on moduli spaces of vector bundles on curves

Mihnea Popa|arXiv (Cornell University)|2007. 12. 19.

Algebraic Geometry and Number Theory참고 문헌 57인용 수 22

한 줄 요약

이 논문은 대수적 곡선 위의 벡터(bundle)의 모듈리 공간에서 일반화된 썰라 선형 계열에 대해 조사하며, $SU_X(r)$ 및 $U_X(r,0)$에서의 다중썰라 선형 계열의 기저점 자유성과 매우 치밀성에 대한 효과적인 경계를 집중적으로 다룬다. Quot 스킴, 안정적인 매핑, 그리고 푸리에-무카이 변환을 활용하여 선형 계열을 분석하고, 버린드 벡터(bundle)의 분해 정리를 증명함으로써, $SU_X(r)$ 및 $U_X(r,0)$에서 선형 계열에 대한 최적 경계에 대한 추측에 강력한 증거를 제공한다.

ABSTRACT

This article is based on lecture notes prepared for the August 2006 Cologne Summer School. The first part contains background material and references for beginners. The second (and main) part is a survey of the current status in the theory of pluri-theta linear series and generalized theta divisors on moduli spaces of vector bundles on curves. It emphasizes relatively new techniques employed in the analysis of linear series on these moduli spaces, namely the use of moduli spaces of stable maps for understanding Quot schemes, and the Fourier-Mukai functor in the study of coherent sheaves on abelian varieties. In addition, it briefly describes recent important developments, most significant of which is the proof of the Strange Duality conjecture due to Belkale and Marian-Oprea.

연구 동기 및 목표

• 곡선 위의 벡터(bundle)의 모듈리 공간에서 선형 계열과 일반화된 썰라 초면에 대한 종합적인 서베이를 제공하는 것.
• $SU_X(r)$ 및 $U_X(r,0)$에서 다중썰라 선형 계열의 기저점 자유성과 매우 치밀성에 대한 효과적인 경계를 설정하는 것.
• Quot 스킴, 안정적인 매핑, 그리고 푸리에-무카이 변환과의 이론적 연결을 통해, 자코비안 위의 코herent 층을 분석하는 데 새로운 기법을 제공하는 것.
• 최적 경계에 대한 선형 계열에 대한 추측을 제시하고, 아벨 다양체에 대한 고전적 결과를 확장하는 것.
• 최근 발전, 특히 이상 이중성의 증명과 버린드 공식의 대수기하학적 유도를 강조하여 기존 서베이를 업데이트하고 보완하는 것.

제안 방법

• 안정적인 매핑의 모듈리 공간과 Quot 스킴을 활용하여, 모듈리 공간 위의 코herent 층과 선형 계열을 연구한다.
• 푸리에-무카이 변환을 적용하여 일반화된 썰라 초면에서 유래하는 자코비안 위의 반동일성 벡터(bundle)를 분석한다.
• Quot 스킴 위의 교차 이론을 활용하여 대수기하학적으로 버린드 공식을 유도한다.
• $h$- torsion 점에서의 추적 계산을 통해 버린드 벡터(bundle) $E_{hr,hk}$ 를 단순한 반동일성 벡터(bundle) $W_{r,k,\theta}$ 로 분해하는 방법을 분석한다.
• §6.1의 추상 기준을 적용하여 선형 계열의 명시적 기저점들을 구성함으로써 레이노 도의 예제를 확장한다.
• 주로 편극화된 아벨 다양체 위의 대칭 반동일성 벡터(bundle)의 구조를 활용하여 경계와 추측을 도출한다.

실험 결과

연구 질문

• RQ1 $U_X(r,0)$에서의 선형 계열 $|m\Theta|$ 와 $SU_X(r)$에서의 $|\mathcal{L}^m|$ 에 대해 기저점 자유성과 매우 치밀성에 대한 효과적인 경계는 무엇인가?
• RQ2 버린드 벡터(bundle) $E_{r,m}$ 는 어떻게 분해되며, 이는 일반화된 썰라 선형 계열의 구조에 어떤 함의를 갖는가?
• RQ3 이상 이중성의 동형사상은 푸리에-무카이 변환을 통한 버린드 벡터(bundle)의 분해와 어떻게 조화를 이룰 수 있는가?
• RQ4 $d \neq 0$ 일 때 $U_X(r,d)$ 와 $SU_X(r,d)$ 에서 선형 계열에 대한 최적 경계는 무엇인가?
• RQ5 추측 7.20에서 제안된 경계는 현재의 기법을 사용하여 어느 정도까지 증명되거나 향상될 수 있는가?

주요 결과

• $(r,k)=1$ 이고 $h$ 가 홀수일 때, 버린드 벡터(bundle) $E_{hr,hk}$ 는 $\bigoplus_{\xi} W_{r,k,\xi}^{\oplus m_\xi(r,k)}$ 로 분해되며, 명시적인 중복도 $m_\xi(r,k)$ 는 추적 공식을 통해 계산된다.
• 이 분해는 이상 이중성 동형사상과 호환되나, 사상의 호환성은 아직 확립되지 않았다.
• $W_{r,m}^\vee$ 를 $X$ 의 아벨-자코비 임bedding 에 제한하면, 질량 $m^g$ 와 기울기 $kg/m$ 을 갖는 반안정 벡터(bundle)를 얻으며, $k < m$ 이고 $m \mid g$ 일 때 기저점 조건을 만족한다.
• 레이노 도의 기저점 예제는 $k=1$ 인 경우로 복원되며, 이 구성은 모든 단순한 반동일성 벡터(bundle)로 일반화된다.
• $U_X(r,0)$ 에서 $|m\Theta|$ 가 $m \geq r+1$ 일 때 기저점 자유이고, $m \geq 2r+1$ 일 때 매우 치밀하다는 추측은 버린드 벡터(bundle)와 저랭크 케이스의 증거에 의해 지지된다.
• $SU_X(r)$ 에서 $|\mathcal{L}^m|$ 이 $m \geq r-1$ 일 때 기저점 자유이고, $m \geq 2r+1$ 일 때 매우 치밀하다는 추측이 제안되며, 이는 $U_X(r,0)$ 케이스의 $r+1$ 보다 더 날카로운 경계이다.