[논문 리뷰] Representations of braid groups

Stephen Bigelow|ArXiv.org|2003. 04. 15.

Geometric and Algebraic Topology참고 문헌 10인용 수 15

한 줄 요약

이 논문은 브레인드 그룹 $B_n$의 Lawrence-Krammer 표현의 호모로지적 구성법을 제시하며, Blanchfield 쌍대성(pairing)을 사용하여 그 충실성(faithfulness)을 증명한다. 이 쌍대성을 응용하여 큰 $n$에 대해 Burau 표현이 충실하지 않음을 보이며, 존스 다항식을 호모로지적으로 정의하고, 제곱근 단위에서 히드라-대수 표현을 연구하기 위한 위상적 도구를 제안한다.

ABSTRACT

In this paper we survey some work on representations of $B_n$ given by the induced action on a homology module of some space. One of these, called the Lawrence-Krammer representation, recently came to prominence when it was shown to be faithful for all $n$. We will outline the methods used, applying them to a closely related representation for which the proof is slightly easier. The main tool is the Blanchfield pairing, a sesquilinear pairing between elements of relative homology. We discuss two other applications of the Blanchfield pairing, namely a proof that the Burau representation is not faithful for large $n$, and a homological definition of the Jones polynomial. Finally, we discuss possible applications to the representation theory of the Hecke algebra, and ultimately of the symmetric group over fields of non-zero characteristic.

연구 동기 및 목표

• 호모로지 방법과 Blanchfield 쌍대성을 사용하여 $B_n$의 Lawrence-Krammer 표현의 충실성을 확립하기.
• 동일한 쌍대성 기법을 사용하여 큰 $n$에 대해 Burau 표현이 충실하지 않음을 보이기.
• 커버링 공간 내의 교차 쌍대성을 통해 존스 다항식의 호모로지적 정의 제공하기.
• 비일반적인 $q$에서, 특히 제곱근 단위에서 Hecke 대수의 Specht 모듈과 $D^\lambda$-모듈의 위상적 구성 탐색하기.
• Lawrence의 호모로지적 Specht 모듈에서의 Blanchfield 쌍대성이 Dipper와 James의 대수적 쌍대성과 일치하는지 조사하여, 양의 특성에서 표현 이론에 새로운 위상적 도구를 제공할 수 있는지 탐구하기.

제안 방법

• 구멍이 난 디스크 $D_n$ 안의 순서 없는 쌍의 구성공간 $C$의 커버링 공간 $\tilde{C}$를 구축하며, 단일화된 모노드로미(monodromy)가 변수 $q$와 $t$에 의해 표현된다.
• 브레인드 그룹 $B_n$의 작용이 $H_2(\tilde{C}, \tilde{P})$ 위에 유도되는 것으로 Lawrence-Krammer 표현을 정의한다. 여기서 $\tilde{P}$는 구멍이나 경계에 가까운 정도를 표현하는 부분공간이다.
• 알고리즘적 교차 수와 외적 합을 통해 정의된, $\mathbb{Z}[q^{\pm1}, t^{\pm1}]$로 값이 나는 Blanchfield 쌍대성 $\langle \cdot, \cdot \rangle: H_2(\tilde{C}, \tilde{P}) \times H_2(\tilde{C}, \tilde{B}) \to \mathbb{Z}[q^{\pm1}, t^{\pm1}]$를 활용한다.
• 브레인드 그룹 작용에 대한 쌍대성의 불변성과 $q \mapsto q^{-1}, t \mapsto t^{-1}$에 대한 반선형성(semi-linearity)을 증명함으로써 충실성 증명이 가능하게 한다.
• 쌍대성에서 $t = -q^{-1}$로 특수화하여, $B_{2n}$의 플랫-폐쇄 플랫 브레인드의 존스 다항식을 정규화를 제외하고 회수한다.
• 호모로지에 대한 Blanchfield 쌍대성을 이용해, 공액션(conjugation)을 통한 Lawrence의 Specht 모듈 위에 이중선형 쌍대성을 정의함으로써, 비일반적인 $q$에서 Dipper-James 쌍대성과 일치시키려 한다.

실험 결과

연구 질문

• RQ1 Lawrence-Krammer 표현이 $B_n$에 대해 충실한가? 그리고 이는 Blanchfield 쌍대성을 통해 증명될 수 있는가?
• RQ2 Blanchfield 쌍대성이 큰 $n$에 대해 Burau 표현의 충실성에 위상적 장벽을 제공하는가?
• RQ3 구성공간의 커버링 공간 내 교차 쌍대성을 통해 끈의 존스 다항식을 호모로지적으로 정의할 수 있는가?
• RQ4 Lawrence의 호모로지적 Specht 모듈에서의 Blanchfield 쌍대성이 Dipper와 James의 대수적 쌍대성과 일치하는 이중선형 쌍대성을 유도할 수 있는가?
• RQ5 $q$가 제곱근 단위일 때 호모로지 모듈에서의 Blanchfield 쌍대성의 행동은 어떠한가? 그리고 이는 양의 특성에서 $D^\lambda$-모듈을 연구하는 데 새로운 도구를 제공할 수 있는가?

주요 결과

• Blanchfield 쌍대성의 불변성과 비퇴화성에 기반하여, $B_n$의 Lawrence-Krammer 표현은 충실함을 증명하였다.
• 관련된 호모로지 설정에서 Blanchfield 쌍대성의 비퇴화성에 기반하여, 큰 $n$에 대해 Burau 표현은 충실하지 않음을 보였다.
• 브레인드 $\sigma \in B_{2n}$의 플랫-폐쇄 플랫 브레인드의 존스 다항식은 정규화를 제외하고 $\langle \sigma(e), f \rangle|_{t = -q^{-1}}$로 주어지며, $e$와 $f$는 구성공간으로의 토러스 맵을 통해 정의된다.
• $H_k(\tilde{C}, \tilde{B})$ 위에서의 Blanchfield 쌍대성은 Lawrence의 Specht 모듈 위에 이중선형 쌍대성 $\langle u, v \rangle' = \langle u, \tilde{\rho}(v) \rangle$를 유도하며, 일반적인 $q$에서 Dipper-James 쌍대성과 정규화를 제외하고 일치한다.
• 이 위상적 쌍대성이 비일반적인 $q$로까지 확장될 가능성이 있으며, 제곱근 단위에서 Hecke 대수의 $D^\lambda$-모듈에 대한 새로운 호모로지적 구성법을 제공할 수 있을 것으로 보인다.
• 이 구성은 존스 다항식의 위상적 실현을 제공하며, 브레인드 그룹 표현, 끈 불변량, 대칭군의 모듈러 표현 이론 간의 깊은 연결 고리를 시사한다.