[論文レビュー] Morphisms of Verma modules over exceptional Lie superalgebra E(5,10)

A N Rudakov|arXiv (Cornell University)|Mar 6, 2010

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

ひとこと要約

この論文は、例外的リー超代数 $E(5,10)$ 上の一般化されたヴェルマ加群間の準同型を、その準同型に度のフィルトレーションを導入することで分類する。度1のすべての準同型が完全に分類されていることを証明し、合成と明示的構成により度2, 3, 4, 5の新しい準同型を構成し、退化最小ヴェルマ加群間には度5を超える準同型は存在しないと予想する。

ABSTRACT

In this paper we define the degree of a morphism between (generalized) Verma modules over a graded Lie superalgebra and construct series of morphisms of various degrees between (generalized) Verma modules over the exceptional infinite-dimensional linearly compact simple Lie superalgebra E(5,10). We prove that all such morphisms of degree 1 are found.

研究の動機と目的

• 度のフィルトレーションを用いて、例外的リー超代数 $E(5,10)$ 上の一般化されたヴェルマ加群間のすべての準同型を分類すること。
• 度1を超える高次度の準同型を同定することで、ヴェルマ加群複体の既知の図式を拡張すること。
• 不変理論的技法とリー代数作用を用いて、度4以上の明示的準同型を構成すること。
• 度1のすべての準同型がカバーされていることを証明し、基礎的な分類を確立すること。
• 退化最小ヴェルマ加群間には度5を超える準同型が存在しないと予想すること。

提案手法

• ヴェルマ加群間の準同型の度を、$U_{-} \otimes \operatorname{Hom}(A,B)$ に付随する要素の同次度として定義する。ここで $U_{-}$ はグレーディングの負部分の普遍包あくり代数である。
• 同型 $M(V) \cong U_{-} \otimes_{\mathbb{C}} V$ を用いて、$g_0$-不変性および $L_+$-消滅条件を満たす要素 $\Phi \in U_{-} \otimes \operatorname{Hom}(A,B)$ を介して準同型を表現する。
• $L$-加群準同型構造を保証するために、$v \cdot \Phi(a) = 0$（$v \in L_+$ に対して）および $v \cdot \Phi(a) = \Phi(v \cdot a)$（$v \in \mathfrak{g}_0$ に対して）の条件を適用する。
• リー代数作用から導かれる $d_{ij}$ 演算子の単項式を用いて、度4の準同型 $t_{AB}: M(n_1,0,0,0) \to M(n_1-3,0,0,0)$ および $t_{BC}: M(0,0,0,n_4) \to M(0,0,0,n_4+3)$ を構成する。
• 対称群作用と符号関係 $\pi \cdot u_\alpha = \operatorname{sign}(\pi) u_{\pi(\alpha)}$ を用いて、準同型条件の簡略化と検証を行う。
• 既知の度1および度4の準同型の合成により、高次度の準同型（度2, 3, 5）を構成する。例えば $\triangledown_{AB} = \triangledown_B \circ \triangledown_A$ のように。

実験結果

リサーチクエスチョン

• RQ1 一般化されたヴェルマ加群間の度1の準同型は、$E(5,10)$ 上ですべて分類可能か？
• RQ2 度4の準同型は明示的に構成可能であり、その性質は何か？
• RQ3 低次度の準同型の合成は、度2, 3, 5の新しい準同型を生じるか？
• RQ4 退化最小ヴェルマ加群間には、$E(5,10)$ 上で度5を超える準同型が存在するか？
• RQ5 ヴェルマ加群の複体は、自然に度4の準同型を含むように拡張可能か？

主な発見

• 一般化されたヴェルマ加群間の度1のすべての準同型が完全に分類され、それらが唯一の準同型であることが示された。
• 明示的度4準同型が構成された：$n_1 \geq 3$ に対して $t_{AB}: M(n_1,0,0,0) \to M(n_1-3,0,0,0)$ および $n_4 \geq 0$ に対して $t_{BC}: M(0,0,0,n_4) \to M(0,0,0,n_4+3)$。
• 度2の準同型は合成により構成された：$\triangledown_{AB} = \triangledown_B \circ \triangledown_A$ および $\triangledown_{BC} = \triangledown_C \circ \triangledown_B$。
• 度3の準同型は $\triangledown_{ABC} = \triangledown_C \circ \triangledown_B \circ \triangledown_A$ として構成され、$M(1,1,0,0)$ から $M(0,0,1,1)$ へのものである。
• 度5の準同型は2つ構成された：$t' = \triangledown_C \circ t_{AB}$ は $M(3,0,0,0)$ から $M(0,0,1,0)$ へのもので、$t'' = t_{BC} \circ \triangledown_A$ は $M(0,1,0,0)$ から $M(0,0,0,3)$ へのものである。
• 論文は、退化最小ヴェルマ加群間には度5を超える準同型が存在しないと予想し、すべてのこのような準同型が上記の構成によってカバーされていると結論づけている。