[論文レビュー] Extending generalized spin representations

Robin Lautenbacher, Ralf Köhl|arXiv (Cornell University)|Apr 29, 2017

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

ひとこと要約

本稿は、座標に依存しないアプローチを用いて、単純なルート系を持つ分裂実 Kac–Moody代数に対して、3/2スピンおよび5/2スピン表現を一般化する。$ \mathfrak{h}^*$ および $ \mathrm{Sym}^2(\mathfrak{h}^*)$ 上に明示的な写像 $X_{3/2}$ および $X_{5/2}$ を構成し、不変な2次形式に関して必要な（反）交換関係を満たすことを示し、これにより最大コンパクト部分代数 $ \mathfrak{k}$ の有限次元表現が得られる。主な貢献は、Weyl群表現を用いた特徴付けである：符号表現成分を含まない $ \mathfrak{h}^*$-加群に限って、一般化スピン表現を拡張可能である。

ABSTRACT

We revisit the construction of higher spin representations by Kleinschmidt and Nicolai for E10, generalize it to arbitrary simply laced types, and provide a coordinate-free approach to the 3/2-spin and 5/2-spin representations. Moreover, we discuss the relationship between our findings and the representation theory of Sym(3) pointed out to us by Levy.

研究の動機と目的

• 座標に依存しない枠組みを用いて、$E_{10}$ の一般化スピン表現を任意の単純なルート系タイプに拡張すること。
• 任意の単純なルート系を持つ分裂実 Kac–Moody代数に対して、$\frac{3}{2}$-スピンおよび $\frac{5}{2}$-スピン表現の明示的かつ構造に基づく構成を提供すること。
• このような拡張を可能にする要因としての Weyl群表現、特に符号表現の欠如の役割を明確化すること。
• $E_{10}$ に関する先行研究を概念的かつアクセス可能な形で再定式化し、例外的な場合に限らない応用を可能にすること。

提案手法

• 不変な2次形式を用いて、実根から $ \mathfrak{h}^*$ の自己準同型への写像 $X_{3/2}(\alpha) = -\alpha(\alpha|\cdot) + \frac{1}{2}\mathrm{id}_{\mathfrak{h}^*}$ を構成する。
• ここで $\pi_\alpha = \alpha(\alpha|\cdot)$ とおくと、$\mathrm{Sym}^2(\mathfrak{h}^*)$ 上で $X_{5/2}(\alpha) = \pi_\alpha \otimes \pi_\alpha - (\pi_\alpha \otimes \mathrm{id} + \mathrm{id} \otimes \pi_\alpha) + \frac{1}{2}\mathrm{id} \otimes \mathrm{id}$ を定義する。
• これらの写像が、$[X(\alpha), X(\beta)] = 0$ が $(\alpha|\beta) = 0$ のとき、$\{X(\alpha), X(\beta)\} = X(\alpha \pm \beta)$ が $(\alpha|\beta) = \mp 1$ かつ $\alpha \pm \beta \in \lambda$ のときを満たす（反）交換関係を満たすことを検証する。
• 写像を $X(\alpha) = \rho(s_\alpha) - \frac{1}{2}\mathrm{id}$ と解釈し、Weyl群作用 $\rho$ による $\mathfrak{h}^*$ や $\mathrm{Sym}^2(\mathfrak{h}^*)$ 上の表現理論と関連付ける。
• ${\rm Sym}_3$ の自明表現および標準表現は必要な恒等式を満たすが、符号表現は満たさないという事実を用いて、どの $W$-加群が使用可能かを特徴付ける。
• $\mathrm{Sym}^3(\mathfrak{h}^*)$ が符号表現を含み、したがってこの方法では $\frac{7}{2}$-スピン拡張が妨げられることを示し、理論的ギャップの理由を説明する。

実験結果

リサーチクエスチョン

• RQ1 座標に依存しない方法を用いて、$E_{10}$ の一般化スピン表現を任意の単純なルート系を持つ Kac–Moody代数へ拡張可能か？
• RQ2 W-加群 $V$ が満たすべき条件は何か？ その上で、$X(\alpha) = \rho(s_\alpha) - \frac{1}{2}\mathrm{id}_V$ が有効な一般化スピン表現を定める。
• RQ3 なぜ $\frac{3}{2}$-および $\frac{5}{2}$-スピン表現は存在するが、$\frac{7}{2}$-スピン表現は未だに不明なままであるのか？
• RQ4 $\mathfrak{h}^*$ および $\mathrm{Sym}^2(\mathfrak{h}^*)$ に符号表現が存在しないことと、高スピン表現の存在との関係は何か？
• RQ5 部分和に関して閉じた正の実根の集合の構造は何か？ そして、一般化スピン表現の拡張にどのように影響を与えるか？

主な発見

• $X_{3/2}(\alpha) = -\alpha(\alpha|\cdot) + \frac{1}{2}\mathrm{id}_{\mathfrak{h}^*}$ は、すべての実根 $\alpha, \beta$ に対して、$(\alpha|\beta) \in \{0, \pm1\}$ を満たすとき、必要な（反）交換関係を満たし、最大コンパクト部分代数 $ \mathfrak{k}$ の有限次元表現を定義する。
• $X_{5/2}(\alpha) = \pi_\alpha \otimes \pi_\alpha - (\pi_\alpha \otimes \mathrm{id} + \mathrm{id} \otimes \pi_\alpha) + \frac{1}{2}\mathrm{id} \otimes \mathrm{id}$ は、$\mathrm{Sym}^2(\mathfrak{h}^*)$ 上で同様に（反）交換関係を満たし、$ \mathfrak{k}$ の有効な表現を定める。
• この構成は、$X(\alpha) = \rho(s_\alpha) - \frac{1}{2}\mathrm{id}$ と等価であり、ここで $\rho$ は $\mathfrak{h}^*$ または $\mathrm{Sym}^2(\mathfrak{h}^*)$ 上の Weyl群作用である。この表現は、$W$-加群が符号表現を成分として含まない場合にのみ有効である。
• $\mathrm{Sym}^3(\mathfrak{h}^*)$ 加群は ${\rm Sym}_3$ の符号表現を含み、このため $\frac{7}{2}$-スピン拡張がこの方法では妨げられる。これにより、現在のところそのような表現が存在しない理由が説明される。
• この方法は、Kleinschmidt と Nicolai の $E_{10}$ の結果をすべての単純なルート系タイプに一般化し、高スピン表現のための統一的かつ座標に依存しない枠組みを提供する。
• 部分和に関して閉じた正の実根の集合（各部分和が正の実根である反復和として得られる集合）は、有限および単純なルート系アフィンの場合には、全正の実根集合と一致するが、一般には構造が未解決のままである。