[论文解读] Degenerate two-boundary centralizer algebras

Zajj Daugherty|arXiv (Cornell University)|Jul 22, 2010

Advanced Algebra and Geometry参考文献 9被引用 5

一句话总结

本文引入退化双边界辫子代数 $τ}_k$ 作为 $τ}_n$ 或 $τ}_n$ 在张量空间 $M \otimes N \otimes V^{\otimes k}$ 上作用的中心化子代数，其中 $M$ 和 $N$ 是由矩形分拆索引的不可约模。定义了扩展退化双边界 Hecke 代数 $τ}_k^{\mathrm{ext}}$ 为 $τ}_k$ 的商代数，证明其作用与李代数作用可交换，并建立了以路径为基础的基和组合公式的半标准表示理论。

ABSTRACT

Diagram algebras (e.g. graded braid groups, Hecke algebras, Brauer algebras) arise as tensor power centralizer algebras, algebras of commuting operators for a Lie algebra action on a tensor space. This work explores centralizers of the action of a complex reductive Lie algebra $\mathfrak{g}$ on tensor space of the form $M \otimes N \otimes V^{\otimes k}$. We define the degenerate two-boundary braid algebra $\mathcal{G}_k$ and show that centralizer algebras contain quotients of this algebra in a general setting. As an example, we study in detail the combinatorics of special cases corresponding to Lie algebras $\mathfrak{gl}_n$ and $\mathfrak{sl}_n$ and modules $M$ and $N$ indexed by rectangular partitions. For this setting, we define the degenerate extended two-boundary Hecke algebra $\mathcal{H}_k^{\mathrm{ext}}$ as a quotient of $\mathcal{G}_k$, and show that a quotient of $\mathcal{H}_k^{\mathrm{ext}}$ is isomorphic to a large subalgebra of the centralizer. We further study the representation theory of $\mathcal{H}_k^{\mathrm{ext}}$ to find that the seminormal representations are indexed by a known family of partitions. The bases for the resulting modules are given by paths in a lattice of partitions, and the action of $\mathcal{H}_k^{\mathrm{ext}}$ is given by combinatorial formulas.

研究动机与目标

• 将 Schur-Weyl 对偶性推广至具有两个边界模 $M$ 和 $N$ 的张量空间，通过构造一个新的中心化子代数。
• 将退化双边界辫子代数 $\mathcal{G}_k$ 定义为在 $M \otimes N \otimes V^{\otimes k}$ 上作用的通用代数，其与 $\mathfrak{g}$-作用可交换。
• 识别 $\mathcal{G}_k$ 的一个商代数，即扩展退化双边界 Hecke 代数 $\mathcal{H}_k^{\mathrm{ext}}$，其同构映射到中心化子 $\mathrm{End}_{\mathfrak{g}}(M \otimes N \otimes V^{\otimes k})$ 的一个大子代数。
• 发展 $\mathcal{H}_k^{\mathrm{ext}}$ 的表示理论，特别是其半标准表示，并通过路径基上的组合公式描述其作用。

提出的方法

