[論文レビュー] The Harish-Chandra isomorphism for Clifford algebras

Yuri Bazlov|ArXiv.org|Dec 11, 2008

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

ひとこと要約

本稿は、ハリシュ＝チャンドラ同型のクライフォード代数版を確立し、$\sigma$-不変部分代数${\mathit{C}\!\ell}(\mathfrak{g})$が${\mathit{C}\!\ell}(\mathfrak{h})$に同型であることを証明する。さらに、この同型が原始的不変量の空間を、ラングランズ双対リー代数$\mathfrak{g}^\vee$の主重み付けによるグレーディングで与えられるカルタン部分代数$\mathfrak{h}$に一致させることを示す。これは、コスタントが提唱した、$\mathfrak{h}$の標準基底の起源に関する予想を裏付けるものである。

ABSTRACT

We study the analogue of the Harish-Chandra homomorphism where the universal enveloping algebra is replaced by the Clifford algebra, $Cl(g)$, of a semisimple Lie algebra $g$. Two main goals are achieved. First, we prove that there is a Harish-Chandra type isomorphism between the subalgebra of $g$-invariants in $Cl(g)$ and the Clifford algebra of the Cartan subalgebra of $g$. Second, the Cartan subalgebra is identified, via this isomorphism, with a graded space of the so-called primitive skew-symmetric invariants of $g$. This leads to a distinguished orthogonal basis of the Cartan subalgebra, which turns out to be induced from the Lie algebra Langlands dual to $g$ via the action of its principal three-dimensional subalgebra. This settles a conjecture of Kostant.

研究の動機と目的

• クラリーフォード代数${\mathit{C}\!\ell}(\mathfrak{g})$を$U(\mathfrak{g})$に置き換えた、ハリシュ＝チャンドラ型同型を確立すること。
• ${\mathit{C}\!\ell}(\mathfrak{g})$における$\mathfrak{g}$-不変部分代数を、カルタン部分代数のクライフォード代数${\mathit{C}\!\ell}(\mathfrak{h})$に同定すること。
• 同型写像によって誘導される$\mathfrak{h}$上のグレーディングを特定し、ラングランズ双対リー代数$\mathfrak{g}^\vee$の主グレーディングと関連付けること。
• コスタントの予想、すなわち$\mathfrak{h}$の標準基底が$\mathfrak{g}^\vee$の主三重$\mathfrak{sl}_2$-部分代数から生じることを確認すること。

提案手法

• リー代数の三角分解$\mathfrak{g} = \mathfrak{n}_- \oplus \mathfrak{h} \oplus \mathfrak{n}_+$を用いて、${\mathit{C}\!\ell}(\mathfrak{g})$を${\mathit{C}\!\ell}(\mathfrak{n}_-) \otimes {\mathit{C}\!\ell}(\mathfrak{h}) \otimes {\mathit{C}\!\ell}(\mathfrak{n}_+)$に分解する。
• 古典的ハリシュ＝チャンドラホモモーフィズムに類似した射影$\Phi: {\mathit{C}\!\ell}(\mathfrak{g}) \to {\mathit{C}\!\ell}(\mathfrak{h})$を構成する。
• コスタントの変数分離定理を適用し、${\mathit{C}\!\ell}(\mathfrak{g}) = E \otimes J$と書けることを示す。ここで$J = {\mathit{C}\!\ell}(\mathfrak{g})^\mathfrak{g}$は$\mathfrak{g}$-不変部分代数である。
• 同型写像$\Phi: J \xrightarrow{\sim} {\mathit{C}\!\ell}(\mathfrak{h})$を介して、$J$内の原始的不変量の空間$P$を$\mathfrak{h}$に同定する。
• ラングランズ双対代数$\mathfrak{g}^\vee$の主三重$\mathfrak{sl}_2$-三重を用いて、$\mathfrak{h}$にグレーディングを定義する。これは、$\mathfrak{sl}_2$-ストリングと$\mathfrak{h}$の交点を通じて実現される。
• チェヴァリの射影と双対不変量を用い、原始的不変量の$\Phi$による像が$({\rm ad}\,e_0^\vee)^{m_k+1}$の核上にあることを確認することで、主基底構造が成立することを検証する。

実験結果

リサーチクエスチョン

• RQ1 クラリーフォード代数${\mathit{C}\!\ell}(\mathfrak{g})$に対して、$U(\mathfrak{g})$の古典的同型に類似したハリシュ＝チャンドラ同型が存在するか？
• RQ2 ${\mathit{C}\!\ell}(\mathfrak{g})$における$\mathfrak{g}$-不変部分代数を${\mathit{C}\!\ell}(\mathfrak{h})$に同定できるか？
• RQ3 同型写像$J \xrightarrow{\sim} {\mathit{C}\!\ell}(\mathfrak{h})$によって誘導される$\mathfrak{h}$上のグレーディングは何か？
• RQ4 このグレーディングはラングランズ双対リー代数$\mathfrak{g}^\vee$の主グレーディングから生じるか？
• RQ5 得られる$\mathfrak{h}$の基底は、$\mathfrak{g}^\vee$から誘導される標準的主基底か？

主な発見

• ハリシュ＝チャンドラ写像$\Phi$は、$\mathfrak{g}$-不変部分代数$J = {\mathit{C}\!\ell}(\mathfrak{g})^\mathfrak{g}$とカルタン部分代数のクライフォード代数${\mathit{C}\!\ell}(\mathfrak{h})$との間の同型写像に制限される。
• $J$内の原始的不変量の空間$P$は、同型写像$\Phi$を介して$\mathfrak{h}$に同定され、直接的な対応関係が確立される。
• 同型写像によって誘導される$\mathfrak{h}$上のグレーディングは、ラングランズ双対リー代数$\mathfrak{g}^\vee$の主グレーディングに、その主三重$\mathfrak{sl}_2$-部分代数の作用を通じて一致する。
• 得られる$\mathfrak{h}$の基底は、カルタン形式に関して直交的であり、$\mathfrak{g}^\vee$の標準的主基底と一致する。
• $\mathfrak{g}$が単純リー代数である場合、$\mathfrak{h}$のグレーディング成分は通常1次元であり、特徴的な直交基底が得られる。
• 本結果は、コスタントの予想を確認するものである。すなわち、$\mathfrak{h}$の標準基底は、ラングランズ双対代数$\mathfrak{g}^\vee$の主$\mathfrak{sl}_2$-三重を介して生じる。