[論文レビュー] Singularities of nilpotent orbit closures

Anthony Henderson|arXiv (Cornell University)|Aug 18, 2014

Algebraic structures and combinatorial models参考文献 36被引用数 9

ひとこと要約

この論文は、複素単純リー代数におけるべき零軌道の閉包から生じる特異点について、解説的概説を提供し、幾何的表現論におけるその役割に焦点を当てる。Maffeiの定理（Slodowy切断と中島クイバー多様体に関する）とJuteauおよびMautnerの特異点および有限体上の表現論に関する結果を活用し、シュール代数における分解数の対称性の幾何的証明を確立する。

ABSTRACT

This is an expository article on the singularities of nilpotent orbit closures in simple Lie algebras over the complex numbers. It is slanted towards aspects that are relevant for representation theory, including Maffei's theorem relating Slodowy slices to Nakajima quiver varieties in type A. There is one new observation: the results of Juteau and Mautner, combined with Maffei's theorem, give a geometric proof of a result on decomposition numbers of Schur algebras due to Fang, Henke and Koenig.

研究の動機と目的

• 複素単純リー代数におけるべき零軌道の閉包の幾何的意味を表現論的文脈で説明すること。
• 最近の分解数に関する結果を用いて、Slodowy切断の特異点とモジュラー表現論を結びつけること。
• Maffeiの定理とJuteau–Mautner理論を用いて、シュール代数の分解数の対称性に対する幾何的証明を提供すること。
• A型リー代数からの例を通じて、代数幾何学と表現論の相互作用を説明すること。
• べき零軌道の閉包を中核的な例として、幾何的表現論における特異点の研究を動機づけること。

提案手法

• Maffei（2005）の定理を用い、A型におけるSlodowy切断の解体と中島クイバー多様体との間の同型を確立する。
• JuteauおよびMautnerの結果を適用し、対称群およびシュール代数の分解数がSlodowy切断の特異点によって決定されることを示す。
• スプリンガー解体と随伴商写像を用いて、軌道の閉包およびその特異点を分析する。
• リー代数上のポisson構造と$G$-不変多項式を用いて、軌道の商空間を構成する。
• 双対性（転置分割$ u o u^c$）を用いて、ワイル群作用下での軌道の閉包とその切断を関連付ける。
• 次元ベクトルと安定性条件といった明示的な組合せ的データを用いて、クイバー多様体とSlodowy切断との間の同型を構成する。

実験結果

リサーチクエスチョン

• RQ1 複素単純リー代数におけるべき零軌道の閉包の特異点は、表現論的不変量とどのように関係するか？
• RQ2 クイバー多様体およびスプリンガー理論の文脈において、Slodowy切断の幾何的意味は何か？
• RQ3 Maffeiの定理は、クイバー多様体と軌道の閉包、およびそれらの解体とをどのように関連付けるか？
• RQ4 Slodowy切断の特異点は、シュール代数の分解数をどのように決定するか？
• RQ5 分割の双対性は、対称群およびシュール代数の分解数の対称性において果たす役割は何か？

主な発見

• JuteauおよびMautnerの結果により、Slodowy切断の特異点が対称群およびシュール代数の分解数を決定することが示された。
• Maffeiの定理により、A型におけるSlodowy切断の解体と中島クイバー多様体との間に幾何的同型が存在する。
• 分割の双対性（$ u o u^c$）により、Slodowy切断$ar{ ho}_ u imes ar{ ho}_ u$と$ar{ ho}_{ u^c} imes ar{ ho}_{ u^c}$の間の同型が誘導され、軌道の閉包における対称性が生じる。
• クイバー多様体とSlodowy切断との同型は、これらの切断の特異点がシュール代数の表現論的不変量を支配することを示唆する。
• Fang、Henke、Koenigが以前に示したように、論文はシュール代数の分解数の対称性$d_{ u au}^p = d_{ u^c au^c}^p$に対する幾何的証明を提供する。
• 結果は、特にA型において、軌道の閉包およびその切断の幾何が、モジュラー表現論に関する深い情報を符号化していることを示している。