[论文解读] A basis for the Birman-Wenzl algebra

H. R. Morton|arXiv (Cornell University)|Dec 14, 2010

Geometric and Algebraic Topology参考文献 9被引用 41

一句话总结

本文通过构建 Birman-Wenzl 代数 $BW_n$ 的基于代数类比 Brauer 连接器的基，建立了 $BW_n$ 与 Kauffman 拓扑代数 $MT_n$ 之间的显式同构。该同构通过系统地用代数关系替代几何同伦论证推导得出，确认了 $BW_n$ 在系数环 $\Lambda$ 上的维数，并阐明了 $\Lambda$ 的特殊化行为，确保在参数空间的 Zariski 开子集上保持半单性。

ABSTRACT

An explicit isomorphism is constructed between the Birman-Wenzl algebra, defined algebraically by J. Birman and H. Wenzl using generators and relations, and the Kauffman algebra, constructed geometrically by H. R. Morton and P. Traczyk in terms of tangles. The isomorphism is obtained by constructing an explicit basis in the Birman-Wenzl algebra, analogous to a basis previously constructed for the Kauffman algebra using 'Brauer connectors'. The geometric isotopy arguments for the Kauffman algebra are systematically replaced by algebraic versions using the Birman-Wenzl relations.

研究动机与目标

• 建立代数定义的 Birman-Wenzl 代数 $BW_n$ 与几何表述的 Kauffman 拓扑代数 $MT_n$ 之间的直接同构。
• 构造一个与 $MT_n$ 中使用的 Brauer 连接器基类似的 $BW_n$ 显式基，将几何同伦论证替换为代数关系。
• 阐明系数环 $\Lambda$ 及其特殊化在确定 $BW_n$ 的结构与半单性中的作用。
• 提供 $BW_n$ 维数及其表示论性质的自包含代数证明。

提出的方法

• 基于正置换辫子与生成元 $g_i$ 和 $e_i$ 的归纳方法，构建 $BW_n$ 的基，类比于 $MT_n$ 中的 Brauer 连接器基。
• 将 $MT_n$ 构造中使用的几何同伦论证替换为利用 Birman-Wenzl 关系的代数运算，特别是 Yang-Baxter 关系与 $e_i$ 的幂等关系。
• 使用反转映射 $\alpha$ 将涉及 $e_i$ 与 $g_i$ 的乘积转化为标准形式，从而实现对元素的归纳约化至基元素。
• 将 $BW_n$ 到 $MT_n$ 的同构 $\varphi$ 应用于结构结果的转移，例如由 $f_k$ 生成的理想链，使其适用于代数设定。
• 利用 $BW_n$ 关于 $\Lambda$ 的自由性，将 $\Lambda$ 的特殊化扩展至 $BW_n$，确保半单性在一般情况下成立。
• 利用引理 6.3 的推论，将正置换辫子分解为反向 Lorenz 辫子与非对合辫子，从而实现对元素结构的归纳控制。

实验结果

研究问题

• RQ1 能否在代数定义的 Birman-Wenzl 代数 $BW_n$ 与几何定义的 Kauffman 拓扑代数 $MT_n$ 之间构造显式同构？
• RQ2 如何精确刻画 $BW_n$ 的基的代数结构？其结构如何与 $MT_n$ 中的 Brauer 连接器基相对应？
• RQ3 系数环 $\Lambda$ 的特殊化如何影响 $BW_n$ 的半单性？是否能通过代数方法加以控制？
• RQ4 在 $MT_n$ 中，几何同伦论证能在多大程度上被 $BW_n$ 中的代数关系系统性地替代？
• RQ5 $BW_n$ 作为 $\Lambda$ 上的自由模，其维数是多少？其通过基构造如何被确定？

主要发现

• 建立了显式同构 $\varphi: BW_n \to MT_n$，确认了两个代数在系数环 $\Lambda$ 上同构。
• $BW_n$ 在 $\Lambda$ 上的维数通过所构造的基得以确定，该基与 $MT_n$ 中的 Brauer 连接器基相对应。
• $BW_n$ 作为 $\Lambda$ 上的模是自由的，从而可一致地将 $\Lambda$ 的特殊化扩展至 $BW_n$。
• $BW_n$ 的特殊化在 $\mbox{Spec}(\Lambda)$ 的 Zariski 开子集上是半单的，该结论通过借鉴 Hecke 代数情形的论证得以证明。
• $BW_n$ 中由 $f_k$ 生成的理想链与 $MT_n$ 中由 $F_k$ 生成的理想链相对应，从而可通过辫子模型研究合成列。
• 在关于反转辫子与处理 $e_i$-元素的引理支持下，归纳基构造确认了 $BW_n$ 中任一元素均可表示为基元素的线性组合。