[论文解读] Representations of Two-Parameter Quantum Groups and Schur-Weyl Duality

Georgia Benkart, Sarah Witherspoon|ArXiv.org|Aug 6, 2001

Algebraic structures and combinatorial models参考文献 5被引用 36

一句话总结

该论文为与 glₙ 和 slₙ 相关的量子群建立了两参数 Schur-Weyl 对偶的类比，证明当 n ≥ k 时，量子群在自然 n 维模的 k 重张量幂上的作用的中心化代数同构于一个两参数 Hecke 代数。此外，该文对有限维单模进行了分类，并在 Cartan 子代数的半单作用下证明了完全可约性。

ABSTRACT

We determine the finite-dimensional simple modules for two-parameter quantum groups corresponding to the general linear and special linear Lie algebras gl_n and sl_n, and give a complete reducibility result. These quantum groups have a natural n-dimensional module V. We prove an analogue of Schur-Weyl duality in this setting: the centralizer algebra of the quantum group action on the k-fold tensor power of V is a quotient of a Hecke algebra for all n and is isomorphic to the Hecke algebra in case n\geq k.

研究动机与目标

• 当 rs⁻¹ 不是单位根时，对两参数量子群 U_{r,s}(glₙ) 和 U_{r,s}(slₙ) 的有限维单模进行分类。
• 证明在 Cartan 子代数 U⁰ 作用半单的条件下，有限维模是完全可约的。
• 为 U_{r,s}(glₙ) 的自然 n 维模建立两参数 Schur-Weyl 对偶的类比。
• 确定量子群作用在 V^⊗k 上的中心化代数的结构，证明当 n ≥ k 时，其同构于两参数 Hecke 代数 H_k(r,s)。
• 证明当 n ≥ k 时，V^⊗k 是 U_{r,s}(glₙ) 的循环模。

提出的方法

• 有限维单模的分类依赖于量子群的结构以及 Cartan 子代数的作用，利用 [BW] 中定义的量子 Casimir 算子证明完全可约性。
• 通过生成元 e_j, f_j, a_i^±¹, b_i^±¹ 在基 {v₁,…,vₙ} 上的作用，构造 U_{r,s}(glₙ) 的自然 n 维模 V。
• R-矩阵 R_{V,V} 诱导出 V^⊗k 上的算子 R_i，这些算子与量子群作用可交换，并生成 End_{Ũ}(V^⊗k) 的子代数。
• 通过 R_i 算子构造从两参数 Hecke 代数 H_k(r,s) 到 End_{Ũ}(V^⊗k) 的映射，其关系由 braid 关系和量子群关系导出。
• 通过证明任何在循环向量上消失的 U_{r,s}(glₙ)-交错算子必为零，利用 V^⊗k 的循环性，证明映射 H_k(r,s) → End_{Ũ}(V^⊗k) 的满射性。
• 通过比较维数（两者维数均为 k!）并利用 R_σ 基的线性无关性，证明当 n ≥ k 时，H_k(r,s) 与 End_{Ũ}(V^⊗k) 之间存在同构。

实验结果

研究问题

• RQ1 当 rs⁻¹ 不是单位根时，两参数量子群 U_{r,s}(glₙ) 的有限维单模是什么？
• RQ2 在何种条件下，U_{r,s}(glₙ) 的有限维模是完全可约的？
• RQ3 Schur-Weyl 对偶如何推广到两参数量子群的情形？
• RQ4 对于自然 n 维模 V，量子群作用在 V^⊗k 上的中心化代数的结构是什么？
• RQ5 当 n ≥ k 时，V^⊗k 是否是 U_{r,s}(glₙ) 的循环模？

主要发现

• 当 rs⁻¹ 不是单位根时，对 U_{r,s}(glₙ) 和 U_{r,s}(slₙ) 的有限维单模进行了分类，其最高权属于仿射权格中的正规积分权格。
• 若 rs⁻¹ 不是单位根，则所有在 Ũ⁰ 作用半单的有限维 Ũ-模都是完全可约的。
• 中心化代数 End_{Ũ}(V^⊗k) 由满足两参数 Hecke 代数 H_k(r,s) 的 braid 关系的 R_i 算子生成。
• 当 n ≥ k 时，中心化代数 End_{Ũ}(V^⊗k) 同构于两参数 Hecke 代数 H_k(r,s)，且两者维数均为 k!。
• 当 n ≥ k 时，Ũ 在 V^⊗k 上的作用是循环的，即 V^⊗k 由单个向量在 Ũ 作用下生成。
• 当 n ≥ k 时，从 H_k(r,s) 到 End_{Ũ}(V^⊗k) 的映射是同构；当 n < k 时，该映射是满射，且像为完整的中心化代数。