• 退化双边界辫子代数 $\mathcal{G}_k$ 被构造为在 $\mathbb{C}$ 上的结合代数，由多项式环 $\mathbb{C}[x_1,\dots,x_k]$，$\mathbb{C}[y_1,\dots,y_k]$，$\mathbb{C}[z_0,\dots,z_k]$ 和对称群代数 $\mathbb{C}S_k$ 生成，其关系对多项式生成元和辫子群生成元进行扭曲。
• 在 $M \otimes N \otimes V^{\otimes k}$ 上定义 $\mathcal{G}_k$ 的作用，通过算子 $\kappa_{M,\leq i}$，$\kappa_{N,\leq i}$，$\kappa_{V,\leq i}$ 和 $t_{s_i}$，这些算子编码了李代数在张量因子上的作用。
• 推导出关键关系 $m_{i,i+1} = x_{i+1} - t_{s_i}x_i t_{s_i} = y_{i+1} - t_{s_i}y_i t_{s_i} = z_{i+1} - t_{s_i}z_i t_{s_i} = \gamma_{i,i+1}$，表明辫子群作用与多项式生成元通过换位 $t_{s_i}$ 相互作用。
• 将扩展退化双边界 Hecke 代数 $\mathcal{H}_k^{\mathrm{ext}}$ 定义为 $\mathcal{G}_k$ 的商代数，通过施加来自 $\mathfrak{gl}_n$ 和 $\mathfrak{sl}_n$ 在矩形模上的表示理论的附加关系。
• 通过在分拆格点上的路径模型构造 $\mathcal{H}_k^{\mathrm{ext}}$ 的半标准表示，基向量由从初始分拆到最终分拆的路径索引。
• 推导出生成元在路径基上的作用的组合公式，表明作用是显式可计算的，并保持表示结构。

实验结果

研究问题

• RQ1 能否为 $\mathfrak{g} = \mathfrak{gl}_n$ 或 $\mathfrak{sl}_n$ 在 $M \otimes N \otimes V^{\otimes k}$ 上的作用构造一个通用中心化子代数，其中 $M$ 和 $N$ 是由矩形分拆索引的不可约模？
• RQ2 退化双边界辫子代数 $\mathcal{G}_k$ 是否以与 $\mathfrak{g}$-作用可交换的方式作用于 $M \otimes N \otimes V^{\otimes k}$，并且其像是否满射到中心化子代数？
• RQ3 是否存在 $\mathcal{G}_k$ 的一个商代数，即 $\mathcal{H}_k^{\mathrm{ext}}$，其同构映射到 $\mathrm{End}_{\mathfrak{g}}(M \otimes N \otimes V^{\otimes k})$ 的一个大子代数？
• RQ4 能否完整描述 $\mathcal{H}_k^{\mathrm{ext}}$ 的表示理论，特别是其半标准表示，且这些表示是否由已知的分拆族索引？
• RQ5 在 $\mathcal{H}_k^{\mathrm{ext}}$ 的模上，其作用的矩阵系数是否能通过路径基上的显式组合公式表达？

主要发现

• 退化双边界辫子代数 $\mathcal{G}_k$ 在 $M \otimes N \otimes V^{\otimes k}$ 上作用，并与 $\mathfrak{g} = \mathfrak{gl}_n$ 或 $\mathfrak{sl}_n$ 的作用可交换，如定理 2.1 所示。
• 对于 $\mathfrak{g} = \mathfrak{gl}_n$ 或 $\mathfrak{sl}_n$，$V$ 为标准表示，且 $M$、$N$ 由矩形分拆索引，$\mathcal{G}_k$ 在 $\mathrm{End}_{\mathfrak{g}}(M \otimes N \otimes V^{\otimes k})$ 中的像通过扩展退化双边界 Hecke 代数 $\mathcal{H}_k^{\mathrm{ext}}$ 因子化。
• $\mathcal{H}_k^{\mathrm{ext}}$ 同构于 $\mathrm{End}_{\mathfrak{g}}(M \otimes N \otimes V^{\otimes k})$ 的一个大子代数，如定理 LABEL:thm:Hecke-action 所示。
• $\mathcal{H}_k^{\mathrm{ext}}$ 的半标准表示由在 $M \otimes N \otimes V^{\otimes k}$ 分解中出现的同一类分拆索引，确认了组合对偶性。
• 每个 $\mathcal{H}_k^{\mathrm{ext}}$ 不可约表示的基由分拆格点中的路径给出，生成元的作用通过涉及路径结构的显式组合公式描述。
• $\mathcal{H}_k^{\mathrm{ext}}$ 在其模上的作用可通过这些公式完全计算，生成元 $x_i$、$y_i$、$z_i$ 和 $t_{s_i}$ 在路径基上通过明确定义的规则作用。