[論文レビュー] Cyclicity of Lusztig's stratification of Grassmannians and Poisson geometry

Milen Yakimov|ArXiv.org|Feb 12, 2009

Advanced Combinatorial Mathematics参考文献 4被引用数 7

ひとこと要約

この論文は、Gr(k,n) 上の標準的ポアソン構造がコックスター元 c = (1 2 ... n) の作用に関して不変であることを証明し、ルシュティグの層構造の巡回性のポアソン幾何的解釈を確立する。主な結果は、c による乗法がポアソン自己同型であることであり、これはコックスター元がルシュティグの層をポアソン同型で置き換えることを意味し、クヌートソン、ラム、スピアーの結果の新しい幾何的証明を提供する。

ABSTRACT

We prove that the standard Poisson structure on the Grassmannian Gr(k, n) is invariant under the action of the Coxeter element c =(1 2 ... n). In particular, its symplectic foliation is invariant under c. As a corollary, we obtain a second, Poisson geometric proof of the result of Knutson, Lam, and Speyer that the Coxeter element c interchanges the Lusztig strata of Gr(k, n). We also relate the main result to known anti-invariance properties of the standard Poisson structures on cominuscule flag varieties.

研究の動機と目的

• Gr(k,n) のルシュティグ層構造の巡回性に対するポアソン幾何的証明を提供すること。
• Gr(k,n) 上の標準的ポアソン構造がコックスター元 c = (1 2 ... n) の作用に関して不変であることを確立すること。
• この不変性を、コミヌスキュルフラッグ多様体上の標準的ポアソン構造の反不変性の性質に関連付けること。
• c が Gr(k,n) 上に作用するとき、個々のルシュティグ層間のポアソン同型に制限されることを示すこと。

提案手法

• 一般線型群 gl_n(C) の微小作用を用いて定義される Gr(k,n) 上の標準的ポアソン構造 π_{k,n} を用いる。
• 特に、ルシュティグ層が T-軌道としてのシンプレクティック葉の軌道としてのポアソン幾何的解釈を含む、フラッグ多様体上のポアソン構造の理論を適用する。
• コックスター元 c ∈ GL_n(C) が誘導するベクトル場の作用に関して不変性を検証することで、c がポアソン構造 π_{k,n} を保存することを示す。
• c が w_∘^P w_∘ の k 乗根であるという事実に依拠し、これはコミヌスキュルフラッグ多様体上でポアソン自己同型として作用する。
• 最長ワイル群元 w_∘ の既知の反ポアソン性質を用いて、その根の性質により c のポアソン不変性を導出する。
• 特に、コミヌスキュルフラッグ多様体上のポアソン構造に関する結果 [2] を適用し、特に cominuscule P に対して π_{G/P} = -χ(r_L) という公式を用いる。

実験結果

リサーチクエスチョン

• RQ1 Gr(k,n) 上の標準的ポアソン構造 π_{k,n} は、コックスター元 c = (1 2 ... n) の作用に関して不変か？
• RQ2 ルシュティグの Gr(k,n) 層構造の巡回性は、ポアソン幾何学によって説明可能か？
• RQ3 c が Gr(k,n) 上に作用するとき、最長ワイル群元 w_∘ の反ポアソン性質とはどのように関係するか？
• RQ4 コックスター元 c は個々のルシュティグ層間でポアソン同型として作用するか？
• RQ5 他のコックスター元と比較して、なぜコックスター元 c がこの文脈で特別なのか？

主な発見

• Gr(k,n) 上の標準的ポアソン構造 π_{k,n} は、コックスター元 c = (1 2 ... n) の作用に関して不変であり、c による乗法はポアソン自己同型である。
• c による作用はルシュティグ層を置き換えることができ、クヌートソン、ラム、スピアーの結果の新しいポアソン幾何的証明を提供する。
• c の作用は個々のルシュティグ層 (R_{v,w}, π_{k,n}|_{R_{v,w}}) 間でポアソン同型に制限され、それらの正則ポアソン構造を保存する。
• コックスター元 c は w_∘^P w_∘ の k 乗根であり、w_∘^P w_∘ がコミヌスキュルフラッグ多様体上でポアソン自己同型として作用するので、c はポアソン不変性を継承する。
• k と n が互いに素であるとき、c^{gcd(k,n)} = c はポアソン自己同型として作用し、これにより定理 1.1 の別証明が得られる。
• すべての結果は、すべての構成が実形式 GL_n(R) 上で定義されているため、実グレイスマン多様体 Gr(k,n; R) に対しても拡張可能である。