[论文解读] The Cyclotomic Birman-Murakami-Wenzl Algebras

Shona Yu|ArXiv.org|Oct 1, 2008

Advanced Operator Algebra Research参考文献 42被引用 41

一句话总结

本文建立了环群 $\mathscr{B}_{n}^{k}$ 的自由性与可胞性，证明其在适当的基环上为自由代数，秩为 $k^n(2n-1)!!$，且可通过提升 Ariki-Koike 可胞基构造出可胞结构。关键贡献在于明确给出了避免挠率的参数可接受性条件，确保马尔科夫迹非退化，并通过柱面辫子实现图解与代数基的构造。

ABSTRACT

----- Please see the pdf file for the actual abstract and important remarks, which could not be put here due to the arXiv length restrictions. ----- This thesis presents a study of the cyclotomic BMW (Birman-Murakami-Wenzl) algebras, introduced by Haring-Oldenburg as a generalization of the BMW algebras associated with the cyclotomic Hecke algebras of type G(k,1,n) (also known as Ariki-Koike algebras) and type B knot theory involving affine/cylindrical tangles. They are shown to be free of rank k^n (2n-1)!! and to have a topological realization as a certain cylindrical analogue of the Kauffman Tangle algebra. Furthermore, the cyclotomic BMW algebras are proven to be cellular, in the sense of Graham and Lehrer. This Ph.D. thesis, completed at the University of Sydney, was submitted September 2007 and passed December 2007.

研究动机与目标

• 在参数可接受的通用基环上，确立环群 $\mathscr{B}_{n}^{k}$ 的自由性。
• 通过柱面辫子，构造 $\mathscr{B}_{n}^{k}$ 的显式代数基与图解基。
• 利用从 Ariki-Koike 代数提升的方法，证明 $\mathscr{B}_{n}^{k}$ 在 Graham 与 Lehrer 意义下为可胞代数。
• 精确确定基环参数的可接受性条件，以避免挠率并确保马尔科夫迹的非退化性。
• 将 $\mathscr{B}_{n}^{k}$ 作为 Kauffman 辩结代数的柱面类比，提供其拓扑实现。

提出的方法

• 通过与 Wilcox 的联合预印本构造一个通用基环，确保在生成元的 $k$ 次多项式关系下不出现挠率。
• 利用通过环群辫子代数构造的非退化马尔科夫迹，证明所提出的基的线性无关性。
• 通过兼容的反自同构与滤子技术，将 Ariki-Koike 代数 $\mathfrak{h}_{n,k}$ 的可胞基提升至 $\mathscr{B}_{n}^{k}$。
• 应用可胞代数的一般理论，验证三个公理（C1–C3），特别是通过归纳法与理想滤子验证乘法公理（C3）。
• 利用 $\mathscr{B}_{n}^{k}$ 作为环群 Kauffman 辩结代数的拓扑实现，将基元素解释为柱面辫子图。
• 验证 $\mathscr{B}_{n}^{k}$ 上的反自同构保持可胞基结构，满足对偶性与自同构公理。

实验结果

研究问题

• RQ1 基环参数需满足何种必要且充分条件，才能使 $\mathscr{B}_{n}^{k}$ 为有限秩自由代数？
• RQ2 能否通过从 Ariki-Koike 代数提升构造 $\mathscr{B}_{n}^{k}$ 的可胞结构？
• RQ3 如何在 $\mathscr{B}_{n}^{k}$ 上定义非退化马尔科夫迹？其在证明自由性中起何作用？
• RQ4 $\mathscr{B}_{n}^{k}$ 作为图解代数的拓扑解释是什么？其与 Kauffman 辩结代数有何关联？
• RQ5 参数的可接受性条件如何影响 $\mathscr{B}_{n}^{k}$ 的表示理论，特别是在 $\mathscr{B}_{2}^{k}$ 中？

主要发现

• 当基环满足第三章导出的可接受性条件时，环群 $\mathscr{B}_{n}^{k}$ 在该环上为自由代数，秩为 $k^n(2n-1)!!$。
• 当参数可接受时，$\mathscr{B}_{n}^{k}$ 上存在非退化马尔科夫迹，从而支持自由性证明中的线性无关性论证。
• $\mathscr{B}_{n}^{k}$ 为可胞代数，其可胞基通过兼容反自同构从 Ariki-Koike 代数 $\mathfrak{h}_{n,k}$ 的可胞基提升得到。
• 该代数可通过拓扑实现为环群 Kauffman 辩结代数，其基元素对应于柱面辫子图。
• 可接受性条件对避免由生成元的 $k$ 阶多项式关系引起的挠率至关重要，其精确确定依赖于 $\mathscr{B}_{2}^{k}$ 的表示理论。
• 当 $k=1$ 时，结果退化为经典 BMW 代数的已知定理，恢复了 Morton-Wasserman、Enyang 与 Xi 的结果。