[論文レビュー] On the Dynkin index of a principal $\mathfrak{sl}_2$-subalgebra

Dmitri I. Panyushev|ArXiv.org|Mar 2, 2009

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

ひとこと要約

この論文は、Freudenthal–de Vriesの「奇妙な公式」を用いて、任意の単純リー代数 ${\mathfrak{g}}$ における主 $\mathfrak{sl}_2$-部分代数のDynkin指数の閉形式の公式を確立する。主な結果は、$\frac{\dim{\mathfrak{g}}}{6}h^*({\mathfrak{g}}^\vee)r$ として表され、ここで $h^*({\mathfrak{g}}^\vee)$ はLanglands双対 ${\mathfrak{g}}^\vee$ の双対Coxeter数、$r$ はランクを表す。この公式により、${\mathfrak{g}}$ の任意の既約表現を $\mathfrak{sl}_2$-加群と見たときのDynkin指数を明示的に計算可能となり、${\mathfrak{g}}$ の指数と ${\mathfrak{g}}$ およびそのLanglands双対 ${\mathfrak{g}}^\vee$ の双対Coxeter数を結ぶ新しい恒等式が得られる。この公式はすべての型に一様に成り立ち、Dynkin図の展開（unfoldings）に対して不変である。

ABSTRACT

Let $g$ be a simple Lie algebra over an algebraically closed field of characteristic zero. The goal of this note is to prove a closed formula for the Dynkin index of a principal $sl_2$-subalgebra of $g$. The key step in the proof uses the "strange formula" of Freudenthal--de Vries. As an application, we (1) compute the Dynkin index any simple $g$-module regarded as $sl_2$-module and (2) obtain an identity connecting the exponents of $g$ and the dual Coxeter numbers of both $g$ and the Langlands dual $g^\vee$.

研究の動機と目的

• 任意の単純リー代数 ${\mathfrak{g}}$ における主 $\mathfrak{sl}_2$-部分代数のDynkin指数の閉形式表現を導出すること。
• この公式を用いて、任意の既約 ${\mathfrak{g}}$-加群を $\mathfrak{sl}_2$-加群と見たときのDynkin指数を計算すること。
• ${\mathfrak{g}}$ の指数とそのLanglands双対 ${\mathfrak{g}}^\vee$ の双対Coxeter数を結ぶ新しい恒等式を確立すること。

提案手法

• Freudenthal–de Vriesの「奇妙な公式」を用いて、正ルートの二乗高さの和を ${\mathfrak{g}}$ の次元と双対Coxeter数に関連付ける。
• 入れ子の部分代数におけるDynkin指数の乗法性を適用する：${\mathsf{ind}}({\mathfrak{h}}\subset{\mathfrak{g}}) = {\mathsf{ind}}({\mathfrak{h}}\subset{\mathfrak{s}}) \cdot {\mathsf{ind}}({\mathfrak{s}}\subset{\mathfrak{g}})$。
• 奇妙な公式とルート高さの和を用いて、主 $\mathfrak{sl}_2$-部分代数のDynkin指数を $\frac{\dim{\mathfrak{g}}}{6}h^*({\mathfrak{g}}^\vee)r$ として表現する。
• 表現の直和におけるDynkin指数の加法性を用いて、${\mathfrak{g}}$-加群を $\mathfrak{sl}_2$-加群と見たときの指数を計算する。
• 標準的正規化 $(\theta,\theta)_{\mathfrak{g}} = 2$ を用い、双線形形式のスケーリングの一貫性を保証する。
• この公式を用いて、${\mathfrak{g}}$ の指数 $m_i$ に関する二項係数 $\binom{2m_i + 2}{3}$ の和を含む新しい恒等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 単純リー代数 ${\mathfrak{g}}$ における主 $\mathfrak{sl}_2$-部分代数のDynkin指数の閉形式表現は何か？
• RQ2 この指数は、任意の既約 ${\mathfrak{g}}$-加群を主 $\mathfrak{sl}_2$-部分代数に制限したときのDynkin指数を計算するためにどのように利用できるか？
• RQ3 ${\mathfrak{g}}$ の指数と ${\mathfrak{g}}$ およびそのLanglands双対 ${\mathfrak{g}}^\vee$ の双対Coxeter数を結ぶ一様な恒等式が存在するか？
• RQ4 主 $\mathfrak{sl}_2$-部分代数のDynkin指数は、多重ラスド・Dynkin図の展開に対して不変か？

主な発見

• 単純リー代数 ${\mathfrak{g}}$ における主 $\mathfrak{sl}_2$-部分代数のDynkin指数は、$\frac{\dim{\mathfrak{g}}}{6}h^*({\mathfrak{g}}^\vee)r$ で与えられ、ここで $h^*({\mathfrak{g}}^\vee)$ はLanglands双対 ${\mathfrak{g}}^\vee$ の双対Coxeter数、$r$ は ${\mathfrak{g}}$ のランクである。
• この指数は、${\mathfrak{g}}$ をその単純ラスド被覆 $\tilde{\mathfrak{g}}$ に写す展開手続きに対して不変であり、${\mathsf{ind}}({\mathfrak{g}}\hookrightarrow\tilde{\mathfrak{g}}) = 1$ であることと乗法性により、$\mathbf{B}_n \to \mathbf{D}_{n+1}$ や $\mathbf{F}_4 \to \mathbf{E}_6$ のように展開される。
• 任意の既約 ${\mathfrak{g}}$-加群 $V_\lambda$ を $\mathfrak{sl}_2$-加群と見たときのDynkin指数は、$\frac{\dim V_\lambda}{6} h^*({\mathfrak{g}}^\vee) r (\lambda, \lambda + 2\rho)_{\mathfrak{g}}$ で与えられ、指数の乗法性により導出される。
• 新しい恒等式が確立された：$\sum_{i=1}^n \binom{2m_i + 2}{3} = 2h^*({\mathfrak{g}}) \cdot \frac{\dim{\mathfrak{g}}}{6} h^*({\mathfrak{g}}^\vee)r$、ここで $m_i$ は ${\mathfrak{g}}$ の指数であり、指数と双対Coxeter数を結ぶ。
• 重みの二乗和 $\sum_{\mu \dashv V_\lambda} (\mu, \rho^\vee)^2_{\mathfrak{g}} = \frac{\dim V_\lambda}{12} h^*({\mathfrak{g}}^\vee) r (\lambda, \lambda + 2\rho)_{\mathfrak{g}}$ の公式が導出され、単純ラスドの場合にFreudenthal–de Vriesの公式と整合することが示された。
• この結果により、$\sum_{\gamma > 0} {\mathsf{ht}}^2(\gamma)$ の一様な表現 $\frac{\dim{\mathfrak{g}}}{6} h^*({\mathfrak{g}}^\vee)r$ が得られ、$\sum {\mathsf{ht}}^s(\gamma)$ のような一様な表現が $s=2$ のような特定の $s$ のみに存在する可能性が示唆される。