[논문 리뷰] Connected Components of The Space of Surface Group Representations

Nan-Kuo Ho, Chiu-Chu Melissa Liu|ArXiv.org|2003. 03. 20.

Advanced Algebra and Geometry참고 문헌 12인용 수 9

한 줄 요약

이 논문은 k ≠ 1,2,4인 k개의 실수 사영평면의 합성으로 동형인 비향상 가능 표면 위의 평탄한 G-_bundle의 모듈리 공간의 연결 성분들 사이의 전단사 사상이 π₁(G)/2π₁(G)의 몫군과 존재함을 확립한다. 골드먼의 향상 가능 표면 결과를 확장한다. q-ハ밀토니안 G-스페이스 이론과 리군 값의 모멘트 맵—특히 공액사상 μᴳˡ의 전사성과 근접성—을 이용하여, 임의의 고정된 위상적 G-_bundle 위의 평탄한 접속 모듈리 공간이 비어 있지 않고 연결되어 있음을 증명한다.

ABSTRACT

Let G be a connected, compact, semisimple Lie group. It is known that for a compact closed orientable surface $Σ$ of genus $l >1$, the order of the group $H^2(Σ,π_1(G))$ is equal to the number of connected components of the space $Hom(π_1(Σ),G)/G$ which can also be identified with the moduli space of gauge equivalence classes of flat G-bundles over $Σ$. We show that the same statement for a closed compact nonorientable surface which is homeomorphic to the connected sum of k copies of the real projective plane, where $k eq 1,2,4$, can be easily derived from a result in A. Alekseev, A.Malkin and E. Meinrenken's recent work on Lie group valued moment maps.

연구 동기 및 목표

• 향상 가능 표면 위의 평탄한 G-_bundle 모듈리 공간의 연결 성분 분류를 비향상 가능 표면으로 확장하는 것.
• 코homological 불변량을 사용하여 비향상 가능 표면 위의 주요 G-_bundle의 위상적 분류를 해결하는 것.
• 고정된 위상적 G-_bundle 위의 평탄한 접속 모듈리 공간의 비어 있지 않음과 연결성을 확립하는 것.
• q-ハミルトニアン G-ス페이스와リーグ룹値モーメントマップ의 프레임워크를 통해 향상 가능 및 비향상 가능 경우를 통합하는 것.
• 비향상 가능 표면 위의 평탄한 접속의 막힘 사상의 기하학적 및 대수적 의미를 명확히 하는 것.

제안 방법

• 공액사상 μᴳˡ: G²ˡ → G 가 q-ハミルトニアン G-ス페이ス에 대한 리ーグ룹値モーメントマップ임을 이용한다.
• 앨렉세이예프, 말킨, 마이렌켄의 결과를 적용하여 G 가 단순연결이고 컴act일 경우 이러한 모멘트 맵의 모든 섬유가 연결되어 있음을 이용한다.
• 모든 표현을 올리고 막힘 사상 o₂: Hom(π₁(Σ), G) → Ker ρ ≅ π₁(G) 를 정의하기 위해 보편 피복 ρ: ˜G → G 를 사용한다.
• 유니버설 계수 정리를 적용하여 비향상 가능 Σ에 대해 H²(Σ; π₁(G)) ≅ Ext(ℤ/2ℤ, π₁(G)) ≅ π₁(G)/2π₁(G) 를 계산한다.
• 막힘 사상 o₂ 를 통해 모듈리 공간의 연결 성분과 H²(Σ; π₁(G)) 사이의 전단사 사상을 구성한다.
• 장애 이론과 층 코homology를 사용하여 위상적 G-_bundle의 분류와 평탄한 접속의 모듈리 공간을 조율한다.

실험 결과

연구 질문

• RQ1 k ≠ 1,2,4일 때, k ≥ 3개의 ℝP²의 합성으로 동형인 비향상 가능 표면 Σ 위의 평탄한 G-_bundle 모듈리 공간의 연결 성분 수는 얼마인가?
• RQ2 비향상 가능 표면 위의 주요 G-_bundle의 분류는 코homology 군 H²(Σ; π₁(G))와 어떻게 관련이 있는가?
• RQ3 q-ハミルトニアン幾何学을 사용하여 비향상可能な表面 위의 固定された 위상적 G-_bundle 위의 평탄한 접속 모듈리 공간의 연결성을 확립할 수 있는가?
• RQ4 막힘 사상 o₂ 는 비향상 가능 표면 위의 평탄한 G-_bundle 모듈리 공간 분류에서 어떤 역할을 하는가?
• RQ5 π₁(G)/2π₁(G) 의 구조는 비향상 가능 표면 위의 평탄한 G-_bundle 분류에서 어떻게 자연스럽게 유도되는가?

주요 결과

• k ≥ 3이고 k ≠ 1,2,4인 닫힌 비향상 가능 표면 Σ가 ℝP²의 k개 합성으로 동형일 때, Hom(π₁(Σ), G)/G 의 연결 성분 수는 π₁(G)/2π₁(G) 와 전단사이다.
• 고정된 위상적 G-_bundle 위의 평탄한 G-_bundle 모듈리 공간은 각각 비어 있지 않고 연결되어 있다.
• 코homology 군 H²(Σ; π₁(G)) 는 Ext(ℤ/2ℤ, π₁(G)) ≅ π₁(G)/2π₁(G) 와 동형이며, 이는 Σ 위의 위상적 G-_bundle 를 분류한다.
• 막힘 사상 o₂: Hom(π₁(Σ), G) → π₁(G) 는 π₁(G)/2π₁(G) 를 통해 인식되며, 그 이미지는 모듈리 공간의 연결 성분을 분류한다.
• 이 결과는 골드먼의 향상 가능 표면에 대한 정리의 일반화로서, 동일한 코homological 불변량이 비향상 가능 경우의 연결 성분을 지배함을 보여준다.
• 증명은 q-ハミルトニアン G-ス페이스理論의 결과인 리군 값 모멘트 맵 μᴳˡ 의 섬유 연결성에 의존하며, 이는 각 번들 유형에 대해 모듈리 공간의 연결성을 보장한다.