[論文レビュー] Semisimple and $G$-equivariant simple algebras over operads

Pavel Etingof|arXiv (Cornell University)|Dec 23, 2015

Advanced Topics in Algebra参考文献 1被引用数 4

ひとこと要約

この論文は、可換、結合的、およびリー代数に対して既に知られていた、単純な $G$-不変代数の分類を、任意の線形オペラッドへ一般化する。任意の単純な $G$-不変 $C$-代数が、$H \leq G$ および $H$-作用を持つ単純な $C$-代数 $B$ に対して $\mathrm{Fun}_H(G,B)$ として得られることを証明し、デリーニュ圏における結果を $\mathbb{C}$ 上の有限生成オペラッドへ拡張する。

ABSTRACT

Let $G$ be a finite group. There is a standard theorem on the classification of $G$-equivariant finite dimensional simple commutative, associative, and Lie algebras (i.e., simple algebras of these types in the category of representations of $G$). Namely, such an algebra is of the form $A={ m Fun}_H(G,B)$, where $H$ is a subgroup of $G$, and $B$ is a simple algebra of the corresponding type with an $H$-action. We explain that such a result holds in the generality of algebras over a linear operad. This allows one to extend Theorem 5.5 of arXiv:1506.07565 on the classification of simple commutative algebras in the Deligne category ${ m Rep}(S_t)$ to algebras over any finitely generated linear operad.

研究の動機と目的

• 可換、結合的、リー代数など特定のタイプに限られていた $G$-不変単純代数の分類を、任意の線形オペラッドへ拡張すること。
• トランスセンドentalな $t$ に対するデリーニュ圏 $\mathrm{Rep}(S_t)$ における単純 $C$-代数の分類の一般枠組みを、オペラッド的構造を用いて提供すること。
• 文献[S]の定理5.5（$\mathrm{Rep}(S_t}$ における単純可換代数）を、任意の有限生成線形オペラッド上の代数へ一般化すること。
• このような代数が、フロベニウス双対性および表現論的技法を用いて、群作用を持つ単純な $C$-代数からの誘導であることを確立すること。

提案手法

• 体 $F$ 上の線形オペラッド $C$ における $C$-代数を定義し、構造写像 $\alpha_n: C(n) \to \mathrm{Hom}_F(A^\bigotimes n, A)$ がオペラッド合成と整合的であることを要請する。
• $R_A = L_A + E_A$ を定義する。ここで $L_A$ は $C(1)$ の像、$E_A$ はすべての部分乗法的作用素の張る空間である。$E_A$ は $R_A$ のイデアルである。
• $G$-不変な自明でないイデアルを持たず、$E_A \neq 0$ であるとき、$C$-代数を単純と定義する。半単純とは、有限個の単純 $C$-代数の直和であるときを指す。
• $A$ を $R_A$-加群としての最大半単純商への射影の核として、$\mathrm{Rad}(A)$ を定義する。$A$ が半単純であることと $\mathrm{Rad}(A) = 0$ であることは同値であることを示す。
• フロベニウス双対性を用いて、任意の単純な $G$-不変 $C$-代数が、$H \leq G$ を $A$ の最小イデアルの安定化部分群として、$H$-作用を持つ単純な $C$-代数 $B$ に対して $\mathrm{Fun}_H(G,B)$ と同型であることを示す。
• $H$ は $G$ 内で共轭を除いて一意であり、$\phi: H \to \mathrm{Aut}(B)$ は $\mathrm{Aut}(B)$ 内で共轭を除いて一意である。これにより分類が確立される。

実験結果

リサーチクエスチョン

• RQ1 可換、結合的、リー代数に限られていた $G$-不変単純代数の分類を、任意の線形オペラッド上の代数へ拡張できるか？
• RQ2 $R_A = L_A + E_A$ の構造とイデアル $E_A$ は、$G$-不変単純 $C$-代数の分類にどのような制約をもたらすか？
• RQ3 $\mathrm{Rad}(A)$ は半単純性の判定および $\overline{A}$ の商構成において果たす役割は何か？
• RQ4 フロベニウス双対性の議論は、特にデリーニュ圏の文脈において、どのようにオペラッド的代数へ一般化できるか？
• RQ5 文献[S]の定理5.5（$\mathrm{Rep}(S_t)$ における単純可換代数）は、任意の有限生成線形オペラッド上の代数へ拡張可能か？

主な発見

• 任意の単純な $G$-不変 $C$-代数は、ある部分群 $H \leq G$ と $H$-作用を持つ単純な $C$-代数 $B$ に対して $\mathrm{Fun}_H(G,B)$ と同型である。
• $H$ は $G$ 内で共轭を除いて一意であり、$\phi: H \to \mathrm{Aut}(B)$ は $\mathrm{Aut}(B)$ 内で共轭を除いて一意である。
• $\mathrm{Rad}(A)$ が消えることは、$A$ が半単純であることと同値であり、$A/\mathrm{Rad}(A)$ は常に半単純な $C$-代数である。
• 無限群またはアフィン代数的群に対しても、同じ有限指数部分群および $\mathrm{Aut}(B)$ への準同型を用いた構成により、分類はそのまま成立する。
• 結果は、$\mathbb{C}$ 上の任意の有限生成線形オペラッド上の代数へ、文献[S]の定理5.5を拡張する。このとき $B$ は $G \times S_{n-k}$-不変単純代数の補間である。
• 結合的単位的代数の場合、$B = \mathrm{End}(V)$ で、$V$ は $\mathrm{Rep}(S_t)$ の対象である。リー代数の場合、$V$ に定義された形式に応じて、$B = \mathfrak{sl}(V), \mathfrak{o}(V)$、または $\mathfrak{sp}(V)$ である。