[논문 리뷰] On the freeness of the cyclotomic BMW algebras: admissibility and an isomorphism with the cyclotomic Kauffman tangle algebras

Stewart Wilcox, Sh Shona Yu|ArXiv.org|2009. 11. 27.

Algebraic structures and combinatorial models참고 문헌 31인용 수 20

한 줄 요약

이 논문은 순환 BMW 대수 $\mathscr{B}_n^k$가 적절한 매개변수 환에서 자유 $R$-모듈로서 계수 $k^n(2n-1)!!$ 를 가짐을 증명하며, 다이어그램 기반을 통해 순환 카우프만 린크 대수와 기하학적 동형을 수립한다. 증명은 $\mathscr{B}_2^k$의 표현 이론에서 유도된 적절성 조건에 기반하며, 줄무늬형 생성자와 린크 불변량을 사용하여 명시적인 대수적 및 다이어그램 기반을 구성한다.

ABSTRACT

The cyclotomic Birman-Murakami-Wenzl (BMW) algebras B_n^k, introduced by R. Häring-Oldenburg, are a generalisation of the BMW algebras associated with the cyclotomic Hecke algebras of type G(k,1,n) (aka Ariki-Koike algebras) and type B knot theory. In this paper, we prove the algebra is free and of rank k^n (2n-1)!! over ground rings with parameters satisfying so-called "admissibility conditions". These conditions are necessary in order for these results to hold and originally arise from the representation theory of B_2^k, which is analysed by the authors in a previous paper. Furthermore, we obtain a geometric realisation of B_n^k as a cyclotomic version of the Kauffman tangle algebra, in terms of affine n-tangles in the solid torus, and produce explicit bases that may be described both algebraically and diagrammatically. The admissibility conditions are the most general offered in the literature for which these results hold; they are necessary and sufficient for all results for general n.

연구 동기 및 목표

• 순환 BMW 대수 $\mathscr{B}_n^k$가 적절한 매개변수를 가진 환 위에서 자유 $R$-모듈임을 확립하기 위해.
• $\mathscr{B}_n^k$를 카우프만 린크 대수의 순환 버전으로서 기하학적으로 실현하기 위해.
• 린크 불변량을 사용하여 대수적이고 다이어그램적인 두 가지 기반을 명시적으로 구성하기 위해.
• 순환 BMW 대수가 명시적인 동형사상 $\psi$를 통해 순환 카우프만 린크 대수 $\mathbb{KT}_n^k$와 동형임을 증명하기 위해.
• 자유성 결과가 정확히 적절성 조건 하에서만 성립하며, 이 조건들이 $\mathscr{B}_2^k$의 표현 이론에서 유도된 필수 조건임을 보여주기 위해.

제안 방법

• 생성자 $Y$에 대한 $k$차 수식을 포함하는 애파인 BMW 대수의 몫으로서 순환 BMW 대수 $\mathscr{B}_n^k(R)$를 정의한다.
• 대수가 잘 정의되고 자유임을 보장하기 위해 매개변수 $A_0, \dots, A_{k-1}, q, \lambda$에 대한 적절성 조건을 도입한다.
• 고체 토러스 내의 애파인 $n$-린크를 사용하여, 카우프만 스케인 관계를 모듈로 하는 다이어그램 모델을 구성한다.
• 린크 다이어그램과 스케인 관계를 사용하여 대수에서 순환 카우프만 린크 대수로의 사상 $\psi: \mathscr{B}_n^k(R) \to \mathbb{KT}_n^k(R)$를 정의한다.
• 트레이스 형식의 그램 행렬의 행렬식을 이용한 추론을 통해 $\psi$가 단사 및 전사임을 보이고, 이로써 $\psi$가 동형임을 증명한다.
• 기본환 $R_0$으로부터 임의의 적절한 환 $R$으로의 기저를 기저 전환을 통해 옮기며, 자유성과 기저의 구조를 유지한다.

실험 결과

연구 질문

• RQ1 순환 BMW 대수 $\mathscr{B}_n^k(R)$가 $R$-모듈로서 자유임이 되는 매개변수 조건은 무엇인가?
• RQ2 순환 BMW 대수는 고체 토러스 내의 린크 대수의 몫으로서 기하학적으로 실현될 수 있는가?
• RQ3 순환 BMW 대수와 카우프만 린크 대수의 순환 형태 사이에 명시적인 동형사상이 존재하는가?
• RQ4 $\mathscr{B}_n^k(R)$의 기저의 구조는 대수적으로도, 다이어그램적으로도 어떻게 구성되는가?
• RQ5 매개변수의 적절성 조건은 $\mathscr{B}_2^k$의 표현 이론으로부터 어떻게 유도되는가?

주요 결과

• 순환 BMW 대수 $\mathscr{B}_n^k(R)$는 임의의 적절한 매개변수 환 $R$ 위에서 계수 $k^n(2n-1)!!$ 의 자유 $R$-모듈이다.
• 등급사상 $\psi: \mathscr{B}_n^k(R) \to \mathbb{KT}_n^k(R)$ 가 구성되었으며, 이는 $\mathscr{B}_n^k(R)$ 가 순환 카우프만 린크 대수와 동형임을 증명한다.
• $\mathbb{B}_R$ 기저의 이미지가 $\mathbb{KT}_n^k(R)$ 에서의 기저를 이룬다. 이는 기하학적 실현이 확인됨을 의미한다.
• 적절성 조건은 자유성에 필수적이며 충분하며, $\mathscr{B}_2^k$ 의 표현 이론에서 유도된다.
• 등급사상 $\psi$ 는 $\mathscr{B}_n^k(R)$ 가 $\mathscr{B}_{n-1}^k(R)$ 를 부분대수로 포함함을 시사한다. 이는 린크 모델을 통해 유도된다.
• 기저 원소들은 대수적으로 $\alpha$-체인과 $\chi$-원소들의 곱으로 기술되며, 다이어그램적으로는 끝이 드러나 있는 린크 다이어그램과 수평 호로 표현된다.