[論文レビュー] $G$-stable pieces and partial flag varieties

Xuhua He|ArXiv.org|Aug 31, 2007

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

ひとこと要約

この論文は、Weyl群の組合せ論とフロベニウス作用を用いて、Lusztigの$G$-安定な部分多様体が部分フラッグ多様体において閉包関係を確立する。$G$-安定な部分多様体への分割が、以前の研究で導入された$W^J$上の部分順序によって支配される局所的閉層化を形成することを証明し、フロベニウス自己同型の下でのWeyl群元のサポートを用いて、これらの部分多様体の既約性を特徴づける。

ABSTRACT

We will use the combinatorics of the $G$-stable pieces to describe the closure relation of the partition of partial flag varieties in \cite[section 4]{L3}.

研究の動機と目的

• Lusztig (1977) で定義された部分フラッグ多様体への$G$-安定な部分多様体への分割の閉包関係を記述すること。
• この分割が部分フラッグ多様体の層化をなすことを確立すること。
• フロベニウス自己同型の下でのWeyl群元のサポートを用いて、分割に含まれる局所的閉部分多様体の既約性を特徴づけること。
• $F$-安定なパラボリック部分群とその軌道を含む新しい設定にブルア・分解を拡張すること。

提案手法

• Weyl群の表現と反復的交差を含む、$\mathcal{T}(J,\delta)$内の列を用いた$G$-安定な部分多様体の組合せ論。これは$W^J$の要素をパラメトライズする双対写像を介して実現される。
• Weyl群$W$上の$W_J$作用を$x \cdot y = \delta(x) y x^{-1}$で定義し、同値類と最小長さ代表元を導出する。
• 強$(J,\delta)$-共役性と巡回シフトを用いて、フロベニウス自己同型$\delta$の下でのWeyl群要素の関係を関係づける。
• $W^J$上の部分順序$\leq_{J,\delta}$を用いて、フラッグ多様体内の$G$-安定な部分多様体の閉包関係を記述する。
• $\mathcal{P}_{J,w}$と$\mathcal{P}_{K,w}$の同型（$K = I(J,\delta;w)$）を用い、既約性の問題を$w$-軌道の構造に還元する。
• Deligne-Lusztig理論とLusztigの元々の分割の結果を応用し、$F$-共役類を含むパラボリック部分群における商として$G$-安定な部分多様体を解釈する。

実験結果

リサーチクエスチョン

• RQ1 部分フラッグ多様体における$G$-安定な部分多様体の閉包関係はどのように特定されるか？
• RQ2 $G$-安定な部分多様体$\mathcal{P}_{J,w}$が既約であるための条件は何か？
• RQ3 フロベニウス自己同型$\delta$はWeyl群にどのように作用し、層化を定義するか？
• RQ4 $F$-安定なパラボリック部分群を用いた軌道分解を通じて、ブルア・分解を拡張できるか？
• RQ5 $\mathcal{P}_{J,w}$の既約性を決定づける役割を果たす$\operatorname{supp}_\delta(w)$の役割は何か？

主な発見

• $\mathcal{P}_{J,w}$の閉包は、$w'^{-1} \leq_{J,\delta} w^{-1}$を満たすすべての$\mathcal{P}_{J,w'}$の和集合である。これにより、部分順序$\leq_{J,\delta}$を用いた層化が確立される。
• $G$-安定な部分多様体$\mathcal{P}_{J,w}$は、有限個の局所的閉部分多様体への分割をなしており、これは部分フラッグ多様体$\mathcal{P}_J$の層化を形成する。
• 準単純な$G$と$J \neq I$に対して、$\mathcal{P}_{J,w}$は、$\operatorname{supp}_\delta(w) = I$であることと同値に既約である。
• 多様体$\mathcal{P}_{J,w}$は、$K = I(J,\delta;w)$に対して$\mathcal{P}_{K,w}$と同型であり、$w$が$\delta$の下で$K$を固定する場合に限定して既約性を調べることに帰着される。
• $R = \{(lu, lu')\}$で定義される$G$上の$R$-軌道は有限であり、${}^J W$でインデックス付け可能で、$T'$が$F$-安定ならば、各軌道は$N_G(T')$に要素を含む。
• $G$-安定な部分多様体$\mathcal{P}_{J,w}$は、$\{g \in G : g^{-1}F(g) \in \dot{w}U_{P_K}\}/L_K^{\operatorname{Ad}(\dot{w}) \circ F}(U_{P_K} \cap {}^{\dot{w}}U_{P_K})$という形の商と同型であり、これによりデリーニュ＝ルスティグ多様体と関連づけられる。