[論文レビュー] A characterization of nilpotent orbit closures among symplectic singularities II

Yoshinori Namikawa|arXiv (Cornell University)|Jul 10, 2017

Advanced Algebra and Geometry参考文献 12被引用数 9

ひとこと要約

本稿は、複素単純 Lie 環の冪零軌道閉包の有限被覆として得られる錐的シンプレクティック多様体を特徴づける。座標環が次数$l$の元で生成される部分環に対して有限であるならば、その多様体は次数$l$部分に半単純 Lie 環構造を持つ$ \mathbf{C}^*$-作用をもち、シンプレクティック形式は$G$-被覆を通じてキリロフ＝コスタント形式に引き戻されることが示される。

ABSTRACT

This short note is a supplement to the previous article with the same title. Here we treat a conical symplectic variety obtained as a finite covering of a (not necessarily normal) nilpotent orbit closure of a complex semisimple Lie algebra.

研究の動機と目的

• 複素単純 Lie 環における（非正則である可能性のある）冪零軌道閉包の有限被覆として得られる錐的シンプレクティック多様体を分類すること。
• 座標環が次数$l$の元で生成される部分環上の有限モジュールとして得られるような場合を同定すること。
• シンプレクティック形式がエタール$G$-被覆を通じてキリロフ＝コスタント形式に引き戻されることを確立すること。
• 座標環の次数$l$部分が半単純 Lie 環をなしており、それに対応する単連結群がシンプレクティック自己同型として作用することを示すこと。

提案手法

• 正次数の正規ドメインに「削減された重み付き順序」の概念を導入し、シンプレクティック形式の重みを単純化する。
• 座標環$R$が$R(l)$-加群として有限であることの条件を用いて、シンプレクティック多様体の構造的制約を導出する。
• ヤコブソン＝モロツォフの定理を用いて、軌道閉包上の$ \mathbf{C}^*$-作用を被覆空間へ上へ持ち上げる。
• ポisson括弧の解析を用いて、$R$の次数$l$部分が半単純 Lie 環であることを証明する。
• 多様体上に2つの$ \mathbf{C}^*$-作用を構成する：元の作用と、軌道構造から誘導される「右」$ \mathbf{C}^*$-作用。
• これらの作用の整合性を用いて削減された重み付き順序を導出し、削減された重み付き順序のもとで$R$が$R(2)$または$R(1)$の有限加群であることを示す。

実験結果

リサーチクエスチョン

• RQ1 次数$l$のシンプレクティック形式と$ \mathbf{C}^*$-作用をもつ錐的シンプレクティック多様体が、冪零軌道閉包の有限被覆と同型となるのはいつか？
• RQ2 座標環の次数$l$部分が半単純 Lie 環となるための条件は何か？
• RQ3 被覆上のシンプレクティック形式は、軌道閉包上のキリロフ＝コスタント形式とどのように関係するか？
• RQ4 被覆写像が余次元1でエタールかつ$G$-可換となる条件は何か？
• RQ5 座標環の重み付き順序を、シンプレクティック形式の重みが1または2になるように削減できるか？

主な発見

• もし$R$が$R(l)$-加群として有限ならば、次数$l$部分$R_l$は半単純 Lie 環$\mathfrak{g}$であり、$\mathrm{Lie}(G) = \mathfrak{g}$を満たす単連結群$G$は$X$上で$ \mathbf{C}^*$-可換なシンプレクティック自己同型として作用する。
• $R(l) \to R$の包含写像は、冪零軌道閉包$\bar{O}$への有限$G$-準同型写像$f: X \to \bar{O}$を誘導する。この写像は余次元1でエタールである。
• 多様体$X$上のシンプレクティック形式$\omega$は、$O$上のキリロフ＝コスタント形式$\omega_{KK}$を$f$を通じて引き戻したものであり、$f^{-1}(O) \to O$はエタール$G$-被覆である。
• もし$l$が偶数ならば、$R$の重み付き順序を削減して$wt(\omega) = 2$とし、$R$を$R(2)$-加群として有限にすることができる。$l$が奇数の場合は$wt(\omega) = 1$であり、$R$は$R(1)$-加群として有限である。
• 2つの$ \mathbf{C}^*$-作用（元の作用と「右」作用）の存在により、削減された重み付き順序が導かれ、$l$が偶数のとき$R = \oplus_{j \geq 0} R_{jl/2}$、$l$が奇数のとき$R = \oplus_{j \geq 0} R_{jl}$が成り立つ。
• 例は、$R$が$R(l)$に有限であることの条件が本質的であることを示している：この条件がなければ、$R_l$が半単純でなくなる可能性があり、非有限モジュールから生じる非再帰的 Lie 環の例がある。