[论文解读] 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$-模，通过图解基建立其与分圆Kauffman扭结代数之间的几何同构。证明依赖于从 $\mathscr{B}_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$ 的自由性。
• 将 $\mathscr{B}_n^k$ 几何实现为Kauffman扭结代数的分圆类比。
• 构造 $\mathscr{B}_n^k$ 的显式基，该基兼具代数与图解形式，利用扭结不变量。
• 通过显式同构 $\psi$ 证明分圆BMW代数与分圆Kauffman扭结代数 $\mathbb{KT}_n^k$ 同构。
• 表明自由性结果仅在允许性条件下成立，且这些条件是必要且源自 $\mathscr{B}_2^k$ 的表示理论。

提出的方法

• 将分圆BMW代数 $\mathscr{B}_n^k(R)$ 定义为在生成元 $Y$ 上满足 $k$ 阶关系的仿射BMW代数的商代数。
• 对参数 $A_0, \dots, A_{k-1}, q, \lambda$ 引入允许性条件，以确保代数性质良好且为自由模。
• 利用实心环面上的仿射 $n$-扭结图解模型，模去Kauffman skein关系，构建代数的图解模型。
• 通过扭结图与skein关系，定义从代数到分圆Kauffman扭结代数 $\mathbb{KT}_n^k(R)$ 的映射 $\psi: \mathscr{B}_n^k(R) \to \mathbb{KT}_n^k(R)$。
• 通过迹形式的Gram矩阵行列式论证，证明 $\psi$ 是同构（即单射且满射）。
• 通过基变换，将基从通用环 $R_0$ 提升至任意允许环 $R$，保持自由性与基结构。

实验结果

研究问题

• RQ1 在何种参数条件下，分圆BMW代数 $\mathscr{B}_n^k(R)$ 作为 $R$-模是自由的？
• RQ2 分圆BMW代数能否在实心环面上扭结代数的商中实现为几何模型？
• RQ3 是否存在分圆BMW代数与Kauffman扭结代数的分圆版本之间的显式同构？
• RQ4 $\mathscr{B}_n^k(R)$ 的基结构是怎样的，其代数与图解形式分别如何？
• RQ5 参数的允许性条件如何从 $\mathscr{B}_2^k$ 的表示理论中导出？

主要发现

• 在任意允许参数环 $R$ 上，分圆BMW代数 $\mathscr{B}_n^k(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$ 基在 $\psi$ 下的像构成 $\mathbb{KT}_n^k(R)$ 的基，确认了其几何实现。
• 允许性条件对于自由性而言是必要且充分的，且源自 $\mathscr{B}_2^k$ 的表示理论。
• 同构 $\psi$ 暗示 $\mathscr{B}_n^k(R)$ 作为子代数包含 $\mathscr{B}_{n-1}^k(R)$，此结论基于扭结模型。
• 基元素在代数上可表示为 $\alpha$-链与 $\chi$-元的乘积，在图解上则表现为带悬挂边与水平弧的扭结图。