[논문 리뷰] Construction of the Moduli Space of Higgs Bundles using Analytic Methods

Yue Fan|arXiv (Cornell University)|2020. 04. 15.

Algebraic Geometry and Number Theory참고 문헌 30인용 수 7

한 줄 요약

이 논문은 $ g \geq 2 $ 인 컴acts Riemann 표면 위의 반안정 Higgs bundle의 모듈리 공간을 Kuranishi 절삭 방법을 사용하여 상세한 해석적 구성법을 제시하며, 이 공간이 정상 복소 공간임을 증명한다. 모듈리 공간의 국소 구조가 복소 재수군에 의한 이차 원뿔의 아핀 GIT 몫으로 모델링됨을 밝히고, 해석적 구성법과 대수적 구성법이 서로 복소해석적으로 동치임을 보인다.

ABSTRACT

It is a folklore theorem that the Kuranishi slice method can be used to construct the moduli space of semistable Higgs bundles on a closed Riemann surface as a complex space. The purpose of this paper is to provide a proof in detail. We also give a direct proof that the moduli space is locally modeled on an affine GIT quotient of a quadratic cone by a complex reductive group.

연구 동기 및 목표

• 컴act Riemann 표면 위의 반안정 Higgs bundle의 모듈리 공간이 Kuranishi 절삭 방법을 통해 복소 공간으로 구성될 수 있음을 엄밀하고 상세히 증명하는 것.
• 모듈리 공간의 국소 구조가 복소 재수군에 의한 이차 원뿔의 아핀 GIT 몫으로 모델링됨을 보여주는 것.
• Kuranishi 이론을 통해 구성된 해석적 모듈리 공간과 Geometric Invariant Theory를 통해 구성된 대수적 모듈리 공간 간의 해석적 동치성을 확립하는 것.
• 대수적 모듈리 공간의 정상성과 정상 복소 공간에 대한 Riemann 확장 정리를 활용하여 해석적 모듈리 공간의 정상성을 증명하는 것.

제안 방법

• Higgs bundle의 변형 복합체를 기반으로 하여 Kuranishi 절삭 방법을 활용해 반안정 Higgs bundle의 모듈리 공간에 대한 국소 모델을 구성한다.
• Hitchin-Kobayashi 대응을 적용하여, 모멘트 맵 $ \mu(A,\Phi) = F_A + [\Phi, \Phi^*] = 0 $ 을 통해 다중안정 Higgs bundle를 Hitchin 방정식의 해로 식별한다.
• 변형 복합체 $ C_{\mu_{\mathbb{C}}} $ 의 조화 코hom로지 $ \mathbf{H}^1 $ 을 분석하여, 이가 복소 심플렉틱 구조를 지니며 복소화된 안정자군 $ K^\mathbb{C} $ 의 해밀턴 작용을 갖는다는 것을 보인다.
• 국소 모델을 해석적 GIT 몫 $ Q^{an} \sslash K^\mathbb{C} $ 으로 구성한다. 여기서 $ Q \subset \mathbf{H}^1 $ 은 복소 모멘트 맵의 영점이다.
• 해석적 모듈리 공간 $ \mathscr{M}_{\text{an}} $ 과 대수적 모듈리 공간 $ \mathscr{M}_{\text{alg}} $ 사이의 해석적 위상동형사상 $ i^{-1}: \mathscr{M}_{\text{alg}} \to \mathscr{M}_{\text{an}} $ 를 수립하고, 양 공간의 정상성과 Riemann 확장 정리를 이용해 이것이 복소해석적 동치임을 증명한다.
• 논문 [13]의 정리 6.8을 적용하여, 차원과 정상성 조건을 만족함으로써 해석적 모듈리 공간이 정상임을 결론내리고, 해석적 사상이 동형임을 보인다.

실험 결과

연구 질문

• RQ1 Kuranishi 절삭 방법을 반안정 Higgs bundle의 모듈리 공간을 복소 공간으로 구성하는 데 엄밀하게 적용할 수 있는가?
• RQ2 주어진 Higgs bundle 근처에서 모듈리 공간의 정확한 국소 해석적 구조는 무엇이며, 이는 어떻게 GIT 몫과 관련이 있는가?
• RQ3 해석적 모듈리 공간이 Geometric Invariant Theory를 통해 구성된 대수적 모듈리 공간과 복소해석적으로 동치인가?
• RQ4 해석적 모듈리 공간은 대수적 모듈리 공간으로부터 정상성을 물려받는가? 이는 코homological 및 해석적 기법을 통해 어떻게 증명할 수 있는가?
• RQ5 변형 공간 $ \mathbf{H}^1 $ 에 존재하는 복소 심플렉틱 구조가 $ K^\mathbb{C} $-작용과 어떻게 상호작용하여 모듈리 공간의 국소 모델을 도출하는가?

주요 결과

• 반안정 Higgs bundle의 모듈리 공간 $ \mathscr{M} $ 은 Kuranishi 방법과 해석적 GIT 몫 구성법을 통해 정상 복소 공간임이 입증된다.
• 조건 $ \mu(A,\Phi) = 0 $ 을 만족하는 점 $[A,\Phi]$ 에서의 모듈리 공간의 국소 모델은 복소 모멘트 맵의 영점인 $ Q \subset \mathbf{H}^1 $ 을 이용한 해석적 GIT 몫 $ Q^{an} \sslash K^\mathbb{C} $ 과 동형이다.
• 변형 공간 $ \mathbf{H}^1 $ 은 복소 심플렉틱 벡터 공간이며, $ K^\mathbb{C} $ 가 $ \mathbf{H}^1 $ 에 작용하는 방식은 해밀턴 작용이며, 모멘트 맵은 $ \nu_{0,\mathbb{C}}(x) = \frac{1}{2}H[x, x] $ 로 주어진다.
• 해석적 모듈리 공간 $ \mathscr{M}_{\text{an}} $ 는 정상이다. 이는 원점에서 아핀 GIT 몫 $ Q \sslash K^\mathbb{C} $ 의 형식적 완비화의 정상성을 증명함으로써 보여진다.
• 해석적 사상 $ i^{-1}: \mathscr{M}_{\text{alg}} \to \mathscr{M}_{\text{an}} $ 는 Riemann 확장 정리와 양 공간의 기약성 및 정상성에 기반하여 복소해석적 동치임을 증명한다.
• 해석적 모듈리 공간과 대수적 모듈리 공간의 차원이 일치하며, 해석적 위상동형사상 $ i^{-1} $ 는 열린 사상이므로, [13]의 정리 6.8에 의해 동형임을 보인다.