[논문 리뷰] An algebra involving braids and ties

Francesca Aicardi, Jesús Juyumaya|arXiv (Cornell University)|2017. 09. 12.

Geometric and Algebraic Topology참고 문헌 4인용 수 18

한 줄 요약

이 논문은 브레인드 유사 요소 $T_i$ 와 티 제너레이터 $E_i$ 로 생성되는 유한 차원 대수 ${\mathcal{E}}_n(u)$ 를 소개하고 연구한다. 이 대수는 브레인드 군과 아이디포텐트 관계를 조합한 관계를 만족한다. 주요 기여는 ${\mathcal{E}}_3(1)$ 의 표현 이론을 완전히 분류한 것으로, 이 대수가 단순하며 $4M_1(\mathbb{C}) \oplus 2M_2(\mathbb{C}) \oplus 2M_3(\mathbb{C})$ 로 분해되며 차원이 30임을 보여주며, 다이어그램적 해석과 초구형군의 군 대수로의 모르피즘을 사용한다.

ABSTRACT

In this note we study a family of algebras with one parameter defined by generators and relations. The set of generators contains the generators of the usual braids algebra, and another set of generators which is interpreted as ties between consecutive strings. We also study the representations theory of the algebra when the parameter is specialized to 1.

연구 동기 및 목표

• 브레인드 군 생성자와 티 생성자를 통합하는 새로운 대수 ${\mathcal{E}}_n(u)$ 를 정의하고 연구하기.
• 이전 제안과 비교해 불필요한 관계를 제거한, ${\mathcal{E}}_n(u)$ 의 최소 정의 관계 집합을 제공하기.
• ${\mathcal{E}}_n(u)$ 의 표현 이론을 매개변수 $u$ 가 1으로 특수화된 경우, 특히 작은 $n$ 에 대해 분석하기.
• 브레인드와 티로 해석된 생성자에 대한 다이어그램적 해석을 제시하여 선형 기저와 관계 연구를 용이하게 하기.
• ${\mathcal{E}}_3(1)$ 이 단순이며 $\mathbb{C}$ 위의 행렬 대수로 명시적으로 분해됨을 증명하기.

제안 방법

• ${\mathcal{E}}_n(u)$ 는 브레인드 관계, $E_i$ 의 아이디포텐트성, 혼합 브레인드-티 관계를 조합한 관계를 갖는 생성자 $T_1, \dots, T_{n-1}$ 과 $E_1, \dots, E_{n-1}$ 으로 정의된다.
• 다이어그램적 모델이 도입되며, 여기서 $T_i$ 는 교차를, $E_i$ 는 인접한 스트랜드 사이의 티를 나타내어 관계에 대한 시각적 추론을 가능하게 한다.
• 유한 차원성을 보이기 위해 귀납적 증명이 사용되며, $U_i = \{1\} \cup T_iU_{i-1} \cup E_iU_{i-1} \cup T_iE_iU_{i-1}$ 를 통해 선형 기저를 재귀적으로 구성한다.
• $u=1$ 에서의 표현 이론은 초구형군의 군 대수로의 모르피즘을 통해 연구되며, 부호가 있는 순열로 원소를 보내고 아이디포텐트 작용을 하는 맵 $\psi$ 를 사용한다.
• 기저 원소들의 선형 독립성은 평가 맵 $\varphi_0$ 를 적용하고 초구형군 대수 내 계수를 분석함으로써 증명된다.
• ${\mathcal{E}}_3(1)$ 의 분해는 차원이 30임을 보이고 $\psi$ 에서의 상의 구조를 이용해 유도된다.

실험 결과

연구 질문

• RQ1 브레인드와 티를 통합하는 대수 ${\mathcal{E}}_n(u)$ 의 최소 정의 관계 집합은 무엇인가?
• RQ2 ${\mathcal{E}}_n(u)$ 의 표현 이론은 매개변수 $u$ 가 1으로 특수화되었을 때 어떻게 행동하는가?
• RQ3 ${\mathcal{E}}_3(1)$ 은 단순한가? 만약 그렇다면, 그 간단한 성분들로의 완전한 분해는 무엇인가?
• RQ4 브레인드와 티로 해석된 생성자에 대한 다이어그램적 해석은 대수의 구조 분석을 체계적으로 가능하게 하는가?
• RQ5 ${\mathcal{E}}_3(1)$ 의 차원은 얼마이며, 초구형군의 표현 이론과는 어떻게 관련이 있는가?

주요 결과

• 대수 ${\mathcal{E}}_n(u)$ 는 $T_i$, $E_i$, $T_iE_i$ 가 이전 생성자에 작용하는 방식으로 정의된 $U_i$ 를 사용해 재귀적으로 구성된 기저를 갖는다.
• ${\mathcal{E}}_n(u)$ 의 정의 관계는 원래 제안에서 존재하던 두 개의 불필요한 관계를 제거함으로써 최소 시스템으로 축소되었다.
• $n=2$ 에서 ${\mathcal{E}}_2(u)$ 의 기저는 네 개의 원소로 이루어진다: $\{1, T_1, E_1, T_1E_1\}$.
• $n=3$ 에서 대수 ${\mathcal{E}}_3(u)$ 는 대칭군 $\mathcal{S}_3$ 의 5개 원소를 갖는 $L$ 이 변할 때 형태 $L$, $LE_1$, $LE_2$, $LE_1E_2$, $LE_2T_1$ 의 15개 원소로 선형 스펜된다.
• ${\mathcal{E}}_3(1)$ 은 단순하며 $4M_1(\mathbb{C}) \oplus 2M_2(\mathbb{C}) \oplus 2M_3(\mathbb{C})$ 로 분해되며 총 차원은 30이다.
• $\psi$ 는 ${\mathcal{E}}_3(1)$ 에서 초구형군의 군 대수로의 사상으로, 구성된 기저의 선형 독립성을 확인한다.