[论文解读] Double affine Hecke algebras for the spin symmetric group

Weiqiang Wang|arXiv (Cornell University)|Aug 3, 2006

Advanced Algebra and Geometry参考文献 7被引用 4

一句话总结

本文为自旋对称群引入了两个新的有理双 affine Hecke 代数（DaHa）：$\ddot{\mathfrak{H}}^{\mathfrak{c}}$ 和 $\ddot{\mathfrak{H}}^{-}$，通过超octahedral群的双重覆盖构造，并通过Morita超等价联系。关键贡献是建立了超代数同构 $\ddot{\mathfrak{H}}^{\mathfrak{c}} \cong \mathcal{C}_n \otimes \u005Cddot{\mathfrak{H}}^{-}$，该同构提供了概念性框架并证明了PBW定理，进一步推广至三角版本，且存在类似同构关系。

ABSTRACT

We introduce a new class (in two versions) of rational double affine Hecke algebras (DaHa) associated to the spin symmetric group. We establish the basic properties of the algebras, such as PBW and Dunkl representation, and connections to Nazarov's degenerate affine Hecke-Clifford algebra and to a new degenerate affine Hecke algebra introduced here. We formulate a Morita equivalence between the two versions of rational DaHa's. The trigonometric generalization of the above constructions is also formulated and its relation to the rational counterpart is established.

研究动机与目标

• 建立与自旋对称群相关的新型有理双 affine Hecke 代数（DaHa）类，该群非反射群，因此缺乏标准的Hecke代数构造。
• 通过超octahedral群的双重覆盖和Morita等价，解决为非反射群定义DaHa的挑战。
• 将构造推广至三角版本，并在有理与三角对应物之间建立精确的代数同构。
• 证明新代数展现出类经典DaHa的优良性质，如PBW基和Dunkl算子实现。
• 为将自旋Hecke代数推广至对称群以外的群提供基础框架，暗示在表示理论与可积系统中的更广泛应用。

提出的方法

• 将有理双 affine Hecke-Clifford 代数 $\ddot{\mathfrak{H}}^{\mathfrak{c}}$ 构造为半直积 $\mathcal{C}_n \rtimes \mathbb{C}S_n$，具有PBW基与三角分解。
• 通过Dunkl算子实现 $\ddot{\mathfrak{H}}^{\mathfrak{c}}$，将通常的有理DaHa设置推广至包含Clifford代数生成元。
• 定义有理自旋双 affine Hecke 代数 $\ddot{\mathfrak{H}}^{-}$，其生成元为 $y_i$、$\xi_i$ 和 $t_i$，其中 $\xi_i$ 反交换而 $y_i$ 交换，并证明其PBW性质。
• 建立超代数同构 $\ddot{\mathfrak{H}}^{\mathfrak{c}} \cong \mathcal{C}_n \otimes \u005Cddot{\mathfrak{H}}^{-}$，该同构诱导Morita超等价，从而解释 $\ddot{\mathfrak{H}}^{-}$ 的结构。
• 引入三角版本 $\ddot{\mathfrak{H}}^{-}_{tr}$ 与 $\ddot{\mathfrak{H}}^{\mathfrak{c}}_{tr}$，并利用指数生成元与扭曲关系，构造显式同构 $\ddot{\mathfrak{H}}^{\mathfrak{c}}_{tr} \cong \mathcal{C}_n \otimes \u005Cddot{\mathfrak{H}}^{-}_{tr}$。
• 利用同构 $\ddot{\mathfrak{H}}^{-}_{tr} \cong \mathbb{C}[\underline{y}^{\pm}] \otimes_{\mathbb{C}[\underline{y}]} \u005Cddot{\mathfrak{H}}^{-}$ 证明三角情形下的PBW性质。

实验结果

研究问题

• RQ1 能否为自旋对称群（非反射群）有意义地定义有理双 affine Hecke 代数？
• RQ2 有理DaHa自旋对称群与包含Clifford代数的对应代数之间存在何种结构关系？
• RQ3 有理与三角版本的自旋DaHa之间有何关联？能否通过统一的代数同构连接？
• RQ4 是否存在一种类似Morita的等价关系，可解释Clifford版本与自旋版本代数之间的表示论对偶性？
• RQ5 该构造能否通过类似的超代数技术推广至对称群以外的其他群或代数？

主要发现

• 有理自旋双 affine Hecke 代数 $\ddot{\mathfrak{H}}^{-}$ 具有PBW基，同构于 $\mathbb{C}[\xi_1,\ldots,\xi_n] \otimes \mathbb{C}S_n^{-} \otimes \mathbb{C}[y_1,\ldots,y_n]$，其中 $\xi_i$ 反交换而 $y_i$ 交换。
• 超代数同构 $\ddot{\mathfrak{H}}^{\mathfrak{c}} \cong \mathcal{C}_n \otimes \u005Cddot{\mathfrak{H}}^{-}$ 建立了Morita超等价，为 $\ddot{\mathfrak{H}}^{-}$ 的结构提供了概念性解释。
• 三角自旋DaHa $\ddot{\mathfrak{H}}^{-}_{tr}$ 通过生成元 $e^{\pm \epsilon_i}$、$\zeta_i$ 与 $t_i$ 定义，关系涉及扭曲对易子与指数作用。
• PBW性质在 $\ddot{\mathfrak{H}}^{-}_{tr}$ 上成立，乘法诱导同构 $\mathbb{C}[P] \otimes \mathbb{C}S_n^{-} \otimes \mathbb{C}[\zeta_1,\ldots,\zeta_n] \cong \u005Cddot{\mathfrak{H}}^{-}_{tr}$。
• 构造了显式超代数同构 $\Phi^{tr}: \u005Cddot{\mathfrak{H}}^{\mathfrak{c}}_{tr} \cong \mathcal{C}_n \otimes \u005Cddot{\mathfrak{H}}^{-}_{tr}$，并给出了生成元的显式公式。
• 通过单射同态 $\iota^{-}: \u005Cddot{\mathfrak{H}}^{-} \to \u005Cddot{\mathfrak{H}}^{-}_{tr}$ 实现了有理到三角的退化，其逆映射为 $j^{-}$，确认了有理与三角设定之间的兼容性。