[논문 리뷰] Hodge structure on the cohomology of the moduli space of Higgs bundles

Mridul Mehta|ArXiv.org|2001. 12. 12.

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

한 줄 요약

이 논문은 $ g \geq 2 $인 매끄러운 프로젝티브 곡선 위의 안정 Higgs 번들의 모듈리 공간의 유리 코homology가 비콤팩트성에도 불구하고 각 차수 $ k $에서 순수 Hodge 구조를 가짐을 증명한다. 게이지 이론적 구성, 보편적 체르누 클래스, 증가하는 콤팩티피케이션에 대한 극한 논증을 통해 저자들은 코homology 링이 Hodge 이론적으로 순수한 클래스들에 의해 생성됨을 보이며, 이는 모든 코homology 군이 해당 무게에서 순수하다는 것을 의미한다.

ABSTRACT

We study the moduli space of Higgs bundles on a compact Riemann surface. It was shown by Thaddeus and Hausel (in rank 2) and Markman (in general rank) that the rational cohomology ring of this space is generated by universal classes. In this paper, we use their results to compute the Hodge structure on the cohomology of this moduli space. We show that the natural Hodge structure on H^k is pure of weight k.

연구 동기 및 목표

• 매끄러운 프로젝티브 곡선의 종수 $ g \geq 2 $에서의 안정 Higgs 번들의 모듈리 공간의 코homology의 Hodge 이론적 성격을 규명하는 것.
• 비콤팩트성에도 불구하고 유리 코homology 군 $ H^k(\mathcal{H}_n, \mathbb{Q}) $가 차수 $ k $에서 순수 Hodge 구조를 지닌다는 것을 증명하는 것.
• 질량 2에서의 보편적 체르누 클래스 결과를 일반 질량 Higgs 번들로 확장하고, 이를 통해 코homology 링을 생성하는 것.
• 증가하는 콤팩티피케이션을 통해 구성된 극한 공간 $ \mathcal{H}_\infty $의 코homology가 $ \mathcal{H}_n $으로부터 순수 Hodge 구조를 물려받으며, 이 순수성은 모든 $ \mathcal{H}_n $로 내림내림됨을 보이는 것.

제안 방법

• 게이지 이론적 방법을 사용하여 $ K(n) = K \otimes \mathcal{O}(np) $ 값을 가진 안정 Higgs 번들의 모듈리 공간 $ \mathcal{H}_n $를 구성하며, 이는 해석적 구조와 게이지 군의 몫을 포함한다.
• 모듈리 공간 $ \mathcal{H}_n \times C $ 위에 존재하는 보편 가닥 $ (\mathbb{E}_n, \Phi_n) $를 이용하고, 보편 가닥 $ \mathbb{E}_n $을 콤팩티피케이션 $ X_n $ 위의 계기층 $ \mathcal{E}_n $로 확장한다.
• 확장된 계기층 $ \mathcal{E}_n $의 체르누 클래스 $ \overline{c}^n_k $를 정의하며, 이는 $ \mathbb{E}_n $의 체르누 클래스로 제한되며, 순수 Hodge 유형 $ (k,k) $이자 무게 $ 2k $임을 보인다.
• 끌림으로부터의 사상, $ \overline{c}^n_k $와의 쿠퍼 곱, 그리고 $ C $에 대한 섬통적 적분을 통해 $ \Gamma^n_{k,i} $를 구성하며, 이것이 Hodge 구조의 사상임을 증명한다.
• $ n \to \infty $로 갈 때 극한을 취하여 $ H^i(C, \mathbb{Q}) $에서 $ H^{i+2k-2}(\mathcal{H}_\infty, \mathbb{Q}) $로 가는 사상 $ \Gamma_{k,i} $를 정의하며, 이 역시 Hodge 구조의 사상임을 보인다.
• 제약 사상 $ H^*(\mathcal{H}_\infty, \mathbb{Q}) \to H^*(\mathcal{H}_n, \mathbb{Q}) $의 상사상성과 $ \mathcal{H}_\infty $의 MHS가 $ \mathcal{H}_n $의 MHS를 유도한다는 사실을 이용하여, $ H^k(\mathcal{H}_n, \mathbb{Q}) $에서의 무게 순수성의 결론을 이끌어낸다.

실험 결과

연구 질문

• RQ1 종수 $ g \geq 2 $인 곡선 위의 Higgs 번들의 모듈리 공간의 유리 코homology는 순수 Hodge 구조를 지니는가?
• RQ2 공간이 비콤팩트함에도 불구하고, 모듈리 공간의 코homology 링이 Hodge 이론적으로 순수한 클래스들에 의해 생성될 수 있는가?
• RQ3 $ \mathcal{H}_n $의 코homology에 대한 Hodge 구조는 $ n \to \infty $일 때 어떻게 행동하며, 이는 유한한 $ \mathcal{H}_n $에 대해 어떤 의미를 갖는가?
• RQ4 $ H^*(\mathcal{H}_\infty, \mathbb{Q}) $에서 $ H^*(\mathcal{H}_n, \mathbb{Q}) $로 가는 자연스러운 사상은 Hodge 구조와 호환되는가?

주요 결과

• 비콤팩트성에도 불구하고 $ \mathcal{H}_n $의 유리 코homology 군 $ H^k(\mathcal{H}_n, \mathbb{Q}) $는 차수 $ k $에서 순수 Hodge 구조를 지닌다.
• $ \mathcal{H}_\infty $의 코homology 링은 $ \Gamma_{k,i} $의 이미지들에 의해 생성되며, 이들은 Hodge 구조의 사상이다.
• 확장된 보편 계기층 $ \mathcal{E}_n $의 체르누 클래스 $ \overline{c}^n_k $는 순수 Hodge 유형 $ (k,k) $이자 무게 $ 2k $이며, $ D_n $에 따라 특이점이 없다.
• $ \Gamma^n_{k,i} $는 각 구성요소인 끌림, 쿠퍼 곱, 섬통적 적분이 모두 Hodge 유형과 무게를 유지하므로 Hodge 구조의 사상이다.
• $ H^i(C, \mathbb{Q}) $에서 $ H^{i+2k-2}(\mathcal{H}_\infty, \mathbb{Q}) $로 가는 극한 사상 $ \Gamma_{k,i} $는 Hodge 구조의 사상이며, 그 이미지는 $ \mathcal{H}_\infty $의 코homology 링을 생성한다.
• 제약 사상 $ H^*(\mathcal{H}_\infty, \mathbb{Q}) \to H^*(\mathcal{H}_n, \mathbb{Q}) $가 상사상이면서 Hodge 구조와 호환되므로, $ H^k(\mathcal{H}_n, \mathbb{Q}) $의 모든 클래스는 순수 무게 $ k $를 가진다.