[論文レビュー] Quantizations of nilpotent orbits vs 1-dimensional representations of W-algebras

Ivan Losev|arXiv (Cornell University)|Apr 10, 2010

Advanced Algebra and Geometry参考文献 18被引用数 5

ひとこと要約

本稿は、nilpotent軌道（およびその被覆）の $G$-不変量子化と、有限W代数の $\Gamma$-固定1次元表現との間に一対一対応を確立する。ここで $\Gamma$ は被覆上の点の安定化部分群の成分群である。この結果は、MoeglinによるWhittakerモデルと原始的イデアルに関する研究を通じて既に知られていたが、ここでは変形量子化とジェットバンドル技法を用いて再導出され、より直接的で自然な証明が与えられる。

ABSTRACT

Let g be a semisimple Lie algebra over an algebraically closed field K of characteristic 0 and O be a nilpotent orbit in g. Then Orb is a symplectic algebraic variety and one can ask whether it is possible to quantize $\Orb$ (in an appropriate sense) and, if so, how to classify the quantizations. On the other hand, for the pair (g,O) one can construct an associative algebra W called a (finite) W-algebra. The goal of this paper is to clarify a relationship between quantizations of O (and of its coverings) and 1-dimensional W-modules. In the first approximation, our result is that there is a one-to-one correspondence between the two. The result is not new: it was discovered (in a different form) by Moeglin in the 80's.

研究の動機と目的

• nilpotent軌道の量子化と有限W代数の1次元表現との関係を明確化すること。
• 既知の量子化と1次元 $\mathcal{W}$-モジュール表現の対応を、表現論的道具に頼らずに変形量子化と幾何的技法を用いて再導出すること。
• MoeglinのWhittakerモデルと原始的イデアルに関する先行結果を、変形量子化と $G$-不変被覆の観点から再解釈すること。
• $\Gamma$ の成分群による固定点を用いた、$G$-不変量子化の分類を確立すること。

提案手法

• nilpotent軌道 $\mathbb{O}$ 上の $G$ および $\mathbb{K}^\times$-作用と整合する代数的幾何的設定における変形量子化を用いる。
• $\mathfrak{sl}_2$-三重対とSlodowy切断からW代数 $\mathcal{W}$ を構成し、$\operatorname{gr}\mathcal{W} \cong \mathbb{K}[S]$ とし、$Q = Z_G(e,h,f)$-作用を備える。
• $\mathfrak{Id}^1(\mathcal{W})$ を $\mathcal{W}$ の余次元1の両側イデアルの集合と定義し、これは1次元 $\mathcal{W}$-モジュールを分類する。
• 被覆 $\widetilde{\mathbb{O}}$ 上の点 $x$ に対して、成分群 $\Gamma = G_x / (G_x)^\circ$ を導入し、$\mathfrak{Id}^1(\mathcal{W})$ 上への作用を考察する。
• 量子化のジェットバンドル構成と[Lo1]の分解定理を用い、$\mathcal{W}$ のフィルトレーション構造と量子化の分類を関連付ける。
• $\mathcal{D}$ に対応する $\Gamma$-固定1次元 $\mathcal{W}$-モジュールへの写像が双対写像であることを示し、Rees代数と完備化技法を用いて $\mathcal{D}$ と最大フィルター付きDixmier代数との関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 $G$-不変量子化とその被覆は、有限W代数の1次元表現とどのように関係するか？
• RQ2 Whittakerモデル理論に依存せず、変形量子化と幾何的技法を用いて、量子化と1次元 $\mathcal{W}$-モジュールの対応を再導出可能か？
• RQ3 成分群 $\Gamma = G_x / (G_x)^\circ$ は、これらの量子化の分類において果たす役割は何か？
• RQ4 $Q = Z_G(e,h,f)$ が $\mathfrak{Id}^1(\mathcal{W})$ 上に作用するとき、その作用は $\Gamma$ にどのように降下し、固定点集合がなぜ重要なのか？
• RQ5 $\mathcal{D}$ から $\mathcal{A}_{\mathcal{D}}$ を構成する際、最大フィルター付きDixmier代数構造はどの程度回復されるか？

主な発見

• 被覆 $\widetilde{\mathbb{O}}$ の $G$-不変量子化の同型類の集合と、$\mathfrak{Id}^1(\mathcal{W})$ の $\Gamma$-固定点の集合との間に、自然な双対写像が存在する。ここで $\Gamma$ は $\widetilde{\mathbb{O}}$ 上の点の安定化部分群の成分群である。
• $\widetilde{\mathbb{O}}$ の量子化 $\mathcal{D}$ から $\mathcal{A}_{\mathcal{D}}$ を構成すると、これは $\mathbb{O}$ の被覆を量子化する最大フィルター付きDixmier代数となり、すべての such 代数がこの方法で得られる。
• 証明は、ジェットバンドルとRees代数の構成を通じて、変形量子化と1次元 $\mathcal{W}$-モジュールの間に直接的な関係を確立し、Whittakerモデル理論への依存を回避する。
• この結果は、Moeglinによる原始的イデアルがWhittakerモデルを許容する分類と同値であるが、より幾何的で表現論的に明確な枠組みで再導出されている。
• $Q = Z_G(e,h,f)$ の $\mathfrak{Id}^1(\mathcal{W})$ 上の作用は $\Gamma$ に降下し、その固定点集合が量子化を分類する。
• 対応は自然かつ関手的である：同型な量子化は同型な1次元 $\mathcal{W}$-モジュールに対応し、$\widetilde{\mathbb{O}}$ 内の点 $x$ の選び方（同型類を除く）に依存しない。