[論文レビュー] Quantized Hamiltonian actions and W-algebras

Ivan Losev|arXiv (Cornell University)|Jul 20, 2007

Advanced Topics in Algebra被引用数 5

ひとこと要約

本稿では、再帰的代数群 G が量子化されたシンプレクティックなアフィン多様体上で作用する量子化ハミルトニアン作用の下での不変代数として、有限型 W-代数の新しい視点を提示する。この幾何的枠組みを活用することで、著者らは W-代数の代替的定義を提示し、W-代数の素イデアルと普遍包あらゆる代数 U(g) の素イデアルとの対応関係を確立し、古典的リーリー代数に対して一様次元表現の存在を証明し、W-代数の元が有限次元表現によって分離可能であることを示している。

ABSTRACT

With a nilpotent element in a semisimple Lie algebra g one associates a finitely generated associative algebra W called a W-algebra of finite type. This algebra is obtained from the universal enveloping algebra U(g) by a certain Hamiltonian reduction. We observe that W is the invariant algebra for an action of a reductive group G with Lie algebra g on a quantized symplectic affine variety and use this observation to study W. Our results include an alternative definition of W, a relation between the sets of prime ideals of W and of the corresponding universal enveloping algebra, the existence of a one-dimensional representation of W in the case of classical g and the separation of elements of W by finite dimensional representations.

研究の動機と目的

• 有限型 W-代数を、量子化ハミルトニアン群作用の下での不変代数として再定式化すること。
• W-代数の素イデアルスペクトラムと普遍包あらゆる代数 U(g) のそれとの間の構造的関係を確立すること。
• g が古典的型である場合に、W-代数に一様次元表現が存在することを証明すること。
• W-代数の元が有限次元表現によって区別可能であることを示すこと。

提案手法

• 量子化ハミルトニアン還元を用いて、量子化されたシンプレクティックなアフィン多様体上の再帰的群作用を通じて、U(g) の商として W-代数を構成する。
• 量子化モーメント写像の理論を適用して、W の不変部分代数構造を記述する。
• 幾何的枠組みを用いて、元の構成に依存しない代替的な代数的定義を導出する。
• 量子化代数の不変理論を用いて、W の素イデアルと U(g) 内の特定の G-不変素イデアルとの間の全単射を確立する。
• 古典的リーリー代数の構造を活用して、関連する冪零軌道を用いて W の一様次元表現を構成する。
• 表現論的技法を適用して、有限次元表現が W の元を分離可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 W-代数は、シンプレクティック多様体上の量子化ハミルトニアン群作用の枠組みを用いてどのように再定義可能か？
• RQ2 W-代数の素イデアルスペクトラムと普遍包あらゆる代数 U(g) のそれとの正確な対応関係は何か？
• RQ3 基礎となるリーリー代数 g が古典的型である場合、W-代数は一様次元表現を有するか？
• RQ4 W-代数の有限次元表現は、代数の異なる元を区別可能か？

主な発見

• 量子化ハミルトニアン作用の下での不変部分代数構成を通じて、W-代数の代替的定義が確立された。
• W-代数の素イデアルと U(g) 内の特定の G-不変素イデアルとの間の全単射が証明された。
• 古典的リーリー代数に対して、W-代数は一様次元表現を有し、これは顕著な構造的性質である。
• W-代数の元は有限次元表現によって分離可能であり、これは W におけるジャコブソン位相が表現論的意味でハウスドルフ的であることを示唆している。