[논문 리뷰] The cyclotomic BMW algebra associated with the two string type B braid group

Stewart Wilcox, Shona Yu|arXiv (Cornell University)|2006. 11. 17.

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

한 줄 요약

이 논문은 두 줄의 타입 B 브레인드 그룹과 관련된 원분 BMW 대수 $ \mathscr{B}_{2}^{k} $에 대한 완전한 기저와 정규 표현을 제공한다. 랭크-$k$ 모듈 $V$를 구성하고 매개변수에 대한 명시적 적합성 조건 하에서 그 자유성과 증명함으로써, 저자들은 $\mathscr{B}_{2}^{k}$가 랭크 $3k^2$의 자유 $R$-모듈임을 확립하며, 명시적 기저 $\{Y^i e Y^j, Y^i X Y^j, X Y^i X Y^j \mid 0 \leq i,j \leq k-1\}$를 제공한다. 이는 이전 연구에서의 격차를 메우며, 일반적으로 자유성에 대해 이러한 조건이 필수적이고 충분함을 보여준다.

ABSTRACT

The cyclotomic Birman-Murakami-Wenzl (or BMW) algebras B_n^k, introduced by R. Haring-Oldenburg, are extensions of the cyclotomic Hecke algebras of Ariki-Koike, in the same way as the BMW algebras are extensions of the Hecke algebras of type A. In this paper we focus on the case n=2, producing a basis of B_2^k and constructing its left regular representation.

연구 동기 및 목표

• Häring-Oldenburg(2006)에서 두 줄의 원분 BMW 대수 $\mathscr{B}_2^k$의 자유성에 대한 불완전한 증명을 해결하기 위해.
• 기대하는 랭크 $3k^2$의 자유성을 보장하는 대수의 매개변수에 대한 명시적 적합성 조건을 유도하기 위해.
• 랭크-$k$ 모듈 $V$를 사용하여 $\mathscr{B}_2^k$의 왼쪽 정규 표현을 구성하고, 명시적 $R$-기저의 존재를 증명하기 위해.
• 유도된 적합성 조건이 모든 $n$에 대해 기대하는 랭크를 갖는 $\mathscr{B}_n^k$의 자유성에 대해 필수적이고 충분한지 보여주기 위해.

제안 방법

• 매개변수 $q_i, A_m, \lambda, q$에 대한 명시적 적합성 조건 하에서, $Y^{\pm1}, X^{\pm1}, e$를 생성자로 하는 단위 결합 $R$-대수 $\mathscr{B}_2^k(R)$를 정의하며, $Y^k = \sum_{i=0}^{k-1} q_i Y^i$ 및 $X$, $e$, $Y$를 포함하는 브레인드 유사 관계를 포함한다.
• 랭크-$k$의 $\mathscr{B}_2^k$-모듈 $V = \langle Y^i e \mid 0 \leq i \leq k-1 \rangle$를 구성하고, 기저 원소에 대한 $X$, $Y$, $e$의 작용을 명시적 공식으로 정의한다.
• $\kappa = X^{-1} u_{00}$인 경우 $a \mapsto a \kappa$로 정의된 사상 $\phi: \mathscr{B}_2^k \to \Xi = V \otimes_R V$를 정의하고, $\phi$가 $\mathscr{B}_2^k$-모듈의 동형사상임을 증명한다.
• $\phi$의 동형사상 성질을 이용하여 $\Xi$의 $R$-기저를 $\mathscr{B}_2^k$의 $R$-기저로 옮기며, 명시적 기저는 $\{Y^i e Y^j, Y^i X Y^j, X Y^i X Y^j \mid 0 \leq i,j \leq k-1\}$로 주어진다.
• 매개변수 $q_i, A_m, \lambda, q$에 대한 적합성 조건을 유도하기 위해, $V$가 랭크 $k$의 자유 모듈임과 $\phi$가 단사임을 요구한다.
• $\mathscr{B}_2^k$가 랭크 $3k^2$의 자유 모듈이 되기 위한 적합성 조건이 필수적이고 충분함을 증명하며, 이러한 조건이 모든 $n$에 대해 $\mathscr{B}_n^k$의 기대 랭크 $k^n (2n-1)!!$에 대한 자유성도 보장함을 보여준다.

실험 결과

연구 질문

• RQ1 원분 BMW 대수 $\mathscr{B}_2^k$가 랭크 $3k^2$의 자유 모듈이 되기 위한 정확한 매개변수 조건은 무엇인가?
• RQ2 모듈 이론적 방법을 사용하여 $\mathscr{B}_2^k$의 왼쪽 정규 표현을 어떻게 명시적으로 구성할 수 있는가?
• RQ3 $\mathscr{B}_2^k$에서 $e$에 의해 생성된 양방향 아이디얼의 구조는 무엇이며, 이는 모듈 $V$와 어떻게 관련되어 있는가?
• RQ4 $\mathscr{B}_2^k$에 대해 유도된 적합성 조건이 모든 $n$에 대해 $\mathscr{B}_n^k$의 자유성에 대해 필수적이고 충분한가?
• RQ5 $\mathscr{B}_2^k$의 기저를 명시적으로 기술하고, 유도된 매개변수 조건 하에서 선형 독립성을 증명할 수 있는가?

주요 결과

• $\mathscr{B}_2^k(R)$는 매개변수들이 유도된 적합성 조건을 만족할 때이고 그때에만 $R$-자유 모듈이며, 그 랭크는 $3k^2$이다.
• 명시적 $R$-기저는 $\{Y^i e Y^j, Y^i X Y^j, X Y^i X Y^j \mid 0 \leq i,j \leq k-1\}$로 주어지며, 이 기저는 선형 독립이면서 생성함을 증명하였다.
• $e$에 의해 생성된 양방향 아이디얼은 랭크 $k^2$의 자유 $R$-모듈이며, 기저는 $\{Y^i e Y^j \mid 0 \leq i,j \leq k-1\}$로 주어지며, 이는 $k$개의 랭크-$k$ 모듈 $V$와 동형이다.
• 적합성 조건은 $\mathscr{B}_2^k(R)$가 랭크 $3k^2$의 자유 모듈이 되기 위해 필수적이고 충분하며, 이러한 조건은 모든 $n$에 대해 $\mathscr{B}_n^k(R)$가 기대하는 랭크 $k^n (2n-1)!!$의 자유 모듈이 되도록 보장한다.
• $\mathscr{B}_2^k(R)$의 왼쪽 정규 표현은 $\phi: \mathscr{B}_2^k \to V \otimes_R V$의 동형사상으로 구성되며, $V$는 랭크-$k$의 $\mathscr{B}_2^k$-모듈이며, 이 동형사상은 $\mathscr{B}_2^k$-모듈 동형사상임을 증명하였다.
• 유도된 적합성 조건는 가장 일반적인 형태이다: 만약 $\mathscr{B}_2^k$가 랭크 $3k^2$의 자유 모듈이라면, 매개변수는 반드시 이러한 조건을 만족해야 하며, 이는 코로나리 4.5의 네 가지 핵심 문장의 동치성으로 보여진다.