[论文解读] Lectures on spin representation theory of symmetric groups

Jinkui Wan, Weiqiang Wang|arXiv (Cornell University)|Oct 3, 2011

Algebraic structures and combinatorial models参考文献 39被引用 13

一句话总结

本文系统地阐述了对称群的旋表示理论，建立了经典构造的旋类比，如弗罗贝尼乌斯特征映射、舒尔对偶性、余不变代数、科斯塔多项式以及半标准形式。文章引入了海克-克利福德超代数作为研究旋表示的框架，并证明不可约模由移位图参数化，通过朱科斯-墨菲元素显式构造了特征公式与半标准形式。

ABSTRACT

The representation theory of the symmetric groups is intimately related to geometry, algebraic combinatorics, and Lie theory. The spin representation theory of the symmetric groups was originally developed by Schur. In these lecture notes, we present a coherent account of the spin counterparts of several classical constructions such as the Frobenius characteristic map, Schur duality, the coinvariant algebra, Kostka polynomials, and Young's seminormal form.

研究动机与目标

• 为对称群的旋表示理论构建一个与经典表示理论相对应的连贯框架。
• 建立如特征映射、舒尔对偶性与余不变代数等基本构造的旋类比。
• 通过朱科斯-墨菲元素提供不可约模的半标准形式构造。
• 通过移位图刻画不可约模，并推导维数公式。

提出的方法

• 利用海克-克利福德超代数 $\mathcal{Hc}_n$ 作为旋群代数 $\mathbb{C}\mathfrak{S}_n^{-}$ 的超等价模型，使超代数技巧得以应用。
• 引入旋特征映射 $\text{ch}^{-}: R^{-} \to \Gamma_{\mathbb{Q}}$，将格罗滕迪克群映射到由奇次幂和生成的对称函数环。
• 通过 $\mathfrak{q}(n) \otimes \mathcal{Hc}_d$ 在 $ (\mathbb{C}^{n|n})^{\otimes d} $ 上作用的双重中心化定理建立舒尔-谢尔盖对偶性，实现无重数分解。
• 通过 $\phi_\sigma$ 与 $s_k$ 在权向量上的作用，将不可约模 $U^{\xi/\nu}$ 构造为完备化模 $\widehat{U}^{\xi/\nu}$ 的子模。
• 通过仿射海克-克利福德代数 $\mathcal{Hc}_n^{\rm aff}$ 中 $x_k$ 的作用应用朱科斯-墨菲元素 $J_k$，确保半单性。
• 利用标准移位表与对称群置换的作用对不可约模进行分类，并证明同构不变性。

实验结果

研究问题

• RQ1 弗罗贝尼乌斯特征映射如何推广到对称群的旋表示理论？
• RQ2 舒尔对偶性的旋类比是什么？它与李超代数 $\mathfrak{q}(n)$ 有何关系？
• RQ3 海克-克利福德代数 $\mathcal{Hc}_n$ 的不可约模如何构造与分类？
• RQ4 朱科斯-墨菲元素在旋表示的半标准形式中起什么作用？
• RQ5 科斯塔多项式与余不变代数在旋设定中如何推广？

主要发现

• 旋特征映射 $\text{ch}^{-}$ 将格罗滕迪克群 $R^{-}$ 映射到对称函数环 $\Gamma_{\mathbb{Q}}$，其中舒尔 $Q$-函数 $Q_\xi$ 对应于不可约 $\mathcal{Hc}_n$-模 $D^\xi$，至多相差 $2$ 次幂。
• 舒尔-谢尔盖对偶性提供了 $ (\mathbb{C}^{n|n})^{\otimes d} $ 作为 $U(\mathfrak{q}(n)) \otimes \mathcal{Hc}_d$-模的无重数分解，其特征公式以舒尔 $Q$-函数表示。
• 不可约 $\mathcal{Hc}_n^{\rm aff}$-模 $U^{\xi/\nu}$ 由斜移位图 $\xi/\nu$ 参数化，且 $U^{\xi/\nu} \cong U^{\xi'/\nu'}$ 当且仅当 $\xi/\nu = \xi'/\nu'$。
• 模 $U^{\xi/\nu}$ 的维数为 $2^{n - \lfloor (\ell(\xi) - \ell(\nu))/2 \rfloor} g^{\xi/\nu}$，其中 $g^{\xi/\nu}$ 为形状 $\xi/\nu$ 的标准斜移位表的个数。
• 每个整数不可约完全可分解的 $\mathcal{Hc}_n^{\rm aff}$-模同构于某个大小为 $n$ 的斜移位图 $\xi/\nu$ 的 $U^{\xi/\nu}$，从而实现完全分类。
• 通过 $U^\xi$ 实现 $\mathcal{Hc}_n$-模的半标准形式，朱科斯-墨菲元素作用半单，且 $\{U^\xi \mid \xi \in \mathcal{SP}_n\}$ 构成所有非同构不可约模的完整集合。