[论文解读] Cell structures for the Yokonuma-Hecke algebra and the algebra of braids and ties

Jorge Espinoza, Steen Ryom-Hansen|arXiv (Cornell University)|Jun 2, 2015

Algebraic structures and combinatorial models参考文献 24被引用 22

一句话总结

本文为 Yokonuma-Hecke 代数 $\mathcal{Y}_{r,n}$ 构造了一个忠实的张量空间表示，建立了 $\mathcal{Y}_{r,n}$ 与 Shoji 的修正 Ariki-Koike 代数 $\mathcal{H}_{r,n}$ 之间的显式同构，并为 $\mathcal{Y}_{r,n}$ 和 Aicardi-Juyumaya 代数 $\mathcal{E}_n$（关于辫子与束缚的代数）提供了胞状基。关键贡献在于通过张量空间实现，给出了同构 $\mathcal{Y}_{r,n} \cong \mathcal{H}_{r,n}$ 的新证明，以及一个确认 $\mathcal{E}_n$ 为胞状代数的胞状结构，从而回答了 Marin 关于其在一般参数下分解的开放问题。

ABSTRACT

We construct a faithful tensor representation for the Yokonuma-Hecke algebra Y, and use it to give a concrete isomorphism between Y and Shoji's modified Ariki-Koike algebra. We give a cellular basis for Y and show that the Jucys-Murphy elements for Y are JM-elements in the abstract sense. Finally, we construct a cellular basis for the Aicardi-Juyumaya algebra of braids and ties.

研究动机与目标

• 为 Yokonuma-Hecke 代数 $\mathcal{Y}_{r,n}$ 在 $V^{\otimes n}$ 上构造一个忠实的张量空间表示。
• 通过它们在 $V^{\otimes n}$ 上的作用，构造 $\mathcal{Y}_{r,n}$ 与 Shoji 的修正 Ariki-Koike 代数 $\mathcal{H}_{r,n}$ 之间的显式同构。
• 通过构造一个显式的胞状基，证明 $\mathcal{Y}_{r,n}$ 是一个胞状代数，该基推广了 Iwahori-Hecke 代数的 Murphy 基。
• 将胞状框架扩展至 Aicardi-Juyumaya 代数 $\mathcal{E}_n$，确认其胞状性，并解决 Marin 关于其在一般参数下分解的疑问。

提出的方法

• 通过推广 $\mathcal{E}_n$-模结构，在张量空间 $V^{\otimes n}$ 上构造 $\mathcal{Y}_{r,n}$ 的忠实作用。
• 在 $\mathrm{End}(V^{\otimes n})$ 中识别 $\mathcal{Y}_{r,n}$ 和 $\mathcal{H}_{r,n}$ 的像，利用 Vandermonde 衍生物证明同构 $\mathcal{Y}_{r,n} \cong \mathcal{H}_{r,n}$。
• 使用标准多重表和组合索引系统定义 $\mathcal{Y}_{r,n}$ 的胞状基，推广 Iwahori-Hecke 代数的 Murphy 基。
• 证明 $\mathcal{Y}_{r,n}$ 中的 Jucys-Murphy 元素满足抽象胞状代数意义下的 JM-元素公理。
• 作为 $\mathcal{Y}_{r,n}$ 的子代数，利用相同框架为 $\mathcal{E}_n$（当 $r \geq n$ 时）构造胞状基。
• 证明映射 $\Psi_\alpha: \mathcal{Y}_{r,n} \to \mathrm{Mat}_{b_n(\alpha)}(\mathcal{H}^{\mathrm{wr}}_\alpha(q))$ 是一个代数同构，确认 $\mathcal{E}_n$ 作为半直积代数上的矩阵代数的结构。

实验结果

研究问题

• RQ1 是否存在 Yokonuma-Hecke 代数 $\mathcal{Y}_{r,n}$ 与 Shoji 的修正 Ariki-Koike 代数 $\mathcal{H}_{r,n}$ 之间的显式同构？
• RQ2 能否显式构造出 $\mathcal{Y}_{r,n}$ 的胞状基，且其是否尊重子代数结构与 Jucys-Murphy 元素？
• RQ3 Aicardi-Juyumaya 代数 $\mathcal{E}_n$（关于辫子与束缚的代数）是否为胞状代数，且在一般参数下是否可分解为半直积代数上的矩阵代数之和？
• RQ4 张量空间 $V^{\otimes n}$ 是否为 $\mathcal{Y}_{r,n}$ 提供忠实表示，且能否用于将 $\mathcal{Y}_{r,n}$ 和 $\mathcal{H}_{r,n}$ 同时实现为 $\mathrm{End}(V^{\otimes n})$ 的子代数？
• RQ5 能否通过类似于 Lusztig 与 Jacon-Poulain d’Andecy 对 $\mathcal{Y}_{r,n}$ 的定理的矩阵代数同构来描述 $\mathcal{E}_n$ 的结构？

主要发现

• 在 $V^{\otimes n}$ 上为 $\mathcal{Y}_{r,n}$ 构造了一个忠实的张量空间表示，推广了 $\mathcal{E}_n$-模结构。
• $\mathcal{Y}_{r,n}$ 与 $\mathcal{H}_{r,n}$ 通过其在 $\mathrm{End}(V^{\otimes n})$ 中的共同像实现同构，从而提供了同构定理的新证明。
• 通过标准多重表显式构造了 $\mathcal{Y}_{r,n}$ 的胞状基，推广了 Iwahori-Hecke 代数的 Murphy 基。
• 证明了 $\mathcal{Y}_{r,n}$ 中的 Jucys-Murphy 元素满足抽象胞状代数意义下的 JM-元素公理。
• 证明了 Aicardi-Juyumaya 代数 $\mathcal{E}_n$ 是一个胞状代数，其结构被描述为半直积代数上的矩阵代数。
• 建立了同构 $\Psi_\alpha: \mathcal{Y}_{r,n} \to \mathrm{Mat}_{b_n(\alpha)}(\mathcal{H}^{\mathrm{wr}}_\alpha(q))$ 为 $S$-代数同构，解决了 Marin 关于 $\mathcal{E}_n$ 在一般参数下分解的疑问。