[論文レビュー] 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|Nov 27, 2009

Algebraic structures and combinatorial models参考文献 31被引用数 20

ひとこと要約

この論文は、適切なパラメータ環上で、巡回的BMW代数がランク $k^n(2n-1)!!$ の自由 $R$-加群であることを証明し、図式的基底を介して巡回的 Kaufmannテンゴル代数と幾何的同型を与える。証明は、$𝖟_2^k$ の表現論から導かれる適切性条件に依存し、テンゴル不変量を用いて、Jucy-Murphy型生成子と併せて明示的な代数的および図式的基底を構成する。

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$ を、Kauffmanテンゴル代数の巡回的類似物として幾何的に実現すること。
• テンゴル不変量を用いて、代数的かつ図式的両方の意味で明示的な基底を $\mathscr{B}_n^k$ に対して構成すること。
• 巡回的BMW代数が明示的な同型写像 $\psi$ を通じて巡回的Kauffmanテンゴル代数 $\mathbb{KT}_n^k$ と同型であることを証明すること。
• 自由性の結果が、$𝖟_2^k$ の表現論から導かれる適切性条件の下で、かつその条件下でのみ成立することを示すこと。

提案手法

• 生成子 $Y$ における $k$ 階の関係を課したアフィンBMW代数の商として、巡回的BMW代数 $\mathscr{B}_n^k(R)$ を定義する。
• 代数が適切に定義され、自由であるように保証するため、パラメータ $A_0, \dots, A_{k-1}, q, \lambda$ に対する適切性条件を導入する。
• アフィン $n$-テンゴルを用いた、固体トーラス内の図式的モデルを、Kaufmannスキーン関係式で商取ることで構成する。
• テンゴル図とスキーン関係式を用いて、代数から巡回的Kauffmanテンゴル代数への写像 $\psi: \mathscr{B}_n^k(R) \to \mathbb{KT}_n^k(R)$ を定義する。
• トレース形式のグラム行列の行列式を用いた議論により、$\psi$ が単射かつ全射であることを示し、同型であることを証明する。
• 普遍的環 $R_0$ からの基底を、適切な環 $R$ への基底変換により持ち上げることで、自由性と基底構造を保ったまま、任意の適切な環 $R$ へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 パラメータに対してどのような条件下で、巡回的BMW代数 $\mathscr{B}_n^k(R)$ が $R$-加群として自由になるか。
• RQ2 巡回的BMW代数は、固体トーラス内のテンゴル代数の商として幾何的に実現可能か。
• RQ3 巡回的BMW代数とKauffmanテンゴル代数の巡回的版との間に明示的な同型写像が存在するか。
• RQ4 $\mathscr{B}_n^k(R)$ の基底の構造は、代数的および図式的両方の観点からどのように記述できるか。
• RQ5 パラメータの適切性条件は、$𝖟_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)$ が巡回的Kauffmanテンゴル代数と同型であることが証明された。
• $\mathbb{B}_R$ の像が $\mathbb{KT}_n^k(R)$ の基底をなすため、幾何的実現が確認された。
• 適切性条件は自由性にとって必要かつ十分であり、$𝖟_2^k$ の表現論から導かれる。
• 同型写像 $\psi$ により、$\mathscr{B}_n^k(R)$ がテンゴルモデルを通じて $\mathscr{B}_{n-1}^k(R)$ を部分代数として含むことが示された。
• 基底要素は、代数的には $\alpha$-チェーンと $\chi$-要素の積として記述され、図式的には、垂れ下がりと水平な弧を持つテンゴル図として表現される。