[논문 리뷰] Most irreducible representations of the 3-string braid group

Lieven Le Bruyn|arXiv (Cornell University)|2013. 03. 20.

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

한 줄 요약

이 논문은 모든 유한 차원 $n$ 에서 3현대 브레이드 군 $B_3$ 의 준단순 표현의 모듈리 공간의 모든 기약 성분에 대해 명시적이고 자리키-밀도적인 유리 매개변수화를 구성한다. 퀴버 표현과 표준 선형계를 활용하여 이전 결과를 모든 $n$ 으로 일반화하며, 각 성분 $X_\sigma$ 에 대해 일관된 유리 사상 $\mathbb{A}^{n_\sigma} \dashrightarrow X_\sigma \subset \mathrm{iss}_n B_3$ 를 제공한다. 차원 벡터 $\sigma = (a,b;x,y,z)$ 로 정의된 성분 $X_\sigma$ 에 대해.

ABSTRACT

As the 3-string braid group B(3) and the modular group PSL(2,Z) are both of wild representation type one cannot expect a full classification of all their finite dimensional simple representations. Still, one can aim to describe 'most' irreducible representations by constructing for each d-dimensional irreducible component X of the variety iss(n,B(3)) classifying the isomorphism classes of semi-simple n-dimensional representations of B(3) an explicit minimal etale rational map A^d --> X having a Zariski dense image. Such rational dense parametrizations were obtained for all components when n < 12 in \cite{arXiv:1003.1610v1}. The aim of the present paper is to establish such parametrizations for all finite dimensions n.

연구 동기 및 목표

• 기존의 경우인 $n \leq 5$ 를 초월하여 3현대 브레이드 군 $B_3$ 의 기약 표현 분류를 모든 유한 차원 $n$ 으로 확장하는 것.
• 모듈리 공간 $\mathrm{iss}_n B_3$ 의 각 기약 성분 $X_\sigma$ 에 대해 명시적이고 자리키-밀도적인 유리 매개변수화를 제공하는 것.
• $n < 12$ 에 대한 이전 결과들을 통합하고 모든 $n$ 에 대해 유효한 완전한 프레임워크로 일반화하는 것.
• 모든 이러한 성분을 매개변수화하기 위한 체계적인 방법을 퀴버 표현과 표준 선형계를 사용하여 수립하는 것.

제안 방법

• 표준 선형계의 동치류와 단순 퀴버 표현의 이somorphism류 사이의 대응을 활용한다.
• 퀴버 설정에서 상태, 입력, 출력 연산자에 대해 동반 행렬과 일반 행렬을 이용한 유리 매개변수화를 적용한다.
• 차원 벡터 $\sigma = (a,b;x,y,z)$ 를 사용하여 성분 $X_\sigma$ 를 분류하며, 이는 $n = a + b = x + y + z$ 와 $x = \max(x,y,z) \leq b = \min(a,b)$ 를 만족한다.
• 생성자 $\sigma_1, \sigma_2$ 의 명시적 행렬 형태를 구성함으로써, 이미지가 조밀한 유리 사상 $f_\sigma: \mathbb{A}^{n_\sigma} \dashrightarrow X_\sigma$ 를 유도한다.
• $m$ 개의 전진 화살표와 $p$ 개의 역행 화살표를 가진 퀴버의 구조를 활용하여 제어 시스템을 모델링하고, 매개변수화 문제를 유리 기하학으로 환원한다.
• 기저 교체 기법과 순환 벡터 논증을 적용하여 일반 표현을 동반 행렬과 일반 항목을 가진 표준 형식으로 환원한다.

실험 결과

연구 질문

• RQ1 모든 $n$ 에 대해 $\mathrm{iss}_n B_3$ 의 각 기약 성분 $X_\sigma$ 에 대해 유리적이고 자리키-밀도적인 매개변수화를 구성할 수 있는가?
• RQ2 $B_3$ 의 야수 표현 유형을 어떻게 극복하여 모든 차원에 걸쳐 일관된 매개변수화를 확보할 수 있는가?
• RQ3 각 성분에 대해 매개변수화를 실현하는 유리 사상 $f_\sigma: \mathbb{A}^{n_\sigma} \dashrightarrow X_\sigma$ 의 정확한 형태는 무엇인가?
• RQ4 차원 벡터 $\sigma = (a,b;x,y,z)$ 와 관련된 $n_\sigma = 1 + n^2 - (a^2 + b^2 + x^2 + y^2 + z^2)$ 가 $X_\sigma$ 의 기하학을 어떻게 결정하는가?
• RQ5 모든 $n$ 에 대해 퀴버 표현과 표준 선형계를 사용하여 매개변수화를 일관되게 구성할 수 있는가?

주요 결과

• 차원 벡터 $\sigma = (a,b;x,y,z)$ 를 가진 모든 기약 성분 $X_\sigma$ 에 대해, $n = a + b = x + y + z$ 이고 $x = \max(x,y,z) \leq b = \min(a,b)$ 를 만족하는 경우, 명시적이고 자리키-밀도적인 유리 매개변수화 $f_\sigma: \mathbb{A}^{n_\sigma} \dashrightarrow X_\sigma \subset \mathrm{iss}_n B_3$ 가 구성된다.
• 각 성분의 차원은 $n_\sigma = 1 + n^2 - (a^2 + b^2 + x^2 + y^2 + z^2)$ 로 주어지며, 이 매개변수화는 에탈 의미에서 최소이다.
• 특히 $a = b$ 인 경우, $B_3$ 의 생성자 $\sigma_1, \sigma_2$ 는 특정 블록 구조를 가진 행렬 $B$ 의 유리 함수로 명시적으로 주어진다. 이 블록 구조는 동반 행렬과 일반 항목을 포함한다.
• 매개변수화 과정은 두 단계로 이루어지며, 첫 번째 단계는 표준 선형계의 퀴버 표현을 통해 이루어지고, 두 번째 단계는 기저 교체를 통해 동반 행렬 형식으로 변환된다.
• 값 $c = x + y + 1 - a$ 가 짝수 또는 홀수일 경우를 적절히 정의함으로써 $d, e, f$ 를 설정함으로써 모든 $n$ 에 걸쳐 일관성이 확보된다.
• 최종 행렬 형식 $B$ 는 $c$ 의 홀짝성에 따라 블록 형태로 명시적으로 주어지며, $1_{e}, A_e, A_d^\dagger, A_g, A_h$ 와 일반 항목을 포함한다.