[论文解读] Irreducibility of induced modules for general linear supergroups

František Marko|arXiv (Cornell University)|Sep 2, 2013

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

一句话总结

该论文为任意特征的广义线性超群 $G = GL(m|n)$ 上的诱导模 $H^0_G(\lambda)$ 建立了不可约性的判别准则。通过超迹诱导的反变对偶性，证明了 $H^0_G(\lambda)$ 不可约当且仅当其对应的 $G_{\text{ev}}$-模 $H^0_{G_{\text{ev}}}\!(\lambda)$ 不可约且最高权 $\lambda$ 为典型权——将 Kac 在特征零情形的结果推广至正特征情形。

ABSTRACT

In this note we determine when is an induced module H^0_G(λ), corresponding to a dominant integral highest weight λof the general linear supergroup G=GL(m|n) irreducible. Using the contravariant duality given by the supertrace we obtain a characterization of irreducibility of Weyl modules V(λ). This extends the result of Kac who proved that, for ground fields of characteristic zero, V(λ) is irreducible if and only if λis typical.

研究动机与目标

• 确定在任意特征下，广义线性超群 $G = GL(m|n)$ 的诱导模 $H^0_G(\lambda)$ 何时不可约。
• 将 Kac 在特征零情形下关于 Weyl 模不可约性的结果推广至正特征情形。
• 通过 $G_{\text{ev}}$-模结构与最高权 $\lambda$ 典型性的相互作用来刻画不可约性。
• 基于对偶性建立 Weyl 模不可约性的判别准则，该对偶性由超迹诱导。

提出的方法

• 将诱导模 $H^0_G(\lambda)$ 定义为对应于一个极大积分权 $\lambda$ 的一维 $B$-超模 $K_\lambda$ 的诱导模。
• 引入典型性的概念：若存在 $i,j$ 使得 $\omega_{ij}(\lambda) = \lambda^+_i + \lambda^-_j + m + 1 - i - j$ 被 $\text{char}(K)$ 整除，则 $\lambda$ 为非典型权。
• 利用 Poincaré–Birkhoff–Witt 定理及 $Dist(G)$ 中矩阵单位 $e_{ij}$ 的交换关系，分析权空间与模生成元。
• 通过超转置 $\tau$ 的反变对偶性，建立 $H^0_G(\lambda)$ 与 Weyl 模 $V_G(\lambda)$ 之间的关系。
• 对集合 $S \subset M = \{1,\dots,m\} \times \{m+1,\dots,m+n\}$ 的子集进行归纳，证明当 $H^0_{G_{\text{ev}}}(\lambda)$ 不可约且 $\lambda$ 为典型权时，$H^0_G(\lambda)$ 由其最高权向量生成。
• 利用 $H^0_G(\lambda)_\kappa$（其中 $\kappa = \lambda + (-n,\dots,-n|m,\dots,m)$）为一维且由 $v_{1}D\dots v_{m}D$ 生成的性质，结合奇数微分算子的超交换性。

实验结果

研究问题

• RQ1 在任意特征的域上，$G = GL(m|n)$ 的诱导模 $H^0_G(\lambda)$ 何时不可约？
• RQ2 $H^0_G(\lambda)$ 的不可约性与其实偶部分 $H^0_{G_{\text{ev}}}(\lambda)$ 的不可约性有何关系？
• RQ3 最高权 $\lambda$ 的典型性在诱导模与 Weyl 模不可约性中起何作用？
• RQ4 Kac 在特征零情形下关于 Weyl 模不可约性的结果能否推广至正特征？
• RQ5 由超迹诱导的反变对偶性如何关联 $H^0_G(\lambda)$ 与 $V_G(\lambda)$ 的不可约性？

主要发现

• 诱导模 $H^0_G(\lambda)$ 不可约当且仅当其作为 $G_{\text{ev}}$-模的 $H^0_{G_{\text{ev}}}(\lambda)$ 不可约且 $\lambda$ 为典型权。
• Weyl 模 $V_G(\lambda)$ 不可约当且仅当 $V_{G_{\text{ev}}}(\lambda)$ 不可约且 $\lambda$ 为典型权。
• 在特征零情形下，该结果恢复了 Kac 定理：$V_G(\lambda)$ 不可约当且仅当 $\lambda$ 为典型权。
• Kac 模 $K_G(\lambda)$ 不可约当且仅当 $\lambda$ 为典型权。
• 当且仅当 $H^0_{G_{\text{ev}}}(\lambda)$ 不可约且 $\lambda$ 为典型权时，$H^0_G(\lambda)$ 的特征与简单模 $L_G(\lambda)$ 的特征一致。
• 权空间 $H^0_G(\lambda)_\kappa$（其中 $\kappa = \lambda + (-n,\dots,-n|m,\dots,m)$）为一维，由 $v_{1}D\dots v_{m}D$ 生成；若 $\lambda$ 为非典型权，则该生成元为零，意味着存在真子模。