[논문 리뷰] Representations of the braid group B_3 and of SL(2,Z)

Imre Tuba, Hans Wenzl|ArXiv.org|1999. 12. 02.

Advanced Algebra and Geometry참고 문헌 5인용 수 34

한 줄 요약

이 논문은 대수적으로 닫힌 체 위에서 차원 5 이하의 브레인드 군 $B_3$와 $SL(2,\mathbb{Z})$의 단순 표현을 완전히 분류하며, 중심 원소 $(\sigma_1\sigma_2)^3$가 작용하는 스칼라 $\delta$와 생성자 행렬 $A$의 고유값을 통해 이러한 표현이 동치를 제외하고 유일하게 결정됨을 보여준다. 핵심 기여는 기하학적 표현의 기하학적 조건을 명시적으로 기술한 다항식 조건과, 예외적 리 대수와 관련된 브레인드 텐서 범주에서의 카테고리적 차원을 계산하는 데의 응용이다.

ABSTRACT

We give a complete classification of simple representations of the braid group B_3 with dimension $\leq 5$ over any algebraically closed f ield. In particular, we prove that a simple d-dimensional representation $ρ: B_3 o GL(V)$ is determined up to isomorphism by the eigenvalues $λ_1, λ_2, ..., λ_d$ of the image of the generators for d=2,3 and a choice of a $δ=\sqrt{\det ρ(σ_1)}$ for d=4 or a choice of $δ=\sqrt[5]{\det ρ(σ_1)}$ for d=5. We also s howed that such representations exist whenever the eigenvalues and $δ$ are not roots of certain polynomials $Q_{ij}^{(d)}$, which are explicitly given. In this case, we construct the matrices via which the generators act on V. As an application of our techniques, we also obtain nontrivial q-versions of some of Deligne's formulas for dimensions of representations of exceptional Lie groups.

연구 동기 및 목표

• 모든 특성에서의 대수적으로 닫힌 체 위에서 차원 $d \leq 5$인 브레인드 군 $B_3$와 $SL(2,\mathbb{Z})$의 단순 표현을 분류한다.
• 생성자 행렬 $A$의 고유값과 중심 원소 $(\sigma_1\sigma_2)^3$가 작용하는 스칼라 $\delta$를 사용하여 이러한 표현이 기하학적으로 단순해지는 정확한 조건을 규명한다.
• 분류 결과를 바탕으로, 예외적 리 대수의 시리즈를 예측한 델리뉴의 추측과 관련된 브레인드 텐서 범주에서의 객체의 카테고리적 차원을 계산한다.
• 브레인드 범주에서의 애드조인트 표현의 텐서 거듭제곱 차원에 대한 통일된 공식을 명시적인 브레인드 표현 데이터를 통해 수립한다.

제안 방법

• 생성자 $\sigma_1$와 $\sigma_2$를 나타내는 행렬 $A$와 $B$에 대해 삼각형 형태를 가정함으로써 브레인드 관계를 $BA$의 행렬 계수에 대한 제약 조건으로 환원한다.
• $A$의 고유값과 $\delta = \det(A)^{6/d}$를 사용하여 표현을 매개수화하며, $d \leq 5$일 경우 이러한 불변량이 표현의 동치를 제외한 유일성을 보장함을 보인다.
• 브레인드 관계와 행렬 제약 조건의 구조를 활용하여, 표현이 단순하지 않을 때 정확히 영이 되는 고유값과 $\delta$에 관한 명시적 다항식을 유도한다.
• 분류 결과를 바탕으로 브레인드 텐서 범주에서의 카테고리적 차원을 계산하기 위해 중심 원소 $(c_1c_2)^3$의 작용과 브레인드 연산자 $c_1$의 행렬식을 분석한다.
• 양자 군 이론과 카시미르 연산자를 활용하여 $\mathfrak{g}^{\bigotimes 2}$에서의 브레인드 연산자의 고유값을 매개변수 $s$와 $t$와 연결함으로써 $s$-변형된 차원 공식을 유도한다.
• $B_3$가 $PSL(2,\mathbb{Z})$로 사상되며 중심이 스칼라 $\delta$로 작용함을 이용하여, $PSL(2,\mathbb{Z})$의 표현을 정규화를 통해 정의할 수 있음을 활용한다.

실험 결과

연구 질문

• RQ1 차원 $d \leq 5$일 때, 행렬 $A$의 고유값과 스칼라 $\delta$에 대한 어떤 조건이 브레인드 군 $B_3$의 표현이 단순해지게 하는가?
• RQ2 브레인드 텐서 범주에서의 카테고리적 차원을 계산하기 위해 $B_3$ 표현의 분류를 어떻게 활용할 수 있는가? 특히 그 코어지에프 반군이 단순 리 군과 동일한 구조를 가진 경우에 대해.
• RQ3 예외적 리 대수 범주에서 애드조인트 표현과 그 텐서 거듭제곱의 명시적 $s$-변형된 차원 공식은 무엇이며, 이는 어떻게 브레인드 표현으로부터 유도되는가?
• RQ4 양자 군 설정에서 브레인드 연산자가 $\mathfrak{g}^\bigotimes 2$에 작용할 때의 고유값은 매개변수 $s$와 $t$와 어떻게 관련되는가?

주요 결과

• 차원 $d \leq 3$일 경우, 브레인드 군 $B_3$의 단순 표현은 $\sigma_1$를 나타내는 행렬 $A$의 고유값에 의해 유일하게 결정된다.
• 차원 $d \leq 5$일 경우, 브레인드 군 $B_3$의 단순 표현은 $A$의 고유값과 중심 원소 $(\sigma_1\sigma_2)^3$가 작용하는 스칼라 $\delta$에 의해 동치를 제외하고 완전히 결정된다.
• 기하학적 표현이 존재하는 것은 고유값과 $\delta$가 제시된 다항식(제2.8조 및 2.10–2.11절에 명시)을 영으로 만들지 않을 때에만 가능하다.
• 논문은 예외적 리 대수 범주에서 애드조인트 표현과 그 제곱 텐서 거듭제곱의 $q$-변형된 차원을 주어진 $s$와 $t$에 대한 명시적 유리함수로 유도하였으며, 델리뉴의 고전 공식을 일반화한다.
• 표현 $\mathrm{Hom}(\mathfrak{g}, \mathfrak{g}^{\otimes 3})$의 5차원 표현에서 스칼라 $\delta = s^{12}$는 $(c_1c_2)^3$의 작용을 통해 계산되며, $c_1$의 행렬식은 $s^{10}$이며, 이로부터 $\gamma = s^2$를 유도한다.
• $\dim X_2$, $\dim Y_2$, $\dim Y_2^*$의 공식은 $[n] = s^n - s^{-n}$과 $[\lambda + n] = t^{1/2}s^n - t^{-1/2}s^{-n}$에 대한 유리함수로 표현되며, 고전적인 차원 공식의 $s$-변형을 제공한다.