[논문 리뷰] Sur la cohomologie de certains espaces de modules de fibrés vectoriels

Arnaud Beauville|ArXiv.org|1992. 02. 21.

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

한 줄 요약

이 논문은 컴acts Riemann 표면 위의 안정 벡터(bundle)의 모듈리 공간의 유리 코homology 대수가 유니버설 번들의 코homology 성분의 Künneth 성분들에 의해 생성됨을 코homological한 방법으로 간결하게 증명한다. Ellingsrud와 Strømme의 대각선 방법을 사용하고 K-이론에서의 Riemann-Roch 정리를 적용하여, Ext^i가 i ≥ 2일 때 0이 되는 조건 하에 코homology가 대수적임을 입증한다.

ABSTRACT

Let M be a moduli space of stable vector bundles on a curve with rank and degree fixed and coprime. We give a simple proof that the rational cohomology of M is generated by the Kunneth components of the Chern classes of the universal bundle. The proof applies also to some moduli spaces of vector bundles over higher-dimensional varieties.

연구 동기 및 목표

• 안정 벡터 번들의 모듈리 공간의 유리 코homology 대수의 생성을 단순한 코homological한 증명을 제공하는 것.
• A–B의 결과를 일반화하여, 대각선 구성에 기반한 새로운 방법을 통해 코homology 생성자에 대해 논의하는 것.
• 적절한 조건 하에서 모듈리 공간의 코homology가 대수적임을 보여주는 것, 즉 유리 코homology 클래스들이 대수적 사이클에서 유래됨을 의미한다.
• Poincaré 번들의 코homology 성분의 Künneth 성분들에 의해 코homology 대수가 생성됨을 보장하는 일반 기준을 설정하는 것.
• Ext의 소멸 조건 (iii)이 모듈리 공간의 구조에 끼치는 영향을 탐색하며, 특히 Fano 3차곡선과 유리 표면의 맥락에서 고려한다.

제안 방법

• M × M의 코homology H^*(M × M, Q)에서의 대각선 클래스 δ와 그 Künneth 분해 p*μi · q*νi를 사용하여, νi가 H*(M, Q)를 생성함을 보임.
• E가 유니버설 번들일 때, X × M × M 위의 층 H = Hom(p1*E, p2*E)를 구성함.
• 초코homology 스펙트럴 시퀀스를 적용하여 Rπ_*H를 벡터 번들의 복합체 K•로 표현함. 이때 K0 → K1은 Ext^0과 Ext^1을 포괄함.
• Porteous 공식을 사용하여, D(대각선 Δ와 동형임)의 위계류를 c_m(K1 - K0) = c_m(-π!H)로 표현함. 이는 K-이론에서의 코homology 성분이다.
• Riemann-Roch 정리를 적용하여 ch(π!H)를 π_*[r*TD(C) · ch(H)]로 표현함. 이는 π!H의 코homology 성분들이 c_i(E)의 Künneth 성분들에 의해 생성된 Q-대수에 속해 있음을 보여줌.
• 핵심 보조정리에 의해 π!H의 코homology 성분들이 E의 코homology 성분들의 Künneth 성분들의 곱임을 보여주며, 이는 코homology가 이러한 성분들에 의해 생성됨을 증명함.

실험 결과

연구 질문

• RQ1 어떤 조건 하에서 안정 층의 모듈리 공간의 유리 코homology 대수는 유니버설 번들의 코homology 성분의 Künneth 성분들에 의해 생성되는가?
• RQ2 Ellingsrud와 Strømme의 대각선 방법을 어떻게 벡터 번들의 모듈리 공간 맥락에서 코homology 생성을 증명하는 데 적용할 수 있는가?
• RQ3 Ext^i(E,F)의 소멸 조건(i ≥ 2)이 코homology가 대수적이고 코homology 성분들에 의해 생성됨을 보장하는 데 어떤 역할을 하는가?
• RQ4 이 방법을 통해 유리 표면 또는 Fano 3차곡선 위의 모듈리 공간의 코homology가 대수적임을 보일 수 있는가?
• RQ5 K-이론에서의 Riemann-Roch 정리는 대각선 클래스를 유니버설 번들의 불변량들로 어떻게 표현할 수 있는가?

주요 결과

• 유리 코homology 대수 H*(M, Q)는 Poincaré 번들 E의 코homology 성분의 Künneth 성분들에 의해 생성된다.
• M × M의 대각선 클래스 δ는 Porteous 공식을 통해 c_m(-π!H)로 표현되며, 여기서 H = Hom(p1*E, p2*E)이다.
• π!H의 코homology 성분들은 c_i(E)의 Künneth 성분들에 의해 생성된 Q-대수에 속하며, 이는 M의 코homology가 이러한 성분들에 의해 생성됨을 의미한다.
• Ext 소멸 조건 (iii) 하에서 M의 코homology는 대수적이다: 사이클 클래스 사상 CH*(M) ⊗ Q → H*(M, Q)는 링의 동형사상이다.
• X = P^2일 경우, Ellingsrud와 Strømme가 Beilinson 스펙트럴 시퀀스를 사용하여 정수 코homology의 토퍼리-프리미엄 조건을 보였듯이, 결과는 정수 코homology로 확장된다.
• K3 표면이 반표준 계열에 포함된 Fano 3차곡선의 경우, Ext 조건은 모듈리 공간이 K3 표면 위의 심플렉틱 모듈리 공간의 라그랑주 부분다양체로 동형사상이 됨을 의미한다.