[論文レビュー] On DS functor for affine Lie superalgebras

Maria Gorelik, Vera Serganova|arXiv (Cornell University)|Nov 28, 2017

Algebraic structures and combinatorial models参考文献 11被引用数 7

ひとこと要約

この論文は、非ねじれ型アフィンリー超代数およびアフィン頂点超代数に対するDuflo-Serganova（DS）関手の研究を行い、整数的および主アデミッスィブレベルにおける真空モジュールにおけるその挙動に焦点を当てる。特定のクラスのアフィンリー超代数に関して、DS関手が単純アフィン頂点超代数の構造を保ち、単純モジュールを単純モジュールに写像することを確立している。特に、DS還元の導来代数が欠陥をもたず単純リー代数である場合に成立する。

ABSTRACT

We study Duflo-Serganova functor for non-twisted affine Lie superalgebras and affine vertex superalgebras.

研究の動機と目的

• アフィンリー超代数およびアフィン頂点超代数へのDuflo-Serganova関手の拡張。
• DS関手が真空モジュールおよび単純モジュールの構造を保存する条件の特定。
• リー代数からの結果をリー超代数へ一般化し、特に主アデミッスィブレベルについて。
• DS還元後の代数が欠陥をもたない場合、頂点代数間の同型を確立。
• アフィンリー超代数のカテゴリーオーにおけるモジュールにおけるDS関手の挙動とアデミッスィブレベルとの整合性の探求。

提案手法

• 非零な $x \in \mathfrak{g}_{\overline{1}}$ に対して $[x,x] = 0$ であるとき、DS関手 $\operatorname{DS}_x$ を $N \mapsto \ker_N x / \operatorname{im}_N x$ として定義し、アフィンリー超代数上のモジュールに作用させる。
• 整数的真空モジュールに対して $\operatorname{DS}_x(\operatorname{Vac}^k(\mathfrak{g})) = \operatorname{Vac}^k(\mathfrak{g}_x)$ が成り立つことを利用する。
• $\dot{\mathfrak{g}}_x$ が欠陥をもち、$\mathbb{C}$ でない場合に、特異ベクトルの性質とArakawaの定理を用いて $\operatorname{DS}_x(\operatorname{Vac}_k(\mathfrak{g})) = \operatorname{Vac}_k(\mathfrak{g}_x)$ を証明する。
• DS関手を頂点超代数に適用し、適切な条件下で $\operatorname{DS}_x(V_k(\mathfrak{g})) \cong V_k(\mathfrak{g}_x)$ を示す。
• 主アデミッスィブレベルの分類および最大の真部分モジュールの構造を用いて、単純真空モジュールの像が単純のままであることを証明する。
• DS関手がカテゴリーオーと整合することと、主アデミッスィブレベルにおける既約モジュールが特異ベクトルによって生成されることを活用する。

実験結果

リサーチクエスチョン

• RQ1 アフィンリー超代数に対して、Duflo-Serganova関手が単純真空モジュール $\operatorname{Vac}_k(\mathfrak{g})$ の構造を保存する条件は何か？
• RQ2 非ねじれ型アフィンリー超代数に対して、$\operatorname{DS}_x(\operatorname{Vac}_k(\mathfrak{g})) \cong \operatorname{Vac}_k(\mathfrak{g}_x)$ が成り立つのはいつか？
• RQ3 DS関手は、主アデミッスィブレベルにおけるアフィン頂点超代数 $V_k(\mathfrak{g})$ に対してどのように作用するか？
• RQ4 DS関手とアフィンリー超代数のカテゴリーオーの関係は何か？
• RQ5 代数 $\mathfrak{g}_x$ が単純リー代数であり、$\dot{\mathfrak{g}} \neq B(n+1|n)$ である場合、DS関手は頂点代数構造を保存するか？

主な発見

• 非ねじれ型アフィンリー超代数 $\mathfrak{g} = \dot{\mathfrak{g}}^{(1)}$ および $x \in \dot{\mathfrak{g}}_{\overline{1}}$ に対して、$\dot{\mathfrak{g}}_x$ が欠陥をもち、$\dot{\mathfrak{g}}_x \neq \mathbb{C}$ であるとき、非負整数 $k$ に対して $\operatorname{DS}_x(\operatorname{Vac}_k(\mathfrak{g})) = \operatorname{Vac}_k(\mathfrak{g}_x)$ が成り立つ。
• 主アデミッスィブレベルにおいて、$\dot{\mathfrak{g}}_x$ が単純リー代数であり、$\dot{\mathfrak{g}} \neq B(n+1|n)$ であるとき、DS関手は単純アフィン頂点超代数 $V_k(\mathfrak{g})$ を $V_k(\mathfrak{g}_x)$ に写像する。
• 主アデミッスィブレベルにおいて、$\operatorname{DS}_x(\operatorname{Vac}_k(\mathfrak{g})) \cong \operatorname{Vac}_k(\mathfrak{g}_x)$ は $\mathfrak{g}_x$-モジュールとして成り立ち、これにより対応する頂点代数の同型が得られる。
• 条件 $\dot{\mathfrak{g}}_x$ が満たされている限り、任意の $V_k(\mathfrak{g})$-モジュール $N$ に対して $\operatorname{DS}_x(N)$ は $V_k(\mathfrak{g}_x)$-モジュールである。
• モジュール $N$ がカテゴリーオーに属する場合、$\operatorname{DS}_x(N)$ はゼロまたはレベル $k$ の主アデミッスィブモジュールの直和である。
• $x = \sum x_i$ で $x_i$ が最大の自己的根空間に属するとき、合成関手 $\operatorname{DS}_S = \operatorname{DS}_{x_1} \circ \cdots \circ \operatorname{DS}_{x_r}$ に対しても結果が成り立ち、$\operatorname{DS}_S(\mathfrak{g}) \cong \operatorname{DS}_x(\mathfrak{g})$ が成り立つ。