[논문 리뷰] Birman-Murakami-Wenzl algebras for general Coxeter groups

Zhi Chen|arXiv (Cornell University)|2012. 03. 02.

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

한 줄 요약

이 논문은 모든 코x터 군에 대해 일반화된 Birman-Murakami-Wenzl (BMW) 대수를 제안하며, KZ 유사 접속과 Lawrence-Krammer 표현을 통해 일반화된 Brauer 대수의 변형으로 구성된다. 주요 결과로는 단순 연결된 코x터 군의 경우 새로운 BMW 대수가 Cohen, Gijsbers, Wales의 고전적 BMW 대수와 동형임을 증명하고, 평탄하고 W-불변인 접속을 통해 아르틴 브레이드 군 표현을 거쳐야 한다는 점을 밝힌다.

ABSTRACT

We introduce a BMW type algebra for every Coxeter group. These new algebras are introduced as deformations of the Brauer type algebras introduced by the author, they have the corresponding Hecke algebras as quotients.

연구 동기 및 목표

• 대칭군과 단순 연결된 유형 외의 임의의 코x터 군으로 Birman-Murakami-Wenzl 대수 이론을 확장하기.
• 저자가 이전에 코x터 군과 허위 반사 군에 대해 도입한 일반화된 Brauer 대수의 변형을 구성하기.
• 새로운 BMW 대수와 아르틴 브레이드 군 표현 간의 연결을 평탄하고 W-불변인 KZ 유사 접속을 통해 수립하기.
• 결과적으로 얻어진 대수가 BMW 대수 정의 관계를 만족하고, 일반 매개수에서 브레이드 군 표현을 통해 인식됨을 증명하기.
• 다각형 축소와 이황군 포함을 통해 기존 단순 연결 유형에 대한 결과를 임의의 코x터 군으로 일반화하기.

제안 방법

• 코x터 군 $ W $ 에 대해 일반화된 Brauer 대수 $ Br_W( ilde{ ho}) $ 를 KZ 유사 접속과 일반화된 Lawrence-Krammer 표현을 사용하여 구성한다.
• 생성자 $ X_i $ 와 $ E_i $ 가 특정 브레이드 유사 및 아이디포텐트 관계를 만족하는 BMW 유형 대수 $ B_W( ilde{ ho}, ilde{ ho}) $ 를 $ Br_W( ilde{ ho}) $ 의 변형으로 정의한다.
• 핵심 기술 도구는 KZ 접속 $ abla_W $ 로부터 유도된 평탄하고 $ W $-불변인 접속 $ ho( abla_W) $ 이며, 이는 아르틴 브레이드 군 $ A_W $ 의 표현을 유도한다.
• 표현 $ T_ ho: A_W o GL(V) $ 는 $ X_i = T_ ho( ho_i) $ 와 $ X_i $ 의 유리함수를 통한 $ E_i $ 정의에 사용되며, 매개수 $ q_i = ext{exp}( au k_{s_i} au au au) $ 와 $ l_i = ext{exp}( au au au au)/q_i $ 를 포함한다.
• 주요 정리의 증명은 일반 경우를 이황군 $ D_m $ 으로 축소하여 수행되며, $ A_{W_L} o A_{D_{m_{i,j}}} $ 의 동형과 사상 $ ar{ ho}_L $ 를 사용하여 이황군의 경우에 대한 결과를 활용한다.
• 단순 연결 유형의 고전적 BMW 대수와의 동형성은 매개수 대응을 통해 확립된다: $ q = ext{exp}( au au au au) $, $ l = ext{exp}( au au au au)/q $.

실험 결과

연구 질문

• RQ1 모든 코x터 군에 대해 단순 연결 유형 외의 경우에도 BMW 유형 대수를 정의할 수 있는가?
• RQ2 저자의 이전 연구에서 도입한 일반화된 Brauer 대수를 어떻게 BMW 대수 구조로 변형할 수 있는가?
• RQ3 반사 초평면의 여백에서의 KZ 접속이 아르틴 브레이드 군 표현을 유도하며, 이 표현이 새로운 BMW 대수를 통해 인식되는가?
• RQ4 코x터 군이 단순 연결 유형일 경우 결과 BMW 대수가 고전적 BMW 대수와 동형인가?
• RQ5 새로운 BMW 대수의 관계는 이황군으로 축소하고 기존의 표현 결과를 사용하여 검증할 수 있는가?

주요 결과

• 논문은 모든 코x터 군 $ W $ 에 대해 BMW 유형 대수 $ B_W( ilde{ ho}, ilde{ ho}) $ 를 구성하며, 고전적 BMW 대수의 비단순 연결 유형으로의 일반화를 이루었다.
• 단순 연결된 코x터 군의 경우, 구성된 BMW 대수는 Cohen, Gijsbers, Wales의 고전적 BMW 대수 $ B_ au(q,l) $ 와 동형이며, 매개수는 $ q = ext{exp}( au au au au) $, $ l = ext{exp}( au au au au)/q $ 로 관련되어 있다.
• 구성은 평탄하고 $ W $-불변인 접속 $ abla_W $ 를 중심으로 하며, 이는 아르틴 브레이드 군 $ A_W $ 의 표현 $ T_ ho $ 를 유도한다.
• 일반 매개수에서 표현 $ T_ ho $ 는 새로운 BMW 대수를 통해 인식되며, 생성자 $ X_i $ 와 $ E_i $ 가 $ B_W( ilde{ ho}, ilde{ ho}) $ 의 정의 관계를 만족한다.
• 증명은 파라보릭 축소를 사용한다: 임의의 생성자 쌍 $ s_i, s_j $ 에 대해 $ X_i, X_j, E_i, E_j $ 가 생성하는 부분대수는 이황군 $ D_{m_{i,j}} $ 로 축소되며, 이 경우 결과는 이미 알려져 있다.
• 이 대수는 셀룰러 대수이자 유한 유형에서 단순성임을 보이며, 이는 이전의 Brauer 및 BMW 대수 결과를 임의의 코x터 군으로 확장한다.