[論文レビュー] Singularities of closures of spherical $B$-conjugacy classes of nilpotent orbits

Martin Bender, Nicolas Perrin|arXiv (Cornell University)|Dec 17, 2014

Advanced Algebra and Geometry参考文献 29被引用数 4

ひとこと要約

この論文は、単純ラスケール再帰的群に対して、高さ2のノルム的軌道内の任意のボレル軌道の閉包が正規であり、特異点の有理的解消を許容することを確立する。ジョルダン代数からの放物的誘導とフロベニウス分裂技術を用いて、著者たちはこの結果をA型の場合、あるいはランク2の要素に対して、全リー代数へと拡張し、適切な特徴的条件のもとで正規性と有理的解消が成り立つことを証明する。

ABSTRACT

We prove that for a simply laced group, the closure of the Borel conjugacy class of any nilpotent element of height $2$ in its conjugacy class is normal and admits a rational resolution. We extend this, using Frobenius splitting techniques, to the closure in the whole Lie algebra if either the group has type $A$ or the element has rank $2$.

研究の動機と目的

• 球対称ノルム的軌道におけるボレル軌道の閉包の幾何的性質を特定すること、特に高さ2のノルム的要素に対して。
• 単純ラスケール群において、これらの軌道閉包の正規性と有理的解消の存在を確立すること。
• 特にA型またはランク2の要素において、フロベニウス分裂技術を用いて、全リー代数へのこの結果の拡張を図ること。
• C型やB型のような非単純ラスケール型において正規性の失敗を、明示的な例を通じて調査すること。

提案手法

• 放物的誘導を用いて、高さ2のノルム的軌道をジョルダン代数における稠密な軌道からの誘導として実現する。
• ジョルダン代数内での稠密な$ B $-軌道の構造を分析し、それがアフィン空間に同型であることを示す。
• $ \overline{B\cdot x} $に対して、連結なファイバーを持つ特異点の解消を構成し、$ G $-軌道を除く正規性と有理的解消を証明する。
• ジョルダン代数およびランク2のケースにフロベニウス分裂技術を適用し、正規性結果を全リー代数へと拡張する。
• 弱ブルア位相の$ B $-軌道上で、球対称多様体における閉包グラフと軌道構造を分析する。
• F_4型およびG_2型における明示的計算を実施し、閉包グラフや軌道次元列を含む。

実験結果

リサーチクエスチョン

• RQ1 単純ラスケール群において、高さ2のノルム的軌道内の$ B $-軌道の閉包は正規か？
• RQ2 そのような閉包は特異点の有理的解消を許容するか？
• RQ3 適切な条件下で、$ \overline{B\cdot x} $の正規性と有理的解消は全リー代数$ \mathfrak{g} $へと拡張可能か？
• RQ4 C型やB型のような非単純ラスケール群において、$ B $-軌道閉包の正規性はどのように変化するか？
• RQ5 古典的群において、$ B $-軌道閉包およびその閉包グラフの明示的記述は可能か？

主な発見

• 単純ラスケール群および高さ2のノルム的要素に対して、閉包$ \overline{B\cdot x} $は正規であり、連結なファイバーを持つ有理的解消を許容する。
• 閉包$ \overline{B\cdot x} $はその正規化とホメオモーティックであるため、強い幾何的正則性が確認される。
• A型では、閉包$ \overline{B\cdot x} \subset \mathfrak{g} $は特徴的制限なしに正規であり、有理的解消を許容する。
• 非A型のランク2要素をもつ単純ラスケール群では、$ \operatorname{char}(\mathsf{k}) \neq 2 $ のとき、閉包$ \overline{B\cdot x} \subset \mathfrak{g} $は正規であり、有理的解消を許容する。
• F_4型では、軌道閉包$ \overline{B\cdot X_{(1221)}} $は$ \overline{B\cdot(X_{(2421)}+X_{(2221)})} $に沿って正規でないことが判明し、非最小ランクケースにおける正規性の失敗が示された。
• G_2型では、高さ3の軌道$ \mathcal{O}_8 $の閉包は正規でなく、その$ B $-軌道閉包の一つも正規でないことが判明し、正規性に及ぼす高さとランクの役割が明確になった。