[논문 리뷰] Irreducibility of the Lawrence-Krammer representation of the BMW algebra of type $A_{n-1}$, PhD thesis California Institute of Technology 2008

Claire Levaillant|ArXiv.org|2009. 01. 25.

Geometric and Algebraic Topology참고 문헌 14인용 수 6

한 줄 요약

이 박사학위논문은 복소수체 위에서 BMW 대칭군 $A_{n-1}$의 Lawrence-Krammer 표현의 기약성을 증명하며, $n \geq 4$ 인 경우 특정 매개수 값 $l \in \{r, -r^3, \frac{1}{r^{n-3}}, -\frac{1}{r^{n-3}}, \frac{1}{r^{2n-3}}\}$를 제외하고는 기약임을 보인다. 증명은 표현 이론, 불변 부분공간, 그리고 표현 공간 내에서의 벡터 체계를 통한 최소 불변 부분모듈의 명시적 구성에 기반한다.

ABSTRACT

Given two nonzero complex parameters $l$ and $m$, we construct by the mean of knot theory a matrix representation of size $\chl$ of the BMW algebra of type $A_{n-1}$ with parameters $l$ and $m$ over the field $\Q(l,r)$, where $m=\unsurr-r$. As a representation of the braid group on $n$ strands, it is equivalent to the Lawrence-Krammer representation that was introduced by Lawrence and Krammer to show the linearity of the braid groups. We prove that the Lawrence-Krammer representation is generically irreducible, but that for some values of the parameters $l$ and $r$, it becomes reducible. In particular, we show that for these values of the parameters $l$ and $r$, the BMW algebra is not semisimple. When the representation is reducible, the action on a proper invariant subspace of the Lawrence-Krammer space must be a Hecke algebra action. It allows us to describe the invariant subspaces when the representation is reducible.

연구 동기 및 목표

• BMW 대칭군 $A_{n-1}$의 Lawrence-Krammer 표현이 $\mathbb{Q}(l,r)$ 위에서 기약인지 여부를 규명하는 것.
• 표현이 기약이 되지 않는 모든 매개수 값 $l$과 $m = \frac{1}{r} - r$ 를 특정하는 것.
• 불변 부분공간과 명시적 벡터 구성 기법을 사용하여 일반 기약성 결과에 대한 새로운 증명을 제공하는 것.
• $n = 4, 5, 6$에 대해 표현 공간 내 최소 불변 부분공간의 구조를 기술하는 것.
• $l = r$ 인 경우의 유일성 정리와 불변 부분공간의 완전한 기술을 수립하는 것.

제안 방법

• BMW 대칭군에 대한 Lawrence-Krammer 표현을 $\mathbb{Q}(l,r)$ 위에서 차수 $\frac{n(n-1)}{2}$ 의 표현으로 구성한다.
• 반단순성 조건인 $r^{2k} \neq 1$ ($k = 1,\dots,n$) 을 가정하여 Iwahori-Hecke 대칭군 $\mathcal{H}_{F,r^2}(n)$ 을 틀로 사용한다.
• $n = 4,5,6$ 에 대해 최소 불변 부분공간을 생성하는 명시적 벡터 체계 $w_i^{(n)}$ 와 $v_i^{(n)}$ 를 활용한다.
• 기저 벡터 $w_{ij}$ 에 대한 생성자 $X_{ij}$ 의 작용을 분석하여 재귀관계와 불변 조건을 유도한다.
• 부행렬의 행렬식 계산(예: 크기 5) 을 통해 선형 독립성과 기약성을 테스트한다.
• $l$-값에 대한 경우의 수 분석을 통해 기약성이 성립하지 않는 경우를 탐지한다. 특히 $l = r$, $l = -r^3$, $l = \pm \frac{1}{r^{n-3}}$, $l = \frac{1}{r^{2n-3}}$ 를 중심으로 분석한다.

실험 결과

연구 질문

• RQ1 BMW 대칭군 $B(A_{n-1})$ 의 Lawrence-Krammer 표현이 기약이 되지 않는 $l$ 와 $m = \frac{1}{r} - r$ 의 값은 무엇인가?
• RQ2 $n = 4,5,6$ 인 경우 Lawrence-Krammer 표현 내 최소 불변 부분공간의 구조는 어떠한가?
• RQ3 $w_i^{(n)}$ 와 $v_i^{(n)}$ 는 어떻게 기약 부분표현을 생성하며, 대칭군 생성자에 대해 어떤 변환 법칙을 따르는가?
• RQ4 Maple 과 같은 계산 도구에 의존하지 않고도 주요 기약성 결과를 증명할 수 있는가?
• RQ5 $l = r$ 인 경우 불변 부분공간의 완전한 기술은 무엇이며, 그 공액 표현과의 관계는 어떠한가?

주요 결과

• BMW 대칭군 $A_{n-1}$ 의 Lawrence-Krammer 표현은 $\mathbb{C}(r,l)$ 위에서 $n \geq 4$ 인 경우, $l \in \{r, -r^3, \frac{1}{r^{n-3}}, -\frac{1}{r^{n-3}}, \frac{1}{r^{2n-3}}\}$ 를 제외하고는 항상 기약이다.
• $n = 4$ 인 경우, 표현은 $w_1^{(4)}, w_2^{(4)}$ 가 생성하는 유일한 2차원 불변 부분공간과 $v_1^{(4)}, v_2^{(4)}, v_3^{(4)}$ 가 생성하는 3차원 불변 부분공간을 포함한다.
• $n = 5$ 인 경우, 표현은 $w_1^{(5)}, w_2^{(5)}, w_3^{(5)}$ 가 생성하는 3차원 불변 부분공간과 $v_1^{(5)}, v_2^{(5)}, v_3^{(5)}$ 가 생성하는 3차원 불변 부분공간을 포함한다.
• $n = 6$ 인 경우, $l = \frac{1}{r^9}$ 일 때 1차원 불변 부분공간, $l = \frac{1}{r^3}$ 일 때 5차원, $l = -\frac{1}{r^3}$ 일 때 9차원, $l = r$ 일 때 10차원 불변 부분공간을 포함한다.
• $l = r$ 일 때, $\mathcal{V}^{(n)}$ 의 유일한 불변 부분공간은 $\sum_{1 \leq i < j \leq n} r^{i+j} w_{ij}$ 에 의해 생성되며, 이 경우 공액 표현은 분해에 나타나지 않는다.
• 기약성 증명은 Maple 과 같은 계산 도구에 의존하지 않고, 대수적 및 조합 기법을 통해 부분모듈의 불변성과 차원을 검증함으로써 완성되었다.