[논문 리뷰] q-Pascal's triangle and irreducible representations of the braid group B_3 in arbitrary dimension

Sergio Albeverio, Alexandre Kosyak|ArXiv.org|2008. 03. 19.

Algebraic structures and combinatorial models참고 문헌 13인용 수 4

한 줄 요약

이 논문은 펄스칼의 삼각형의 $q$-변형을 사용하여 임의의 차원 $n+1$에서 브레인드 군 $B_3$의 새로운 비기약 표현의 가족을 구성한다. 이는 힘프리스, 페랑드, 투바–웬즐의 이전 결과를 일반화한다. 구성은 $q$-이항계수와 매개변수화된 대각행렬 $ abla$를 사용하며, $[\frac{n+1}{2}]+1$개의 매개변수를 가진 표현의 가족을 이룬다. 이 표현들은 특정 조건 하에서 기약이며, 양자군과 최고 무게 모듈과 연결된다.

ABSTRACT

We construct a [(n+1)/2]+1 parameters family of irreducible representations of the Braid group B_3 in arbitrary dimension n\in N, using a q-deformation of the Pascal triangle. This construction extends in particular results by S.P.Humphries [8], who constructed representations of the braid group B_3 in arbitrary dimension using the classical Pascal triangle. E.Ferrand [7] obtained an equivalent representation of B_3 by considering two special operators in the space C^n[X]. Slightly more general representations were given by I.Tuba and H.Wenzl [11]. They involve [(n+1)/2] parameters (and also use the classical Pascal triangle). The latter authors also gave the complete classification of all simple representations of B_3 for dimension n\leq 5. Our construction generalize all mentioned results and throws a new light on some of them. We also study the irreducibility and the equivalence of the representations. In [17] we establish the connection between the constructed representation of the braid group B_3 and the highest weight modules of U(sl_2) and quantum group U_q(sl_2).

연구 동기 및 목표

• 고전적 펄스칼의 삼각형에 기반한 $B_3$ 표현의 기존 구성 방식을 더 rich한 매개변수 의존성을 가진 $q$-변형 프레임워크로 일반화하기 위해.
• 험프리스, 페랑드, 투바–웬즐의 결과를 포함하고 확장하는 통합된 프레임워크를 제공하기 위해.
• 차원 $n+1$에서 $[\frac{n+1}{2}]+1$개의 복소수 매개변수로 매개변수화된 $B_3$의 비기약 표현의 가족을 수립하기 위해.
• 연산자 이론적 및 조합적 방법을 사용하여 이러한 표현의 비기약성과 동치 조건을 조사하기 위해.
• 구성된 표현을 $U_q(\mathfrak{sl}_2)$와 $U(\mathfrak{sl}_2)$의 최고 무게 모듈과 연결하기 위해.

제안 방법

• 표현은 $q$-이항계수 $\binom{n}{k}_q$로 정의된 $q$-펄스칼 삼각형을 사용하여 $\mathbb{C}^{n+1}$ 위에서 작용하는 행렬 $\sigma_1(q,n)$와 $\sigma_2(q,n)$를 정의한다.
• 조건 $\lambda_0\lambda_n \frac{q_r q_{n-r}}{q_n} = \lambda_r \lambda_{n-r}$를 만족하는 매개변수를 가진 대각행렬 $\Lambda = \mathrm{diag}(\lambda_0, \dots, \lambda_n)$을 도입하여 브레인드 관계와의 일致성을 확보한다.
• 브레인드 군의 생성자는 $\sigma_1 \mapsto \sigma_1(q,n)\Lambda$ 및 $\sigma_2 \mapsto \Lambda^\sharp \sigma_2(q,n)$로 매핑되며, 여기서 $\Lambda^\sharp$는 반전된 대각행렬이다.
• 비기약성은 부분공간 비기약성 및 기약성에 대한 반례 분석을 포함한 연산자 이론적 기준을 통해 분석된다.
• 다른 $\Lambda$ 매개변수에 대해 $\sigma_1$과 $\sigma_2$의 작용을 비교하여 표현의 동치성 문제를 연구한다.
• $\mathbb{C}^n[X]$ 위에서 페랑드의 연산자 $\Phi(q)$와 $\Psi(q)$의 $q$-해석을 정의하여, 이들이 브레인드 관계 $\Phi\Psi\Phi = \Psi\Phi\Psi$를 만족함을 보였다.

실험 결과

연구 질문

• RQ1 고전적 펄스칼 삼각형 기반의 $B_3$ 표현은 더 rich한 매개변수 의존성을 가진 $q$-변형 프레임워크로 일반화될 수 있는가?
• RQ2 대각행렬 $\Lambda$에 대한 어떤 조건이 구성된 $B_3$ 표현의 비기약성을 보장하는가?
• RQ3 $q$-펄스칼 삼각형 구성은 양자군 $U_q(\mathfrak{sl}_2)$의 표현 이론과 어떻게 관련되는가?
• RQ4 다른 $\Lambda$ 매개변수 선택에 대해 구성된 표현들이 동치인가?
• RQ5 $q$-변형 표현과 $\mathrm{SL}(2,\mathbb{Z})$ 표현의 $n$번째 대칭거듭제곱 사이의 정확한 연결고리는 무엇인가?

주요 결과

• 논문은 $q$-펄스칼 삼각형을 사용하여 차원 $n+1$에서 $[\frac{n+1}{2}]+1$개의 매개변수를 가진 비기약 표현의 가족을 구성한다.
• 표현은 매개변수 $\lambda_r$가 모든 $0 \leq r \leq n$에 대해 조건 $\lambda_0\lambda_n \frac{q_r q_{n-r}}{q_n} = \lambda_r \lambda_{n-r}$를 만족할 때이고, 그 때에만 비기약이다.
• 이 구성은 힘프리스의 $q=1$, $\Lambda=I$ 경우를 일반화하며, 투바–웬즐의 $[\frac{n+1}{2}]$-매개변수 가족을 확장한다.
• 페랑드의 연산자 $\Phi(q)$와 $\Psi(q)$의 $q$-해석은 브레인드 관계 $\Phi\Psi\Phi = \Psi\Phi\Psi$를 만족함을 보여, $q$-변형 브레인드 관계가 성립함을 증명한다.
• 표현은 $\rho: B_3 \to \mathrm{SL}(2,\mathbb{Z})$의 사상에 의해 표준 $\mathrm{SL}(2,\mathbb{Z})$ 표현의 $n$번째 대칭거듭제곱과 동치임을 보였다.
• 동반 논문에서 $U_q(\mathfrak{sl}_2)$의 최고 무게 모듈과의 연결이 확립되었으며, 이는 구성이 양자군 표현 이론과 연결됨을 보여준다.