[논문 리뷰] On the cohomology ring of the moduli space of rank 2 vector bundles on a curve

Alastair King, P. E. Newstead|ArXiv.org|1995. 02. 16.

Algebraic Geometry and Number Theory인용 수 6

한 줄 요약

이 논문은 복소수 위상수학적 곡선에서 고정된 홀수 차수의 결정성을 가진 안정적 랭크 2 벡터 번들의 모듈리 공간의 유리수 코homology 링을 조사한다. 대수기하학과 불변 이론을 사용하여, 이 논문은 코homology 링의 구조적 공식에 대한 문머드의 추측을 검증하고, 매핑 클래스 군 작용에 대한 불변 부분환은 완전교차환임을 입증하며, 불변 관계의 이상에 대한 그로버 기저를 제공함으로써 자연스러운 단항식 기저를 얻는다.

ABSTRACT

Let $\MS_g$ be the moduli space of stable holomorphic vector bundles of rank 2 and fixed determinant of odd degree over a smooth complex projective curve of genus $g$. This paper proves various properties of the rational cohomology ring $H^*(\MS_g)$. It is shown that the first relation in genus $g$ between the standard generators satisfies a recurrence relation in $g$ and that the invariant subring for the mapping class group is a complete intersection ring. (These two results have been obtained independently by Zagier, Baranovsky and Siebert & Tian.) A Gröbner basis is found for the ideal of invariant relations. A structural formula for $H^*(\MS_g)$ (originally conjectured by Mumford) is verified and a natural monomial basis is given.

연구 동기 및 목표

• 곡선의 종수 g에서 고정된 홀수 차수의 결정성을 가진 안정적 랭크 2 벡터 번들의 모듈리 공간의 유리수 코homology 링을 이해하는 것.
• 코homology 링 H*(M_g)에 대한 문머드의 추측된 구조적 공식을 검증하는 것.
• 매핑 클래스 군 작용에 대한 불변 부분환의 구조를 규명하는 것.
• 코homology 링에서 불변 관계의 이상에 대한 그로버 기저를 계산하는 것.
• 코homology 링 H*(M_g)에 대한 자연스러운 단항식 기저를 구성하는 것.

제안 방법

• 저자들은 안정적 랭크 2 벡터 번들의 모듈리 공간 M_g의 코homology 링을 분석하기 위해 대수기하학 기법을 사용한다.
• 그들은 종수 g에서 표준 생성자들 사이의 첫 번째 관계에 대한 재귀 관계를 확립한다.
• 그들은 불변 이론을 적용하여 매핑 클래스 군 작용에 대해 고정된 부분환은 완전교차환 링임을 보인다.
• 그들은 매핑 클래스 군 작용에 대해 불변인 관계 이상에 대한 그로버 기저를 계산한다.
• 그로버 기저를 사용하여 코homology 링에 대한 단항식 기저를 구성함으로써, 문머드의 추측을 확인한다.

실험 결과

연구 질문

• RQ1 곡선의 종수 g에서 고정된 홀수 차수의 결정성을 가진 랭크 2 벡터 번들의 모듈리 공간에 대한 유리수 코homology 링 H*(M_g)의 구조는 무엇인가?
• RQ2 코homology 링의 표준 생성자들 간의 관계는 어떻게 되며, 종수 g가 증가함에 따라 첫 번째 관계에 재귀가 존재하는가?
• RQ3 매핑 클래스 군 작용에 대한 불변 부분환은 완전교차환 링인가?
• RQ4 문머드가 H*(M_g)에 대해 추측한 구조적 공식은 참인가?
• RQ5 H*(M_g)에 대해 자연스러운 단항식 기저를 명시적으로 구성할 수 있는가?

주요 결과

• H*(M_g)의 표준 생성자들 사이의 첫 번째 관계는 종수 g에 대해 재귀 관계를 만족한다.
• 매핑 클래스 군 작용에 대한 불변 부분환은 완전교차환 링이다.
• 코homology 링에서 불변 관계의 이상에 대한 그로버 기저가 명시적으로 계산되었다.
• 문머드가 원래 추측한 H*(M_g)의 구조적 공식은 올바름이 입증되었다.
• 코homology 링 H*(M_g)에 대해 자연스러운 단항식 기저가 구성되었으며, 이는 그 링이 유한차원적이고 잘 구조화되어 있음을 확인한다.