[논문 리뷰] On the fundamental group of Hom(Z^k,G)

José Manuel Gómez, Alexandra Pettet외 1명|arXiv (Cornell University)|2010. 06. 15.

Advanced Algebra and Geometry참고 문헌 6인용 수 13

한 줄 요약

이 논문은 컴팩트 리 군 G에서의 교환 k-튜플 공간의 기본군이, 자명한 표현을 기준으로 하여 G의 기본군의 k중 곱과 동형임을 증명한다. Weyl 군 작용과 G ×_{N(T)} Tᵏ에서 Hom(ℤᵏ, G)₁로 향하는 핵심적인 전성 사상 σₖ를 이용하여, 단순연결된 경우로의 환원과 피복 공간 기법을 통해 이를 증명하며, 특정 군들에 대한 추측을 해결하고 일반화한다.

ABSTRACT

Let G be a compact Lie group, and consider the variety Hom(Z^k,G) of representations of Z^k into G. We view this as a based space by designating the trivial representation to be its base point. We prove that the fundamental group of this space is naturally isomorphic to π_1(G)^k.

연구 동기 및 목표

• 컴팩트 리 군 G에서의 교환 k-튜플 공간의 기본군을 자명한 표현을 기준으로 정의한다.
• Torres-Giese와 Sjerve의 SO(3), SU(2), U(2)에 대한 결과를 모든 컴팩트 리 군으로 일반화한다.
• 모든 k ≥ 1 과 컴팩트 리 군 G에 대해 π₁(Hom(ℤᵏ,G)₁) ≅ π₁(G)ᵏ 가 자연스럽게 성립함을 보인다.
• Hom(ℤᵏ,G)의 연결 성분과 기본군 행동을 분석하여 Hom(ℤᵏ,G)의 위상적 구조를 명확히 한다.

제안 방법

• G₀ → G의 자연스러운 포함 사상 i를 사용하여 문제를 G가 연결된 경우로 환원한다. π₁(Hom(ℤᵏ,G₀)) → π₁(Hom(ℤᵏ,G)) 가 동형임을 보인다.
• σₖ: G ×_{N(T)} Tᵏ → Hom(ℤᵏ,G)₁ 를 정의한다. 이는 (g,t₁,…,tk) 를 (gt₁g⁻¹,…,gtk g⁻¹) 로 보낸다. 이 사상이 연속적이고 전성임을 보인다.
• 일반 위치 원리로 σₖ 가 π₁-전성임을 증명한다. 즉, Hom(ℤᵏ,G)₁ 내의 모든 고리가 σₖ 아래에서 올라감을 보인다.
• G가 단순연결일 경우, π₁(G ×_{N(T)} Tᵏ) 의 생성자가 π₁(σₖ) 아래에서 자명한 고리로 보냄을 보여, π₁(Hom(ℤᵏ,G)₁) ≅ π₁(G)ᵏ 를 유도한다.
• 비단순연결된 G에 대해, G̃ 의 기본 피복으로 올라가서 Hom(ℤᵏ,G̃)₁ 과 Hom(ℤᵏ,G)₁ 사이의 유도된 사상 분석을 통해 결과를 확장한다.
• Weyl의 피복 정리와 정규 원소의 구조를 이용하여 σₖ 가 정규 부분에 대해 미분동형임을 보장함으로써 호모토피 분석에 기여한다.

실험 결과

연구 질문

• RQ1 자명한 표현을 기준으로 할 때, 컴팩트 리 군 G에서의 교환 k-튜플 공간의 기본군은 무엇인가?
• RQ2 모든 컴팩트 리 군 G와 모든 k ≥ 1 에 대해 π₁(Hom(ℤᵏ,G)₁) ≅ π₁(G)ᵏ 이 성립하는가?
• RQ3 기본점이 자명한 표현의 성분에 있지 않을 경우, Hom(ℤᵏ,G)의 위상은 어떻게 달라지며, 특히 그 영향을 어떻게 평가할 수 있는가?
• RQ4 피복 공간 이론을 통해 단순연결된 군에서의 결과를 일반 컴팩트 리 군으로 확장할 수 있는가?
• RQ5 Hom(ℤᵏ,G) 가 경로연결이 아닐 수 있는 위상적 장애물은 무엇이며, 그것이 기본군에 어떤 영향을 미치는가?

주요 결과

• 모든 컴팩트 리 군 G와 k ≥ 1 에 대해 π₁(Hom(ℤᵏ,G)₁) 는 자연스럽게 π₁(G)ᵏ 와 동형이다.
• G가 단순연결되더라도 Hom(ℤᵏ,G) 가 경로연결이 아닐 수 있으나, 기본점이 자명한 표현의 성분에 있을 경우 결과는 여전히 성립한다.
• SU(n) (n ≥ 2) 에 대해, 모든 k ≥ 1 에 대해 Hom(ℤᵏ,SL(n,ℂ)) 는 연결되고 단순연결됨을 따름으로써 보인다.
• σₖ: G ×_{N(T)} Tᵏ → Hom(ℤᵏ,G)₁ 는 π₁-전성임이 핵심 기술적 단계이다.
• G가 단순연결이 아닐 경우, 기본 피복으로의 올림과 피복 사상 분석을 통해 Hom(ℤᵏ,G)₁ 의 기본군은 π₁(G)ᵏ 와 동형임을 보인다.
• 기본점이 자명한 표현의 성분에 있지 않으면 결과는 성립하지 않는다. 예를 들어, Hom(ℤ³,Spin(7)) 에서의 이국적 성분 B₃ 는 기본군이 (ℤ/2)⁴ 이다.