[논문 리뷰] On the cohomology ring of the moduli space of Higgs bundles I: Generators of the ring

Tamás Hausel, Michael Thaddeus|arXiv (Cornell University)|2000. 03. 16.

Homotopy and Cohomology in Algebraic Topology인용 수 3

한 줄 요약

이 논문은 리만 곡면 위의 계수 2 히그(bundle)의 매개공간의 유리수 코homology 링이 보편 클래스들에 의해 생성됨을 확립한다. 이 매개공간은 중심 상수 곡률 접속들의 공간과 미분형태이며, 아티야- bott 결과를 안정된 벡터 번들의 경우에서 비유한형 히그 번들의 경우로 확장한다. 핵심 통찰은 n > 0 인 K(n) 값을 가진 히그 번들 공간들의 직접 극한을 분석하는 것으로, 이는 게이지 군의 분류공간의 호모토피 유형을 갖는다. 이에 따라 보편 클래스 생성이 보장된다.

ABSTRACT

The moduli space of stable vector bundles on a Riemann surface is smooth when the rank and degree are coprime, and is diffeomorphic to the space of unitary connections of central constant curvature. A classic result of Newstead and Atiyah-Bott asserts that its rational cohomology ring is generated by the universal classes, that is, by the Kunneth components of the Chern classes of the universal bundle. This paper studies the larger, non-compact moduli space of Higgs bundles, as introduced by Hitchin and Simpson, with values in the canonical bundle K. This is diffeomorphic to the space of all connections of central constant curvature, whether unitary or not. The main result of the paper is that, in the rank 2 case, the rational cohomology ring of this space is again generated by universal classes. The spaces of Higgs bundles with values in K(n) for n > 0 turn out to be essential to the story. Indeed, we show that their direct limit has the homotopy type of the classifying space of the gauge group, and hence has cohomology generated by universal classes. A companion paper treats the problem of finding relations between these generators in the rank 2 case.

연구 동기 및 목표

• 안정된 벡터 번들의 코homology 링에 대한 고전적인 아티야- bott 결과를 비유한형 히그 번들 매개공간으로 확장하는 것.
• canonical bundle K에 값을 가진 계수 2 히그 번들 매개공간의 유리수 코homology 링이 보편 클래스들에 의해 생성되는지 확인하는 것.
• n > 0 인 K(n) 값을 가진 히그 번들 공간들이 코homology 구조를 이해하는 데 수행하는 역할을 분석하는 것.
• 이러한 히그 번들 공간들의 직접 극한이 게이지 군의 분류공간의 호모토피 유형을 갖는다는 것을 확립하는 것.
• 보조 논문에서 생성자 간의 관계를 규명하기 위한 기초를 마련하는 것.

제안 방법

• 중심 상수 곡률 접속들의 공간과 히그 번들 매개공간 사이의 미분형태를 이용하는 것.
• n > 0 인 K(n) 값에 대한 히그 번들 매개공간들의 직접 극한을 연구하는 것.
• 호모토피 이론을 적용하여, 이 직접 극한이 게이지 군의 분류공간 BG의 호모토피 유형을 갖는다는 것을 보이는 것.
• BG의 코homology가 보편 클래스들에 의해 생성된다는 사실을 활용하여, 직접 극한의 동일한 성질을 유추하는 것.
• 직접 극한의 보편 클래스 구조로부터 계수 2 히그 번들 매개공간의 코homology 링에서 보편 클래스 생성을 유추하는 것.
• 보편 번들 및 그 채르-클래스들을 사용하여 쿤네티의 구성요소를 통해 코homology 링 내의 보편 클래스를 정의하는 것.

실험 결과

연구 질문

• RQ1 canonical bundle K에 값을 가진 계수 2 히그 번들 매개공간의 유리수 코homology 링이 여전히 보편 클래스들에 의해 생성되는가?
• RQ2 n > 0 인 K(n) 값을 가진 히그 번들 매개공간들이 히그 번들 매개공간의 전반적 코homology 구조에 어떻게 기여하는가?
• RQ3 K(n) 값을 가진 히그 번들 공간들의 직접 극한이 게이지 군의 분류공간의 호모토피 유형을 갖는다는 것을 입증할 수 있는가?
• RQ4 게이지 군의 분류공간의 코homology와 히그 번들 매개공간의 코homology 사이의 관계는 무엇인가?
• RQ5 히그 번들 매개공간의 비유한형성은 그 코homology 링이 보편 클래스들에 의해 생성되는 데 어떤 영향을 미치는가?

주요 결과

• 리만 곡면 위의 계수 2 히그 번들 매개공간의 유리수 코homology 링은 보편 클래스들에 의해 생성된다.
• n > 0 인 K(n) 값에 대한 히그 번들 매개공간들의 직접 극한은 게이지 군의 분류공간 BG의 호모토피 유형을 갖는다.
• 이 호모토피 동치는 직접 극한의 코homology가 보편 클래스들에 의해 생성됨을 암시한다.
• K(n) 공간들에 대한 합집합으로서의 히그 번들 매개공간의 구조는 BG에서의 보편 클래스 생성을 히그 번들 공간으로 이행하는 데 기여한다.
• 이 결과는 안정된 벡터 번들에서의 아티야- bott 정리가 계수 2의 비유한형 히그 번들 설정으로 일반화된다.
• 이 틀은 보조 논문에서 생성자 간의 관계를 규명하는 데 기초를 마련한다.