[논문 리뷰] On the Connectedness of Moduli Spaces of Flat Connections over Compact Surfaces

Nan-Kuo Ho, Chiu-Chu Melissa Liu|ArXiv.org|2002. 11. 25.

Geometry and complex manifolds참고 문헌 5인용 수 6

한 줄 요약

이 논문은 컴팩트 표면 위의 평탄한 G-접속의 모듈리 공간의 연결성 성질을 확립한다. 단순 연결된 컴팩트 리 군의 클래스—비어있고 일부 비단순 군을 포함—에 대해, 옹호 표면의 경우 모듈리 공간은 연결되어 있고, 비옹호 표면이 k개의 실수 프로젝티브 평면의 연결 합과 동형일 경우 정확히 $2^{\dim S}$개의 연결 성분을 가진다. 여기서 $k \neq 1,2,4$이다. 이 결과는 단순 연결 군에 대한 기존 정리들을 확장하며, 컴팩트 리 군에서의 교환자 사상의 전사성과 근처 연결성에 기반한다.

ABSTRACT

We study the connectedness of the moduli space of gauge equivalence classes of flat G-connections on a compact orientable surface or a compact nonorientable surface for a class of compact connected Lie groups. This class includes all the compact, connected, simply connected Lie groups, and some non-semisimple classical groups including U(n) and Spin^C(n).

연구 동기 및 목표

• 컴팩트 표면 $\Sigma$ 위의 평탄한 $G$-접속의 게이지 등가류의 모듈리 공간 $\mathcal{M}(\Sigma,G)$의 연결성을 규명하는 것.
• 단순 연결된 컴팩트 리 군에 대한 기존의 연결성 결과를 비단순 군을 포함하는 더 넓은 범위의 컴팩트 연결 리 군으로 확장하는 것.
• 특히 $k$개의 $\mathbb{RP}^2$의 연결 합과 동형인 비옹호 표면에 대해 $\mathcal{M}(\Sigma,G)$의 구조를 분석하는 것.
• 군 $G$의 중심의 항등원 성분의 차원에 따라 연결 성분의 정확한 수를 기술하는 것.

제안 방법

• 군 $G$가 코너지션으로 작용하는 $\mathcal{M}(\Sigma,G) \cong \mathrm{Hom}(\pi_1(\Sigma), G)/G$로의 식별을 이용하는 것.
• 컴팩트 연결 리 군의 구조 정리 적용: $G = G_{ss} \times S$이며, 여기서 $G_{ss}$는 단순 연결된 비단순 군이고 $S$는 중심의 항등원 성분이다.
• 사실 5 활용: 단순 연결일 경우 교환자 사상 $\mu_G^\ell: G^{2\ell} \to G$는 전사적이며, 근처 연결된 섬유를 가진다.
• 기본군 관계에 대한 중심 $S$의 작용과 교환자 사상의 상을 통해 모듈리 공간 분석.
• $G^{2\ell+2}$에서 경로 올림과 연결성 추론을 통해 각 성분에 대한 순간 사상의 역상이 연결됨을 보이는 것.
• 연결 성분을 분류하기 위해 $o: \mathcal{M}(\Sigma,G) \to K$를 정의하며, 여기서 $K \cong S/2S$이다.

실험 결과

연구 질문

• RQ1 어떤 컴팩트 연결 리 군 $G$에 대해, 컴팩트 옹호 표면 $\Sigma$ 위의 평탄한 $G$-접속의 모듈리 공간 $\mathcal{M}(\Sigma,G)$가 연결되는가?
• RQ2 특히 $k$개의 $\mathbb{RP}^2$의 연결 합과 동형인 비옹호 표면일 경우, $\mathcal{M}(\Sigma,G)$는 몇 개인가?
• RQ3 중심 $Z(G)$, 특히 그 항등원 성분인 $S$는 $\mathcal{M}(\Sigma,G)$의 연결 성분 수를 결정하는 데 어떤 역할을 하는가?
• RQ4 교환자 사상의 섬유의 연결성은 비옹호 표면의 경우 모듈리 공간의 연결성을 증명하는 데 사용될 수 있는가?
• RQ5 $G_{ss}$가 단순 연결인 $G = G_{ss} \times S$의 구조는 $\mathcal{M}(\Sigma,G)$의 위상에 어떤 영향을 미치는가?

주요 결과

• 컴팩트 연결 리 군 $G$에서 단순 연결된 비단순 부분군 $G_{ss}$를 가지면, $\Sigma$가 옹호일 경우 모듈리 공간 $\mathcal{M}(\Sigma,G)$는 비어있고 연결되어 있다.
• 만일 $\Sigma$가 $k$개의 $\mathbb{RP}^2$의 연결 합과 동형이며 $k \neq 1,2,4$이면, 모듈리 공간 $\mathcal{M}(\Sigma,G)$는 정확히 $2^{\dim S}$개의 연결 성분을 가진다.
• 연결 성분의 수는 $S/2S$에 의해 결정되며, 여기서 $S$는 $G$의 중심의 항등원 성분이고 $2S = \{s^2 \mid s \in S\}$이다.
• 이 증명은 Alekseev, Malkin, 그리고 Meinrenken의 결과에 기반하여, 모든 $g \in G_{ss}$에 대해 섬유 $({\mu_G^\ell})^{-1}(g)$가 연결됨을 이용한다.
• 클라인 병합 성분의 경우($2\ell+2$개의 $\mathbb{RP}^2$), 모듈리 공간은 $2^{\dim S}$개의 연결 성분을 가지며, 순간 사상의 역상의 경로 연결성에 의해 증명된다.
• 이 결과는 $U(n)$과 $\mathrm{Spin}^\mathbb{C}(n)$와 같은 군에도 적용되며, 이들은 단순 연결된 $G_{ss}$와 토러스 중심 $S$를 만족하는 조건을 충족한다.