[论文解读] Remarks on the Schur-Howe-Sergeev Duality

Shun‐Jen Cheng, Weiqiang Wang|ArXiv.org|Aug 15, 2000

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

一句话总结

本文建立了 queer 李超代数 $q(m)$ 与 $q(n)$ 之间的新 Howe 对偶性，为 Schur $Q$-函数的经典恒等式提供了表示论实现。此外，本文证明了具有最高权为严格分拆 $\lambda$ 的 $q(n)$-模的零权空间是参数化为 $\lambda$ 的中心扩张 $\widetilde{H}_n$ 的不可约模，从而将 $q(n)$ 的表示论与有限群 $\widetilde{H}_n$ 联系起来，并暗示 $\widetilde{H}_n$ 作为 $q(n)$ 的 Weyl 超群发挥作用。

ABSTRACT

We establish a new Howe duality between a pair of two queer Lie superalgebras (q(m),q(n)). This gives a representation theoretic interpretation of a well-known combinatorial identity for Schur Q-functions. We further establish the equivalence between this new Howe duality and the Schur-Sergeev duality between q(n) and a central extension $\Hy_k$ of the hyperoctahedral group H_k. We show that the zero-weight space of a q(n)-module with highest weight $λ$ given by a strict partition of n is an irreducible module over the finite group $\Hy_n$ parameterized by $λ$. We also discuss some consequences of this Howe duality.

研究动机与目标

• 建立 queer 李超代数 $q(m)$ 与 $q(n)$ 之间的新 Howe 对偶性。
• 为著名的 Schur $Q$-函数恒等式的表示论解释提供依据。
• 证明具有最高权 $\lambda$（严格分拆）的 $q(n)$-模的零权空间是参数化为 $\lambda$ 的 $\widetilde{H}_n$-不可约模。
• 展示新 $(q(m), q(n))$-对偶性与涉及 $q(n)$ 和超octahedral 群的中心扩张 $\widetilde{H}_k$ 的 Schur–Sergeev 对偶性之间的等价性。
• 探讨其后果，包括对 $q(m)$ 的普遍包络代数中心的新描述。

提出的方法

• 在对称代数 $S(\mathbb{C}^{mn|mn})$ 上构造 $q(m)$ 与 $q(n)$ 的相互中心化作用。
• 以 Schur–Sergeev 对偶性为基础，该对偶性将 $q(n)$ 与超octahedral 群 $H_k$ 的中心扩张 $\widetilde{H}_k$ 联系起来。
• 应用 $S(\mathbb{C}^{mn|mn})$ 作为 $(q(m) \times q(n))$-模的无重分解。
• 将具有最高权 $\lambda$（严格分拆）的 $q(n)$-模的零权空间识别为 $\widetilde{H}_n$ 上的模。
• 利用 $\widetilde{H}_m$ 与 $\widetilde{H}_n$ 在对称代数上的作用来实现对偶性并推导分解。
• 通过 $S(\mathbb{C}^{m|m} \otimes \mathbb{C}^{n})^{A_m, \det}$ 与 $\mathbb{C}[\widetilde{H}_n]/\langle z = -1 \rangle$ 之间的同构，识别 $\widetilde{H}_n$ 的正则表示。

实验结果

研究问题

• RQ1 如何构造 $q(m)$ 与 $q(n)$ 之间的新 Howe 对偶性，其结构是怎样的？
• RQ2 经典恒等式 $\prod_{i,j} \frac{1+x_i y_j}{1-x_i y_j} = \sum_\lambda 2^{-l(\lambda)} Q_\lambda(x) Q_\lambda(y)$ 的表示论解释是什么？
• RQ3 具有最高权 $\lambda$（严格分拆）的 $q(n)$-模的零权空间是否为 $\widetilde{H}_n$ 上的不可约模？
• RQ4 新 $(q(m), q(n))$-对偶性与 $q(n)$ 和 $\widetilde{H}_k$ 之间的 Schur–Sergeev 对偶性有何关系？
• RQ5 能否通过此对偶性描述 $q(m)$ 的普遍包络代数的中心？若能，其基是什么？

主要发现

• $(q(m), q(n))$-对偶性为 Schur $Q$-函数恒等式提供了表示论实现，将对称函数与李超代数表示联系起来。
• 具有最高权 $\lambda$（严格分拆）的 $q(n)$-模的零权空间是参数化为 $\lambda$ 的 $\widetilde{H}_n$-不可约模，建立了 $q(n)$-表示论与有限群模之间的直接联系。
• 新 Howe 对偶性与 Schur–Sergeev 对偶性等价，表明 $q(n)$ 在 $S(\mathbb{C}^{n|n})$ 上的作用与 $\widetilde{H}_k$ 在同一空间上的作用相互中心化。
• $S(\mathbb{C}^{mn|mn})$ 作为 $(q(m) \times q(n))$-模的分解是无重的，且通过参数化为严格分拆的不可约 $q(m)$-与 $q(n)$-模显式描述。
• $q(m)$ 的普遍包络代数的中心具有一个特殊基，其参数化为长度不超过 $m$ 的严格分拆，结构常数包含 $2^{-\delta(l(\lambda))}$。
• $\widetilde{H}_n$ 在零权空间上的作用被实现为左正则表示与右正则表示，证实了该空间上 $\widetilde{H}_n$-模结构的不可约性。