[论文解读] Cyclotomic Birman--Wenzl--Murakami algebras, II: Admissibility Relations and Freeness

Frederick M. Goodman, Holly Hauschild Mosley|ArXiv.org|Dec 2, 2006

Algebraic structures and combinatorial models参考文献 21被引用 6

一句话总结

该论文证明了在允许的整环上，分圆 Birman–Wenzl–Murakami 代数是秩为 $ r^n(2n-1)!! $ 的自由模，且同构于分圆 Kauffman 弦代数。关键结果通过允许性条件、表示理论以及递归迹公式得以证明，其中 ${\mathbb{Z}}_r$-Brauer 代数作为组合框架，用于确立维数与迹的非退化性。

ABSTRACT

The cyclotomic Birman-Wenzl-Murakami algebras are quotients of the affine BMW algebras in which the affine generator satisfies a polynomial relation. We study admissibility conditions on the ground ring for these algebras, and show that the algebras defined over an admissible integral ground ring $S$ are free $S$--modules and isomorphic to cyclotomic Kauffman tangle algebras. We also determine the representation theory in the generic semisimple case, obtain a recursive formula for the weights of the Markov trace, and give a sufficient condition for semisimplicity.

研究动机与目标

• 确定基环上的允许性条件，以保证分圆 BMW 代数的自由性及其与分圆 Kauffman 弦代数的同构性。
• 在一般半单情形下，建立分圆 BMW 代数的表示理论。
• 推导这些代数上马尔可夫迹权重的递归公式。
• 提供分圆 BMW 代数半单性的充分条件。
• 证明当基环为允许整环时，分圆 BMW 代数是秩为 $ r^n(2n-1)!! $ 的自由模，其基由一个组合集合参数化。

提出的方法

• 将分圆 BMW 代数定义为仿射 BMW 代数关于生成元 $ x_1 $ 的首一多项式关系的商代数，该关系对应于弦模型中的分圆 skein 关系。
• 引入允许整环 $ S $ 的概念，确保多项式可分解，且参数满足必要的代数约束。
• 使用 ${\mathbb{Z}}_r$-Brauer 代数作为组合模型，通过条件期望计算维数并分析迹。
• 在有理函数域 $ \vartheta_j $ 上构造 ${\mathbb{Z}}_r$-Brauer 代数上的迹 $ \varepsilon $，并证明其非退化性，从而支持半单性论证。
• 应用 Wenzl 的方法，证明 ${\mathbb{Z}}_r$-Brauer 代数的分支图与分圆 BMW 代数一致，从而推出其表示理论同构。
• 利用通用允许环 $ \overline{R}_+ $ 上通用分圆 Kauffman 弦代数的自由性，推导出在任意允许整环 $ S $ 上，分圆 BMW 代数的自由性与基的存在性。

实验结果

研究问题

• RQ1 在基环 $ S $ 满足何种条件时，分圆 BMW 代数 $ W_{n,S,r} $ 是 $ S $-模的自由模？
• RQ2 在一般半单情形下，分圆 BMW 代数的表示理论行为如何？
• RQ3 马尔可夫迹权重的递归公式是什么？其与代数结构有何关联？
• RQ4 在域 $ F $ 上，$ W_{n,F,r} $ 的维数是多少？其如何通过 ${\mathbb{Z}}_r$-Brauer 代数计算？
• RQ5 自然映射 $ \iota: W_{n,S,r} \to W_{n+1,S,r} $ 是否为单射？是否存在保持迹的条件期望？

主要发现

• 当 $ S $ 为允许整环时，分圆 BMW 代数 $ W_{n,S,r} $ 是秩为 $ r^n(2n-1)!! $ 的自由 $ S $-模。
• 在任意允许整环 $ S $ 上，代数 $ W_{n,S,r} $ 同构于分圆 Kauffman 弦代数 $ KT_{n,S,r} $。
• $ W_{n,F,r} $ 在域 $ F $ 上的维数为 $ r^n(2n-1)!! $，该结果通过 ${\mathbb{Z}}_r$-Brauer 代数的表示理论计算得出。
• 基于 ${\mathbb{Z}}_r$-Brauer 代数上迹的结构，推导出马尔可夫迹权重的递归公式。
• ${\mathbb{Z}}_r$-Brauer 代数上的迹 $ \varepsilon $ 在有理函数域 $ \vartheta_j $ 上是非退化的，表明在一般情形下具有半单性。
• 存在保持迹的条件期望 $ \varepsilon_n: W_{n+1,S,r} \to W_{n,S,r} $，且包含映射 $ \iota: W_{n,S,r} \to W_{n+1,S,r} $ 是单射。