[論文レビュー] 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$ が典型的であること（すなわち、$\lambda$ が特徴値に関する特定の条件を満たすこと）が同値であることを証明する。これは、特徴値 0 の場合にカツが示した結果を正の特徴値へと拡張したものである。

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)$ が任意の特徴値において非可約となる条件を特定すること。
• Weyl モジュールの非可約性に関するカツの特徴値 0 の結果を正の特徴値へと拡張すること。
• 最高重量 $\lambda$ の典型性と $G_{\text{ev}}$-モジュール構造の相補的関係を用いて非可約性を特徴づけること。
• 超トレースによって誘導される対偶双対性を用いて、Weyl モジュールの非可約性に関する双対性に基づく基準を確立すること。

提案手法

• 誘導モジュール $H^0_G(\lambda)$ を、支配的整数重量 $\lambda$ に対応する一様次元 $B$-スーパー代数 $K_\lambda$ の誘導として定義する。
• 典型性の概念を導入する：$\lambda$ が $\omega_{ij}(\lambda) = \lambda^+_i + \lambda^-_j + m + 1 - i - j$ が $\text{char}(K)$ で割り切れるようなある $i,j$ に対して成り立つとき、$\lambda$ は非典型であると定義する。
• PBW 定理と $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 カツの特徴値 0 の結果（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$ が典型的であることとは同値である。
• 特徴値 0 の場合、この結果はカツの定理を回復する：$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$ が非典型的である場合にはこの生成子は消え、したがって真の部分モジュールが存在することを示唆する。