[논문 리뷰] SL(2;R)-representations of a Brieskorn homology 3-sphere

Teruaki Kitano, Yoshikazu Yamaguchi|arXiv (Cornell University)|2016. 02. 24.

Geometric and Algebraic Topology참고 문헌 4인용 수 7

한 줄 요약

이 논문은 Brieskorn 호모로지 3차원 구의 불가약한 SL(2;ℂ)-표현을 분류하며, 어떤 표현이 SU(2)-표현과 쌍대기하학적으로 동치가 아니면 반드시 SL(2;ℝ)-표현과 쌍대기하학적으로 동치임을 증명한다. 이러한 SL(2;ℝ)-표현들은 기저 오비폴드의 기본군에서 PSL(2;ℝ)로의 호모모르피즘을 통해 유도되며, Seifert 피브리레이션 커버링 사상에 의해 구체적인 대응 관계를 형성한다.

ABSTRACT

We classify SL(2;C)-representations of a Brieskorn homology 3-sphere. We show any irreducible representation into SL(2;C) is conjugate to that into either SU(2) or SL(2;R). We also give a construction of SL(2;R)-representations for a Brieskorn homology 3-sphere from PSL(2;R)-representations of the base orbifold fundamental group.

연구 동기 및 목표

• Brieskorn 호모로지 3차원 구의 불가약한 SL(2;ℂ)-표현을 분류하는 것.
• 이 맥락에서 불가약한 SL(2;ℂ)-표현과 SU(2)-표현 간의 구조적 차이를 규명하는 것.
• 기저 오비폴드의 기본군의 PSL(2;ℝ)-표현으로부터 SL(2;ℝ)-표현을 구성하는 것.
• 3차원 구의 SL(2;ℝ)-표현과 오비폴드 기본군의 PSL(2;ℝ)-표현 간의 구체적인 대응 관계를 확립하는 것.
• SL(2;ℝ)-표현의 수와 캐슨 불변량 및 중심 확장의 오일러 클래스 간의 관계를 규명하는 것.

제안 방법

• 세 개의 원뿔 점을 가진 2-오비폴드 S²(a₁,a₂,a₃) 위에서 Brieskorn 호모로지 3차원 구의 Seifert 피브리레이션 구조를 사용하는 것.
• 기본군 π₁Σ(a₁,a₂,a₃)의 표현 ⟨x,y,z,h | h 중심, x^{a₁}=h^{-b₁}, y^{a₂}=h^{-b₂}, z^{a₃}=h^{-b₃}, xyz=h^b⟩을 활용하는 것.
• 기저 오비폴드 기본군 Γ(a₁,a₂,a₃) = ⟨x,y,z | x^{a₁}=y^{a₂}=z^{a₃}=xyz=1⟩의 PSL(2;ℝ)-표현을 올리기 위해 SL(2;ℝ)-표현을 구성하는 것.
• 오일러 클래스 e ∈ H²(Γ;ℤ)를 포함하는 추적 공식을 적용하여 생성자의 추적을 계산: tr(ρ(x)) = 2cos(π|e|b₁/a₁), 등.
• Seifert 피브리드 공간 간의 커버링 사상들을 활용하여 서로 다른 피브리레이션 간의 표현을 연결하는 것.
• 추적 비교와 SL(2;ℝ)-표현이 추적 자료에 의해 쌍대기하학적으로 결정됨을 이용하여 동치성을 검증하는 것.

실험 결과

연구 질문

• RQ1 모든 Brieskorn 호모로지 3차원 구의 불가약한 SL(2;ℂ)-표현은 SU(2) 또는 SL(2;ℝ)-표현과 쌍대기하학적으로 동치인가?
• RQ2 3차원 구의 SL(2;ℝ)-표현은 기저 오비폴드의 기본군 표현으로부터 체계적으로 구성될 수 있는가?
• RQ3 3차원 구의 SL(2;ℝ)-표현과 오비폴드 기본군의 PSL(2;ℝ)-표현 간의 정확한 대응 관계는 무엇인가?
• RQ4 SL(2;ℝ)-표현의 수는 캐슨 불변량과 오일러 클래스와 같은 위상수학적 불변량과 어떻게 관련되어 있는가?
• RQ5 어떤 조건에서 Brieskorn 호모로지 3차원 구가 오일러 클래스에 의해 유도되는 Seifert 피브리레이션의 순서에서 피브리케이션 공간으로 나타나는가?

주요 결과

• 모든 Brieskorn 호모로지 3차원 구의 불가약한 SL(2;ℂ)-표현은 SU(2)-표현 또는 SL(2;ℝ)-표현과 쌍대기하학적으로 동치이다.
• 불가약한 SL(2;ℝ)-표현의 동치류 수는 SL(2;ℂ)-캐슨 불변량과 두 배의 SU(2)-캐슨 불변량의 차와 같다.
• Σ(2,3,6n+1)의 경우, 불가약한 SL(2;ℝ)-표현의 동치류가 정확히 n개 존재하며, 이는 λ_SL(2;ℂ) - 2|λ|와 일치한다.
• SL(2;ℝ)-표현들은 H²(Γ;ℤ)에 속하는 오일러 클래스를 사용한 릿지 맵핑 과정을 통해 기저 오비폴드 기본군의 PSL(2;ℝ)-표현으로부터 유도된다.
• Σ(3,5,7)의 경우, β = -1 이며 β₁/3 + β₂/5 + β₃/7 < 1 을 만족하는 오일러 클래스로부터 네 개의 서로 다른 SL(2;ℝ)-표현이 유도되며, 이는 해당 Seifert 공간에서 비자명한 호모로지를 가진다.
• Σ(2,3,6n+1)에서 생성자 Z의 추적은 n−k의 기수성에 따라 2cos(πk/(6n+1)) 또는 2cos(π - πk/(6n+1))로 주어지며, 이는 표현이 SL(2;ℝ)임을 확인한다.