[논문 리뷰] On the SU(2,1) representation space of the Brieskorn homology spheres

Vu The Khoi|ArXiv.org|2008. 11. 14.

Homotopy and Cohomology in Algebraic Topology인용 수 4

한 줄 요약

이 논문은 Brieskorn 호모로지 3차원 구의 SU(2,1) 표현 공간에 대해 추적 좌표 파arameterization을 제공한다. 특정 군 원소와 그들의 교환자들의 추적을 사용한다. 논문은 기약 표현이 $xy$, $x^{-1}y$, 그리고 $[x,y]$의 추적의 허수부에 의해 캐릭터리제이션됨을 증명하며, 이를 통해 $Σ(2,3,13)$에서의 오비포ลด 토플러 invariant 이 표현 공간의 연결 성분을 구분하지 못함을 보여준다. 이는 $Σ(2,3,11)$에서 다섯 개의 성분을 감지하는 데는 성공하지만, $Σ(2,3,13)$에서는 그렇지 않다.

ABSTRACT

In this paper, we give a parameterization of the SU(2,1) representation space of the Brieskorn homology spheres using the trace coordinates. As applications, we give an example which shows that the orbifold Toledo invariant in \cite{krebs} does not distinguish the connected components of the PU(2,1) representation space.

연구 동기 및 목표

• Brieskorn 호모로지 3차원 구의 SU(2,1) 표현 공간에 대해 특정 군 원소와 그들의 교환자들의 추적 불변량을 사용한 좌표계를 개발한다.
• 핵심 군 원소들의 추적 데이터를 통해 기약 표현을 캐릭터리제이션함으로써 표현의 동치류를 분류한다.
• 오비포ลด 토플러 불변량이 PU(2,1) 표현 공간의 연결 성분을 어떻게 분별하는지 평가한다.
• 특정 Brieskorn 구, $Σ(2,3,11)$과 $Σ(2,3,13)$의 표현 공간에 대해 명시적인 기술을 제공한다.
• 토플러 불변량이 특정 경우에 모든 연결 성분을 감지하지 못함을 보여주며, 이는 기존의 하한 도구로는 부족함을 증명한다.

제안 방법

• 자기환의 이론과 두 개 생성자 자유군 내의代수적 관계를 사용하여 SU(2,1) 행렬에 대한 추적 항등식을 유도한다.
• 유도된 추적 항등식을 적용하여 표현 공간을 좌표 $t_{xy}$, $t_{x^{-1}y}$, 및 $\Im(t_{[x,y]})$로 표현한다.
• 유형(양/음성)에 따라 SU(2,1) 내의 동치류를 분류하기 위해 타원형 원소의 고유값 유형을 활용한다.
• 주요 정리를 적용하여 $Σ(2,3,11)$과 $Σ(2,3,13)$에 대해 명시적인 표현을 계산한다. 이때 $\rho(h) = I$ 라는 가정을 한다.
• 컴퓨터 보조 검색을 통해 고립된 기약 표현을 열거하고, PU(2,1) 몫 공간 내에서 그들이 서로 다를 것임을 검증한다.
• 연결 성분의 수와 오비포ลด 토플러 불변량의 값을 비교하여 그 분별 능력을 평가한다.

실험 결과

연구 질문

• RQ1 Brieskorn 호모로지 3차원 구의 SU(2,1) 표현 공간은 특정 군 원소와 그들의 교환자들의 추적 좌표로 파arameterization될 수 있는가?
• RQ2 두 개의 기약 SU(2,1) 표현이 Brieskorn 호모로지 3차원 구에 대해 동치일 조건은 $xy$, $x^{-1}y$, 그리고 $[x,y]$의 추적의 허수부가 일치할 때인가?
• RQ3 오비포ลด 토플러 불변량은 Brieskorn 호모로지 3차원 구의 PU(2,1) 표현 공간의 연결 성분을 완전히 분별할 수 있는가?
• RQ4 $\mathcal{R}^{*}_{\rm SU(2,1)}(\Sigma(2,3,11))$와 $\mathcal{R}^{*}_{\rm SU(2,1)}(\Sigma(2,3,13))$에 기약 표현이 몇 개인가? 그리고 이들은 토플러 불변량과 어떻게 관련이 있는가?
• RQ5 토플러 불변량은 하한 도구로 쓰일 수는 있지만, PU(2,1) 표현 공간에서 연결 성분을 분별하지 못할 수 있는가?

주요 결과

• Brieskorn 호모로지 3차원 구의 SU(2,1) 표현 공간은 $t_{xy}$, $t_{x^{-1}y}$, 및 $\Im(t_{[x,y]})$의 추적으로 완전히 파arameterization되며, 동치류는 이러한 불변량에 의해 결정된다.
• $\Sigma(2,3,11)$의 경우, $\mathcal{R}^{*}_{\rm SU(2,1)}$ 내에 정확히 다섯 개의 기약 표현이 존재하며, 모두 $\rho(h) = I$를 만족한다. 이들은 $\mathcal{R}^{*}_{\rm PU(2,1)}$ 내에 다섯 개의 서로 다른 점을 만들어내며, 토플러 불변량의 하한과 일치한다.
• $\Sigma(2,3,13)$의 경우, $\mathcal{R}^{*}_{\rm SU(2,1)}$ 내에 정확히 여덟 개의 고립된 기약 표현이 존재하며, 모두 $\rho(h) = I$를 만족한다. 이들은 $\mathcal{R}^{*}_{\rm PU(2,1)}$ 내에 여덟 개의 서로 다른 점을 만들어낸다.
• 오비포ลด 토플러 불변량은 $\Sigma(2,3,13)$에서 여덟 개의 연결 성분이 존재하는 데도 불구하고 오직 일곱 개의 서로 다른 값만을 취한다. 이는 불변량이 모든 성분을 분별하지 못함을 증명한다.
• $\Sigma(2,3,11)$의 경우, 토플러 불변량은 다섯 개의 성분을 정확히 감지하며, 이는 이 경우 하한이 정확히 작동함을 보여준다.
• 모든 나열된 표현에서 교환자 추적의 허수부 $\Im(t_{[x,y]})$는 0이다. 이는 교환자가 고유값이 단위원 위에 있는 타원형 원소임을 나타낸다.